universal-physics-tensor 7.0.0 → 9.0.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (1006) hide show
  1. package/README.md +11 -9
  2. package/data/atlas/atlas.json +3044 -0
  3. package/data/atlas/atlas.jsonld +1819 -0
  4. package/data/atlas/diffusion.json +1084 -0
  5. package/data/atlas/oscillators.json +1041 -0
  6. package/data/atlas/qudt-resolution.json +60 -0
  7. package/data/atlas/waves.json +916 -0
  8. package/data/atlas/witness-results.json +249 -0
  9. package/data/bridge-catalog.json +15425 -0
  10. package/data/bridge-catalog.schema.json +642 -0
  11. package/data/confrontation-sources.md +137 -0
  12. package/data/quantities.json +9755 -0
  13. package/data/quantities.schema.json +52 -0
  14. package/data/schemas/atlas-record.v0.json +236 -0
  15. package/data/schemas/discovery-run.v0.json +203 -0
  16. package/data/units.json +1149 -0
  17. package/data/units.schema.json +124 -0
  18. package/dist/atlas/association.d.ts +1 -1
  19. package/dist/atlas/benchmark/hybrid-retrieval.d.ts.map +1 -1
  20. package/dist/atlas/benchmark/hybrid-retrieval.js +2 -5
  21. package/dist/atlas/benchmark/hybrid-retrieval.js.map +1 -1
  22. package/dist/atlas/catalog-formal-ref.d.ts +6 -12
  23. package/dist/atlas/catalog-formal-ref.d.ts.map +1 -1
  24. package/dist/atlas/catalog-formal-ref.js +15 -25
  25. package/dist/atlas/catalog-formal-ref.js.map +1 -1
  26. package/dist/atlas/physjs-entries.generated.d.ts +1769 -196
  27. package/dist/atlas/physjs-entries.generated.d.ts.map +1 -1
  28. package/dist/atlas/physjs-entries.generated.js +2046 -321
  29. package/dist/atlas/physjs-entries.generated.js.map +1 -1
  30. package/dist/atlas/physjs-ref.d.ts +89 -89
  31. package/dist/atlas/physjs-ref.d.ts.map +1 -1
  32. package/dist/atlas/physjs-ref.js +128 -269
  33. package/dist/atlas/physjs-ref.js.map +1 -1
  34. package/dist/atlas/proof-target.d.ts +16 -8
  35. package/dist/atlas/proof-target.d.ts.map +1 -1
  36. package/dist/atlas/proof-target.js +34 -31
  37. package/dist/atlas/proof-target.js.map +1 -1
  38. package/dist/bridges/caller-table.d.ts +56 -0
  39. package/dist/bridges/caller-table.d.ts.map +1 -0
  40. package/dist/bridges/{be53-yang-mills-confrontation.js → caller-table.js} +13 -15
  41. package/dist/bridges/caller-table.js.map +1 -0
  42. package/dist/bridges/catalog-adapter.d.ts.map +1 -1
  43. package/dist/bridges/catalog-adapter.js +5 -5
  44. package/dist/bridges/catalog-adapter.js.map +1 -1
  45. package/dist/bridges/catalog-load.d.ts +41 -0
  46. package/dist/bridges/catalog-load.d.ts.map +1 -0
  47. package/dist/bridges/catalog-load.js +145 -0
  48. package/dist/bridges/catalog-load.js.map +1 -0
  49. package/dist/bridges/catalog-types.d.ts +164 -0
  50. package/dist/bridges/catalog-types.d.ts.map +1 -0
  51. package/dist/bridges/catalog-types.js +8 -0
  52. package/dist/bridges/catalog-types.js.map +1 -0
  53. package/dist/bridges/coefficient-statement.d.ts +27 -0
  54. package/dist/bridges/coefficient-statement.d.ts.map +1 -0
  55. package/dist/bridges/coefficient-statement.js +33 -0
  56. package/dist/bridges/coefficient-statement.js.map +1 -0
  57. package/dist/bridges/confrontations.d.ts +8 -25
  58. package/dist/bridges/confrontations.d.ts.map +1 -1
  59. package/dist/bridges/confrontations.js +26 -714
  60. package/dist/bridges/confrontations.js.map +1 -1
  61. package/dist/bridges/evaluation-errors.d.ts +76 -0
  62. package/dist/bridges/evaluation-errors.d.ts.map +1 -0
  63. package/dist/bridges/evaluation-errors.js +118 -0
  64. package/dist/bridges/evaluation-errors.js.map +1 -0
  65. package/dist/bridges/evaluator-inputs.d.ts +5 -3
  66. package/dist/bridges/evaluator-inputs.d.ts.map +1 -1
  67. package/dist/bridges/evaluator-inputs.js +24 -14
  68. package/dist/bridges/evaluator-inputs.js.map +1 -1
  69. package/dist/bridges/evaluators.d.ts +40 -28
  70. package/dist/bridges/evaluators.d.ts.map +1 -1
  71. package/dist/bridges/evaluators.js +183 -413
  72. package/dist/bridges/evaluators.js.map +1 -1
  73. package/dist/bridges/expr-parse.d.ts +27 -0
  74. package/dist/bridges/expr-parse.d.ts.map +1 -0
  75. package/dist/bridges/expr-parse.js +162 -0
  76. package/dist/bridges/expr-parse.js.map +1 -0
  77. package/dist/bridges/holds.d.ts +26 -0
  78. package/dist/bridges/holds.d.ts.map +1 -0
  79. package/dist/bridges/holds.js +145 -0
  80. package/dist/bridges/holds.js.map +1 -0
  81. package/dist/bridges/index.d.ts +18 -354
  82. package/dist/bridges/index.d.ts.map +1 -1
  83. package/dist/bridges/index.js +17 -3312
  84. package/dist/bridges/index.js.map +1 -1
  85. package/dist/bridges/input-contract.d.ts +65 -0
  86. package/dist/bridges/input-contract.d.ts.map +1 -0
  87. package/dist/bridges/input-contract.js +97 -0
  88. package/dist/bridges/input-contract.js.map +1 -0
  89. package/dist/bridges/notices.d.ts +11 -0
  90. package/dist/bridges/notices.d.ts.map +1 -0
  91. package/dist/bridges/notices.js +22 -0
  92. package/dist/bridges/notices.js.map +1 -0
  93. package/dist/bridges/relation-eval.d.ts +23 -0
  94. package/dist/bridges/relation-eval.d.ts.map +1 -0
  95. package/dist/bridges/relation-eval.js +136 -0
  96. package/dist/bridges/relation-eval.js.map +1 -0
  97. package/dist/bridges/rhs-registry.d.ts +7 -21
  98. package/dist/bridges/rhs-registry.d.ts.map +1 -1
  99. package/dist/bridges/rhs-registry.js +13 -123
  100. package/dist/bridges/rhs-registry.js.map +1 -1
  101. package/dist/bridges/sensitivity.d.ts +11 -3
  102. package/dist/bridges/sensitivity.d.ts.map +1 -1
  103. package/dist/bridges/sensitivity.js +20 -36
  104. package/dist/bridges/sensitivity.js.map +1 -1
  105. package/dist/bridges/types.d.ts +52 -0
  106. package/dist/bridges/types.d.ts.map +1 -0
  107. package/dist/bridges/types.js +10 -0
  108. package/dist/bridges/types.js.map +1 -0
  109. package/dist/canonical/canonical-equation.d.ts +31 -0
  110. package/dist/canonical/canonical-equation.d.ts.map +1 -1
  111. package/dist/canonical/entries/atomic.d.ts.map +1 -1
  112. package/dist/canonical/entries/atomic.js +12 -2
  113. package/dist/canonical/entries/atomic.js.map +1 -1
  114. package/dist/canonical/entries/condensed-matter.d.ts.map +1 -1
  115. package/dist/canonical/entries/condensed-matter.js +4 -1
  116. package/dist/canonical/entries/condensed-matter.js.map +1 -1
  117. package/dist/canonical/entries/dimensional-classics.d.ts.map +1 -1
  118. package/dist/canonical/entries/dimensional-classics.js +48 -0
  119. package/dist/canonical/entries/dimensional-classics.js.map +1 -1
  120. package/dist/canonical/entries/electromagnetism.d.ts.map +1 -1
  121. package/dist/canonical/entries/electromagnetism.js +31 -1
  122. package/dist/canonical/entries/electromagnetism.js.map +1 -1
  123. package/dist/canonical/entries/fluids-waves.d.ts.map +1 -1
  124. package/dist/canonical/entries/fluids-waves.js +35 -1
  125. package/dist/canonical/entries/fluids-waves.js.map +1 -1
  126. package/dist/canonical/entries/mechanics.d.ts.map +1 -1
  127. package/dist/canonical/entries/mechanics.js +25 -1
  128. package/dist/canonical/entries/mechanics.js.map +1 -1
  129. package/dist/canonical/entries/nonmonomial.d.ts.map +1 -1
  130. package/dist/canonical/entries/nonmonomial.js +16 -5
  131. package/dist/canonical/entries/nonmonomial.js.map +1 -1
  132. package/dist/canonical/entries/relativity.d.ts.map +1 -1
  133. package/dist/canonical/entries/relativity.js +7 -1
  134. package/dist/canonical/entries/relativity.js.map +1 -1
  135. package/dist/canonical/entries/statistical-mechanics.d.ts.map +1 -1
  136. package/dist/canonical/entries/statistical-mechanics.js +20 -1
  137. package/dist/canonical/entries/statistical-mechanics.js.map +1 -1
  138. package/dist/canonical/entries/thermo-nuclear-cosmo.d.ts.map +1 -1
  139. package/dist/canonical/entries/thermo-nuclear-cosmo.js +17 -2
  140. package/dist/canonical/entries/thermo-nuclear-cosmo.js.map +1 -1
  141. package/dist/canonical/normal-form.d.ts.map +1 -1
  142. package/dist/canonical/normal-form.js +9 -4
  143. package/dist/canonical/normal-form.js.map +1 -1
  144. package/dist/cases/index.d.ts +9 -2
  145. package/dist/cases/index.d.ts.map +1 -1
  146. package/dist/cases/index.js +26 -7
  147. package/dist/cases/index.js.map +1 -1
  148. package/dist/cases/kepler-rv.d.ts.map +1 -1
  149. package/dist/cases/kepler-rv.js +13 -9
  150. package/dist/cases/kepler-rv.js.map +1 -1
  151. package/dist/cases/resistor-noise.d.ts.map +1 -1
  152. package/dist/cases/resistor-noise.js +10 -5
  153. package/dist/cases/resistor-noise.js.map +1 -1
  154. package/dist/cli/commands/_discovery-opts.d.ts +2 -1
  155. package/dist/cli/commands/_discovery-opts.d.ts.map +1 -1
  156. package/dist/cli/commands/_discovery-opts.js +7 -12
  157. package/dist/cli/commands/_discovery-opts.js.map +1 -1
  158. package/dist/cli/commands/atlas.d.ts.map +1 -1
  159. package/dist/cli/commands/atlas.js +6 -9
  160. package/dist/cli/commands/atlas.js.map +1 -1
  161. package/dist/cli/commands/audit.d.ts.map +1 -1
  162. package/dist/cli/commands/audit.js +1 -2
  163. package/dist/cli/commands/audit.js.map +1 -1
  164. package/dist/cli/commands/chain.js +2 -2
  165. package/dist/cli/commands/chain.js.map +1 -1
  166. package/dist/cli/commands/confront.d.ts.map +1 -1
  167. package/dist/cli/commands/confront.js +17 -17
  168. package/dist/cli/commands/confront.js.map +1 -1
  169. package/dist/cli/commands/connectors.d.ts.map +1 -1
  170. package/dist/cli/commands/connectors.js +8 -9
  171. package/dist/cli/commands/connectors.js.map +1 -1
  172. package/dist/cli/commands/derive.js +9 -10
  173. package/dist/cli/commands/derive.js.map +1 -1
  174. package/dist/cli/commands/discover.d.ts.map +1 -1
  175. package/dist/cli/commands/discover.js +3 -4
  176. package/dist/cli/commands/discover.js.map +1 -1
  177. package/dist/cli/commands/eval.d.ts.map +1 -1
  178. package/dist/cli/commands/eval.js +18 -16
  179. package/dist/cli/commands/eval.js.map +1 -1
  180. package/dist/cli/commands/evaluate.d.ts +1 -35
  181. package/dist/cli/commands/evaluate.d.ts.map +1 -1
  182. package/dist/cli/commands/evaluate.js +67 -193
  183. package/dist/cli/commands/evaluate.js.map +1 -1
  184. package/dist/cli/commands/explain.d.ts.map +1 -1
  185. package/dist/cli/commands/explain.js +44 -37
  186. package/dist/cli/commands/explain.js.map +1 -1
  187. package/dist/cli/commands/ground.js +1 -1
  188. package/dist/cli/commands/ground.js.map +1 -1
  189. package/dist/cli/commands/map.js +3 -4
  190. package/dist/cli/commands/map.js.map +1 -1
  191. package/dist/cli/commands/metric.d.ts.map +1 -1
  192. package/dist/cli/commands/metric.js +3 -0
  193. package/dist/cli/commands/metric.js.map +1 -1
  194. package/dist/cli/commands/regime.js +1 -1
  195. package/dist/cli/commands/regime.js.map +1 -1
  196. package/dist/cli/commands/symbolic.d.ts.map +1 -1
  197. package/dist/cli/commands/symbolic.js +10 -6
  198. package/dist/cli/commands/symbolic.js.map +1 -1
  199. package/dist/cli/commands/testplan.js +3 -3
  200. package/dist/cli/commands/testplan.js.map +1 -1
  201. package/dist/cli/conventions.d.ts +6 -7
  202. package/dist/cli/conventions.d.ts.map +1 -1
  203. package/dist/cli/conventions.js +19 -28
  204. package/dist/cli/conventions.js.map +1 -1
  205. package/dist/cli/euler-guard.d.ts +13 -2
  206. package/dist/cli/euler-guard.d.ts.map +1 -1
  207. package/dist/cli/euler-guard.js +17 -3
  208. package/dist/cli/euler-guard.js.map +1 -1
  209. package/dist/cli/eval-numbers.d.ts +4 -9
  210. package/dist/cli/eval-numbers.d.ts.map +1 -1
  211. package/dist/cli/eval-numbers.js +11 -41
  212. package/dist/cli/eval-numbers.js.map +1 -1
  213. package/dist/cli/published-url.d.ts +2 -0
  214. package/dist/cli/published-url.d.ts.map +1 -1
  215. package/dist/cli/published-url.js +5 -0
  216. package/dist/cli/published-url.js.map +1 -1
  217. package/dist/cli/record-tables.d.ts +2 -1
  218. package/dist/cli/record-tables.d.ts.map +1 -1
  219. package/dist/cli/record-tables.js +8 -3
  220. package/dist/cli/record-tables.js.map +1 -1
  221. package/dist/cli-api.d.ts +50 -12
  222. package/dist/cli-api.d.ts.map +1 -1
  223. package/dist/cli-api.js +43 -11
  224. package/dist/cli-api.js.map +1 -1
  225. package/dist/composition/adjudication.d.ts +8 -30
  226. package/dist/composition/adjudication.d.ts.map +1 -1
  227. package/dist/composition/adjudication.js +15 -67
  228. package/dist/composition/adjudication.js.map +1 -1
  229. package/dist/composition/aliases.d.ts +1 -1
  230. package/dist/composition/aliases.d.ts.map +1 -1
  231. package/dist/composition/aliases.js +10 -20
  232. package/dist/composition/aliases.js.map +1 -1
  233. package/dist/composition/bridge-analysis.d.ts +4 -0
  234. package/dist/composition/bridge-analysis.d.ts.map +1 -1
  235. package/dist/composition/bridge-analysis.js +13 -14
  236. package/dist/composition/bridge-analysis.js.map +1 -1
  237. package/dist/composition/canonical-graph.d.ts +12 -12
  238. package/dist/composition/canonical-graph.d.ts.map +1 -1
  239. package/dist/composition/canonical-graph.js +96 -25
  240. package/dist/composition/canonical-graph.js.map +1 -1
  241. package/dist/composition/canonical-prefactors.d.ts +10 -29
  242. package/dist/composition/canonical-prefactors.d.ts.map +1 -1
  243. package/dist/composition/canonical-prefactors.js +15 -202
  244. package/dist/composition/canonical-prefactors.js.map +1 -1
  245. package/dist/composition/catalog-graph.d.ts +11 -4
  246. package/dist/composition/catalog-graph.d.ts.map +1 -1
  247. package/dist/composition/catalog-graph.js +78 -47
  248. package/dist/composition/catalog-graph.js.map +1 -1
  249. package/dist/composition/compose.js +2 -1
  250. package/dist/composition/compose.js.map +1 -1
  251. package/dist/composition/discovery.d.ts +50 -0
  252. package/dist/composition/discovery.d.ts.map +1 -1
  253. package/dist/composition/discovery.js +28 -24
  254. package/dist/composition/discovery.js.map +1 -1
  255. package/dist/composition/edge.d.ts +0 -14
  256. package/dist/composition/edge.d.ts.map +1 -1
  257. package/dist/composition/edge.js +1 -17
  258. package/dist/composition/edge.js.map +1 -1
  259. package/dist/composition/evaluate-relation.d.ts +31 -5
  260. package/dist/composition/evaluate-relation.d.ts.map +1 -1
  261. package/dist/composition/evaluate-relation.js +111 -60
  262. package/dist/composition/evaluate-relation.js.map +1 -1
  263. package/dist/composition/explain.d.ts +5 -0
  264. package/dist/composition/explain.d.ts.map +1 -1
  265. package/dist/composition/explain.js +9 -8
  266. package/dist/composition/explain.js.map +1 -1
  267. package/dist/composition/expr-eval.d.ts.map +1 -1
  268. package/dist/composition/expr-eval.js +8 -1
  269. package/dist/composition/expr-eval.js.map +1 -1
  270. package/dist/composition/frontier-account.d.ts.map +1 -1
  271. package/dist/composition/frontier-account.js +1 -1
  272. package/dist/composition/frontier-account.js.map +1 -1
  273. package/dist/composition/index.d.ts +6 -15
  274. package/dist/composition/index.d.ts.map +1 -1
  275. package/dist/composition/index.js +6 -15
  276. package/dist/composition/index.js.map +1 -1
  277. package/dist/composition/proposed-bridges.d.ts.map +1 -1
  278. package/dist/composition/proposed-bridges.js +3 -2
  279. package/dist/composition/proposed-bridges.js.map +1 -1
  280. package/dist/composition/quantities.d.ts +11 -27
  281. package/dist/composition/quantities.d.ts.map +1 -1
  282. package/dist/composition/quantities.js +29 -29
  283. package/dist/composition/quantities.js.map +1 -1
  284. package/dist/composition/retrodiction.d.ts +8 -0
  285. package/dist/composition/retrodiction.d.ts.map +1 -1
  286. package/dist/composition/retrodiction.js +5 -0
  287. package/dist/composition/retrodiction.js.map +1 -1
  288. package/dist/composition/user-equation.d.ts +13 -16
  289. package/dist/composition/user-equation.d.ts.map +1 -1
  290. package/dist/composition/user-equation.js +26 -53
  291. package/dist/composition/user-equation.js.map +1 -1
  292. package/dist/core/constants.d.ts +41 -4
  293. package/dist/core/constants.d.ts.map +1 -1
  294. package/dist/core/constants.js +54 -5
  295. package/dist/core/constants.js.map +1 -1
  296. package/dist/core/data-file.d.ts +27 -0
  297. package/dist/core/data-file.d.ts.map +1 -0
  298. package/dist/core/data-file.js +48 -0
  299. package/dist/core/data-file.js.map +1 -0
  300. package/dist/core/json-schema.d.ts +27 -0
  301. package/dist/core/json-schema.d.ts.map +1 -0
  302. package/dist/core/json-schema.js +153 -0
  303. package/dist/core/json-schema.js.map +1 -0
  304. package/dist/core/types.d.ts +3 -2
  305. package/dist/core/types.d.ts.map +1 -1
  306. package/dist/core/types.js +16 -14
  307. package/dist/core/types.js.map +1 -1
  308. package/dist/diff/bridge-ast-gradient.d.ts.map +1 -1
  309. package/dist/diff/bridge-ast-gradient.js +6 -16
  310. package/dist/diff/bridge-ast-gradient.js.map +1 -1
  311. package/dist/diff/bridge-gradient.d.ts +1 -1
  312. package/dist/diff/bridge-gradient.d.ts.map +1 -1
  313. package/dist/diff/bridge-specs.d.ts +33 -62
  314. package/dist/diff/bridge-specs.d.ts.map +1 -1
  315. package/dist/diff/bridge-specs.js +56 -77
  316. package/dist/diff/bridge-specs.js.map +1 -1
  317. package/dist/dimensional/bridge-check.d.ts +9 -26
  318. package/dist/dimensional/bridge-check.d.ts.map +1 -1
  319. package/dist/dimensional/bridge-check.js +20 -227
  320. package/dist/dimensional/bridge-check.js.map +1 -1
  321. package/dist/dimensional/constant-rows.d.ts +54 -0
  322. package/dist/dimensional/constant-rows.d.ts.map +1 -0
  323. package/dist/dimensional/constant-rows.js +111 -0
  324. package/dist/dimensional/constant-rows.js.map +1 -0
  325. package/dist/dimensional/constants.d.ts +4 -13
  326. package/dist/dimensional/constants.d.ts.map +1 -1
  327. package/dist/dimensional/constants.js +11 -19
  328. package/dist/dimensional/constants.js.map +1 -1
  329. package/dist/dimensional/dimension-spec.d.ts +12 -3
  330. package/dist/dimensional/dimension-spec.d.ts.map +1 -1
  331. package/dist/dimensional/dimension-spec.js +114 -150
  332. package/dist/dimensional/dimension-spec.js.map +1 -1
  333. package/dist/dimensional/exact-scale.d.ts +79 -0
  334. package/dist/dimensional/exact-scale.d.ts.map +1 -0
  335. package/dist/dimensional/exact-scale.js +222 -0
  336. package/dist/dimensional/exact-scale.js.map +1 -0
  337. package/dist/dimensional/formula-names.d.ts +30 -13
  338. package/dist/dimensional/formula-names.d.ts.map +1 -1
  339. package/dist/dimensional/formula-names.js +56 -48
  340. package/dist/dimensional/formula-names.js.map +1 -1
  341. package/dist/dimensional/hyphen-names.d.ts +13 -0
  342. package/dist/dimensional/hyphen-names.d.ts.map +1 -0
  343. package/dist/dimensional/hyphen-names.js +27 -0
  344. package/dist/dimensional/hyphen-names.js.map +1 -0
  345. package/dist/dimensional/quantity-registry.d.ts +42 -0
  346. package/dist/dimensional/quantity-registry.d.ts.map +1 -0
  347. package/dist/dimensional/quantity-registry.js +78 -0
  348. package/dist/dimensional/quantity-registry.js.map +1 -0
  349. package/dist/dimensional/symbolic-constants.d.ts +63 -19
  350. package/dist/dimensional/symbolic-constants.d.ts.map +1 -1
  351. package/dist/dimensional/symbolic-constants.js +109 -92
  352. package/dist/dimensional/symbolic-constants.js.map +1 -1
  353. package/dist/dimensional/unit-data.d.ts +70 -0
  354. package/dist/dimensional/unit-data.d.ts.map +1 -0
  355. package/dist/dimensional/unit-data.js +135 -0
  356. package/dist/dimensional/unit-data.js.map +1 -0
  357. package/dist/dimensional/units.d.ts +88 -23
  358. package/dist/dimensional/units.d.ts.map +1 -1
  359. package/dist/dimensional/units.js +365 -230
  360. package/dist/dimensional/units.js.map +1 -1
  361. package/dist/index.d.ts +29 -69
  362. package/dist/index.d.ts.map +1 -1
  363. package/dist/index.js +16 -50
  364. package/dist/index.js.map +1 -1
  365. package/dist/numerical/binding-value.d.ts +21 -1
  366. package/dist/numerical/binding-value.d.ts.map +1 -1
  367. package/dist/numerical/binding-value.js +177 -121
  368. package/dist/numerical/binding-value.js.map +1 -1
  369. package/dist/numerical/{be37-covariant-eikonal.d.ts → covariant-eikonal.d.ts} +13 -13
  370. package/dist/numerical/covariant-eikonal.d.ts.map +1 -0
  371. package/dist/numerical/{be37-covariant-eikonal.js → covariant-eikonal.js} +18 -18
  372. package/dist/numerical/covariant-eikonal.js.map +1 -0
  373. package/dist/numerical/derivative-lowering.d.ts +2 -1
  374. package/dist/numerical/derivative-lowering.d.ts.map +1 -1
  375. package/dist/numerical/derivative-lowering.js +2 -1
  376. package/dist/numerical/derivative-lowering.js.map +1 -1
  377. package/dist/numerical/evaluator-uncertainty.d.ts +34 -0
  378. package/dist/numerical/evaluator-uncertainty.d.ts.map +1 -0
  379. package/dist/numerical/evaluator-uncertainty.js +117 -0
  380. package/dist/numerical/evaluator-uncertainty.js.map +1 -0
  381. package/dist/numerical/formula-contract.d.ts +4 -0
  382. package/dist/numerical/formula-contract.d.ts.map +1 -1
  383. package/dist/numerical/formula-contract.js +7 -0
  384. package/dist/numerical/formula-contract.js.map +1 -1
  385. package/dist/numerical/formula-dimension.d.ts +9 -0
  386. package/dist/numerical/formula-dimension.d.ts.map +1 -1
  387. package/dist/numerical/formula-dimension.js +64 -10
  388. package/dist/numerical/formula-dimension.js.map +1 -1
  389. package/dist/numerical/formula-mathts.d.ts.map +1 -1
  390. package/dist/numerical/formula-mathts.js +6 -2
  391. package/dist/numerical/formula-mathts.js.map +1 -1
  392. package/dist/numerical/gl4-integrator.d.ts +6 -3
  393. package/dist/numerical/gl4-integrator.d.ts.map +1 -1
  394. package/dist/numerical/gl4-integrator.js +9 -6
  395. package/dist/numerical/gl4-integrator.js.map +1 -1
  396. package/dist/numerical/index.d.ts +4 -3
  397. package/dist/numerical/index.d.ts.map +1 -1
  398. package/dist/numerical/index.js +2 -2
  399. package/dist/numerical/index.js.map +1 -1
  400. package/dist/numerical/null-ic.d.ts +6 -5
  401. package/dist/numerical/null-ic.d.ts.map +1 -1
  402. package/dist/numerical/null-ic.js +6 -5
  403. package/dist/numerical/null-ic.js.map +1 -1
  404. package/dist/numerical/null-ray-integrator.js +1 -1
  405. package/dist/numerical/perihelion-finder.d.ts +5 -4
  406. package/dist/numerical/perihelion-finder.d.ts.map +1 -1
  407. package/dist/numerical/perihelion-finder.js +5 -4
  408. package/dist/numerical/perihelion-finder.js.map +1 -1
  409. package/dist/numerical/spacetime-metrics.d.ts +4 -0
  410. package/dist/numerical/spacetime-metrics.d.ts.map +1 -1
  411. package/dist/numerical/spacetime-metrics.js +34 -4
  412. package/dist/numerical/spacetime-metrics.js.map +1 -1
  413. package/dist/relations/types.d.ts +8 -1
  414. package/dist/relations/types.d.ts.map +1 -1
  415. package/dist/relations/types.js +10 -0
  416. package/dist/relations/types.js.map +1 -1
  417. package/package.json +2 -1
  418. package/dist/bridges/be100-lyddane-sachs-teller.d.ts +0 -41
  419. package/dist/bridges/be100-lyddane-sachs-teller.d.ts.map +0 -1
  420. package/dist/bridges/be100-lyddane-sachs-teller.js +0 -30
  421. package/dist/bridges/be100-lyddane-sachs-teller.js.map +0 -1
  422. package/dist/bridges/be101-bkt-jump.d.ts +0 -24
  423. package/dist/bridges/be101-bkt-jump.d.ts.map +0 -1
  424. package/dist/bridges/be101-bkt-jump.js +0 -29
  425. package/dist/bridges/be101-bkt-jump.js.map +0 -1
  426. package/dist/bridges/be102-landauer-conductance.d.ts +0 -24
  427. package/dist/bridges/be102-landauer-conductance.d.ts.map +0 -1
  428. package/dist/bridges/be102-landauer-conductance.js +0 -28
  429. package/dist/bridges/be102-landauer-conductance.js.map +0 -1
  430. package/dist/bridges/be11-decoherence-confrontation.d.ts +0 -63
  431. package/dist/bridges/be11-decoherence-confrontation.d.ts.map +0 -1
  432. package/dist/bridges/be11-decoherence-confrontation.js +0 -39
  433. package/dist/bridges/be11-decoherence-confrontation.js.map +0 -1
  434. package/dist/bridges/be21-kss-confrontation.d.ts +0 -52
  435. package/dist/bridges/be21-kss-confrontation.d.ts.map +0 -1
  436. package/dist/bridges/be21-kss-confrontation.js +0 -38
  437. package/dist/bridges/be21-kss-confrontation.js.map +0 -1
  438. package/dist/bridges/be23-planckian-confrontation.d.ts +0 -162
  439. package/dist/bridges/be23-planckian-confrontation.d.ts.map +0 -1
  440. package/dist/bridges/be23-planckian-confrontation.js +0 -196
  441. package/dist/bridges/be23-planckian-confrontation.js.map +0 -1
  442. package/dist/bridges/be35-bootstrap-confrontation.d.ts +0 -59
  443. package/dist/bridges/be35-bootstrap-confrontation.d.ts.map +0 -1
  444. package/dist/bridges/be35-bootstrap-confrontation.js +0 -39
  445. package/dist/bridges/be35-bootstrap-confrontation.js.map +0 -1
  446. package/dist/bridges/be36-gw170817-confrontation.d.ts +0 -111
  447. package/dist/bridges/be36-gw170817-confrontation.d.ts.map +0 -1
  448. package/dist/bridges/be36-gw170817-confrontation.js +0 -100
  449. package/dist/bridges/be36-gw170817-confrontation.js.map +0 -1
  450. package/dist/bridges/be37-cassini-confrontation.d.ts +0 -43
  451. package/dist/bridges/be37-cassini-confrontation.d.ts.map +0 -1
  452. package/dist/bridges/be37-cassini-confrontation.js +0 -34
  453. package/dist/bridges/be37-cassini-confrontation.js.map +0 -1
  454. package/dist/bridges/be48-collapse-confrontation.d.ts +0 -52
  455. package/dist/bridges/be48-collapse-confrontation.d.ts.map +0 -1
  456. package/dist/bridges/be48-collapse-confrontation.js +0 -37
  457. package/dist/bridges/be48-collapse-confrontation.js.map +0 -1
  458. package/dist/bridges/be51-lensing-confrontation.d.ts +0 -53
  459. package/dist/bridges/be51-lensing-confrontation.d.ts.map +0 -1
  460. package/dist/bridges/be51-lensing-confrontation.js +0 -52
  461. package/dist/bridges/be51-lensing-confrontation.js.map +0 -1
  462. package/dist/bridges/be52-mercury-confrontation.d.ts +0 -72
  463. package/dist/bridges/be52-mercury-confrontation.d.ts.map +0 -1
  464. package/dist/bridges/be52-mercury-confrontation.js +0 -70
  465. package/dist/bridges/be52-mercury-confrontation.js.map +0 -1
  466. package/dist/bridges/be53-yang-mills-confrontation.d.ts +0 -81
  467. package/dist/bridges/be53-yang-mills-confrontation.d.ts.map +0 -1
  468. package/dist/bridges/be53-yang-mills-confrontation.js.map +0 -1
  469. package/dist/bridges/be55-quantum-hall-confrontation.d.ts +0 -51
  470. package/dist/bridges/be55-quantum-hall-confrontation.d.ts.map +0 -1
  471. package/dist/bridges/be55-quantum-hall-confrontation.js +0 -32
  472. package/dist/bridges/be55-quantum-hall-confrontation.js.map +0 -1
  473. package/dist/bridges/be55-quantum-hall.d.ts +0 -24
  474. package/dist/bridges/be55-quantum-hall.d.ts.map +0 -1
  475. package/dist/bridges/be55-quantum-hall.js +0 -46
  476. package/dist/bridges/be55-quantum-hall.js.map +0 -1
  477. package/dist/bridges/be56-casimir-confrontation.d.ts +0 -52
  478. package/dist/bridges/be56-casimir-confrontation.d.ts.map +0 -1
  479. package/dist/bridges/be56-casimir-confrontation.js +0 -31
  480. package/dist/bridges/be56-casimir-confrontation.js.map +0 -1
  481. package/dist/bridges/be56-casimir.d.ts +0 -18
  482. package/dist/bridges/be56-casimir.d.ts.map +0 -1
  483. package/dist/bridges/be56-casimir.js +0 -36
  484. package/dist/bridges/be56-casimir.js.map +0 -1
  485. package/dist/bridges/be57-unruh.d.ts +0 -18
  486. package/dist/bridges/be57-unruh.d.ts.map +0 -1
  487. package/dist/bridges/be57-unruh.js +0 -38
  488. package/dist/bridges/be57-unruh.js.map +0 -1
  489. package/dist/bridges/be58-johnson-nyquist-confrontation.d.ts +0 -57
  490. package/dist/bridges/be58-johnson-nyquist-confrontation.d.ts.map +0 -1
  491. package/dist/bridges/be58-johnson-nyquist-confrontation.js +0 -38
  492. package/dist/bridges/be58-johnson-nyquist-confrontation.js.map +0 -1
  493. package/dist/bridges/be58-johnson-nyquist.d.ts +0 -22
  494. package/dist/bridges/be58-johnson-nyquist.d.ts.map +0 -1
  495. package/dist/bridges/be58-johnson-nyquist.js +0 -36
  496. package/dist/bridges/be58-johnson-nyquist.js.map +0 -1
  497. package/dist/bridges/be59-ac-josephson-confrontation.d.ts +0 -46
  498. package/dist/bridges/be59-ac-josephson-confrontation.d.ts.map +0 -1
  499. package/dist/bridges/be59-ac-josephson-confrontation.js +0 -32
  500. package/dist/bridges/be59-ac-josephson-confrontation.js.map +0 -1
  501. package/dist/bridges/be59-ac-josephson.d.ts +0 -22
  502. package/dist/bridges/be59-ac-josephson.d.ts.map +0 -1
  503. package/dist/bridges/be59-ac-josephson.js +0 -35
  504. package/dist/bridges/be59-ac-josephson.js.map +0 -1
  505. package/dist/bridges/be60-fractional-qh-confrontation.d.ts +0 -45
  506. package/dist/bridges/be60-fractional-qh-confrontation.d.ts.map +0 -1
  507. package/dist/bridges/be60-fractional-qh-confrontation.js +0 -31
  508. package/dist/bridges/be60-fractional-qh-confrontation.js.map +0 -1
  509. package/dist/bridges/be60-fractional-qh.d.ts +0 -20
  510. package/dist/bridges/be60-fractional-qh.d.ts.map +0 -1
  511. package/dist/bridges/be60-fractional-qh.js +0 -33
  512. package/dist/bridges/be60-fractional-qh.js.map +0 -1
  513. package/dist/bridges/be61-wiedemann-franz-confrontation.d.ts +0 -35
  514. package/dist/bridges/be61-wiedemann-franz-confrontation.d.ts.map +0 -1
  515. package/dist/bridges/be61-wiedemann-franz-confrontation.js +0 -49
  516. package/dist/bridges/be61-wiedemann-franz-confrontation.js.map +0 -1
  517. package/dist/bridges/be61-wiedemann-franz.d.ts +0 -25
  518. package/dist/bridges/be61-wiedemann-franz.d.ts.map +0 -1
  519. package/dist/bridges/be61-wiedemann-franz.js +0 -41
  520. package/dist/bridges/be61-wiedemann-franz.js.map +0 -1
  521. package/dist/bridges/be62-bcs-gap-confrontation.d.ts +0 -35
  522. package/dist/bridges/be62-bcs-gap-confrontation.d.ts.map +0 -1
  523. package/dist/bridges/be62-bcs-gap-confrontation.js +0 -46
  524. package/dist/bridges/be62-bcs-gap-confrontation.js.map +0 -1
  525. package/dist/bridges/be62-bcs-gap.d.ts +0 -22
  526. package/dist/bridges/be62-bcs-gap.d.ts.map +0 -1
  527. package/dist/bridges/be62-bcs-gap.js +0 -38
  528. package/dist/bridges/be62-bcs-gap.js.map +0 -1
  529. package/dist/bridges/be63-chandrasekhar-mass-confrontation.d.ts +0 -32
  530. package/dist/bridges/be63-chandrasekhar-mass-confrontation.d.ts.map +0 -1
  531. package/dist/bridges/be63-chandrasekhar-mass-confrontation.js +0 -46
  532. package/dist/bridges/be63-chandrasekhar-mass-confrontation.js.map +0 -1
  533. package/dist/bridges/be63-chandrasekhar-mass.d.ts +0 -22
  534. package/dist/bridges/be63-chandrasekhar-mass.d.ts.map +0 -1
  535. package/dist/bridges/be63-chandrasekhar-mass.js +0 -34
  536. package/dist/bridges/be63-chandrasekhar-mass.js.map +0 -1
  537. package/dist/bridges/be64-eddington-luminosity-confrontation.d.ts +0 -48
  538. package/dist/bridges/be64-eddington-luminosity-confrontation.d.ts.map +0 -1
  539. package/dist/bridges/be64-eddington-luminosity-confrontation.js +0 -31
  540. package/dist/bridges/be64-eddington-luminosity-confrontation.js.map +0 -1
  541. package/dist/bridges/be64-eddington-luminosity.d.ts +0 -22
  542. package/dist/bridges/be64-eddington-luminosity.d.ts.map +0 -1
  543. package/dist/bridges/be64-eddington-luminosity.js +0 -35
  544. package/dist/bridges/be64-eddington-luminosity.js.map +0 -1
  545. package/dist/bridges/be65-jeans-mass-confrontation.d.ts +0 -36
  546. package/dist/bridges/be65-jeans-mass-confrontation.d.ts.map +0 -1
  547. package/dist/bridges/be65-jeans-mass-confrontation.js +0 -58
  548. package/dist/bridges/be65-jeans-mass-confrontation.js.map +0 -1
  549. package/dist/bridges/be65-jeans-mass.d.ts +0 -24
  550. package/dist/bridges/be65-jeans-mass.d.ts.map +0 -1
  551. package/dist/bridges/be65-jeans-mass.js +0 -38
  552. package/dist/bridges/be65-jeans-mass.js.map +0 -1
  553. package/dist/bridges/be66-radiation-pressure.d.ts +0 -30
  554. package/dist/bridges/be66-radiation-pressure.d.ts.map +0 -1
  555. package/dist/bridges/be66-radiation-pressure.js +0 -37
  556. package/dist/bridges/be66-radiation-pressure.js.map +0 -1
  557. package/dist/bridges/be67-alfven-speed.d.ts +0 -41
  558. package/dist/bridges/be67-alfven-speed.d.ts.map +0 -1
  559. package/dist/bridges/be67-alfven-speed.js +0 -50
  560. package/dist/bridges/be67-alfven-speed.js.map +0 -1
  561. package/dist/bridges/be68-tolman-ehrenfest.d.ts +0 -49
  562. package/dist/bridges/be68-tolman-ehrenfest.d.ts.map +0 -1
  563. package/dist/bridges/be68-tolman-ehrenfest.js +0 -46
  564. package/dist/bridges/be68-tolman-ehrenfest.js.map +0 -1
  565. package/dist/bridges/be69-fast-magnetosonic.d.ts +0 -30
  566. package/dist/bridges/be69-fast-magnetosonic.d.ts.map +0 -1
  567. package/dist/bridges/be69-fast-magnetosonic.js +0 -33
  568. package/dist/bridges/be69-fast-magnetosonic.js.map +0 -1
  569. package/dist/bridges/be70-einstein-relation.d.ts +0 -30
  570. package/dist/bridges/be70-einstein-relation.d.ts.map +0 -1
  571. package/dist/bridges/be70-einstein-relation.js +0 -41
  572. package/dist/bridges/be70-einstein-relation.js.map +0 -1
  573. package/dist/bridges/be71-clapeyron.d.ts +0 -43
  574. package/dist/bridges/be71-clapeyron.d.ts.map +0 -1
  575. package/dist/bridges/be71-clapeyron.js +0 -32
  576. package/dist/bridges/be71-clapeyron.js.map +0 -1
  577. package/dist/bridges/be72-gravitational-redshift.d.ts +0 -43
  578. package/dist/bridges/be72-gravitational-redshift.d.ts.map +0 -1
  579. package/dist/bridges/be72-gravitational-redshift.js +0 -32
  580. package/dist/bridges/be72-gravitational-redshift.js.map +0 -1
  581. package/dist/bridges/be73-kelvin-peltier.d.ts +0 -42
  582. package/dist/bridges/be73-kelvin-peltier.d.ts.map +0 -1
  583. package/dist/bridges/be73-kelvin-peltier.js +0 -31
  584. package/dist/bridges/be73-kelvin-peltier.js.map +0 -1
  585. package/dist/bridges/be74-magnetic-pressure.d.ts +0 -27
  586. package/dist/bridges/be74-magnetic-pressure.d.ts.map +0 -1
  587. package/dist/bridges/be74-magnetic-pressure.js +0 -29
  588. package/dist/bridges/be74-magnetic-pressure.js.map +0 -1
  589. package/dist/bridges/be75-london-penetration.d.ts +0 -27
  590. package/dist/bridges/be75-london-penetration.d.ts.map +0 -1
  591. package/dist/bridges/be75-london-penetration.js +0 -31
  592. package/dist/bridges/be75-london-penetration.js.map +0 -1
  593. package/dist/bridges/be76-plasma-beta.d.ts +0 -32
  594. package/dist/bridges/be76-plasma-beta.d.ts.map +0 -1
  595. package/dist/bridges/be76-plasma-beta.js +0 -34
  596. package/dist/bridges/be76-plasma-beta.js.map +0 -1
  597. package/dist/bridges/be77-hagen-poiseuille.d.ts +0 -50
  598. package/dist/bridges/be77-hagen-poiseuille.d.ts.map +0 -1
  599. package/dist/bridges/be77-hagen-poiseuille.js +0 -39
  600. package/dist/bridges/be77-hagen-poiseuille.js.map +0 -1
  601. package/dist/bridges/be78-euler-buckling.d.ts +0 -44
  602. package/dist/bridges/be78-euler-buckling.d.ts.map +0 -1
  603. package/dist/bridges/be78-euler-buckling.js +0 -33
  604. package/dist/bridges/be78-euler-buckling.js.map +0 -1
  605. package/dist/bridges/be79-pull-in.d.ts +0 -33
  606. package/dist/bridges/be79-pull-in.d.ts.map +0 -1
  607. package/dist/bridges/be79-pull-in.js +0 -35
  608. package/dist/bridges/be79-pull-in.js.map +0 -1
  609. package/dist/bridges/be80-mott-gurney.d.ts +0 -52
  610. package/dist/bridges/be80-mott-gurney.d.ts.map +0 -1
  611. package/dist/bridges/be80-mott-gurney.js +0 -38
  612. package/dist/bridges/be80-mott-gurney.js.map +0 -1
  613. package/dist/bridges/be81-child-langmuir.d.ts +0 -33
  614. package/dist/bridges/be81-child-langmuir.d.ts.map +0 -1
  615. package/dist/bridges/be81-child-langmuir.js +0 -38
  616. package/dist/bridges/be81-child-langmuir.js.map +0 -1
  617. package/dist/bridges/be82-shockley-diode.d.ts +0 -32
  618. package/dist/bridges/be82-shockley-diode.d.ts.map +0 -1
  619. package/dist/bridges/be82-shockley-diode.js +0 -37
  620. package/dist/bridges/be82-shockley-diode.js.map +0 -1
  621. package/dist/bridges/be83-thomson.d.ts +0 -46
  622. package/dist/bridges/be83-thomson.d.ts.map +0 -1
  623. package/dist/bridges/be83-thomson.js +0 -32
  624. package/dist/bridges/be83-thomson.js.map +0 -1
  625. package/dist/bridges/be84-four-point.d.ts +0 -45
  626. package/dist/bridges/be84-four-point.d.ts.map +0 -1
  627. package/dist/bridges/be84-four-point.js +0 -34
  628. package/dist/bridges/be84-four-point.js.map +0 -1
  629. package/dist/bridges/be85-shot-noise.d.ts +0 -30
  630. package/dist/bridges/be85-shot-noise.d.ts.map +0 -1
  631. package/dist/bridges/be85-shot-noise.js +0 -32
  632. package/dist/bridges/be85-shot-noise.js.map +0 -1
  633. package/dist/bridges/be86-reynolds-analogy.d.ts +0 -45
  634. package/dist/bridges/be86-reynolds-analogy.d.ts.map +0 -1
  635. package/dist/bridges/be86-reynolds-analogy.js +0 -30
  636. package/dist/bridges/be86-reynolds-analogy.js.map +0 -1
  637. package/dist/bridges/be87-capacitor-noise.d.ts +0 -27
  638. package/dist/bridges/be87-capacitor-noise.d.ts.map +0 -1
  639. package/dist/bridges/be87-capacitor-noise.js +0 -32
  640. package/dist/bridges/be87-capacitor-noise.js.map +0 -1
  641. package/dist/bridges/be88-fermi-sea.d.ts +0 -31
  642. package/dist/bridges/be88-fermi-sea.d.ts.map +0 -1
  643. package/dist/bridges/be88-fermi-sea.js +0 -35
  644. package/dist/bridges/be88-fermi-sea.js.map +0 -1
  645. package/dist/bridges/be89-debye-cutoff.d.ts +0 -39
  646. package/dist/bridges/be89-debye-cutoff.d.ts.map +0 -1
  647. package/dist/bridges/be89-debye-cutoff.js +0 -28
  648. package/dist/bridges/be89-debye-cutoff.js.map +0 -1
  649. package/dist/bridges/be90-debye-heat.d.ts +0 -30
  650. package/dist/bridges/be90-debye-heat.d.ts.map +0 -1
  651. package/dist/bridges/be90-debye-heat.js +0 -35
  652. package/dist/bridges/be90-debye-heat.js.map +0 -1
  653. package/dist/bridges/be91-einstein-solid.d.ts +0 -30
  654. package/dist/bridges/be91-einstein-solid.d.ts.map +0 -1
  655. package/dist/bridges/be91-einstein-solid.js +0 -37
  656. package/dist/bridges/be91-einstein-solid.js.map +0 -1
  657. package/dist/bridges/be92-sommerfeld-heat.d.ts +0 -30
  658. package/dist/bridges/be92-sommerfeld-heat.d.ts.map +0 -1
  659. package/dist/bridges/be92-sommerfeld-heat.js +0 -34
  660. package/dist/bridges/be92-sommerfeld-heat.js.map +0 -1
  661. package/dist/bridges/be93-curie-weiss.d.ts +0 -41
  662. package/dist/bridges/be93-curie-weiss.d.ts.map +0 -1
  663. package/dist/bridges/be93-curie-weiss.js +0 -45
  664. package/dist/bridges/be93-curie-weiss.js.map +0 -1
  665. package/dist/bridges/be94-pauli-paramagnetism.d.ts +0 -30
  666. package/dist/bridges/be94-pauli-paramagnetism.d.ts.map +0 -1
  667. package/dist/bridges/be94-pauli-paramagnetism.js +0 -33
  668. package/dist/bridges/be94-pauli-paramagnetism.js.map +0 -1
  669. package/dist/bridges/be95-ginzburg-landau.d.ts +0 -46
  670. package/dist/bridges/be95-ginzburg-landau.d.ts.map +0 -1
  671. package/dist/bridges/be95-ginzburg-landau.js +0 -32
  672. package/dist/bridges/be95-ginzburg-landau.js.map +0 -1
  673. package/dist/bridges/be96-upper-critical.d.ts +0 -24
  674. package/dist/bridges/be96-upper-critical.d.ts.map +0 -1
  675. package/dist/bridges/be96-upper-critical.js +0 -27
  676. package/dist/bridges/be96-upper-critical.js.map +0 -1
  677. package/dist/bridges/be97-ambegaokar-baratoff.d.ts +0 -24
  678. package/dist/bridges/be97-ambegaokar-baratoff.d.ts.map +0 -1
  679. package/dist/bridges/be97-ambegaokar-baratoff.js +0 -30
  680. package/dist/bridges/be97-ambegaokar-baratoff.js.map +0 -1
  681. package/dist/bridges/be98-bcs-jump.d.ts +0 -40
  682. package/dist/bridges/be98-bcs-jump.d.ts.map +0 -1
  683. package/dist/bridges/be98-bcs-jump.js +0 -29
  684. package/dist/bridges/be98-bcs-jump.js.map +0 -1
  685. package/dist/bridges/be99-mass-action.d.ts +0 -33
  686. package/dist/bridges/be99-mass-action.d.ts.map +0 -1
  687. package/dist/bridges/be99-mass-action.js +0 -37
  688. package/dist/bridges/be99-mass-action.js.map +0 -1
  689. package/dist/bridges/bridge-equations.d.ts +0 -225
  690. package/dist/bridges/bridge-equations.d.ts.map +0 -1
  691. package/dist/bridges/bridge-equations.js +0 -226
  692. package/dist/bridges/bridge-equations.js.map +0 -1
  693. package/dist/bridges/condensed-r8-catalog.d.ts +0 -28
  694. package/dist/bridges/condensed-r8-catalog.d.ts.map +0 -1
  695. package/dist/bridges/condensed-r8-catalog.js +0 -272
  696. package/dist/bridges/condensed-r8-catalog.js.map +0 -1
  697. package/dist/bridges/condensed-r8.d.ts +0 -260
  698. package/dist/bridges/condensed-r8.d.ts.map +0 -1
  699. package/dist/bridges/condensed-r8.js +0 -329
  700. package/dist/bridges/condensed-r8.js.map +0 -1
  701. package/dist/bridges/engineering-r7-catalog.d.ts +0 -28
  702. package/dist/bridges/engineering-r7-catalog.d.ts.map +0 -1
  703. package/dist/bridges/engineering-r7-catalog.js +0 -172
  704. package/dist/bridges/engineering-r7-catalog.js.map +0 -1
  705. package/dist/bridges/engineering-r7.d.ts +0 -152
  706. package/dist/bridges/engineering-r7.d.ts.map +0 -1
  707. package/dist/bridges/engineering-r7.js +0 -208
  708. package/dist/bridges/engineering-r7.js.map +0 -1
  709. package/dist/bridges/equations/_be-helpers.d.ts +0 -80
  710. package/dist/bridges/equations/_be-helpers.d.ts.map +0 -1
  711. package/dist/bridges/equations/_be-helpers.js +0 -103
  712. package/dist/bridges/equations/_be-helpers.js.map +0 -1
  713. package/dist/bridges/equations/be-11-decoherence-master.d.ts +0 -82
  714. package/dist/bridges/equations/be-11-decoherence-master.d.ts.map +0 -1
  715. package/dist/bridges/equations/be-11-decoherence-master.js +0 -105
  716. package/dist/bridges/equations/be-11-decoherence-master.js.map +0 -1
  717. package/dist/bridges/equations/be-12-coherence-length.d.ts +0 -86
  718. package/dist/bridges/equations/be-12-coherence-length.d.ts.map +0 -1
  719. package/dist/bridges/equations/be-12-coherence-length.js +0 -120
  720. package/dist/bridges/equations/be-12-coherence-length.js.map +0 -1
  721. package/dist/bridges/equations/be-13-einstein-trace.d.ts +0 -136
  722. package/dist/bridges/equations/be-13-einstein-trace.d.ts.map +0 -1
  723. package/dist/bridges/equations/be-13-einstein-trace.js +0 -199
  724. package/dist/bridges/equations/be-13-einstein-trace.js.map +0 -1
  725. package/dist/bridges/equations/be-14-ryu-takayanagi.d.ts +0 -73
  726. package/dist/bridges/equations/be-14-ryu-takayanagi.d.ts.map +0 -1
  727. package/dist/bridges/equations/be-14-ryu-takayanagi.js +0 -101
  728. package/dist/bridges/equations/be-14-ryu-takayanagi.js.map +0 -1
  729. package/dist/bridges/equations/be-15-emergence.d.ts +0 -184
  730. package/dist/bridges/equations/be-15-emergence.d.ts.map +0 -1
  731. package/dist/bridges/equations/be-15-emergence.js +0 -208
  732. package/dist/bridges/equations/be-15-emergence.js.map +0 -1
  733. package/dist/bridges/equations/be-16-landauer.d.ts +0 -186
  734. package/dist/bridges/equations/be-16-landauer.d.ts.map +0 -1
  735. package/dist/bridges/equations/be-16-landauer.js +0 -198
  736. package/dist/bridges/equations/be-16-landauer.js.map +0 -1
  737. package/dist/bridges/equations/be-17-einstein-cartan.d.ts +0 -258
  738. package/dist/bridges/equations/be-17-einstein-cartan.d.ts.map +0 -1
  739. package/dist/bridges/equations/be-17-einstein-cartan.js +0 -301
  740. package/dist/bridges/equations/be-17-einstein-cartan.js.map +0 -1
  741. package/dist/bridges/equations/be-18-higgs-mass.d.ts +0 -71
  742. package/dist/bridges/equations/be-18-higgs-mass.d.ts.map +0 -1
  743. package/dist/bridges/equations/be-18-higgs-mass.js +0 -75
  744. package/dist/bridges/equations/be-18-higgs-mass.js.map +0 -1
  745. package/dist/bridges/equations/be-19-quantum-bounce.d.ts +0 -107
  746. package/dist/bridges/equations/be-19-quantum-bounce.d.ts.map +0 -1
  747. package/dist/bridges/equations/be-19-quantum-bounce.js +0 -196
  748. package/dist/bridges/equations/be-19-quantum-bounce.js.map +0 -1
  749. package/dist/bridges/equations/be-20-vacuum-energy.d.ts +0 -93
  750. package/dist/bridges/equations/be-20-vacuum-energy.d.ts.map +0 -1
  751. package/dist/bridges/equations/be-20-vacuum-energy.js +0 -142
  752. package/dist/bridges/equations/be-20-vacuum-energy.js.map +0 -1
  753. package/dist/bridges/equations/be-21-kss-bound.d.ts +0 -74
  754. package/dist/bridges/equations/be-21-kss-bound.d.ts.map +0 -1
  755. package/dist/bridges/equations/be-21-kss-bound.js +0 -97
  756. package/dist/bridges/equations/be-21-kss-bound.js.map +0 -1
  757. package/dist/bridges/equations/be-22-topological-entanglement.d.ts +0 -87
  758. package/dist/bridges/equations/be-22-topological-entanglement.d.ts.map +0 -1
  759. package/dist/bridges/equations/be-22-topological-entanglement.js +0 -111
  760. package/dist/bridges/equations/be-22-topological-entanglement.js.map +0 -1
  761. package/dist/bridges/equations/be-23-syk-planckian.d.ts +0 -95
  762. package/dist/bridges/equations/be-23-syk-planckian.d.ts.map +0 -1
  763. package/dist/bridges/equations/be-23-syk-planckian.js +0 -141
  764. package/dist/bridges/equations/be-23-syk-planckian.js.map +0 -1
  765. package/dist/bridges/equations/be-24-foerster-fret.d.ts +0 -87
  766. package/dist/bridges/equations/be-24-foerster-fret.d.ts.map +0 -1
  767. package/dist/bridges/equations/be-24-foerster-fret.js +0 -113
  768. package/dist/bridges/equations/be-24-foerster-fret.js.map +0 -1
  769. package/dist/bridges/equations/be-25-iit-phi.d.ts +0 -222
  770. package/dist/bridges/equations/be-25-iit-phi.d.ts.map +0 -1
  771. package/dist/bridges/equations/be-25-iit-phi.js +0 -255
  772. package/dist/bridges/equations/be-25-iit-phi.js.map +0 -1
  773. package/dist/bridges/equations/be-25-orch-or.d.ts +0 -93
  774. package/dist/bridges/equations/be-25-orch-or.d.ts.map +0 -1
  775. package/dist/bridges/equations/be-25-orch-or.js +0 -124
  776. package/dist/bridges/equations/be-25-orch-or.js.map +0 -1
  777. package/dist/bridges/equations/be-26-dna-tunneling.d.ts +0 -88
  778. package/dist/bridges/equations/be-26-dna-tunneling.d.ts.map +0 -1
  779. package/dist/bridges/equations/be-26-dna-tunneling.js +0 -142
  780. package/dist/bridges/equations/be-26-dna-tunneling.js.map +0 -1
  781. package/dist/bridges/equations/be-27-effective-temperature.d.ts +0 -87
  782. package/dist/bridges/equations/be-27-effective-temperature.d.ts.map +0 -1
  783. package/dist/bridges/equations/be-27-effective-temperature.js +0 -112
  784. package/dist/bridges/equations/be-27-effective-temperature.js.map +0 -1
  785. package/dist/bridges/equations/be-28-onsager-entropy-production.d.ts +0 -181
  786. package/dist/bridges/equations/be-28-onsager-entropy-production.d.ts.map +0 -1
  787. package/dist/bridges/equations/be-28-onsager-entropy-production.js +0 -199
  788. package/dist/bridges/equations/be-28-onsager-entropy-production.js.map +0 -1
  789. package/dist/bridges/equations/be-29-jarzynski.d.ts +0 -92
  790. package/dist/bridges/equations/be-29-jarzynski.d.ts.map +0 -1
  791. package/dist/bridges/equations/be-29-jarzynski.js +0 -127
  792. package/dist/bridges/equations/be-29-jarzynski.js.map +0 -1
  793. package/dist/bridges/equations/be-30-flm-first-law.d.ts +0 -102
  794. package/dist/bridges/equations/be-30-flm-first-law.d.ts.map +0 -1
  795. package/dist/bridges/equations/be-30-flm-first-law.js +0 -98
  796. package/dist/bridges/equations/be-30-flm-first-law.js.map +0 -1
  797. package/dist/bridges/equations/be-31-causal-set-bd.d.ts +0 -102
  798. package/dist/bridges/equations/be-31-causal-set-bd.d.ts.map +0 -1
  799. package/dist/bridges/equations/be-31-causal-set-bd.js +0 -119
  800. package/dist/bridges/equations/be-31-causal-set-bd.js.map +0 -1
  801. package/dist/bridges/equations/be-32-quantum-reference-frame.d.ts +0 -110
  802. package/dist/bridges/equations/be-32-quantum-reference-frame.d.ts.map +0 -1
  803. package/dist/bridges/equations/be-32-quantum-reference-frame.js +0 -145
  804. package/dist/bridges/equations/be-32-quantum-reference-frame.js.map +0 -1
  805. package/dist/bridges/equations/be-33-hertz-millis.d.ts +0 -102
  806. package/dist/bridges/equations/be-33-hertz-millis.d.ts.map +0 -1
  807. package/dist/bridges/equations/be-33-hertz-millis.js +0 -117
  808. package/dist/bridges/equations/be-33-hertz-millis.js.map +0 -1
  809. package/dist/bridges/equations/be-34-kibble-zurek.d.ts +0 -83
  810. package/dist/bridges/equations/be-34-kibble-zurek.d.ts.map +0 -1
  811. package/dist/bridges/equations/be-34-kibble-zurek.js +0 -139
  812. package/dist/bridges/equations/be-34-kibble-zurek.js.map +0 -1
  813. package/dist/bridges/equations/be-35-conformal-bootstrap.d.ts +0 -101
  814. package/dist/bridges/equations/be-35-conformal-bootstrap.d.ts.map +0 -1
  815. package/dist/bridges/equations/be-35-conformal-bootstrap.js +0 -123
  816. package/dist/bridges/equations/be-35-conformal-bootstrap.js.map +0 -1
  817. package/dist/bridges/equations/be-36-gw-speed-bound.d.ts +0 -90
  818. package/dist/bridges/equations/be-36-gw-speed-bound.d.ts.map +0 -1
  819. package/dist/bridges/equations/be-36-gw-speed-bound.js +0 -106
  820. package/dist/bridges/equations/be-36-gw-speed-bound.js.map +0 -1
  821. package/dist/bridges/equations/be-37-shapiro-delay.d.ts +0 -264
  822. package/dist/bridges/equations/be-37-shapiro-delay.d.ts.map +0 -1
  823. package/dist/bridges/equations/be-37-shapiro-delay.js +0 -420
  824. package/dist/bridges/equations/be-37-shapiro-delay.js.map +0 -1
  825. package/dist/bridges/equations/be-38-mond.d.ts +0 -94
  826. package/dist/bridges/equations/be-38-mond.d.ts.map +0 -1
  827. package/dist/bridges/equations/be-38-mond.js +0 -114
  828. package/dist/bridges/equations/be-38-mond.js.map +0 -1
  829. package/dist/bridges/equations/be-39-asymptotic-safety.d.ts +0 -170
  830. package/dist/bridges/equations/be-39-asymptotic-safety.d.ts.map +0 -1
  831. package/dist/bridges/equations/be-39-asymptotic-safety.js +0 -263
  832. package/dist/bridges/equations/be-39-asymptotic-safety.js.map +0 -1
  833. package/dist/bridges/equations/be-40-composite-higgs.d.ts +0 -89
  834. package/dist/bridges/equations/be-40-composite-higgs.d.ts.map +0 -1
  835. package/dist/bridges/equations/be-40-composite-higgs.js +0 -149
  836. package/dist/bridges/equations/be-40-composite-higgs.js.map +0 -1
  837. package/dist/bridges/equations/be-41-swampland.d.ts +0 -73
  838. package/dist/bridges/equations/be-41-swampland.d.ts.map +0 -1
  839. package/dist/bridges/equations/be-41-swampland.js +0 -108
  840. package/dist/bridges/equations/be-41-swampland.js.map +0 -1
  841. package/dist/bridges/equations/be-42-hawking-temperature.d.ts +0 -72
  842. package/dist/bridges/equations/be-42-hawking-temperature.d.ts.map +0 -1
  843. package/dist/bridges/equations/be-42-hawking-temperature.js +0 -108
  844. package/dist/bridges/equations/be-42-hawking-temperature.js.map +0 -1
  845. package/dist/bridges/equations/be-43-er-epr.d.ts +0 -79
  846. package/dist/bridges/equations/be-43-er-epr.d.ts.map +0 -1
  847. package/dist/bridges/equations/be-43-er-epr.js +0 -106
  848. package/dist/bridges/equations/be-43-er-epr.js.map +0 -1
  849. package/dist/bridges/equations/be-44-soft-hair.d.ts +0 -157
  850. package/dist/bridges/equations/be-44-soft-hair.d.ts.map +0 -1
  851. package/dist/bridges/equations/be-44-soft-hair.js +0 -177
  852. package/dist/bridges/equations/be-44-soft-hair.js.map +0 -1
  853. package/dist/bridges/equations/be-45-tcc.d.ts +0 -122
  854. package/dist/bridges/equations/be-45-tcc.d.ts.map +0 -1
  855. package/dist/bridges/equations/be-45-tcc.js +0 -149
  856. package/dist/bridges/equations/be-45-tcc.js.map +0 -1
  857. package/dist/bridges/equations/be-46-multiverse-measure.d.ts +0 -169
  858. package/dist/bridges/equations/be-46-multiverse-measure.d.ts.map +0 -1
  859. package/dist/bridges/equations/be-46-multiverse-measure.js +0 -192
  860. package/dist/bridges/equations/be-46-multiverse-measure.js.map +0 -1
  861. package/dist/bridges/equations/be-47-bbn-dark-sector.d.ts +0 -78
  862. package/dist/bridges/equations/be-47-bbn-dark-sector.d.ts.map +0 -1
  863. package/dist/bridges/equations/be-47-bbn-dark-sector.js +0 -119
  864. package/dist/bridges/equations/be-47-bbn-dark-sector.js.map +0 -1
  865. package/dist/bridges/equations/be-48-grw-localization.d.ts +0 -91
  866. package/dist/bridges/equations/be-48-grw-localization.d.ts.map +0 -1
  867. package/dist/bridges/equations/be-48-grw-localization.js +0 -103
  868. package/dist/bridges/equations/be-48-grw-localization.js.map +0 -1
  869. package/dist/bridges/equations/be-49-quantum-darwinism.d.ts +0 -103
  870. package/dist/bridges/equations/be-49-quantum-darwinism.d.ts.map +0 -1
  871. package/dist/bridges/equations/be-49-quantum-darwinism.js +0 -117
  872. package/dist/bridges/equations/be-49-quantum-darwinism.js.map +0 -1
  873. package/dist/bridges/equations/be-50-wheeler-feynman.d.ts +0 -116
  874. package/dist/bridges/equations/be-50-wheeler-feynman.d.ts.map +0 -1
  875. package/dist/bridges/equations/be-50-wheeler-feynman.js +0 -215
  876. package/dist/bridges/equations/be-50-wheeler-feynman.js.map +0 -1
  877. package/dist/bridges/equations/be-53-yang-mills-beta.d.ts +0 -179
  878. package/dist/bridges/equations/be-53-yang-mills-beta.d.ts.map +0 -1
  879. package/dist/bridges/equations/be-53-yang-mills-beta.js +0 -187
  880. package/dist/bridges/equations/be-53-yang-mills-beta.js.map +0 -1
  881. package/dist/bridges/equations/be-54-randall-sundrum-brane.d.ts +0 -117
  882. package/dist/bridges/equations/be-54-randall-sundrum-brane.d.ts.map +0 -1
  883. package/dist/bridges/equations/be-54-randall-sundrum-brane.js +0 -209
  884. package/dist/bridges/equations/be-54-randall-sundrum-brane.js.map +0 -1
  885. package/dist/bridges/gravitational-lensing.d.ts +0 -73
  886. package/dist/bridges/gravitational-lensing.d.ts.map +0 -1
  887. package/dist/bridges/gravitational-lensing.js +0 -59
  888. package/dist/bridges/gravitational-lensing.js.map +0 -1
  889. package/dist/bridges/perihelion-precession-labeled.d.ts +0 -46
  890. package/dist/bridges/perihelion-precession-labeled.d.ts.map +0 -1
  891. package/dist/bridges/perihelion-precession-labeled.js +0 -54
  892. package/dist/bridges/perihelion-precession-labeled.js.map +0 -1
  893. package/dist/bridges/perihelion-precession.d.ts +0 -87
  894. package/dist/bridges/perihelion-precession.d.ts.map +0 -1
  895. package/dist/bridges/perihelion-precession.js +0 -82
  896. package/dist/bridges/perihelion-precession.js.map +0 -1
  897. package/dist/bridges/plasma-catalog.d.ts +0 -29
  898. package/dist/bridges/plasma-catalog.d.ts.map +0 -1
  899. package/dist/bridges/plasma-catalog.js +0 -427
  900. package/dist/bridges/plasma-catalog.js.map +0 -1
  901. package/dist/bridges/plasma-space.d.ts +0 -310
  902. package/dist/bridges/plasma-space.d.ts.map +0 -1
  903. package/dist/bridges/plasma-space.js +0 -262
  904. package/dist/bridges/plasma-space.js.map +0 -1
  905. package/dist/composition/edges/_catalog-helpers.d.ts +0 -38
  906. package/dist/composition/edges/_catalog-helpers.d.ts.map +0 -1
  907. package/dist/composition/edges/_catalog-helpers.js +0 -90
  908. package/dist/composition/edges/_catalog-helpers.js.map +0 -1
  909. package/dist/composition/edges/applied-physicist.d.ts +0 -181
  910. package/dist/composition/edges/applied-physicist.d.ts.map +0 -1
  911. package/dist/composition/edges/applied-physicist.js +0 -843
  912. package/dist/composition/edges/applied-physicist.js.map +0 -1
  913. package/dist/composition/edges/calibration.d.ts +0 -107
  914. package/dist/composition/edges/calibration.d.ts.map +0 -1
  915. package/dist/composition/edges/calibration.js +0 -559
  916. package/dist/composition/edges/calibration.js.map +0 -1
  917. package/dist/composition/edges/catalog-condensed-matter.d.ts +0 -65
  918. package/dist/composition/edges/catalog-condensed-matter.d.ts.map +0 -1
  919. package/dist/composition/edges/catalog-condensed-matter.js +0 -257
  920. package/dist/composition/edges/catalog-condensed-matter.js.map +0 -1
  921. package/dist/composition/edges/catalog-fields.d.ts +0 -68
  922. package/dist/composition/edges/catalog-fields.d.ts.map +0 -1
  923. package/dist/composition/edges/catalog-fields.js +0 -207
  924. package/dist/composition/edges/catalog-fields.js.map +0 -1
  925. package/dist/composition/edges/catalog-full.d.ts +0 -43
  926. package/dist/composition/edges/catalog-full.d.ts.map +0 -1
  927. package/dist/composition/edges/catalog-full.js +0 -73
  928. package/dist/composition/edges/catalog-full.js.map +0 -1
  929. package/dist/composition/edges/catalog-gravitation-cosmology.d.ts +0 -81
  930. package/dist/composition/edges/catalog-gravitation-cosmology.d.ts.map +0 -1
  931. package/dist/composition/edges/catalog-gravitation-cosmology.js +0 -275
  932. package/dist/composition/edges/catalog-gravitation-cosmology.js.map +0 -1
  933. package/dist/composition/edges/catalog-quantum.d.ts +0 -85
  934. package/dist/composition/edges/catalog-quantum.d.ts.map +0 -1
  935. package/dist/composition/edges/catalog-quantum.js +0 -297
  936. package/dist/composition/edges/catalog-quantum.js.map +0 -1
  937. package/dist/composition/edges/catalog-tranche.d.ts +0 -108
  938. package/dist/composition/edges/catalog-tranche.d.ts.map +0 -1
  939. package/dist/composition/edges/catalog-tranche.js +0 -304
  940. package/dist/composition/edges/catalog-tranche.js.map +0 -1
  941. package/dist/composition/edges/condensed-r5.d.ts +0 -105
  942. package/dist/composition/edges/condensed-r5.d.ts.map +0 -1
  943. package/dist/composition/edges/condensed-r5.js +0 -505
  944. package/dist/composition/edges/condensed-r5.js.map +0 -1
  945. package/dist/composition/edges/condensed-r8.d.ts +0 -30
  946. package/dist/composition/edges/condensed-r8.d.ts.map +0 -1
  947. package/dist/composition/edges/condensed-r8.js +0 -325
  948. package/dist/composition/edges/condensed-r8.js.map +0 -1
  949. package/dist/composition/edges/engineering-r7.d.ts +0 -20
  950. package/dist/composition/edges/engineering-r7.d.ts.map +0 -1
  951. package/dist/composition/edges/engineering-r7.js +0 -262
  952. package/dist/composition/edges/engineering-r7.js.map +0 -1
  953. package/dist/composition/edges/plasma-space.d.ts +0 -50
  954. package/dist/composition/edges/plasma-space.d.ts.map +0 -1
  955. package/dist/composition/edges/plasma-space.js +0 -481
  956. package/dist/composition/edges/plasma-space.js.map +0 -1
  957. package/dist/composition/edges/proved-seeds.d.ts +0 -39
  958. package/dist/composition/edges/proved-seeds.d.ts.map +0 -1
  959. package/dist/composition/edges/proved-seeds.js +0 -197
  960. package/dist/composition/edges/proved-seeds.js.map +0 -1
  961. package/dist/composition/quantities/_dims.d.ts +0 -45
  962. package/dist/composition/quantities/_dims.d.ts.map +0 -1
  963. package/dist/composition/quantities/_dims.js +0 -55
  964. package/dist/composition/quantities/_dims.js.map +0 -1
  965. package/dist/composition/quantities/applied-physicist.d.ts +0 -166
  966. package/dist/composition/quantities/applied-physicist.d.ts.map +0 -1
  967. package/dist/composition/quantities/applied-physicist.js +0 -543
  968. package/dist/composition/quantities/applied-physicist.js.map +0 -1
  969. package/dist/composition/quantities/common.d.ts +0 -69
  970. package/dist/composition/quantities/common.d.ts.map +0 -1
  971. package/dist/composition/quantities/common.js +0 -210
  972. package/dist/composition/quantities/common.js.map +0 -1
  973. package/dist/composition/quantities/condensed-matter.d.ts +0 -79
  974. package/dist/composition/quantities/condensed-matter.d.ts.map +0 -1
  975. package/dist/composition/quantities/condensed-matter.js +0 -238
  976. package/dist/composition/quantities/condensed-matter.js.map +0 -1
  977. package/dist/composition/quantities/condensed-r5.d.ts +0 -110
  978. package/dist/composition/quantities/condensed-r5.d.ts.map +0 -1
  979. package/dist/composition/quantities/condensed-r5.js +0 -359
  980. package/dist/composition/quantities/condensed-r5.js.map +0 -1
  981. package/dist/composition/quantities/condensed-r8.d.ts +0 -96
  982. package/dist/composition/quantities/condensed-r8.d.ts.map +0 -1
  983. package/dist/composition/quantities/condensed-r8.js +0 -107
  984. package/dist/composition/quantities/condensed-r8.js.map +0 -1
  985. package/dist/composition/quantities/engineering-r7.d.ts +0 -82
  986. package/dist/composition/quantities/engineering-r7.d.ts.map +0 -1
  987. package/dist/composition/quantities/engineering-r7.js +0 -92
  988. package/dist/composition/quantities/engineering-r7.js.map +0 -1
  989. package/dist/composition/quantities/fields.d.ts +0 -69
  990. package/dist/composition/quantities/fields.d.ts.map +0 -1
  991. package/dist/composition/quantities/fields.js +0 -210
  992. package/dist/composition/quantities/fields.js.map +0 -1
  993. package/dist/composition/quantities/gravitation-cosmology.d.ts +0 -71
  994. package/dist/composition/quantities/gravitation-cosmology.d.ts.map +0 -1
  995. package/dist/composition/quantities/gravitation-cosmology.js +0 -215
  996. package/dist/composition/quantities/gravitation-cosmology.js.map +0 -1
  997. package/dist/composition/quantities/plasma-space.d.ts +0 -178
  998. package/dist/composition/quantities/plasma-space.d.ts.map +0 -1
  999. package/dist/composition/quantities/plasma-space.js +0 -185
  1000. package/dist/composition/quantities/plasma-space.js.map +0 -1
  1001. package/dist/composition/quantities/quantum.d.ts +0 -63
  1002. package/dist/composition/quantities/quantum.d.ts.map +0 -1
  1003. package/dist/composition/quantities/quantum.js +0 -190
  1004. package/dist/composition/quantities/quantum.js.map +0 -1
  1005. package/dist/numerical/be37-covariant-eikonal.d.ts.map +0 -1
  1006. package/dist/numerical/be37-covariant-eikonal.js.map +0 -1
@@ -1,217 +1,30 @@
1
1
  /**
2
- * Exact prefactors for canonical equations that `src/canonical` records only
3
- * dimensionally or only up to a constant.
2
+ * Sourced prefactors of canonical equations, projected from the entries.
4
3
  *
5
4
  * CE-pendulum-period is a monomial and CE-kinetic-energy's AST is `m·v²`, so a
6
5
  * user formula wrong by 2π or ½ could not be caught (persona findings L2, L7).
7
- * `src/canonical` is a pinned Criterion 3 input tree, so the prefactors live
8
- * here, outside it (Mothership ruling 2026-09-25). Each prefactor multiplies the
9
- * entry's AST, or its monomial when it has no AST; a test holds that neither
10
- * carries a constant of its own.
11
- *
12
- * Every quote is verbatim wikitext from the pinned Wikipedia revision in its
13
- * locator, fetched and matched on 2026-09-25 (the first nine), 2026-09-27 (the
14
- * next rows, and the group prefactor below), or 2026-10-04 (dynamic pressure,
15
- * Laplace pressure, inductor energy, equipartition, kinetic pressure, half-life,
16
- * and the Thomson cross-section).
6
+ * Each entry that records only dimensionally, or only up to a constant, states
7
+ * its exact prefactor as `prefactor` with a verbatim quote and a revision-pinned
8
+ * locator; a test holds that neither its AST nor its monomial carries a constant
9
+ * of its own. The lookups here read those fields; the entry owns the fact, and
10
+ * a caller that wants the quote or the locator reads the entry.
17
11
  *
18
12
  * A prefactor that depends on a dimensionless group the entry's dimensional
19
- * record does not carry (CE-sound-speed's √γ) is not a constant, so it is not in
20
- * CANONICAL_PREFACTORS and canonicalPrefactor does not return it: it is in
21
- * CANONICAL_GROUP_PREFACTORS, which only a caller that can bind the group uses.
13
+ * record does not carry (CE-sound-speed's √γ) is not a constant: it is the
14
+ * entry's `groupPrefactor`, and `canonicalPrefactor` does not return it. Only
15
+ * a caller that can bind the group uses `canonicalGroupPrefactor`.
22
16
  *
23
17
  * @module composition/canonical-prefactors
24
18
  */
25
- /** The sourced prefactors, by canonical id. @internal */
26
- export const CANONICAL_PREFACTORS = [
27
- {
28
- id: 'CE-pendulum-period',
29
- prefactor: 2 * Math.PI,
30
- quote: String.raw `T_0 = 2\pi\sqrt{\frac \ell g}`,
31
- locator: "Wikipedia, 'Pendulum (mechanics)', revision 1374595895, wikitext line 171",
32
- },
33
- {
34
- id: 'CE-kinetic-energy',
35
- prefactor: 0.5,
36
- quote: String.raw `E_\text{k} = \frac{1}{2} mv^2`,
37
- locator: "Wikipedia, 'Kinetic energy', revision 1370969006, wikitext line 56",
38
- },
39
- {
40
- id: 'CE-rotational-kinetic-energy',
41
- prefactor: 0.5,
42
- quote: String.raw `E_\text{rotational} = \tfrac{1}{2} I \omega^2`,
43
- locator: "Wikipedia, 'Rotational energy', revision 1258577842, wikitext line 3",
44
- },
45
- {
46
- id: 'CE-capacitor-energy',
47
- prefactor: 0.5,
48
- quote: String.raw `W = \frac{1}{2}CV^2`,
49
- locator: "Wikipedia, 'Capacitor', revision 1375788837, wikitext line 137",
50
- },
51
- {
52
- id: 'CE-schwarzschild-radius',
53
- prefactor: 2,
54
- quote: String.raw `Schwarzschild radius{{br}}<math display="inline">\frac{2GM}{c^2}</math>`,
55
- locator: "Wikipedia, 'Schwarzschild radius', revision 1373854769, wikitext line 25",
56
- },
57
- {
58
- // a³/T² = GM/(4π²) for M ≫ m gives T = 2π √(a³/(GM)); the canonical monomial is a^1.5 (GM)^-0.5.
59
- id: 'CE-kepler-third',
60
- prefactor: 2 * Math.PI,
61
- quote: String.raw `\frac{a^3}{T^2} = \frac{G(M + m)}{4\pi^2} \approx \frac{GM}{4\pi^2}`,
62
- locator: "Wikipedia, 'Kepler's laws of planetary motion', revision 1376360196, wikitext line 232",
63
- },
64
- {
65
- id: 'CE-lc-resonance',
66
- prefactor: 1,
67
- quote: String.raw `\omega_0 = \frac{1}{\sqrt{LC}},`,
68
- locator: "Wikipedia, 'LC circuit', revision 1350658867, wikitext line 66",
69
- },
70
- {
71
- // The Stokes friction coefficient ζ = 6πηr; the drag at speed v is F = ζ v.
72
- id: 'CE-stokes-drag',
73
- prefactor: 6 * Math.PI,
74
- quote: String.raw `\zeta = 6 \pi \, \eta \, r,`,
75
- locator: "Wikipedia, 'Einstein relation (kinetic theory)', revision 1353047788, wikitext line 77",
76
- },
77
- {
78
- id: 'CE-stokes-einstein',
79
- prefactor: 1 / (6 * Math.PI),
80
- quote: String.raw `D = \frac{k_\text{B} T}{6\pi\,\eta\,r}.`,
81
- locator: "Wikipedia, 'Einstein relation (kinetic theory)', revision 1353047788, wikitext line 79",
82
- },
83
- {
84
- id: 'CE-simple-harmonic-frequency',
85
- prefactor: 1,
86
- quote: String.raw `\omega = \sqrt{\frac k m}.`,
87
- locator: "Wikipedia, 'Harmonic oscillator', revision 1373924880, wikitext line 44",
88
- },
89
- {
90
- id: 'CE-spring-potential-energy',
91
- prefactor: 0.5,
92
- quote: String.raw `U_\mathrm{el}(x) = \tfrac 1 2 kx^2`,
93
- locator: "Wikipedia, 'Hooke's law', revision 1375736650, wikitext line 146",
94
- },
95
- {
96
- id: 'CE-oscillator-energy',
97
- prefactor: 0.5,
98
- quote: String.raw `E = K + U = \tfrac12 k A^2.`,
99
- locator: "Wikipedia, 'Simple harmonic motion', revision 1347475303, wikitext line 80",
100
- },
101
- {
102
- // The source writes the tension T; the canonical entry calls it F.
103
- id: 'CE-string-wave-speed',
104
- prefactor: 1,
105
- quote: String.raw `v=\sqrt{T\over\mu},`,
106
- locator: "Wikipedia, 'String vibration', revision 1306385524, wikitext line 40",
107
- },
108
- {
109
- // The three Planck units are all-constant: compared once, at the SI values (persona finding W5).
110
- id: 'CE-planck-length',
111
- prefactor: 1,
112
- quote: String.raw `<math>l_\text{P} = \sqrt{\frac{\hbar G}{c^3}}</math>`,
113
- locator: "Wikipedia, 'Planck units', revision 1375441167, wikitext line 77",
114
- },
115
- {
116
- id: 'CE-planck-mass',
117
- prefactor: 1,
118
- quote: String.raw `<math>m_\text{P} = \sqrt{\frac{\hbar c}{G}}</math>`,
119
- locator: "Wikipedia, 'Planck units', revision 1375441167, wikitext line 82",
120
- },
121
- {
122
- id: 'CE-planck-time',
123
- prefactor: 1,
124
- quote: String.raw `<math>t_\text{P} = \sqrt{\frac{\hbar G}{c^5}}</math>`,
125
- locator: "Wikipedia, 'Planck units', revision 1375441167, wikitext line 87",
126
- },
127
- {
128
- // The AST is μ₀ I / r; the quoted wire field divides by 2π.
129
- id: 'CE-magnetic-field-wire',
130
- prefactor: 1 / (2 * Math.PI),
131
- quote: String.raw `B = \frac{\mu_0I}{2\pi x}`,
132
- locator: "Wikipedia, 'Magnetic field', revision 1375215267, wikitext line 876",
133
- },
134
- {
135
- // The AST divides by ε₀ c³ only; the quoted power divides by 6π as well.
136
- id: 'CE-larmor-power',
137
- prefactor: 1 / (6 * Math.PI),
138
- quote: String.raw `\frac{q^2 a^2}{6 \pi \varepsilon_0 c^3}`,
139
- locator: "Wikipedia, 'Larmor formula', revision 1352376843, wikitext line 9",
140
- },
141
- {
142
- // The quote's electric term is ε E²/2. In vacuum ε = ε₀, and the AST is ε₀ E².
143
- id: 'CE-field-energy-density',
144
- prefactor: 0.5,
145
- quote: String.raw `u = \frac{\varepsilon}{2} \mathbf{E}^2 + \frac{1}{2 \mu} \mathbf{B}^2`,
146
- locator: "Wikipedia, 'Energy density', revision 1366889538, wikitext line 81",
147
- },
148
- {
149
- // The L0 monomial is ħ/(m c). The quote is the reduced wavelength, so the factor is 1.
150
- // λ = h/(m c) is the separate fully-quantitative entry CE-compton-wavelength-full.
151
- id: 'CE-compton-wavelength',
152
- prefactor: 1,
153
- quote: String.raw `\lambda\!\!\!\bar{} = \frac{\lambda}{2 \pi} = \frac{\hbar}{m c},`,
154
- locator: "Wikipedia, 'Compton wavelength', revision 1376812882, wikitext line 13",
155
- },
156
- {
157
- id: 'CE-dynamic-pressure',
158
- prefactor: 0.5,
159
- quote: String.raw `q = \frac{1}{2}\rho\, u^2`,
160
- locator: "Wikipedia, 'Dynamic pressure', revision 1323192083, wikitext line 6",
161
- },
162
- {
163
- id: 'CE-laplace-pressure',
164
- prefactor: 2,
165
- quote: String.raw `\Delta p = \frac{2 \gamma}{R}.`,
166
- locator: "Wikipedia, 'Young–Laplace equation', revision 1350190310, wikitext line 40",
167
- },
168
- {
169
- id: 'CE-inductor-energy',
170
- prefactor: 0.5,
171
- quote: String.raw `\tfrac{1}{2} L\,I^2`,
172
- locator: "Wikipedia, 'Inductance', revision 1372308482, wikitext line 109",
173
- },
174
- {
175
- id: 'CE-equipartition',
176
- prefactor: 1.5,
177
- quote: String.raw `\langle H_{\mathrm{kin}} \rangle = \left\langle \frac{p^2}{2m} \right\rangle = \langle \tfrac{1}{2} m v^{2} \rangle = \tfrac{3}{2} k_\text{B} T.`,
178
- locator: "Wikipedia, 'Equipartition theorem', revision 1373697867, wikitext line 304",
179
- },
180
- {
181
- id: 'CE-kinetic-pressure',
182
- prefactor: 1 / 3,
183
- quote: String.raw `= \frac{1}{3} n mv_\text{rms}^2`,
184
- locator: "Wikipedia, 'Kinetic theory of gases', revision 1371478093, wikitext line 173",
185
- },
186
- {
187
- id: 'CE-half-life',
188
- prefactor: Math.log(2),
189
- quote: String.raw `t_{1/2} = \frac{\ln (2)}{\lambda} = \tau \ln(2)`,
190
- locator: "Wikipedia, 'Half-life', revision 1373221894, wikitext line 64",
191
- },
192
- {
193
- id: 'CE-thomson-cross-section',
194
- prefactor: (8 * Math.PI) / 3,
195
- quote: String.raw `\sigma_\text{t} = \frac{8\pi} 3 \left(\frac{q^2}{4\pi\varepsilon_0 mc^2}\right)^2 = \frac{8\pi} 3 {r}^2 = \frac{8 \pi}{3} \left(\alpha \lambda\!\!\!\bar{}_\text{c}\right)^2 ,`,
196
- locator: "Wikipedia, 'Thomson scattering', revision 1348001870, wikitext line 31",
197
- },
198
- ];
19
+ import { CANONICAL_EQUATIONS } from '../canonical/registry.js';
20
+ /** Entry id → the exact factor in front of its AST or monomial, read from the entry's `prefactor`. */
21
+ const PREFACTOR_BY_ID = new Map(CANONICAL_EQUATIONS.flatMap((e) => (e.prefactor === undefined ? [] : [[e.id, e.prefactor.value]])));
199
22
  /** The sourced prefactor of a canonical entry, or `undefined`. @internal */
200
23
  export function canonicalPrefactor(id) {
201
- return CANONICAL_PREFACTORS.find((p) => p.id === id)?.prefactor;
24
+ return PREFACTOR_BY_ID.get(id);
202
25
  }
203
- /** The sourced group prefactors, by canonical id. @internal */
204
- export const CANONICAL_GROUP_PREFACTORS = [
205
- {
206
- // c = √(γ p/ρ): the monomial p^½ ρ^-½ times γ^½, γ the adiabatic index.
207
- id: 'CE-sound-speed',
208
- group: 'gamma',
209
- coefficient: 1,
210
- exponent: 0.5,
211
- quote: String.raw `c = \sqrt{\gamma \cdot {p \over \rho}},`,
212
- locator: "Wikipedia, 'Speed of sound', revision 1373106219, wikitext line 142",
213
- },
214
- ];
26
+ /** The sourced group prefactors, one row per entry that records one. @internal */
27
+ export const CANONICAL_GROUP_PREFACTORS = CANONICAL_EQUATIONS.flatMap((e) => e.groupPrefactor === undefined ? [] : [{ id: e.id, ...e.groupPrefactor }]);
215
28
  /** The prefactor of a group-dependent entry at a value of its group, or `undefined`. @internal */
216
29
  export function canonicalGroupPrefactor(id, groupValue) {
217
30
  const p = CANONICAL_GROUP_PREFACTORS.find((q) => q.id === id);
@@ -1 +1 @@
1
- {"version":3,"file":"canonical-prefactors.js","sourceRoot":"","sources":["../../src/composition/canonical-prefactors.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAcH,yDAAyD;AACzD,MAAM,CAAC,MAAM,oBAAoB,GAAkC;IACjE;QACE,EAAE,EAAE,oBAAoB;QACxB,SAAS,EAAE,CAAC,GAAG,IAAI,CAAC,EAAE;QACtB,KAAK,EAAE,MAAM,CAAC,GAAG,CAAA,+BAA+B;QAChD,OAAO,EAAE,2EAA2E;KACrF;IACD;QACE,EAAE,EAAE,mBAAmB;QACvB,SAAS,EAAE,GAAG;QACd,KAAK,EAAE,MAAM,CAAC,GAAG,CAAA,+BAA+B;QAChD,OAAO,EAAE,oEAAoE;KAC9E;IACD;QACE,EAAE,EAAE,8BAA8B;QAClC,SAAS,EAAE,GAAG;QACd,KAAK,EAAE,MAAM,CAAC,GAAG,CAAA,+CAA+C;QAChE,OAAO,EAAE,sEAAsE;KAChF;IACD;QACE,EAAE,EAAE,qBAAqB;QACzB,SAAS,EAAE,GAAG;QACd,KAAK,EAAE,MAAM,CAAC,GAAG,CAAA,qBAAqB;QACtC,OAAO,EAAE,gEAAgE;KAC1E;IACD;QACE,EAAE,EAAE,yBAAyB;QAC7B,SAAS,EAAE,CAAC;QACZ,KAAK,EAAE,MAAM,CAAC,GAAG,CAAA,yEAAyE;QAC1F,OAAO,EAAE,0EAA0E;KACpF;IACD;QACE,iGAAiG;QACjG,EAAE,EAAE,iBAAiB;QACrB,SAAS,EAAE,CAAC,GAAG,IAAI,CAAC,EAAE;QACtB,KAAK,EAAE,MAAM,CAAC,GAAG,CAAA,qEAAqE;QACtF,OAAO,EAAE,wFAAwF;KAClG;IACD;QACE,EAAE,EAAE,iBAAiB;QACrB,SAAS,EAAE,CAAC;QACZ,KAAK,EAAE,MAAM,CAAC,GAAG,CAAA,iCAAiC;QAClD,OAAO,EAAE,gEAAgE;KAC1E;IACD;QACE,4EAA4E;QAC5E,EAAE,EAAE,gBAAgB;QACpB,SAAS,EAAE,CAAC,GAAG,IAAI,CAAC,EAAE;QACtB,KAAK,EAAE,MAAM,CAAC,GAAG,CAAA,6BAA6B;QAC9C,OAAO,EAAE,wFAAwF;KAClG;IACD;QACE,EAAE,EAAE,oBAAoB;QACxB,SAAS,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC;QAC5B,KAAK,EAAE,MAAM,CAAC,GAAG,CAAA,yCAAyC;QAC1D,OAAO,EAAE,wFAAwF;KAClG;IACD;QACE,EAAE,EAAE,8BAA8B;QAClC,SAAS,EAAE,CAAC;QACZ,KAAK,EAAE,MAAM,CAAC,GAAG,CAAA,4BAA4B;QAC7C,OAAO,EAAE,yEAAyE;KACnF;IACD;QACE,EAAE,EAAE,4BAA4B;QAChC,SAAS,EAAE,GAAG;QACd,KAAK,EAAE,MAAM,CAAC,GAAG,CAAA,oCAAoC;QACrD,OAAO,EAAE,kEAAkE;KAC5E;IACD;QACE,EAAE,EAAE,sBAAsB;QAC1B,SAAS,EAAE,GAAG;QACd,KAAK,EAAE,MAAM,CAAC,GAAG,CAAA,6BAA6B;QAC9C,OAAO,EAAE,4EAA4E;KACtF;IACD;QACE,mEAAmE;QACnE,EAAE,EAAE,sBAAsB;QAC1B,SAAS,EAAE,CAAC;QACZ,KAAK,EAAE,MAAM,CAAC,GAAG,CAAA,qBAAqB;QACtC,OAAO,EAAE,sEAAsE;KAChF;IACD;QACE,iGAAiG;QACjG,EAAE,EAAE,kBAAkB;QACtB,SAAS,EAAE,CAAC;QACZ,KAAK,EAAE,MAAM,CAAC,GAAG,CAAA,sDAAsD;QACvE,OAAO,EAAE,kEAAkE;KAC5E;IACD;QACE,EAAE,EAAE,gBAAgB;QACpB,SAAS,EAAE,CAAC;QACZ,KAAK,EAAE,MAAM,CAAC,GAAG,CAAA,oDAAoD;QACrE,OAAO,EAAE,kEAAkE;KAC5E;IACD;QACE,EAAE,EAAE,gBAAgB;QACpB,SAAS,EAAE,CAAC;QACZ,KAAK,EAAE,MAAM,CAAC,GAAG,CAAA,sDAAsD;QACvE,OAAO,EAAE,kEAAkE;KAC5E;IACD;QACE,4DAA4D;QAC5D,EAAE,EAAE,wBAAwB;QAC5B,SAAS,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC;QAC5B,KAAK,EAAE,MAAM,CAAC,GAAG,CAAA,2BAA2B;QAC5C,OAAO,EAAE,qEAAqE;KAC/E;IACD;QACE,yEAAyE;QACzE,EAAE,EAAE,iBAAiB;QACrB,SAAS,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC;QAC5B,KAAK,EAAE,MAAM,CAAC,GAAG,CAAA,yCAAyC;QAC1D,OAAO,EAAE,mEAAmE;KAC7E;IACD;QACE,+EAA+E;QAC/E,EAAE,EAAE,yBAAyB;QAC7B,SAAS,EAAE,GAAG;QACd,KAAK,EAAE,MAAM,CAAC,GAAG,CAAA,uEAAuE;QACxF,OAAO,EAAE,oEAAoE;KAC9E;IACD;QACE,uFAAuF;QACvF,mFAAmF;QACnF,EAAE,EAAE,uBAAuB;QAC3B,SAAS,EAAE,CAAC;QACZ,KAAK,EAAE,MAAM,CAAC,GAAG,CAAA,kEAAkE;QACnF,OAAO,EAAE,wEAAwE;KAClF;IACD;QACE,EAAE,EAAE,qBAAqB;QACzB,SAAS,EAAE,GAAG;QACd,KAAK,EAAE,MAAM,CAAC,GAAG,CAAA,2BAA2B;QAC5C,OAAO,EAAE,qEAAqE;KAC/E;IACD;QACE,EAAE,EAAE,qBAAqB;QACzB,SAAS,EAAE,CAAC;QACZ,KAAK,EAAE,MAAM,CAAC,GAAG,CAAA,gCAAgC;QACjD,OAAO,EAAE,4EAA4E;KACtF;IACD;QACE,EAAE,EAAE,oBAAoB;QACxB,SAAS,EAAE,GAAG;QACd,KAAK,EAAE,MAAM,CAAC,GAAG,CAAA,qBAAqB;QACtC,OAAO,EAAE,iEAAiE;KAC3E;IACD;QACE,EAAE,EAAE,kBAAkB;QACtB,SAAS,EAAE,GAAG;QACd,KAAK,EAAE,MAAM,CAAC,GAAG,CAAA,kJAAkJ;QACnK,OAAO,EAAE,4EAA4E;KACtF;IACD;QACE,EAAE,EAAE,qBAAqB;QACzB,SAAS,EAAE,CAAC,GAAG,CAAC;QAChB,KAAK,EAAE,MAAM,CAAC,GAAG,CAAA,iCAAiC;QAClD,OAAO,EAAE,8EAA8E;KACxF;IACD;QACE,EAAE,EAAE,cAAc;QAClB,SAAS,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACtB,KAAK,EAAE,MAAM,CAAC,GAAG,CAAA,iDAAiD;QAClE,OAAO,EAAE,+DAA+D;KACzE;IACD;QACE,EAAE,EAAE,0BAA0B;QAC9B,SAAS,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC;QAC5B,KAAK,EAAE,MAAM,CAAC,GAAG,CAAA,gLAAgL;QACjM,OAAO,EAAE,wEAAwE;KAClF;CACF,CAAC;AAEF,4EAA4E;AAC5E,MAAM,UAAU,kBAAkB,CAAC,EAAU;IAC3C,OAAO,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,SAAS,CAAC;AAClE,CAAC;AAgBD,+DAA+D;AAC/D,MAAM,CAAC,MAAM,0BAA0B,GAAuC;IAC5E;QACE,wEAAwE;QACxE,EAAE,EAAE,gBAAgB;QACpB,KAAK,EAAE,OAAO;QACd,WAAW,EAAE,CAAC;QACd,QAAQ,EAAE,GAAG;QACb,KAAK,EAAE,MAAM,CAAC,GAAG,CAAA,yCAAyC;QAC1D,OAAO,EAAE,qEAAqE;KAC/E;CACF,CAAC;AAEF,kGAAkG;AAClG,MAAM,UAAU,uBAAuB,CAAC,EAAU,EAAE,UAAkB;IACpE,MAAM,CAAC,GAAG,0BAA0B,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;IAC9D,OAAO,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,GAAG,UAAU,IAAI,CAAC,CAAC,QAAQ,CAAC;AAChF,CAAC"}
1
+ {"version":3,"file":"canonical-prefactors.js","sourceRoot":"","sources":["../../src/composition/canonical-prefactors.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAE/D,sGAAsG;AACtG,MAAM,eAAe,GAAgC,IAAI,GAAG,CAC1D,mBAAmB,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,KAAK,CAAU,CAAC,CAAC,CAAC,CAC5G,CAAC;AAEF,4EAA4E;AAC5E,MAAM,UAAU,kBAAkB,CAAC,EAAU;IAC3C,OAAO,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;AACjC,CAAC;AAgBD,kFAAkF;AAClF,MAAM,CAAC,MAAM,0BAA0B,GAAuC,mBAAmB,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAC9G,CAAC,CAAC,cAAc,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,cAAc,EAAE,CAAC,CAC1E,CAAC;AAEF,kGAAkG;AAClG,MAAM,UAAU,uBAAuB,CAAC,EAAU,EAAE,UAAkB;IACpE,MAAM,CAAC,GAAG,0BAA0B,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;IAC9D,OAAO,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,GAAG,UAAU,IAAI,CAAC,CAAC,QAAQ,CAAC;AAChF,CAAC"}
@@ -1,11 +1,18 @@
1
1
  /**
2
- * The composition graph is the edge projection of `registerBridge`.
3
- * 83 is the record from before be-103..125. 68 is the record from before
4
- * be-88..102.
2
+ * The composition graph is the relation projection of the bridge catalog.
5
3
  *
6
4
  * @module composition/catalog-graph
7
5
  */
8
6
  import type { BridgeEdge } from './edge.js';
9
- /** The edge projection of `registerBridge`. @public */
7
+ /** Every catalog relation as a graph edge, in catalog order. @public */
10
8
  export declare const CATALOG_GRAPH: readonly BridgeEdge[];
9
+ /** The catalog edge with this graph id. */
10
+ export declare function catalogEdge(id: string): BridgeEdge;
11
+ /** The two composition demonstrations the CLI prints. */
12
+ export declare function demonstrationEdges(): {
13
+ readonly hawking: BridgeEdge;
14
+ readonly landauer: BridgeEdge;
15
+ readonly schwarzschild: BridgeEdge;
16
+ readonly hawkingViaRadius: BridgeEdge;
17
+ };
11
18
  //# sourceMappingURL=catalog-graph.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"catalog-graph.d.ts","sourceRoot":"","sources":["../../src/composition/catalog-graph.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AA8D5C,uDAAuD;AACvD,eAAO,MAAM,aAAa,EAAE,SAAS,UAAU,EAA+D,CAAC"}
1
+ {"version":3,"file":"catalog-graph.d.ts","sourceRoot":"","sources":["../../src/composition/catalog-graph.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAKH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAwD5C,wEAAwE;AACxE,eAAO,MAAM,aAAa,EAAE,SAAS,UAAU,EAAsC,CAAC;AAItF,2CAA2C;AAC3C,wBAAgB,WAAW,CAAC,EAAE,EAAE,MAAM,GAAG,UAAU,CAIlD;AAED,yDAAyD;AACzD,wBAAgB,kBAAkB,IAAI;IACpC,QAAQ,CAAC,OAAO,EAAE,UAAU,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,UAAU,CAAC;IAC9B,QAAQ,CAAC,aAAa,EAAE,UAAU,CAAC;IACnC,QAAQ,CAAC,gBAAgB,EAAE,UAAU,CAAC;CACvC,CAgBA"}
@@ -1,52 +1,83 @@
1
1
  /**
2
- * The composition graph is the edge projection of `registerBridge`.
3
- * 83 is the record from before be-103..125. 68 is the record from before
4
- * be-88..102.
2
+ * The composition graph is the relation projection of the bridge catalog.
5
3
  *
6
4
  * @module composition/catalog-graph
7
5
  */
8
- import { bridgeRegistry, registerBridge } from '../bridges/registry.js';
9
- import { be11ZurekEdge, be12Edge, be16Edge, be37Edge, be42Edge, be42ViaRsEdge, be51Edge, be52Edge, lawSchwarzschildRadius, } from './edges/calibration.js';
10
- import { be14Edge, be19Edge, be21Edge, be48Edge, be53Edge, be54Edge, } from './edges/catalog-tranche.js';
11
- import { CATALOG_FULL_EDGES } from './edges/catalog-full.js';
12
- import { PROVED_SEED_EDGES } from './edges/proved-seeds.js';
13
- import { APPLIED_PHYSICIST_EDGES } from './edges/applied-physicist.js';
14
- import { CONDENSED_R5_EDGES } from './edges/condensed-r5.js';
15
- import { PLASMA_SPACE_EDGES } from './edges/plasma-space.js';
16
- import { ENGINEERING_R7_EDGES } from './edges/engineering-r7.js';
17
- import { CONDENSED_R8_EDGES } from './edges/condensed-r8.js';
18
- /**
19
- * Every registered `BridgeEdge`, in registration order. 83 is the record
20
- * from before be-103..125. 68 is the record from before be-88..102.
21
- *
22
- * @public
23
- */
24
- const EDGE_ROWS = [
25
- be11ZurekEdge,
26
- be12Edge,
27
- be16Edge,
28
- be37Edge,
29
- be42Edge,
30
- be42ViaRsEdge,
31
- be51Edge,
32
- be52Edge,
33
- lawSchwarzschildRadius,
34
- be14Edge,
35
- be19Edge,
36
- be21Edge,
37
- be48Edge,
38
- be53Edge,
39
- be54Edge,
40
- ...CATALOG_FULL_EDGES,
41
- ...PROVED_SEED_EDGES,
42
- ...APPLIED_PHYSICIST_EDGES,
43
- ...CONDENSED_R5_EDGES,
44
- ...PLASMA_SPACE_EDGES,
45
- ...ENGINEERING_R7_EDGES,
46
- ...CONDENSED_R8_EDGES,
47
- ];
48
- for (const edge of EDGE_ROWS)
49
- registerBridge({ edge });
50
- /** The edge projection of `registerBridge`. @public */
51
- export const CATALOG_GRAPH = bridgeRegistry.edges();
6
+ import { catalogEntry, catalogRelations } from '../bridges/catalog-load.js';
7
+ import { parseCatalogExpression } from '../bridges/expr-parse.js';
8
+ import { evaluateCatalogRelation, relationHolds } from '../bridges/relation-eval.js';
9
+ import { withBoundAliases } from './edge.js';
10
+ import { quantityByName } from './quantities.js';
11
+ function regimeFor(relation) {
12
+ const fromEntry = relation.catalogId === null ? undefined : catalogEntry(relation.catalogId)?.regime;
13
+ if (fromEntry !== undefined && relation.regime !== undefined && JSON.stringify(fromEntry) !== JSON.stringify(relation.regime)) {
14
+ throw new Error(`catalog ${relation.catalogId} regime disagrees with relation ${relation.id}`);
15
+ }
16
+ return fromEntry ?? relation.regime;
17
+ }
18
+ function inherited(relation, field) {
19
+ const fromRelation = relation[field];
20
+ const entry = relation.catalogId === null ? undefined : catalogEntry(relation.catalogId);
21
+ const fromEntry = entry?.[field];
22
+ if (fromRelation !== undefined && fromEntry !== undefined && JSON.stringify(fromRelation) !== JSON.stringify(fromEntry)) {
23
+ throw new Error(`catalog ${relation.catalogId} ${field} disagrees with relation ${relation.id}`);
24
+ }
25
+ return fromRelation ?? fromEntry;
26
+ }
27
+ function buildEdge(relation) {
28
+ const regime = regimeFor(relation);
29
+ const contract = inherited(relation, 'relation');
30
+ const conventions = inherited(relation, 'conventions');
31
+ const counterexamples = inherited(relation, 'counterexamples');
32
+ const edge = {
33
+ id: relation.id,
34
+ beId: relation.catalogId,
35
+ kind: relation.kind,
36
+ label: relation.label,
37
+ sources: relation.sources.map((name) => quantityByName(name)),
38
+ ...(Object.keys(relation.aliases).length > 0 ? { aliases: relation.aliases } : {}),
39
+ target: quantityByName(relation.target),
40
+ confidence: relation.confidence,
41
+ domain: {
42
+ description: relation.domain,
43
+ predicate: (inputs) => relationHolds(relation, inputs),
44
+ },
45
+ evaluate: (inputs) => evaluateCatalogRelation(relation, inputs),
46
+ symbolic: parseCatalogExpression(relation.expression),
47
+ citation: relation.citation,
48
+ ...(relation.coefficientUnset === true ? { coefficientUnset: true } : {}),
49
+ ...(relation.formulaFactors !== undefined ? { formulaFactors: relation.formulaFactors } : {}),
50
+ ...(contract !== undefined ? { relation: contract } : {}),
51
+ ...(regime !== undefined ? { regime } : {}),
52
+ ...(conventions !== undefined ? { conventions } : {}),
53
+ ...(counterexamples !== undefined ? { counterexamples } : {}),
54
+ };
55
+ return withBoundAliases(edge);
56
+ }
57
+ /** Every catalog relation as a graph edge, in catalog order. @public */
58
+ export const CATALOG_GRAPH = catalogRelations().map(buildEdge);
59
+ const BY_ID = new Map(CATALOG_GRAPH.map((edge) => [edge.id, edge]));
60
+ /** The catalog edge with this graph id. */
61
+ export function catalogEdge(id) {
62
+ const edge = BY_ID.get(id);
63
+ if (edge === undefined)
64
+ throw new Error(`catalogEdge: no edge '${id}'`);
65
+ return edge;
66
+ }
67
+ /** The two composition demonstrations the CLI prints. */
68
+ export function demonstrationEdges() {
69
+ const hawking = catalogRelations().find((row) => row.target === 'hawking-temperature' && row.sources.length === 1 && row.sources[0] === 'mass');
70
+ const landauer = catalogRelations().find((row) => row.target === 'landauer-erasure-energy');
71
+ const via = catalogRelations().find((row) => row.target === 'hawking-temperature' && row.sources.includes('schwarzschild-radius'));
72
+ const law = catalogRelations().find((row) => row.kind === 'law' && row.target === 'schwarzschild-radius');
73
+ if (hawking === undefined || landauer === undefined || via === undefined || law === undefined) {
74
+ throw new Error('demonstrationEdges: a demonstration relation is missing');
75
+ }
76
+ return {
77
+ hawking: catalogEdge(hawking.id),
78
+ landauer: catalogEdge(landauer.id),
79
+ schwarzschild: catalogEdge(law.id),
80
+ hawkingViaRadius: catalogEdge(via.id),
81
+ };
82
+ }
52
83
  //# sourceMappingURL=catalog-graph.js.map
@@ -1 +1 @@
1
- {"version":3,"file":"catalog-graph.js","sourceRoot":"","sources":["../../src/composition/catalog-graph.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAGH,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AACxE,OAAO,EACL,aAAa,EACb,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,aAAa,EACb,QAAQ,EACR,QAAQ,EACR,sBAAsB,GACvB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,GACT,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAC7D,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,EAAE,uBAAuB,EAAE,MAAM,8BAA8B,CAAC;AACvE,OAAO,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAC7D,OAAO,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAC7D,OAAO,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAC;AACjE,OAAO,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAE7D;;;;;GAKG;AACH,MAAM,SAAS,GAA0B;IACvC,aAAa;IACb,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,aAAa;IACb,QAAQ;IACR,QAAQ;IACR,sBAAsB;IACtB,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,GAAG,kBAAkB;IACrB,GAAG,iBAAiB;IACpB,GAAG,uBAAuB;IAC1B,GAAG,kBAAkB;IACrB,GAAG,kBAAkB;IACrB,GAAG,oBAAoB;IACvB,GAAG,kBAAkB;CACtB,CAAC;AAEF,KAAK,MAAM,IAAI,IAAI,SAAS;IAAE,cAAc,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;AAEvD,uDAAuD;AACvD,MAAM,CAAC,MAAM,aAAa,GAA0B,cAAc,CAAC,KAAK,EAAsC,CAAC"}
1
+ {"version":3,"file":"catalog-graph.js","sourceRoot":"","sources":["../../src/composition/catalog-graph.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,YAAY,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AAC5E,OAAO,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAC;AAClE,OAAO,EAAE,uBAAuB,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAC;AAErF,OAAO,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAC;AAC7C,OAAO,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAEjD,SAAS,SAAS,CAAC,QAAqD;IACtE,MAAM,SAAS,GAAG,QAAQ,CAAC,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IACrG,IAAI,SAAS,KAAK,SAAS,IAAI,QAAQ,CAAC,MAAM,KAAK,SAAS,IAAI,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;QAC9H,MAAM,IAAI,KAAK,CAAC,WAAW,QAAQ,CAAC,SAAS,mCAAmC,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC;IACjG,CAAC;IACD,OAAO,SAAS,IAAI,QAAQ,CAAC,MAAM,CAAC;AACtC,CAAC;AAED,SAAS,SAAS,CAChB,QAAqD,EACrD,KAAqD;IAErD,MAAM,YAAY,GAAG,QAAQ,CAAC,KAAK,CAAkB,CAAC;IACtD,MAAM,KAAK,GAAG,QAAQ,CAAC,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;IACzF,MAAM,SAAS,GAAG,KAAK,EAAE,CAAC,KAAK,CAAkB,CAAC;IAClD,IAAI,YAAY,KAAK,SAAS,IAAI,SAAS,KAAK,SAAS,IAAI,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,CAAC;QACxH,MAAM,IAAI,KAAK,CAAC,WAAW,QAAQ,CAAC,SAAS,IAAI,KAAK,4BAA4B,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC;IACnG,CAAC;IACD,OAAO,YAAY,IAAI,SAAS,CAAC;AACnC,CAAC;AAED,SAAS,SAAS,CAAC,QAAqD;IACtE,MAAM,MAAM,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC;IACnC,MAAM,QAAQ,GAAG,SAAS,CAAsC,QAAQ,EAAE,UAAU,CAAC,CAAC;IACtF,MAAM,WAAW,GAAG,SAAS,CAAyC,QAAQ,EAAE,aAAa,CAAC,CAAC;IAC/F,MAAM,eAAe,GAAG,SAAS,CAA6C,QAAQ,EAAE,iBAAiB,CAAC,CAAC;IAC3G,MAAM,IAAI,GAAe;QACvB,EAAE,EAAE,QAAQ,CAAC,EAAE;QACf,IAAI,EAAE,QAAQ,CAAC,SAAS;QACxB,IAAI,EAAE,QAAQ,CAAC,IAAI;QACnB,KAAK,EAAE,QAAQ,CAAC,KAAK;QACrB,OAAO,EAAE,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC;QAC7D,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAClF,MAAM,EAAE,cAAc,CAAC,QAAQ,CAAC,MAAM,CAAC;QACvC,UAAU,EAAE,QAAQ,CAAC,UAAU;QAC/B,MAAM,EAAE;YACN,WAAW,EAAE,QAAQ,CAAC,MAAM;YAC5B,SAAS,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,aAAa,CAAC,QAAQ,EAAE,MAAM,CAAC;SACvD;QACD,QAAQ,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,uBAAuB,CAAC,QAAQ,EAAE,MAAM,CAAC;QAC/D,QAAQ,EAAE,sBAAsB,CAAC,QAAQ,CAAC,UAAU,CAAC;QACrD,QAAQ,EAAE,QAAQ,CAAC,QAAQ;QAC3B,GAAG,CAAC,QAAQ,CAAC,gBAAgB,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACzE,GAAG,CAAC,QAAQ,CAAC,cAAc,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,QAAQ,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7F,GAAG,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACzD,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3C,GAAG,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACrD,GAAG,CAAC,eAAe,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC9D,CAAC;IACF,OAAO,gBAAgB,CAAC,IAAI,CAAC,CAAC;AAChC,CAAC;AAED,wEAAwE;AACxE,MAAM,CAAC,MAAM,aAAa,GAA0B,gBAAgB,EAAE,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;AAEtF,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;AAEpE,2CAA2C;AAC3C,MAAM,UAAU,WAAW,CAAC,EAAU;IACpC,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC3B,IAAI,IAAI,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,yBAAyB,EAAE,GAAG,CAAC,CAAC;IACxE,OAAO,IAAI,CAAC;AACd,CAAC;AAED,yDAAyD;AACzD,MAAM,UAAU,kBAAkB;IAMhC,MAAM,OAAO,GAAG,gBAAgB,EAAE,CAAC,IAAI,CACrC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,KAAK,qBAAqB,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,MAAM,CACvG,CAAC;IACF,MAAM,QAAQ,GAAG,gBAAgB,EAAE,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,KAAK,yBAAyB,CAAC,CAAC;IAC5F,MAAM,GAAG,GAAG,gBAAgB,EAAE,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,KAAK,qBAAqB,IAAI,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,sBAAsB,CAAC,CAAC,CAAC;IACnI,MAAM,GAAG,GAAG,gBAAgB,EAAE,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,KAAK,IAAI,GAAG,CAAC,MAAM,KAAK,sBAAsB,CAAC,CAAC;IAC1G,IAAI,OAAO,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QAC9F,MAAM,IAAI,KAAK,CAAC,yDAAyD,CAAC,CAAC;IAC7E,CAAC;IACD,OAAO;QACL,OAAO,EAAE,WAAW,CAAC,OAAO,CAAC,EAAE,CAAC;QAChC,QAAQ,EAAE,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC;QAClC,aAAa,EAAE,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC;QAClC,gBAAgB,EAAE,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC;KACtC,CAAC;AACJ,CAAC"}
@@ -31,7 +31,8 @@
31
31
  */
32
32
  import { equals, format } from '../dimensional/algebra.js';
33
33
  import { conventionFactor } from '../dimensional/unit-convention.js';
34
- import { CompositionAliasError, CompositionDimensionError, CompositionJunctionError, DomainViolationError, UndefinedCompositionError, } from './edge.js';
34
+ import { CompositionAliasError, CompositionDimensionError, CompositionJunctionError, UndefinedCompositionError, } from './edge.js';
35
+ import { DomainViolationError } from '../bridges/evaluation-errors.js';
35
36
  // Atlas Phase 1 overlay. The composition table is a leaf module (pure, no
36
37
  // registry reads, no import from `src/composition/`), so this does not close a
37
38
  // cycle — same rule as the type-only atlas import in `./edge.ts`.
@@ -1 +1 @@
1
- {"version":3,"file":"compose.js","sourceRoot":"","sources":["../../src/composition/compose.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,2BAA2B,CAAC;AAI3D,OAAO,EAAE,gBAAgB,EAAE,MAAM,mCAAmC,CAAC;AACrE,OAAO,EACL,qBAAqB,EACrB,yBAAyB,EACzB,wBAAwB,EACxB,oBAAoB,EACpB,yBAAyB,GAC1B,MAAM,WAAW,CAAC;AACnB,0EAA0E;AAC1E,+EAA+E;AAC/E,kEAAkE;AAClE,OAAO,EAAE,eAAe,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AACxF,OAAO,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAC;AAG/D;;;;;;;;;;;;;;;;;;;GAmBG;AACH,SAAS,gBAAgB,CACvB,IAA4C,EAC5C,KAAuB,EACvB,MAAwB;IAExB,MAAM,cAAc,GAAG,GAAG,KAAK,CAAC,cAAc,SAAS,MAAM,CAAC,cAAc,EAAE,CAAC;IAC/E,IAAI,IAAI,KAAK,mBAAmB,EAAE,CAAC;QACjC,2EAA2E;QAC3E,6CAA6C;QAC7C,MAAM,EAAE,GAAI,KAAkE,CAAC,OAAO,CAAC;QACvF,MAAM,EAAE,GAAI,MAAmE,CAAC,OAAO,CAAC;QACxF,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC;IAC/D,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,CAAC;AAClC,CAAC;AAgBD;;;;;GAKG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAsC;IACzE;QACE,IAAI,EAAE,qBAAqB;QAC3B,EAAE,EAAE,aAAa;QACjB,SAAS,EACP,+DAA+D;YAC/D,2DAA2D;YAC3D,2DAA2D;YAC3D,+DAA+D;YAC/D,gDAAgD;QAClD,QAAQ,EAAE,qDAAqD;KAChE;IACD;QACE,IAAI,EAAE,uBAAuB;QAC7B,EAAE,EAAE,oBAAoB;QACxB,SAAS,EACP,+DAA+D;YAC/D,oEAAoE;YACpE,oEAAoE;YACpE,sEAAsE;YACtE,mEAAmE;YACnE,wEAAwE;YACxE,wEAAwE;YACxE,gEAAgE;YAChE,kDAAkD;QACpD,QAAQ,EAAE,iDAAiD;KAC5D;IACD;QACE,IAAI,EAAE,+BAA+B;QACrC,EAAE,EAAE,oBAAoB;QACxB,SAAS,EACP,sDAAsD;YACtD,uEAAuE;YACvE,mEAAmE;YACnE,wEAAwE;YACxE,oEAAoE;YACpE,yEAAyE;YACzE,2EAA2E;YAC3E,0EAA0E;YAC1E,4CAA4C;QAC9C,QAAQ,EAAE,uDAAuD;KAClE;CACF,CAAC;AAEF;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,UAAU,mBAAmB,CACjC,IAAY,EACZ,gBAAuD,EACvD,MAAM,GAAsC,wBAAwB;IAEpE,MAAM,YAAY,GAAuB,EAAE,CAAC;IAC5C,MAAM,GAAG,GAAG,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACvC,IAAI,GAAG;QAAE,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChC,KAAK,MAAM,EAAE,IAAI,MAAM,EAAE,CAAC;QACxB,IAAI,EAAE,CAAC,EAAE,KAAK,IAAI;YAAE,SAAS;QAC7B,MAAM,MAAM,GAAG,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QAC7C,IAAI,MAAM;YAAE,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACxC,CAAC;IAED,0EAA0E;IAC1E,0EAA0E;IAC1E,wEAAwE;IACxE,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC;IACxF,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC;IACxF,MAAM,KAAK,GAAG,IAAI,GAAG,CACnB,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CACtE,CAAC;IAEF,MAAM,MAAM,GAA4H,EAAE,CAAC;IAC3I,IAAI,MAAM,CAAC,IAAI,KAAK,CAAC;QAAE,MAAM,CAAC,KAAK,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IACrD,IAAI,MAAM,CAAC,IAAI,KAAK,CAAC;QAAE,MAAM,CAAC,KAAK,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IACrD,IAAI,KAAK,CAAC,IAAI,KAAK,CAAC;QAAE,MAAM,CAAC,WAAW,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IACzD,OAAO,MAAM,CAAC;AAChB,CAAC;AAoBD;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAElC;IACF,kEAAkE;IAClE,mEAAmE;IACnE,iEAAiE;IACjE,iCAAiC,EAAE;QACjC;YACE,IAAI,EAAE,MAAM;YACZ,OAAO,EAAE,QAAQ;YACjB,SAAS,EACP,gEAAgE;gBAChE,6DAA6D;gBAC7D,gDAAgD;SACnD;KACF;CACF,CAAC;AAEF,MAAM,eAAe,GAAmC;IACtD,WAAW,EAAE,CAAC;IACd,WAAW,EAAE,CAAC;IACd,oBAAoB,EAAE,CAAC;CACxB,CAAC;AAEF;;;;;GAKG;AACH,MAAM,UAAU,aAAa,CAC3B,CAAiB,EACjB,CAAiB;IAEjB,OAAO,eAAe,CAAC,CAAC,CAAC,IAAI,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAC1D,CAAC;AAcD,SAAS,YAAY,CACnB,KAAiB,EACjB,MAAkB,EAClB,eAAkD;IAElD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACjC,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;YACnC,OAAO,EAAE,QAAQ,EAAE,GAAG,EAAE,iBAAiB,EAAE,IAAI,EAAE,CAAC;QACpD,CAAC;IACH,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,eAAe,EAAE,CAAC;QACpC,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,MAAM,CAAC,IAAI;YAAE,SAAS;QAC/C,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YACjC,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC,EAAE,EAAE,CAAC;gBAC1B,OAAO,EAAE,QAAQ,EAAE,GAAG,EAAE,iBAAiB,EAAE,KAAK,EAAE,CAAC;YACrD,CAAC;QACH,CAAC;IACH,CAAC;IACD,MAAM,IAAI,wBAAwB,CAChC,kBAAkB,KAAK,CAAC,EAAE,OAAO,MAAM,CAAC,EAAE,oBAAoB;QAC5D,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,sBAAsB,MAAM,CAAC,OAAO;aACtD,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,GAAG,CAAC;aACzB,IAAI,CAAC,IAAI,CAAC,wCAAwC,CACxD,CAAC;AACJ,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,uBAAuB,CAAC,IAAe,EAAE,KAAgB;IACvE,OAAO,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;AAC7B,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,YAAY,CAC1B,KAAiB,EACjB,MAAkB,EAClB,IAAI,GAAmB,EAAE;IAEzB,MAAM,eAAe,GAAG;QACtB,GAAG,wBAAwB;QAC3B,GAAG,CAAC,IAAI,CAAC,eAAe,IAAI,EAAE,CAAC;KAChC,CAAC;IACF,MAAM,EAAE,QAAQ,EAAE,iBAAiB,EAAE,GAAG,YAAY,CAClD,KAAK,EACL,MAAM,EACN,eAAe,CAChB,CAAC;IAEF,IAAI,CAAC,uBAAuB,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,EAAE,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QAC7D,MAAM,IAAI,yBAAyB,CACjC,kBAAkB,KAAK,CAAC,EAAE,OAAO,MAAM,CAAC,EAAE,uBAAuB;YAC/D,cAAc,KAAK,CAAC,MAAM,CAAC,IAAI,OAAO,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG;YACjE,OAAO,QAAQ,CAAC,IAAI,OAAO,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CACpD,CAAC;IACJ,CAAC;IACD,MAAM,aAAa,GACjB,iBAAiB,KAAK,IAAI;QACxB,CAAC,CAAC,CAAC;QACH,CAAC,CAAC,gBAAgB,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;IAEzD,MAAM,gBAAgB,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC;IAEtE,qEAAqE;IACrE,qEAAqE;IACrE,kEAAkE;IAClE,kEAAkE;IAClE,iEAAiE;IACjE,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAC7D,MAAM,cAAc,GAAG;QACrB,GAAG,IAAI,GAAG,CACR,gBAAgB;aACb,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;aACrC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CACtB;KACF,CAAC;IACF,MAAM,UAAU,GAAG,GAAG,KAAK,CAAC,EAAE,KAAK,MAAM,CAAC,EAAE,EAAE,CAAC;IAC/C,MAAM,YAAY,GAAuB;QACvC,GAAG,CAAC,yBAAyB,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC;QAChD,GAAG,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC;KACxB,CAAC;IACF,MAAM,SAAS,GAA2B,EAAE,CAAC,CAAC,uCAAuC;IACrF,MAAM,gBAAgB,GAAuB,EAAE,CAAC;IAChD,IAAI,cAAc,GAAe,CAAC,GAAG,gBAAgB,CAAC,CAAC;IACvD,KAAK,MAAM,IAAI,IAAI,cAAc,EAAE,CAAC;QAClC,MAAM,CAAC,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;QACpD,IAAI,CAAC,CAAC,EAAE,CAAC;YACP,MAAM,IAAI,qBAAqB,CAC7B,kBAAkB,UAAU,sBAAsB,IAAI,YAAY;gBAChE,6BAA6B,CAAC,GAAG,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK;gBAC5D,sBAAsB,gBAAgB;qBACnC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;qBAClB,IAAI,CAAC,IAAI,CAAC,6CAA6C;gBAC1D,qDAAqD;gBACrD,+DAA+D,CAClE,CAAC;QACJ,CAAC;QACD,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACzB,IAAI,CAAC,CAAC,OAAO,KAAK,QAAQ;YAAE,SAAS,CAAC,iCAAiC;QACvE,MAAM,OAAO,GAAG,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC;QACvC,IACE,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC;YACvB,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,EAC9C,CAAC;YACD,MAAM,IAAI,qBAAqB,CAC7B,kBAAkB,UAAU,0BAA0B,OAAO,IAAI;gBAC/D,gEAAgE,CACnE,CAAC;QACJ,CAAC;QACD,cAAc,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACxC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,CAChE,CAAC;QACF,SAAS,CAAC,OAAO,CAAC,GAAG,IAAI,CAAC;IAC5B,CAAC;IAED;;6EAEyE;IACzE,MAAM,iBAAiB,GAAG,CACxB,MAA8B,EAC9B,YAAoB,EACI,EAAE;QAC1B,MAAM,EAAE,GAA2B,EAAE,GAAG,MAAM,EAAE,CAAC;QACjD,KAAK,MAAM,CAAC,OAAO,EAAE,QAAQ,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;YAC5D,EAAE,CAAC,QAAQ,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC;YAC/B,OAAO,EAAE,CAAC,OAAO,CAAC,CAAC;QACrB,CAAC;QACD,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,YAAY,GAAG,aAAa,CAAC;QACjD,OAAO,EAAE,CAAC;IACZ,CAAC,CAAC;IAEF,MAAM,cAAc,GAAG;QACrB,WAAW,EACT,IAAI,KAAK,CAAC,MAAM,CAAC,WAAW,sBAAsB;YAClD,GAAG,QAAQ,CAAC,IAAI,MAAM,MAAM,CAAC,MAAM,CAAC,WAAW,GAAG;QACpD,iEAAiE;QACjE,iEAAiE;QACjE,kEAAkE;QAClE,gEAAgE;QAChE,iEAAiE;QACjE,SAAS,EAAE,CAAC,MAA8B,EAAW,EAAE;YACrD,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC;gBAAE,OAAO,KAAK,CAAC;YAClD,MAAM,YAAY,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;YAC5C,OAAO,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,iBAAiB,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC;QAC1E,CAAC;KACF,CAAC;IAEF,MAAM,EAAE,GAAG,GAAG,KAAK,CAAC,EAAE,KAAK,MAAM,CAAC,EAAE,EAAE,CAAC;IAEvC,6EAA6E;IAC7E,yEAAyE;IACzE,0EAA0E;IAC1E,sEAAsE;IACtE,oEAAoE;IACpE,0EAA0E;IAC1E,kEAAkE;IAClE,sEAAsE;IACtE,qEAAqE;IACrE,qEAAqE;IACrE,sEAAsE;IACtE,6CAA6C;IAC7C,IAAI,eAAe,GAGf,EAAE,CAAC;IACP,IAAI,KAAK,CAAC,QAAQ,KAAK,SAAS,IAAI,MAAM,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QAClE,MAAM,SAAS,GAAG,eAAe,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QAC7E,IAAI,SAAS,KAAK,kBAAkB,EAAE,CAAC;YACrC,MAAM,IAAI,yBAAyB,CACjC,kBAAkB,KAAK,CAAC,EAAE,OAAO,MAAM,CAAC,EAAE,0BAA0B;gBAClE,sCAAsC,KAAK,CAAC,QAAQ,CAAC,IAAI,IAAI;gBAC7D,IAAI,KAAK,CAAC,EAAE,kBAAkB,MAAM,CAAC,QAAQ,CAAC,IAAI,IAAI;gBACtD,IAAI,MAAM,CAAC,EAAE,2CAA2C;gBACxD,6CAA6C,CAChD,CAAC;QACJ,CAAC;QACD,IAAI,SAAS,KAAK,eAAe,EAAE,CAAC;YAClC,+DAA+D;YAC/D,yEAAyE;YACzE,wEAAwE;YACxE,gEAAgE;YAChE,yEAAyE;YACzE,sEAAsE;YACtE,uEAAuE;YACvE,WAAW;YACX,MAAM,IAAI,yBAAyB,CACjC,kBAAkB,KAAK,CAAC,EAAE,OAAO,MAAM,CAAC,EAAE,0BAA0B;gBAClE,sDAAsD;gBACtD,mEAAmE;gBACnE,iFAAiF,CACpF,CAAC;QACJ,CAAC;QACD,0EAA0E;QAC1E,sEAAsE;QACtE,wEAAwE;QACxE,0EAA0E;QAC1E,yEAAyE;QACzE,2EAA2E;QAC3E,wEAAwE;QACxE,iCAAiC;QACjC,MAAM,MAAM,GACV,gBAAgB,CAAC,KAAK,CAAC,WAAW,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC,MAAM,KAAK,CAAC;YAClE,CAAC,CAAC,EAAE,GAAG,KAAK,CAAC,WAAW,EAAE,GAAG,MAAM,CAAC,WAAW,EAAE;YACjD,CAAC,CAAC,EAAE,CAAC;QACT,eAAe,GAAG;YAChB,QAAQ,EAAE,gBAAgB,CAAC,SAAS,EAAE,KAAK,CAAC,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC;YACtE,mBAAmB,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,CAAC;YAC1C,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACnE,CAAC;IACJ,CAAC;IAED,OAAO;QACL,EAAE;QACF,IAAI,EAAE,IAAI;QACV,IAAI,EAAE,KAAK,CAAC,IAAI,KAAK,KAAK,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ;QACtE,KAAK,EAAE,GAAG,KAAK,CAAC,KAAK,MAAM,MAAM,CAAC,KAAK,EAAE;QACzC,OAAO,EAAE,CAAC,GAAG,KAAK,CAAC,OAAO,EAAE,GAAG,cAAc,CAAC;QAC9C,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,UAAU,EAAE,aAAa,CAAC,KAAK,CAAC,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC;QAC9D,MAAM,EAAE,cAAc;QACtB,QAAQ,EAAE,CAAC,MAAM,EAAE,EAAE;YACnB,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC;gBACpC,MAAM,IAAI,oBAAoB,CAC5B,GAAG,EAAE,4CAA4C;oBAC/C,IAAI,cAAc,CAAC,WAAW,GAAG,CACpC,CAAC;YACJ,CAAC;YACD,MAAM,YAAY,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;YAC5C,MAAM,WAAW,GAAG,iBAAiB,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;YAC5D,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,WAAW,CAAC,EAAE,CAAC;gBAC1C,MAAM,IAAI,oBAAoB,CAC5B,GAAG,EAAE,4CAA4C;oBAC/C,IAAI,cAAc,CAAC,WAAW,GAAG,CACpC,CAAC;YACJ,CAAC;YACD,OAAO,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;QACtC,CAAC;QACD,QAAQ,EAAE,GAAG,KAAK,CAAC,QAAQ,MAAM,MAAM,CAAC,QAAQ,EAAE;QAClD,GAAG,CAAC,iBAAiB,KAAK,IAAI;YAC5B,CAAC,CAAC,EAAE,kBAAkB,EAAE,iBAAiB,EAAE;YAC3C,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC;YAC7B,CAAC,CAAC,EAAE,qBAAqB,EAAE,gBAAgB,EAAE;YAC7C,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,eAAe;KACnB,CAAC;AACJ,CAAC"}
1
+ {"version":3,"file":"compose.js","sourceRoot":"","sources":["../../src/composition/compose.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,2BAA2B,CAAC;AAI3D,OAAO,EAAE,gBAAgB,EAAE,MAAM,mCAAmC,CAAC;AACrE,OAAO,EACL,qBAAqB,EACrB,yBAAyB,EACzB,wBAAwB,EACxB,yBAAyB,GAC1B,MAAM,WAAW,CAAC;AACnB,OAAO,EAAE,oBAAoB,EAAE,MAAM,iCAAiC,CAAC;AACvE,0EAA0E;AAC1E,+EAA+E;AAC/E,kEAAkE;AAClE,OAAO,EAAE,eAAe,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AACxF,OAAO,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAC;AAG/D;;;;;;;;;;;;;;;;;;;GAmBG;AACH,SAAS,gBAAgB,CACvB,IAA4C,EAC5C,KAAuB,EACvB,MAAwB;IAExB,MAAM,cAAc,GAAG,GAAG,KAAK,CAAC,cAAc,SAAS,MAAM,CAAC,cAAc,EAAE,CAAC;IAC/E,IAAI,IAAI,KAAK,mBAAmB,EAAE,CAAC;QACjC,2EAA2E;QAC3E,6CAA6C;QAC7C,MAAM,EAAE,GAAI,KAAkE,CAAC,OAAO,CAAC;QACvF,MAAM,EAAE,GAAI,MAAmE,CAAC,OAAO,CAAC;QACxF,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC;IAC/D,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,CAAC;AAClC,CAAC;AAgBD;;;;;GAKG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAsC;IACzE;QACE,IAAI,EAAE,qBAAqB;QAC3B,EAAE,EAAE,aAAa;QACjB,SAAS,EACP,+DAA+D;YAC/D,2DAA2D;YAC3D,2DAA2D;YAC3D,+DAA+D;YAC/D,gDAAgD;QAClD,QAAQ,EAAE,qDAAqD;KAChE;IACD;QACE,IAAI,EAAE,uBAAuB;QAC7B,EAAE,EAAE,oBAAoB;QACxB,SAAS,EACP,+DAA+D;YAC/D,oEAAoE;YACpE,oEAAoE;YACpE,sEAAsE;YACtE,mEAAmE;YACnE,wEAAwE;YACxE,wEAAwE;YACxE,gEAAgE;YAChE,kDAAkD;QACpD,QAAQ,EAAE,iDAAiD;KAC5D;IACD;QACE,IAAI,EAAE,+BAA+B;QACrC,EAAE,EAAE,oBAAoB;QACxB,SAAS,EACP,sDAAsD;YACtD,uEAAuE;YACvE,mEAAmE;YACnE,wEAAwE;YACxE,oEAAoE;YACpE,yEAAyE;YACzE,2EAA2E;YAC3E,0EAA0E;YAC1E,4CAA4C;QAC9C,QAAQ,EAAE,uDAAuD;KAClE;CACF,CAAC;AAEF;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,UAAU,mBAAmB,CACjC,IAAY,EACZ,gBAAuD,EACvD,MAAM,GAAsC,wBAAwB;IAEpE,MAAM,YAAY,GAAuB,EAAE,CAAC;IAC5C,MAAM,GAAG,GAAG,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACvC,IAAI,GAAG;QAAE,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChC,KAAK,MAAM,EAAE,IAAI,MAAM,EAAE,CAAC;QACxB,IAAI,EAAE,CAAC,EAAE,KAAK,IAAI;YAAE,SAAS;QAC7B,MAAM,MAAM,GAAG,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QAC7C,IAAI,MAAM;YAAE,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACxC,CAAC;IAED,0EAA0E;IAC1E,0EAA0E;IAC1E,wEAAwE;IACxE,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC;IACxF,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC;IACxF,MAAM,KAAK,GAAG,IAAI,GAAG,CACnB,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CACtE,CAAC;IAEF,MAAM,MAAM,GAA4H,EAAE,CAAC;IAC3I,IAAI,MAAM,CAAC,IAAI,KAAK,CAAC;QAAE,MAAM,CAAC,KAAK,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IACrD,IAAI,MAAM,CAAC,IAAI,KAAK,CAAC;QAAE,MAAM,CAAC,KAAK,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IACrD,IAAI,KAAK,CAAC,IAAI,KAAK,CAAC;QAAE,MAAM,CAAC,WAAW,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IACzD,OAAO,MAAM,CAAC;AAChB,CAAC;AAoBD;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAElC;IACF,kEAAkE;IAClE,mEAAmE;IACnE,iEAAiE;IACjE,iCAAiC,EAAE;QACjC;YACE,IAAI,EAAE,MAAM;YACZ,OAAO,EAAE,QAAQ;YACjB,SAAS,EACP,gEAAgE;gBAChE,6DAA6D;gBAC7D,gDAAgD;SACnD;KACF;CACF,CAAC;AAEF,MAAM,eAAe,GAAmC;IACtD,WAAW,EAAE,CAAC;IACd,WAAW,EAAE,CAAC;IACd,oBAAoB,EAAE,CAAC;CACxB,CAAC;AAEF;;;;;GAKG;AACH,MAAM,UAAU,aAAa,CAC3B,CAAiB,EACjB,CAAiB;IAEjB,OAAO,eAAe,CAAC,CAAC,CAAC,IAAI,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAC1D,CAAC;AAcD,SAAS,YAAY,CACnB,KAAiB,EACjB,MAAkB,EAClB,eAAkD;IAElD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACjC,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;YACnC,OAAO,EAAE,QAAQ,EAAE,GAAG,EAAE,iBAAiB,EAAE,IAAI,EAAE,CAAC;QACpD,CAAC;IACH,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,eAAe,EAAE,CAAC;QACpC,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,MAAM,CAAC,IAAI;YAAE,SAAS;QAC/C,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YACjC,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC,EAAE,EAAE,CAAC;gBAC1B,OAAO,EAAE,QAAQ,EAAE,GAAG,EAAE,iBAAiB,EAAE,KAAK,EAAE,CAAC;YACrD,CAAC;QACH,CAAC;IACH,CAAC;IACD,MAAM,IAAI,wBAAwB,CAChC,kBAAkB,KAAK,CAAC,EAAE,OAAO,MAAM,CAAC,EAAE,oBAAoB;QAC5D,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,sBAAsB,MAAM,CAAC,OAAO;aACtD,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,GAAG,CAAC;aACzB,IAAI,CAAC,IAAI,CAAC,wCAAwC,CACxD,CAAC;AACJ,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,uBAAuB,CAAC,IAAe,EAAE,KAAgB;IACvE,OAAO,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;AAC7B,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,YAAY,CAC1B,KAAiB,EACjB,MAAkB,EAClB,IAAI,GAAmB,EAAE;IAEzB,MAAM,eAAe,GAAG;QACtB,GAAG,wBAAwB;QAC3B,GAAG,CAAC,IAAI,CAAC,eAAe,IAAI,EAAE,CAAC;KAChC,CAAC;IACF,MAAM,EAAE,QAAQ,EAAE,iBAAiB,EAAE,GAAG,YAAY,CAClD,KAAK,EACL,MAAM,EACN,eAAe,CAChB,CAAC;IAEF,IAAI,CAAC,uBAAuB,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,EAAE,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QAC7D,MAAM,IAAI,yBAAyB,CACjC,kBAAkB,KAAK,CAAC,EAAE,OAAO,MAAM,CAAC,EAAE,uBAAuB;YAC/D,cAAc,KAAK,CAAC,MAAM,CAAC,IAAI,OAAO,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG;YACjE,OAAO,QAAQ,CAAC,IAAI,OAAO,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CACpD,CAAC;IACJ,CAAC;IACD,MAAM,aAAa,GACjB,iBAAiB,KAAK,IAAI;QACxB,CAAC,CAAC,CAAC;QACH,CAAC,CAAC,gBAAgB,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;IAEzD,MAAM,gBAAgB,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC;IAEtE,qEAAqE;IACrE,qEAAqE;IACrE,kEAAkE;IAClE,kEAAkE;IAClE,iEAAiE;IACjE,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAC7D,MAAM,cAAc,GAAG;QACrB,GAAG,IAAI,GAAG,CACR,gBAAgB;aACb,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;aACrC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CACtB;KACF,CAAC;IACF,MAAM,UAAU,GAAG,GAAG,KAAK,CAAC,EAAE,KAAK,MAAM,CAAC,EAAE,EAAE,CAAC;IAC/C,MAAM,YAAY,GAAuB;QACvC,GAAG,CAAC,yBAAyB,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC;QAChD,GAAG,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC;KACxB,CAAC;IACF,MAAM,SAAS,GAA2B,EAAE,CAAC,CAAC,uCAAuC;IACrF,MAAM,gBAAgB,GAAuB,EAAE,CAAC;IAChD,IAAI,cAAc,GAAe,CAAC,GAAG,gBAAgB,CAAC,CAAC;IACvD,KAAK,MAAM,IAAI,IAAI,cAAc,EAAE,CAAC;QAClC,MAAM,CAAC,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;QACpD,IAAI,CAAC,CAAC,EAAE,CAAC;YACP,MAAM,IAAI,qBAAqB,CAC7B,kBAAkB,UAAU,sBAAsB,IAAI,YAAY;gBAChE,6BAA6B,CAAC,GAAG,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK;gBAC5D,sBAAsB,gBAAgB;qBACnC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;qBAClB,IAAI,CAAC,IAAI,CAAC,6CAA6C;gBAC1D,qDAAqD;gBACrD,+DAA+D,CAClE,CAAC;QACJ,CAAC;QACD,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACzB,IAAI,CAAC,CAAC,OAAO,KAAK,QAAQ;YAAE,SAAS,CAAC,iCAAiC;QACvE,MAAM,OAAO,GAAG,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC;QACvC,IACE,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC;YACvB,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,EAC9C,CAAC;YACD,MAAM,IAAI,qBAAqB,CAC7B,kBAAkB,UAAU,0BAA0B,OAAO,IAAI;gBAC/D,gEAAgE,CACnE,CAAC;QACJ,CAAC;QACD,cAAc,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACxC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,CAChE,CAAC;QACF,SAAS,CAAC,OAAO,CAAC,GAAG,IAAI,CAAC;IAC5B,CAAC;IAED;;6EAEyE;IACzE,MAAM,iBAAiB,GAAG,CACxB,MAA8B,EAC9B,YAAoB,EACI,EAAE;QAC1B,MAAM,EAAE,GAA2B,EAAE,GAAG,MAAM,EAAE,CAAC;QACjD,KAAK,MAAM,CAAC,OAAO,EAAE,QAAQ,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;YAC5D,EAAE,CAAC,QAAQ,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC;YAC/B,OAAO,EAAE,CAAC,OAAO,CAAC,CAAC;QACrB,CAAC;QACD,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,YAAY,GAAG,aAAa,CAAC;QACjD,OAAO,EAAE,CAAC;IACZ,CAAC,CAAC;IAEF,MAAM,cAAc,GAAG;QACrB,WAAW,EACT,IAAI,KAAK,CAAC,MAAM,CAAC,WAAW,sBAAsB;YAClD,GAAG,QAAQ,CAAC,IAAI,MAAM,MAAM,CAAC,MAAM,CAAC,WAAW,GAAG;QACpD,iEAAiE;QACjE,iEAAiE;QACjE,kEAAkE;QAClE,gEAAgE;QAChE,iEAAiE;QACjE,SAAS,EAAE,CAAC,MAA8B,EAAW,EAAE;YACrD,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC;gBAAE,OAAO,KAAK,CAAC;YAClD,MAAM,YAAY,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;YAC5C,OAAO,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,iBAAiB,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC;QAC1E,CAAC;KACF,CAAC;IAEF,MAAM,EAAE,GAAG,GAAG,KAAK,CAAC,EAAE,KAAK,MAAM,CAAC,EAAE,EAAE,CAAC;IAEvC,6EAA6E;IAC7E,yEAAyE;IACzE,0EAA0E;IAC1E,sEAAsE;IACtE,oEAAoE;IACpE,0EAA0E;IAC1E,kEAAkE;IAClE,sEAAsE;IACtE,qEAAqE;IACrE,qEAAqE;IACrE,sEAAsE;IACtE,6CAA6C;IAC7C,IAAI,eAAe,GAGf,EAAE,CAAC;IACP,IAAI,KAAK,CAAC,QAAQ,KAAK,SAAS,IAAI,MAAM,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QAClE,MAAM,SAAS,GAAG,eAAe,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QAC7E,IAAI,SAAS,KAAK,kBAAkB,EAAE,CAAC;YACrC,MAAM,IAAI,yBAAyB,CACjC,kBAAkB,KAAK,CAAC,EAAE,OAAO,MAAM,CAAC,EAAE,0BAA0B;gBAClE,sCAAsC,KAAK,CAAC,QAAQ,CAAC,IAAI,IAAI;gBAC7D,IAAI,KAAK,CAAC,EAAE,kBAAkB,MAAM,CAAC,QAAQ,CAAC,IAAI,IAAI;gBACtD,IAAI,MAAM,CAAC,EAAE,2CAA2C;gBACxD,6CAA6C,CAChD,CAAC;QACJ,CAAC;QACD,IAAI,SAAS,KAAK,eAAe,EAAE,CAAC;YAClC,+DAA+D;YAC/D,yEAAyE;YACzE,wEAAwE;YACxE,gEAAgE;YAChE,yEAAyE;YACzE,sEAAsE;YACtE,uEAAuE;YACvE,WAAW;YACX,MAAM,IAAI,yBAAyB,CACjC,kBAAkB,KAAK,CAAC,EAAE,OAAO,MAAM,CAAC,EAAE,0BAA0B;gBAClE,sDAAsD;gBACtD,mEAAmE;gBACnE,iFAAiF,CACpF,CAAC;QACJ,CAAC;QACD,0EAA0E;QAC1E,sEAAsE;QACtE,wEAAwE;QACxE,0EAA0E;QAC1E,yEAAyE;QACzE,2EAA2E;QAC3E,wEAAwE;QACxE,iCAAiC;QACjC,MAAM,MAAM,GACV,gBAAgB,CAAC,KAAK,CAAC,WAAW,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC,MAAM,KAAK,CAAC;YAClE,CAAC,CAAC,EAAE,GAAG,KAAK,CAAC,WAAW,EAAE,GAAG,MAAM,CAAC,WAAW,EAAE;YACjD,CAAC,CAAC,EAAE,CAAC;QACT,eAAe,GAAG;YAChB,QAAQ,EAAE,gBAAgB,CAAC,SAAS,EAAE,KAAK,CAAC,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC;YACtE,mBAAmB,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,CAAC;YAC1C,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACnE,CAAC;IACJ,CAAC;IAED,OAAO;QACL,EAAE;QACF,IAAI,EAAE,IAAI;QACV,IAAI,EAAE,KAAK,CAAC,IAAI,KAAK,KAAK,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ;QACtE,KAAK,EAAE,GAAG,KAAK,CAAC,KAAK,MAAM,MAAM,CAAC,KAAK,EAAE;QACzC,OAAO,EAAE,CAAC,GAAG,KAAK,CAAC,OAAO,EAAE,GAAG,cAAc,CAAC;QAC9C,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,UAAU,EAAE,aAAa,CAAC,KAAK,CAAC,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC;QAC9D,MAAM,EAAE,cAAc;QACtB,QAAQ,EAAE,CAAC,MAAM,EAAE,EAAE;YACnB,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC;gBACpC,MAAM,IAAI,oBAAoB,CAC5B,GAAG,EAAE,4CAA4C;oBAC/C,IAAI,cAAc,CAAC,WAAW,GAAG,CACpC,CAAC;YACJ,CAAC;YACD,MAAM,YAAY,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;YAC5C,MAAM,WAAW,GAAG,iBAAiB,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;YAC5D,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,WAAW,CAAC,EAAE,CAAC;gBAC1C,MAAM,IAAI,oBAAoB,CAC5B,GAAG,EAAE,4CAA4C;oBAC/C,IAAI,cAAc,CAAC,WAAW,GAAG,CACpC,CAAC;YACJ,CAAC;YACD,OAAO,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;QACtC,CAAC;QACD,QAAQ,EAAE,GAAG,KAAK,CAAC,QAAQ,MAAM,MAAM,CAAC,QAAQ,EAAE;QAClD,GAAG,CAAC,iBAAiB,KAAK,IAAI;YAC5B,CAAC,CAAC,EAAE,kBAAkB,EAAE,iBAAiB,EAAE;YAC3C,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC;YAC7B,CAAC,CAAC,EAAE,qBAAqB,EAAE,gBAAgB,EAAE;YAC7C,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,eAAe;KACnB,CAAC;AACJ,CAAC"}
@@ -196,6 +196,47 @@ export interface DiscoveryOptions {
196
196
  * @internal
197
197
  */
198
198
  export declare const ANCHOR_DEFAULT: Readonly<Record<string, number>>;
199
+ /**
200
+ * Candidate-invariant state for the discovery funnel — everything in
201
+ * `vetLinkCandidate` that depends only on `(edges, opts)`, not on the specific
202
+ * candidate. Computed once by `buildDiscoveryContext` and shared across every
203
+ * candidate so `rankDiscoveries` does loop-invariant work once instead of N
204
+ * times. Holds read-only structures — `vetInContext` never mutates them, so
205
+ * sharing is safe. `tests/composition/discovery.test.ts` pins that directly:
206
+ * two builds are equal, and vetting every candidate leaves the context equal
207
+ * to a snapshot taken before.
208
+ *
209
+ * @internal
210
+ */
211
+ export interface DiscoveryContext {
212
+ readonly baseIdents: readonly QuantityIdentification[];
213
+ readonly groundTruth: Readonly<Record<string, number>>;
214
+ /** `Object.keys(groundTruth)` — the anchor known-set names. */
215
+ readonly anchor: readonly string[];
216
+ readonly repVals: Readonly<Record<string, RepresentativeValue>>;
217
+ readonly maxOrders: number;
218
+ /** Registry-only attribute lookup for the D1 axis gate (opts override or
219
+ * `REGISTRY_ATTRIBUTES_BY_NAME`). */
220
+ readonly attributesByName: ReadonlyMap<string, RegimeAttributes>;
221
+ /** `forwardEvaluate(edges, groundTruth, baseIdents)` — anchor magnitudes. */
222
+ readonly anchorValues: ReadonlyMap<string, number>;
223
+ /** The same evaluation with every anchor input times {@link ANCHOR_PROBE_FACTOR}. */
224
+ readonly anchorValuesProbe: ReadonlyMap<string, number>;
225
+ /** `quantityComponents(edges, baseIdents)` — base component roots. */
226
+ readonly comps: ReadonlyMap<string, string>;
227
+ /** `forwardClosure(edges, anchor, baseIdents)` — base determinable set. */
228
+ readonly closureBase: ReadonlySet<string>;
229
+ /**
230
+ * Retrodiction of the anchor with no hypothesized identification.
231
+ * An identification of two quantities outside {@link closureBase} cannot
232
+ * fire, so that candidate's numeric report is this one.
233
+ */
234
+ readonly baseNumericallyConsistent: boolean;
235
+ readonly baseInconsistentNodes: readonly string[];
236
+ }
237
+ /** Resolve options and compute the candidate-invariant discovery state once.
238
+ * @internal */
239
+ export declare function buildDiscoveryContext(edges: readonly BridgeEdge[], opts: DiscoveryOptions): DiscoveryContext;
199
240
  /**
200
241
  * Vet one link candidate by hypothesizing the identification a≡b and
201
242
  * measuring its structural and numerical consequences. See module docs.
@@ -203,6 +244,15 @@ export declare const ANCHOR_DEFAULT: Readonly<Record<string, number>>;
203
244
  * @internal
204
245
  */
205
246
  export declare function vetLinkCandidate(edges: readonly BridgeEdge[], candidate: LinkCandidate, opts?: DiscoveryOptions): VettedCandidate;
247
+ /**
248
+ * The per-candidate vetting body, given pre-computed candidate-invariant
249
+ * `ctx`. The hypothesis-augmented closure is per-candidate. Retrodiction is
250
+ * per-candidate only when an endpoint is already in the anchor closure;
251
+ * otherwise the identification cannot fire and the base report stands.
252
+ *
253
+ * @internal
254
+ */
255
+ export declare function vetInContext(edges: readonly BridgeEdge[], candidate: LinkCandidate, ctx: DiscoveryContext): VettedCandidate;
206
256
  /**
207
257
  * Run the full discovery funnel: propose cross-cluster candidates, vet each
208
258
  * against the inference suite, and rank — `promising` first, then by score.
@@ -1 +1 @@
1
- {"version":3,"file":"discovery.d.ts","sourceRoot":"","sources":["../../src/composition/discovery.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAC5C,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,cAAc,CAAC;AAG3D,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AAItD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAG1D,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AAYtE;4DAC4D;AAC5D,eAAO,MAAM,2BAA2B,EAAE,WAAW,CAAC,MAAM,EAAE,gBAAgB,CAS1E,CAAC;AA+BL,iFAAiF;AACjF,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB,+CAA+C;IAC/C,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,6DAA6D;IAC7D,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;IAC9B,yDAAyD;IACzD,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B;;;OAGG;IACH,QAAQ,CAAC,gBAAgB,EAAE,OAAO,CAAC;IACnC;;;OAGG;IACH,QAAQ,CAAC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9C;;;;OAIG;IACH,QAAQ,CAAC,qBAAqB,EAAE,OAAO,CAAC;IACxC;yEACqE;IACrE,QAAQ,CAAC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9C;;;;OAIG;IACH,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IACpC,4EAA4E;IAC5E,QAAQ,CAAC,gBAAgB,EAAE,OAAO,CAAC;IACnC;4EACwE;IACxE,QAAQ,CAAC,mBAAmB,EAAE,OAAO,CAAC;IACtC;;;;;;;;;;;;;;OAcG;IACH,QAAQ,CAAC,wBAAwB,CAAC,EAAE,OAAO,CAAC;IAC5C;;;;OAIG;IACH,QAAQ,CAAC,gBAAgB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9C;;;OAGG;IACH,QAAQ,CAAC,YAAY,CAAC,EAAE,SAAS;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAA;KAAE,EAAE,CAAC;IACpG;;;;;OAKG;IACH,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B;;;;;;;;;;;;;;OAcG;IACH,QAAQ,CAAC,OAAO,EAAE,WAAW,GAAG,OAAO,GAAG,eAAe,GAAG,iBAAiB,GAAG,YAAY,CAAC;IAC7F,4DAA4D;IAC5D,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB;;;;;;OAMG;IACH,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;IAC9B;;;;;OAKG;IACH,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IACxC;;;;OAIG;IACH,QAAQ,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3C;kDAC8C;IAC9C,QAAQ,CAAC,gBAAgB,EAAE,OAAO,CAAC;CACpC;AAED,gDAAgD;AAChD,MAAM,WAAW,gBAAgB;IAC/B;;;OAGG;IACH,QAAQ,CAAC,WAAW,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IACxD,0EAA0E;IAC1E,QAAQ,CAAC,eAAe,CAAC,EAAE,SAAS,sBAAsB,EAAE,CAAC;IAC7D;;;;;OAKG;IACH,QAAQ,CAAC,oBAAoB,CAAC,EAAE,MAAM,CAAC;IACvC;;;;OAIG;IACH,QAAQ,CAAC,oBAAoB,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC,CAAC;IAC9E;;;;;OAKG;IACH,QAAQ,CAAC,kBAAkB,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;CACrE;AAkCD;;;;GAIG;AACH,eAAO,MAAM,cAAc,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAsB,CAAC;AA4FnF;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAC9B,KAAK,EAAE,SAAS,UAAU,EAAE,EAC5B,SAAS,EAAE,aAAa,EACxB,IAAI,GAAE,gBAAqB,GAC1B,eAAe,CAEjB;AAmND;;;;;;;GAOG;AACH,wBAAgB,eAAe,CAC7B,KAAK,EAAE,SAAS,UAAU,EAAE,EAC5B,IAAI,GAAE,gBAAqB,GAC1B,eAAe,EAAE,CAmBnB"}
1
+ {"version":3,"file":"discovery.d.ts","sourceRoot":"","sources":["../../src/composition/discovery.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAC5C,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,cAAc,CAAC;AAG3D,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AAItD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAG1D,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AAYtE;4DAC4D;AAC5D,eAAO,MAAM,2BAA2B,EAAE,WAAW,CAAC,MAAM,EAAE,gBAAgB,CAE7E,CAAC;AA+BF,iFAAiF;AACjF,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB,+CAA+C;IAC/C,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,6DAA6D;IAC7D,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;IAC9B,yDAAyD;IACzD,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B;;;OAGG;IACH,QAAQ,CAAC,gBAAgB,EAAE,OAAO,CAAC;IACnC;;;OAGG;IACH,QAAQ,CAAC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9C;;;;OAIG;IACH,QAAQ,CAAC,qBAAqB,EAAE,OAAO,CAAC;IACxC;yEACqE;IACrE,QAAQ,CAAC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9C;;;;OAIG;IACH,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IACpC,4EAA4E;IAC5E,QAAQ,CAAC,gBAAgB,EAAE,OAAO,CAAC;IACnC;4EACwE;IACxE,QAAQ,CAAC,mBAAmB,EAAE,OAAO,CAAC;IACtC;;;;;;;;;;;;;;OAcG;IACH,QAAQ,CAAC,wBAAwB,CAAC,EAAE,OAAO,CAAC;IAC5C;;;;OAIG;IACH,QAAQ,CAAC,gBAAgB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9C;;;OAGG;IACH,QAAQ,CAAC,YAAY,CAAC,EAAE,SAAS;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAA;KAAE,EAAE,CAAC;IACpG;;;;;OAKG;IACH,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B;;;;;;;;;;;;;;OAcG;IACH,QAAQ,CAAC,OAAO,EAAE,WAAW,GAAG,OAAO,GAAG,eAAe,GAAG,iBAAiB,GAAG,YAAY,CAAC;IAC7F,4DAA4D;IAC5D,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB;;;;;;OAMG;IACH,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;IAC9B;;;;;OAKG;IACH,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IACxC;;;;OAIG;IACH,QAAQ,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3C;kDAC8C;IAC9C,QAAQ,CAAC,gBAAgB,EAAE,OAAO,CAAC;CACpC;AAED,gDAAgD;AAChD,MAAM,WAAW,gBAAgB;IAC/B;;;OAGG;IACH,QAAQ,CAAC,WAAW,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IACxD,0EAA0E;IAC1E,QAAQ,CAAC,eAAe,CAAC,EAAE,SAAS,sBAAsB,EAAE,CAAC;IAC7D;;;;;OAKG;IACH,QAAQ,CAAC,oBAAoB,CAAC,EAAE,MAAM,CAAC;IACvC;;;;OAIG;IACH,QAAQ,CAAC,oBAAoB,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC,CAAC;IAC9E;;;;;OAKG;IACH,QAAQ,CAAC,kBAAkB,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;CACrE;AAkCD;;;;GAIG;AACH,eAAO,MAAM,cAAc,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAsB,CAAC;AA+BnF;;;;;;;;;;;GAWG;AACH,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,UAAU,EAAE,SAAS,sBAAsB,EAAE,CAAC;IACvD,QAAQ,CAAC,WAAW,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IACvD,+DAA+D;IAC/D,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC,CAAC;IAChE,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B;0CACsC;IACtC,QAAQ,CAAC,gBAAgB,EAAE,WAAW,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;IACjE,6EAA6E;IAC7E,QAAQ,CAAC,YAAY,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACnD,qFAAqF;IACrF,QAAQ,CAAC,iBAAiB,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACxD,sEAAsE;IACtE,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC5C,2EAA2E;IAC3E,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC1C;;;;OAIG;IACH,QAAQ,CAAC,yBAAyB,EAAE,OAAO,CAAC;IAC5C,QAAQ,CAAC,qBAAqB,EAAE,SAAS,MAAM,EAAE,CAAC;CACnD;AAED;gBACgB;AAChB,wBAAgB,qBAAqB,CACnC,KAAK,EAAE,SAAS,UAAU,EAAE,EAC5B,IAAI,EAAE,gBAAgB,GACrB,gBAAgB,CA8BlB;AAED;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAC9B,KAAK,EAAE,SAAS,UAAU,EAAE,EAC5B,SAAS,EAAE,aAAa,EACxB,IAAI,GAAE,gBAAqB,GAC1B,eAAe,CAEjB;AAED;;;;;;;GAOG;AACH,wBAAgB,YAAY,CAC1B,KAAK,EAAE,SAAS,UAAU,EAAE,EAC5B,SAAS,EAAE,aAAa,EACxB,GAAG,EAAE,gBAAgB,GACpB,eAAe,CA6MjB;AAED;;;;;;;GAOG;AACH,wBAAgB,eAAe,CAC7B,KAAK,EAAE,SAAS,UAAU,EAAE,EAC5B,IAAI,GAAE,gBAAqB,GAC1B,eAAe,EAAE,CAmBnB"}