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
@@ -26,17 +26,20 @@
26
26
  * Milestone 1's six top-level theorems are unchanged. Milestone 2 adds four
27
27
  * atlas entries. Milestone 2b adds fifteen catalog entries. Bucket A adds
28
28
  * twenty-one counted catalog entries, keyed `be-<n>`. BE-20 is the nested
29
- * `corollary` on `be-13` and has no key. A counted covers line begins with
30
- * `reduction`, `limit`, or `derivation-step`. A labeled covers line begins
31
- * with `property` or `cross-check`. A nested object (`planeWave`, `oneLoop`,
32
- * `inversion`, `vacuum`, `corollary`, `friedmann`, `lengthMonomial`,
33
- * `torsionMonomial`, `coefficientNotFixed`, `unitCoefficient`, `scalingShape`,
34
- * `everyPower`, `perpendicularQuartic`, `tolmanRatio`) is recorded and is not
35
- * a `formalRef`. The sentence that those fourteen names are the whole nested
36
- * set is the record from before BE-103 through BE-125. That ingestion adds
37
- * `warmSound`, `cutoffL`, `whistlerLimit`, `equalTemperature`, `bohmGross`,
38
- * `referenceResistivity`, `lundquist`, and `bohmFlux`. PhysJS #66 adds
39
- * be-103 through be-125. The sentence that the pin is
29
+ * `corollary` on `be-13` and has no key. Each statement's `kind`, nested ones
30
+ * included, is the manifest's own field (schema `physjs-bridge-manifest/v2`),
31
+ * which PhysJS reads from the kind line of the Lean file that declares the
32
+ * theorem; this module keeps no
33
+ * override and does not parse the covers line for it. The sentence that a
34
+ * counted covers line begins with `reduction`, `limit`, or `derivation-step`,
35
+ * and that a catalog entry's `formalKind` overrides that word, is the record
36
+ * from before that schema. A field of a manifest entry outside the
37
+ * base fields is a nested statement: a second theorem on the same entry,
38
+ * named by the field, with no key. It is recorded and compared, and it is not
39
+ * a `formalRef`. The generator reads it by its shape, so a new nested name
40
+ * needs no edit here. The sentence that the nested names are a fixed list in
41
+ * this module and in the generator is the record from before that change.
42
+ * PhysJS #66 adds be-103 through be-125. The sentence that the pin is
40
43
  * `03e8bb77c952f720bdd2730af2afc6a7f2d36243` and that the table stops at
41
44
  * be-102 is the record from before that pin. PhysJS #67 adds be-126 through
42
45
  * be-133. The sentence that the pin is
@@ -44,11 +47,12 @@
44
47
  * be-125 is the record from before that pin. PhysJS #68 adds be-134 through
45
48
  * be-146. The sentence that the pin is
46
49
  * `8515c621d1c6e6d31c2eea4467181eb85d58234b` and that the table stops at
47
- * be-133 is the record from before that pin. That ingestion adds
48
- * `heisenberg_fraction`.
50
+ * be-133 is the record from before that pin.
49
51
  *
50
52
  * @module atlas/physjs-ref
51
53
  */
54
+ import { FORMAL_REF_KINDS } from '../relations/types.js';
55
+ import { catalogEntries, catalogIdNumber } from '../bridges/catalog-load.js';
52
56
  import { PHYSJS_COMMIT, PHYSJS_MATHLIB, PHYSJS_PHYS_LIB, PHYSJS_TOOLCHAIN, PHYSJS_ENTRIES as GENERATED_PHYSJS_ENTRIES, } from './physjs-entries.generated.js';
53
57
  /**
54
58
  * PhysJS commit the vendored manifest records.
@@ -61,52 +65,34 @@ export { PHYSJS_COMMIT } from './physjs-entries.generated.js';
61
65
  * `bound.delta` does not certify the regime, the horizon, or the side conditions.
62
66
  */
63
67
  const PHYSJS_COVERAGE = 'covers its statement only';
64
- /** Nested objects the manifest schema records. A new name is a problem. */
65
- const NESTED_FIELDS = [
66
- 'planeWave',
67
- 'oneLoop',
68
- 'inversion',
69
- 'vacuum',
70
- 'corollary',
71
- 'friedmann',
72
- 'lengthMonomial',
73
- 'torsionMonomial',
74
- 'coefficientNotFixed',
75
- 'unitCoefficient',
76
- 'scalingShape',
77
- 'everyPower',
78
- 'perpendicularQuartic',
79
- 'tolmanRatio',
80
- 'warmSound',
81
- 'cutoffL',
82
- 'whistlerLimit',
83
- 'equalTemperature',
84
- 'bohmGross',
85
- 'referenceResistivity',
86
- 'lundquist',
87
- 'bohmFlux',
88
- 'heisenberg_fraction',
89
- ];
90
- const ENTRY_FIELDS = new Set([
91
- 'key',
92
- 'bridgeId',
93
- 'theorem',
94
- 'covers',
95
- 'coverage',
96
- 'leanProof',
97
- 'axioms',
98
- 'imports',
99
- ...NESTED_FIELDS,
100
- ]);
101
- /** Counted catalog kinds. Not a property and not a cross-check. */
102
- const COUNTED_KIND = /^(reduction|limit|derivation-step): /;
68
+ /** The fields of a manifest entry. Any other field is a nested statement. */
69
+ const BASE_FIELDS = new Set(['key', 'bridgeId', 'theorem', 'kind', 'covers', 'coverage', 'leanProof', 'axioms', 'imports']);
70
+ /** The fields of a statement, sorted. A nested field with exactly these is a statement. */
71
+ const STATEMENT_FIELDS = ['axioms', 'coverage', 'covers', 'kind', 'leanProof', 'theorem'];
103
72
  /**
104
- * Labeled catalog kinds. A reader tells them from a counted statement by
105
- * this word. They occupy a catalog `formalRef` and are not the counted kind.
73
+ * The nested statements of a manifest entry, in field order: every field
74
+ * outside the base fields whose value has exactly the statement fields. A
75
+ * field that is neither is returned in `problems`.
76
+ * @internal
106
77
  */
107
- const LABELED_KIND = /^(property|cross-check): /;
78
+ export function physjsNestedStatements(entry) {
79
+ const nested = [];
80
+ const problems = [];
81
+ for (const [field, value] of Object.entries(entry)) {
82
+ if (BASE_FIELDS.has(field))
83
+ continue;
84
+ const keys = typeof value === 'object' && value !== null && !Array.isArray(value) ? Object.keys(value).sort() : [];
85
+ if (keys.join() === STATEMENT_FIELDS.join())
86
+ nested.push({ name: field, ...value });
87
+ else
88
+ problems.push(`manifest entry '${entry.key}' has unexpected field '${field}'`);
89
+ }
90
+ return { nested, problems };
91
+ }
108
92
  const PHYSJS_ENTRIES = GENERATED_PHYSJS_ENTRIES;
109
93
  const entryByKey = new Map(PHYSJS_ENTRIES.map((entry) => [entry.key, entry]));
94
+ /** Theorem → its Lean file, for every statement of the compiled table, nested ones included. */
95
+ const FILE_BY_THEOREM = new Map(PHYSJS_ENTRIES.flatMap((entry) => [entry, ...entry.nested].map((statement) => [statement.theorem, statement.file])));
110
96
  /**
111
97
  * Theorem name on the compiled manifest copy for `key`.
112
98
  *
@@ -122,28 +108,22 @@ export function physjsTheorem(key) {
122
108
  function physjsVersion() {
123
109
  return `physjs@${PHYSJS_COMMIT} ${PHYSJS_TOOLCHAIN} mathlib:${PHYSJS_MATHLIB} physlib@${PHYSJS_PHYS_LIB}`;
124
110
  }
125
- /**
126
- * Namespaces whose theorems live in another Lean file at this pin.
127
- * `SpringLc` and `DampedRlc` are namespaces inside `lean/OscillatorDictionary.lean`,
128
- * not their own files. Rechecked at this pin.
129
- */
130
- const PHYSJS_FILE_BY_NAMESPACE = {
131
- SpringLc: 'OscillatorDictionary.lean',
132
- DampedRlc: 'OscillatorDictionary.lean',
133
- };
134
111
  /**
135
112
  * Lean file name that contains `theorem` at the pinned commit.
136
113
  *
137
- * `SpringLc` and `DampedRlc` are namespaces inside `OscillatorDictionary.lean`.
114
+ * Read from the compiled table, which copies `formal/physjs/theorem-files.json`:
115
+ * the file is where the theorem is declared, not its namespace
116
+ * (`PhysJS.Einstein.friedmann_corollary` is in `VacuumFriedmann.lean`;
117
+ * `PhysJS.SpringLc` is a namespace inside `OscillatorDictionary.lean`).
118
+ * Throws for a theorem the manifest does not name.
138
119
  *
139
120
  * @internal
140
121
  */
141
122
  export function physjsLeanFile(theorem) {
142
- const parts = theorem.split('.');
143
- if (parts.length < 3 || parts[0] !== 'PhysJS' || parts[1] === undefined) {
144
- throw new Error(`PhysJS theorem '${theorem}' is not PhysJS.<module>.<name>`);
145
- }
146
- return PHYSJS_FILE_BY_NAMESPACE[parts[1]] ?? `${parts[1]}.lean`;
123
+ const file = FILE_BY_THEOREM.get(theorem);
124
+ if (file === undefined)
125
+ throw new Error(`PhysJS theorem '${theorem}' is not a statement of the vendored manifest`);
126
+ return file;
147
127
  }
148
128
  /**
149
129
  * Permalink to one Lean file at the pinned commit.
@@ -160,153 +140,45 @@ export function physjsFileUrl(file) {
160
140
  function physjsStatementUrl(theorem) {
161
141
  return physjsFileUrl(physjsLeanFile(theorem));
162
142
  }
143
+ /** The highest id in the bridge catalog. */
144
+ const CATALOG_MAX_ID = Math.max(...catalogEntries().map((entry) => entry.id));
163
145
  /**
164
- * Catalog keys whose theorem states the catalogued equation.
165
- * The PhysJS covers line still begins with `derivation-step`.
166
- * The kind is bridge because that equation is the theorem.
167
- */
168
- const CATALOG_EQUATION_KEYS = new Set([
169
- 'be-12',
170
- 'be-16',
171
- 'be-21',
172
- 'be-27',
173
- 'be-33',
174
- 'be-37',
175
- 'be-40',
176
- 'be-43',
177
- 'be-50',
178
- 'be-54',
179
- 'be-55',
180
- 'be-59',
181
- 'be-60',
182
- 'be-63',
183
- 'be-66',
184
- 'be-67',
185
- 'be-68',
186
- 'be-69',
187
- 'be-70',
188
- 'be-71',
189
- 'be-72',
190
- 'be-73',
191
- 'be-74',
192
- 'be-75',
193
- 'be-76',
194
- 'be-77',
195
- 'be-78',
196
- 'be-79',
197
- 'be-80',
198
- 'be-81',
199
- 'be-82',
200
- 'be-83',
201
- 'be-84',
202
- 'be-85',
203
- 'be-86',
204
- 'be-87',
205
- 'be-88',
206
- 'be-89',
207
- 'be-90',
208
- 'be-91',
209
- 'be-92',
210
- 'be-93',
211
- 'be-94',
212
- 'be-95',
213
- 'be-96',
214
- 'be-97',
215
- 'be-98',
216
- 'be-99',
217
- 'be-100',
218
- 'be-101',
219
- 'be-102',
220
- 'be-103',
221
- 'be-104',
222
- 'be-105',
223
- 'be-106',
224
- 'be-107',
225
- 'be-108',
226
- 'be-109',
227
- 'be-110',
228
- 'be-111',
229
- 'be-112',
230
- 'be-113',
231
- 'be-114',
232
- 'be-115',
233
- 'be-116',
234
- 'be-117',
235
- 'be-118',
236
- 'be-119',
237
- 'be-120',
238
- 'be-121',
239
- 'be-122',
240
- 'be-123',
241
- 'be-124',
242
- 'be-125',
243
- 'be-126',
244
- 'be-127',
245
- 'be-128',
246
- 'be-129',
247
- 'be-130',
248
- 'be-131',
249
- 'be-132',
250
- 'be-133',
251
- 'be-134',
252
- 'be-135',
253
- 'be-136',
254
- 'be-137',
255
- 'be-138',
256
- 'be-139',
257
- 'be-140',
258
- 'be-141',
259
- 'be-142',
260
- 'be-143',
261
- 'be-144',
262
- 'be-145',
263
- 'be-146',
264
- ]);
265
- /**
266
- * Atlas keys are bridges. A catalog key whose theorem states the catalogued
267
- * equation is a bridge. BE-28 is a property of the defining sum. Every other
268
- * catalog key's kind is the covers prefix.
146
+ * True when `key` is ahead of the catalog: PhysJS proved the statement for a
147
+ * catalog id the catalog has not reached yet. That is an id above the
148
+ * catalog's highest, with every id between them also a key of `keys` (the
149
+ * manifest's), so the ahead keys are one unbroken run that starts right after
150
+ * the catalog. Such an entry is vendored and compared, and it is not a seed
151
+ * and not a problem until the catalog entry exists. A missing id inside the
152
+ * catalog's range is not ahead, nor is an id past a gap in the run (a typo
153
+ * such as an extra digit), nor an atlas key.
154
+ *
155
+ * @internal
269
156
  */
270
- function formalRefKind(key, covers) {
271
- if (key.startsWith('ab-'))
272
- return 'bridge';
273
- if (CATALOG_EQUATION_KEYS.has(key))
274
- return 'bridge';
275
- if (key === 'be-28')
276
- return 'property';
277
- const word = covers.split(':')[0];
278
- if (word === 'property' ||
279
- word === 'cross-check' ||
280
- word === 'reduction' ||
281
- word === 'limit' ||
282
- word === 'derivation-step') {
283
- return word;
284
- }
285
- return undefined;
157
+ export function physjsAheadOfCatalog(key, keys = PHYSJS_ENTRIES.map((entry) => entry.key)) {
158
+ const id = catalogIdNumber(key);
159
+ if (id === undefined || id <= CATALOG_MAX_ID)
160
+ return false;
161
+ const ids = new Set(keys.map(catalogIdNumber));
162
+ for (let n = CATALOG_MAX_ID + 1; n < id; n++)
163
+ if (!ids.has(n))
164
+ return false;
165
+ return true;
286
166
  }
287
167
  /**
288
- * Manifest keys whose derived kind is `bridge`.
289
- *
290
- * An `ab-` key is a bridge. A catalog key is a bridge when `formalRefKind`
291
- * says the theorem states the catalogued equation. A canonical id uses that
292
- * same function: it is a seed when this table, or a caller-supplied overlay
293
- * entry, has derived kind `bridge`. A textbook covers word is not a seed.
294
- * One function, so a second list cannot drift.
295
- *
296
- * `kind`, when supplied, is that derived kind for an overlay reference the
297
- * compiled table does not carry. The live call omits it. The return value
298
- * is not stored on a bridge.
168
+ * Manifest keys of kind `bridge`, the theorem stating the equation its key
169
+ * names, that resolve to a bridge: every such atlas key, and every such
170
+ * catalog key whose catalog entry exists. The kind is the manifest's own
171
+ * field. A caller-supplied overlay entry is read the same way. The return
172
+ * value is not stored on a bridge.
299
173
  *
300
174
  * @internal
301
175
  */
302
176
  export function bridgeSeedKeys(entries = PHYSJS_ENTRIES) {
303
- const keys = [];
304
- for (const entry of entries) {
305
- const kind = entry.kind ?? formalRefKind(entry.key, entry.covers);
306
- if (kind === 'bridge')
307
- keys.push(entry.key);
308
- }
309
- return keys;
177
+ return entries.filter((entry) => entry.kind === 'bridge' && !physjsAheadOfCatalog(entry.key)).map((entry) => entry.key);
178
+ }
179
+ /** Every manifest key ahead of the catalog, in manifest order. @internal */
180
+ export function physjsKeysAheadOfCatalog() {
181
+ return PHYSJS_ENTRIES.filter((entry) => physjsAheadOfCatalog(entry.key)).map((entry) => entry.key);
310
182
  }
311
183
  /**
312
184
  * The reviewed reference for a manifest key. Throws when the key is not an
@@ -318,16 +190,13 @@ export function physjsFormalRef(key) {
318
190
  const entry = entryByKey.get(key);
319
191
  if (entry === undefined)
320
192
  throw new Error(`PhysJS manifest has no entry for '${key}'`);
321
- const kind = formalRefKind(entry.key, entry.covers);
322
- if (kind === undefined)
323
- throw new Error(`PhysJS entry '${entry.key}' covers line has no catalog kind`);
324
193
  return {
325
194
  system: 'lean4-physjs',
326
195
  statement: entry.theorem,
327
196
  version: physjsVersion(),
328
197
  axioms: entry.axioms,
329
198
  fidelity: 'sanity-lemmas',
330
- kind,
199
+ kind: entry.kind,
331
200
  url: physjsStatementUrl(entry.theorem),
332
201
  covers: `${entry.covers} — ${entry.coverage}`,
333
202
  };
@@ -335,29 +204,22 @@ export function physjsFormalRef(key) {
335
204
  function sameAxioms(recorded, manifest) {
336
205
  return recorded.length === manifest.length && recorded.every((axiom, i) => axiom === manifest[i]);
337
206
  }
338
- function sameNested(compiled, manifest) {
339
- if (compiled === undefined && manifest === undefined)
340
- return true;
341
- if (compiled === undefined || manifest === undefined)
342
- return false;
207
+ function sameStatement(compiled, manifest) {
343
208
  return (compiled.theorem === manifest.theorem &&
209
+ compiled.kind === manifest.kind &&
344
210
  compiled.covers === manifest.covers &&
345
211
  compiled.coverage === manifest.coverage &&
346
212
  compiled.leanProof === manifest.leanProof &&
347
213
  sameAxioms(compiled.axioms, manifest.axioms));
348
214
  }
349
- /**
350
- * A `be-` covers line begins with a counted kind or a labeled kind.
351
- * Atlas covers lines stay as milestone 1 and 2 wrote them.
352
- */
353
- function catalogCoversProblems(key, covers, where) {
354
- if (!key.startsWith('be-'))
355
- return [];
356
- if (COUNTED_KIND.test(covers) || LABELED_KIND.test(covers))
357
- return [];
358
- return [
359
- `${where} '${key}' covers line does not begin with a catalog kind (reduction, limit, derivation-step, property, or cross-check)`,
360
- ];
215
+ /** The compiled nested statements are the manifest's: the same names, in order, each the same statement. */
216
+ function sameNested(compiled, manifest) {
217
+ return (compiled.length === manifest.length &&
218
+ compiled.every((statement, i) => statement.name === manifest[i].name && sameStatement(statement, manifest[i])));
219
+ }
220
+ /** The kind of a manifest entry is one of the formal-reference kinds. */
221
+ function isFormalRefKind(kind) {
222
+ return typeof kind === 'string' && FORMAL_REF_KINDS.includes(kind);
361
223
  }
362
224
  /**
363
225
  * Problems in the vendored manifest against the bridges that claim to be keyed
@@ -368,17 +230,19 @@ function catalogCoversProblems(key, covers, where) {
368
230
  * entry with no bridge is a problem. A `lean4-physjs` reference with no entry
369
231
  * is a problem: the gate does not skip that system. A nested object is kept
370
232
  * and compared; naming it as the `formalRef` is a problem. The top-level
371
- * theorem stays the reference. A catalog entry whose covers line is a
372
- * `property` or a `cross-check` is a labeled reference: it resolves to a
373
- * `formalRef`, and it is not a counted kind.
233
+ * theorem stays the reference. The reference's kind is the entry's
234
+ * `kind`; a kind outside the formal-reference kinds is a problem. A `be-`
235
+ * key in the unbroken run above the catalog's highest id is ahead of the
236
+ * catalog and is not a problem (`physjsAheadOfCatalog`); any other key with
237
+ * no bridge is.
374
238
  *
375
239
  * @internal
376
240
  */
377
241
  export function physjsManifestProblems(input) {
378
242
  const problems = [];
379
243
  const manifest = input.manifest;
380
- if (manifest.schema !== 'physjs-bridge-manifest/v1') {
381
- problems.push(`manifest schema is '${manifest.schema}', expected 'physjs-bridge-manifest/v1'`);
244
+ if (manifest.schema !== 'physjs-bridge-manifest/v2') {
245
+ problems.push(`manifest schema is '${manifest.schema}', expected 'physjs-bridge-manifest/v2'`);
382
246
  }
383
247
  if (manifest.commit !== PHYSJS_COMMIT) {
384
248
  problems.push(`manifest commit is '${manifest.commit}', expected '${PHYSJS_COMMIT}'`);
@@ -395,15 +259,13 @@ export function physjsManifestProblems(input) {
395
259
  const compiledByKey = new Map((input.compiledEntries ?? PHYSJS_ENTRIES).map((entry) => [entry.key, entry]));
396
260
  const byId = new Map(input.bridges.map((bridge) => [bridge.id, bridge]));
397
261
  const seen = new Set();
262
+ const manifestKeys = manifest.entries.map((entry) => entry.key);
398
263
  for (const entry of manifest.entries) {
399
264
  if (seen.has(entry.key))
400
265
  problems.push(`manifest key '${entry.key}' is duplicated`);
401
266
  seen.add(entry.key);
402
- for (const field of Object.keys(entry)) {
403
- if (!ENTRY_FIELDS.has(field)) {
404
- problems.push(`manifest entry '${entry.key}' has unexpected field '${field}'`);
405
- }
406
- }
267
+ const { nested, problems: fieldProblems } = physjsNestedStatements(entry);
268
+ problems.push(...fieldProblems);
407
269
  if (entry.key !== entry.bridgeId) {
408
270
  problems.push(`manifest key '${entry.key}' does not equal bridgeId '${entry.bridgeId}'`);
409
271
  }
@@ -413,23 +275,24 @@ export function physjsManifestProblems(input) {
413
275
  if (entry.leanProof !== 'complete') {
414
276
  problems.push(`leanProof for '${entry.key}' is '${entry.leanProof}', expected 'complete'`);
415
277
  }
416
- const coversProblems = catalogCoversProblems(entry.key, entry.covers, 'manifest key');
417
- problems.push(...coversProblems);
418
- for (const field of NESTED_FIELDS) {
419
- const nested = entry[field];
420
- if (nested === undefined)
421
- continue;
422
- if (nested.coverage !== PHYSJS_COVERAGE) {
423
- problems.push(`${field} coverage phrase for '${entry.key}' is '${nested.coverage}', expected '${PHYSJS_COVERAGE}'`);
278
+ if (!isFormalRefKind(entry.kind)) {
279
+ problems.push(`manifest key '${entry.key}' kind '${String(entry.kind)}' is not one of ${FORMAL_REF_KINDS.join(', ')}`);
280
+ }
281
+ for (const statement of nested) {
282
+ if (!isFormalRefKind(statement.kind)) {
283
+ problems.push(`${statement.name} kind for '${entry.key}' is '${String(statement.kind)}', not one of ${FORMAL_REF_KINDS.join(', ')}`);
424
284
  }
425
- if (nested.leanProof !== 'complete') {
426
- problems.push(`${field} leanProof for '${entry.key}' is '${nested.leanProof}', expected 'complete'`);
285
+ if (statement.coverage !== PHYSJS_COVERAGE) {
286
+ problems.push(`${statement.name} coverage phrase for '${entry.key}' is '${statement.coverage}', expected '${PHYSJS_COVERAGE}'`);
287
+ }
288
+ if (statement.leanProof !== 'complete') {
289
+ problems.push(`${statement.name} leanProof for '${entry.key}' is '${statement.leanProof}', expected 'complete'`);
427
290
  }
428
- problems.push(...catalogCoversProblems(entry.key, nested.covers, `${field} covers`));
429
291
  }
430
292
  const bridge = byId.get(entry.key);
431
293
  if (bridge === undefined) {
432
- problems.push(`manifest key '${entry.key}' does not resolve to a bridge`);
294
+ if (!physjsAheadOfCatalog(entry.key, manifestKeys))
295
+ problems.push(`manifest key '${entry.key}' does not resolve to a bridge`);
433
296
  continue;
434
297
  }
435
298
  const ref = bridge.formalRef;
@@ -437,15 +300,9 @@ export function physjsManifestProblems(input) {
437
300
  problems.push(`bridge '${entry.key}' has no lean4-physjs formalRef (system '${ref?.system ?? 'none'}')`);
438
301
  continue;
439
302
  }
440
- if (entry.planeWave !== undefined && ref.statement === entry.planeWave.theorem) {
441
- problems.push(`bridge '${entry.key}' formalRef names the nested planeWave theorem '${entry.planeWave.theorem}'; the top-level theorem stays the reference`);
442
- }
443
- for (const field of NESTED_FIELDS) {
444
- if (field === 'planeWave')
445
- continue;
446
- const nested = entry[field];
447
- if (nested !== undefined && ref.statement === nested.theorem) {
448
- problems.push(`bridge '${entry.key}' formalRef names the nested ${field} theorem '${nested.theorem}'; the top-level theorem stays the reference`);
303
+ for (const statement of nested) {
304
+ if (ref.statement === statement.theorem) {
305
+ problems.push(`bridge '${entry.key}' formalRef names the nested ${statement.name} theorem '${statement.theorem}'; the top-level theorem stays the reference`);
449
306
  }
450
307
  }
451
308
  if (ref.statement !== entry.theorem) {
@@ -454,7 +311,6 @@ export function physjsManifestProblems(input) {
454
311
  if (!sameAxioms(ref.axioms, entry.axioms)) {
455
312
  problems.push(`bridge '${entry.key}' axioms [${ref.axioms.join(', ')}] differ from the manifest [${entry.axioms.join(', ')}]`);
456
313
  }
457
- problems.push(...catalogCoversProblems(entry.key, ref.covers, 'formalRef covers'));
458
314
  if (!ref.covers.includes(PHYSJS_COVERAGE)) {
459
315
  problems.push(`bridge '${entry.key}' covers line does not say '${PHYSJS_COVERAGE}'`);
460
316
  }
@@ -467,22 +323,25 @@ export function physjsManifestProblems(input) {
467
323
  if (ref.fidelity === 'unreviewed') {
468
324
  problems.push(`bridge '${entry.key}' formalRef is unreviewed`);
469
325
  }
470
- const kind = formalRefKind(entry.key, entry.covers);
471
- if (kind !== undefined && ref.kind !== kind) {
472
- problems.push(`bridge '${entry.key}' kind is '${ref.kind}', expected '${kind}'`);
326
+ if (ref.kind !== entry.kind) {
327
+ problems.push(`bridge '${entry.key}' kind is '${ref.kind}', expected '${entry.kind}'`);
328
+ }
329
+ const file = FILE_BY_THEOREM.get(entry.theorem);
330
+ if (file === undefined) {
331
+ problems.push(`manifest theorem '${entry.theorem}' has no Lean file in formal/physjs/theorem-files.json`);
473
332
  }
474
- const url = physjsStatementUrl(entry.theorem);
475
- if (ref.url !== url) {
476
- problems.push(`bridge '${entry.key}' url is '${ref.url}', expected '${url}'`);
333
+ else if (ref.url !== physjsFileUrl(file)) {
334
+ problems.push(`bridge '${entry.key}' url is '${ref.url}', expected '${physjsFileUrl(file)}'`);
477
335
  }
478
336
  const compiled = compiledByKey.get(entry.key);
479
337
  if (compiled === undefined) {
480
338
  problems.push(`manifest key '${entry.key}' is not in the compiled entry table`);
481
339
  }
482
340
  else if (compiled.theorem !== entry.theorem ||
341
+ compiled.kind !== entry.kind ||
483
342
  compiled.covers !== entry.covers ||
484
343
  compiled.coverage !== entry.coverage ||
485
- NESTED_FIELDS.some((field) => !sameNested(compiled[field], entry[field]))) {
344
+ !sameNested(compiled.nested, nested)) {
486
345
  problems.push(`compiled entry for '${entry.key}' disagrees with the vendored manifest`);
487
346
  }
488
347
  }
@@ -1 +1 @@
1
- {"version":3,"file":"physjs-ref.js","sourceRoot":"","sources":["../../src/atlas/physjs-ref.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkDG;AAGH,OAAO,EACL,aAAa,EACb,cAAc,EACd,eAAe,EACf,gBAAgB,EAChB,cAAc,IAAI,wBAAwB,GAC3C,MAAM,+BAA+B,CAAC;AAEvC;;;;GAIG;AACH,OAAO,EAAE,aAAa,EAAE,MAAM,+BAA+B,CAAC;AAE9D;;;GAGG;AACH,MAAM,eAAe,GAAG,2BAA2B,CAAC;AAWpD,2EAA2E;AAC3E,MAAM,aAAa,GAAG;IACpB,WAAW;IACX,SAAS;IACT,WAAW;IACX,QAAQ;IACR,WAAW;IACX,WAAW;IACX,gBAAgB;IAChB,iBAAiB;IACjB,qBAAqB;IACrB,iBAAiB;IACjB,cAAc;IACd,YAAY;IACZ,sBAAsB;IACtB,aAAa;IACb,WAAW;IACX,SAAS;IACT,eAAe;IACf,kBAAkB;IAClB,WAAW;IACX,sBAAsB;IACtB,WAAW;IACX,UAAU;IACV,qBAAqB;CACb,CAAC;AAIX,MAAM,YAAY,GAAG,IAAI,GAAG,CAAS;IACnC,KAAK;IACL,UAAU;IACV,SAAS;IACT,QAAQ;IACR,UAAU;IACV,WAAW;IACX,QAAQ;IACR,SAAS;IACT,GAAG,aAAa;CACjB,CAAC,CAAC;AAEH,mEAAmE;AACnE,MAAM,YAAY,GAAG,sCAAsC,CAAC;AAE5D;;;GAGG;AACH,MAAM,YAAY,GAAG,2BAA2B,CAAC;AA0EjD,MAAM,cAAc,GAA2B,wBAAwB,CAAC;AAExE,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;AAE9E;;;;;;;GAOG;AACH,MAAM,UAAU,aAAa,CAAC,GAAW;IACvC,OAAO,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC;AACtC,CAAC;AAED,mDAAmD;AACnD,SAAS,aAAa;IACpB,OAAO,UAAU,aAAa,IAAI,gBAAgB,YAAY,cAAc,YAAY,eAAe,EAAE,CAAC;AAC5G,CAAC;AAED;;;;GAIG;AACH,MAAM,wBAAwB,GAAqC;IACjE,QAAQ,EAAE,2BAA2B;IACrC,SAAS,EAAE,2BAA2B;CACvC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,UAAU,cAAc,CAAC,OAAe;IAC5C,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACjC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,QAAQ,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,SAAS,EAAE,CAAC;QACxE,MAAM,IAAI,KAAK,CAAC,mBAAmB,OAAO,iCAAiC,CAAC,CAAC;IAC/E,CAAC;IACD,OAAO,wBAAwB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC;AAClE,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,aAAa,CAAC,IAAY;IACxC,OAAO,gDAAgD,aAAa,SAAS,IAAI,EAAE,CAAC;AACtF,CAAC;AAED,+EAA+E;AAC/E,SAAS,kBAAkB,CAAC,OAAe;IACzC,OAAO,aAAa,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC;AAChD,CAAC;AAED;;;;GAIG;AACH,MAAM,qBAAqB,GAAwB,IAAI,GAAG,CAAC;IACzD,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;CACT,CAAC,CAAC;AAEH;;;;GAIG;AACH,SAAS,aAAa,CAAC,GAAW,EAAE,MAAc;IAChD,IAAI,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC;QAAE,OAAO,QAAQ,CAAC;IAC3C,IAAI,qBAAqB,CAAC,GAAG,CAAC,GAAG,CAAC;QAAE,OAAO,QAAQ,CAAC;IACpD,IAAI,GAAG,KAAK,OAAO;QAAE,OAAO,UAAU,CAAC;IACvC,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAClC,IACE,IAAI,KAAK,UAAU;QACnB,IAAI,KAAK,aAAa;QACtB,IAAI,KAAK,WAAW;QACpB,IAAI,KAAK,OAAO;QAChB,IAAI,KAAK,iBAAiB,EAC1B,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,cAAc,CAC5B,OAAO,GAID,cAAc;IAEpB,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,IAAI,aAAa,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QAClE,IAAI,IAAI,KAAK,QAAQ;YAAE,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC9C,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,eAAe,CAAC,GAAW;IACzC,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAClC,IAAI,KAAK,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,qCAAqC,GAAG,GAAG,CAAC,CAAC;IACtF,MAAM,IAAI,GAAG,aAAa,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IACpD,IAAI,IAAI,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,iBAAiB,KAAK,CAAC,GAAG,mCAAmC,CAAC,CAAC;IACvG,OAAO;QACL,MAAM,EAAE,cAAc;QACtB,SAAS,EAAE,KAAK,CAAC,OAAO;QACxB,OAAO,EAAE,aAAa,EAAE;QACxB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,QAAQ,EAAE,eAAe;QACzB,IAAI;QACJ,GAAG,EAAE,kBAAkB,CAAC,KAAK,CAAC,OAAO,CAAC;QACtC,MAAM,EAAE,GAAG,KAAK,CAAC,MAAM,MAAM,KAAK,CAAC,QAAQ,EAAE;KAC9C,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CAAC,QAA2B,EAAE,QAA2B;IAC1E,OAAO,QAAQ,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;AACpG,CAAC;AAED,SAAS,UAAU,CAAC,QAA2C,EAAE,QAA2C;IAC1G,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAClE,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACnE,OAAO,CACL,QAAQ,CAAC,OAAO,KAAK,QAAQ,CAAC,OAAO;QACrC,QAAQ,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM;QACnC,QAAQ,CAAC,QAAQ,KAAK,QAAQ,CAAC,QAAQ;QACvC,QAAQ,CAAC,SAAS,KAAK,QAAQ,CAAC,SAAS;QACzC,UAAU,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,CAC7C,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,SAAS,qBAAqB,CAAC,GAAW,EAAE,MAAc,EAAE,KAAa;IACvE,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACtC,IAAI,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC;QAAE,OAAO,EAAE,CAAC;IACtE,OAAO;QACL,GAAG,KAAK,KAAK,GAAG,gHAAgH;KACjI,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,sBAAsB,CAAC,KAKtC;IACC,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC;IAChC,IAAI,QAAQ,CAAC,MAAM,KAAK,2BAA2B,EAAE,CAAC;QACpD,QAAQ,CAAC,IAAI,CAAC,uBAAuB,QAAQ,CAAC,MAAM,yCAAyC,CAAC,CAAC;IACjG,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,KAAK,aAAa,EAAE,CAAC;QACtC,QAAQ,CAAC,IAAI,CAAC,uBAAuB,QAAQ,CAAC,MAAM,gBAAgB,aAAa,GAAG,CAAC,CAAC;IACxF,CAAC;IACD,IAAI,QAAQ,CAAC,SAAS,KAAK,gBAAgB,EAAE,CAAC;QAC5C,QAAQ,CAAC,IAAI,CAAC,0BAA0B,QAAQ,CAAC,SAAS,gBAAgB,gBAAgB,GAAG,CAAC,CAAC;IACjG,CAAC;IACD,IAAI,QAAQ,CAAC,OAAO,KAAK,cAAc,EAAE,CAAC;QACxC,QAAQ,CAAC,IAAI,CAAC,wBAAwB,QAAQ,CAAC,OAAO,gBAAgB,cAAc,GAAG,CAAC,CAAC;IAC3F,CAAC;IACD,IAAI,QAAQ,CAAC,OAAO,KAAK,eAAe,EAAE,CAAC;QACzC,QAAQ,CAAC,IAAI,CAAC,wBAAwB,QAAQ,CAAC,OAAO,gBAAgB,eAAe,GAAG,CAAC,CAAC;IAC5F,CAAC;IAED,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,eAAe,IAAI,cAAc,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IAC5G,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;IACzE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;QACrC,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,iBAAiB,KAAK,CAAC,GAAG,iBAAiB,CAAC,CAAC;QACpF,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACpB,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YACvC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC7B,QAAQ,CAAC,IAAI,CAAC,mBAAmB,KAAK,CAAC,GAAG,2BAA2B,KAAK,GAAG,CAAC,CAAC;YACjF,CAAC;QACH,CAAC;QACD,IAAI,KAAK,CAAC,GAAG,KAAK,KAAK,CAAC,QAAQ,EAAE,CAAC;YACjC,QAAQ,CAAC,IAAI,CAAC,iBAAiB,KAAK,CAAC,GAAG,8BAA8B,KAAK,CAAC,QAAQ,GAAG,CAAC,CAAC;QAC3F,CAAC;QACD,IAAI,KAAK,CAAC,QAAQ,KAAK,eAAe,EAAE,CAAC;YACvC,QAAQ,CAAC,IAAI,CACX,wBAAwB,KAAK,CAAC,GAAG,SAAS,KAAK,CAAC,QAAQ,gBAAgB,eAAe,GAAG,CAC3F,CAAC;QACJ,CAAC;QACD,IAAI,KAAK,CAAC,SAAS,KAAK,UAAU,EAAE,CAAC;YACnC,QAAQ,CAAC,IAAI,CAAC,kBAAkB,KAAK,CAAC,GAAG,SAAS,KAAK,CAAC,SAAS,wBAAwB,CAAC,CAAC;QAC7F,CAAC;QACD,MAAM,cAAc,GAAG,qBAAqB,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;QACtF,QAAQ,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,CAAC;QACjC,KAAK,MAAM,KAAK,IAAI,aAAa,EAAE,CAAC;YAClC,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;YAC5B,IAAI,MAAM,KAAK,SAAS;gBAAE,SAAS;YACnC,IAAI,MAAM,CAAC,QAAQ,KAAK,eAAe,EAAE,CAAC;gBACxC,QAAQ,CAAC,IAAI,CACX,GAAG,KAAK,yBAAyB,KAAK,CAAC,GAAG,SAAS,MAAM,CAAC,QAAQ,gBAAgB,eAAe,GAAG,CACrG,CAAC;YACJ,CAAC;YACD,IAAI,MAAM,CAAC,SAAS,KAAK,UAAU,EAAE,CAAC;gBACpC,QAAQ,CAAC,IAAI,CAAC,GAAG,KAAK,mBAAmB,KAAK,CAAC,GAAG,SAAS,MAAM,CAAC,SAAS,wBAAwB,CAAC,CAAC;YACvG,CAAC;YACD,QAAQ,CAAC,IAAI,CAAC,GAAG,qBAAqB,CAAC,KAAK,CAAC,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC;QACvF,CAAC;QACD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACnC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,QAAQ,CAAC,IAAI,CAAC,iBAAiB,KAAK,CAAC,GAAG,gCAAgC,CAAC,CAAC;YAC1E,SAAS;QACX,CAAC;QACD,MAAM,GAAG,GAAG,MAAM,CAAC,SAAS,CAAC;QAC7B,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,CAAC,MAAM,KAAK,cAAc,EAAE,CAAC;YACvD,QAAQ,CAAC,IAAI,CACX,WAAW,KAAK,CAAC,GAAG,4CAA4C,GAAG,EAAE,MAAM,IAAI,MAAM,IAAI,CAC1F,CAAC;YACF,SAAS;QACX,CAAC;QACD,IAAI,KAAK,CAAC,SAAS,KAAK,SAAS,IAAI,GAAG,CAAC,SAAS,KAAK,KAAK,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC;YAC/E,QAAQ,CAAC,IAAI,CACX,WAAW,KAAK,CAAC,GAAG,mDAAmD,KAAK,CAAC,SAAS,CAAC,OAAO,8CAA8C,CAC7I,CAAC;QACJ,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,aAAa,EAAE,CAAC;YAClC,IAAI,KAAK,KAAK,WAAW;gBAAE,SAAS;YACpC,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;YAC5B,IAAI,MAAM,KAAK,SAAS,IAAI,GAAG,CAAC,SAAS,KAAK,MAAM,CAAC,OAAO,EAAE,CAAC;gBAC7D,QAAQ,CAAC,IAAI,CACX,WAAW,KAAK,CAAC,GAAG,gCAAgC,KAAK,aAAa,MAAM,CAAC,OAAO,8CAA8C,CACnI,CAAC;YACJ,CAAC;QACH,CAAC;QACD,IAAI,GAAG,CAAC,SAAS,KAAK,KAAK,CAAC,OAAO,EAAE,CAAC;YACpC,QAAQ,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,GAAG,iBAAiB,GAAG,CAAC,SAAS,2BAA2B,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC;QAC/G,CAAC;QACD,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;YAC1C,QAAQ,CAAC,IAAI,CACX,WAAW,KAAK,CAAC,GAAG,aAAa,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,+BAA+B,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAChH,CAAC;QACJ,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC,GAAG,qBAAqB,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC,CAAC;QACnF,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,eAAe,CAAC,EAAE,CAAC;YAC1C,QAAQ,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,GAAG,+BAA+B,eAAe,GAAG,CAAC,CAAC;QACvF,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;YACvC,QAAQ,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,GAAG,kCAAkC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;QACvF,CAAC;QACD,IAAI,GAAG,CAAC,OAAO,KAAK,aAAa,EAAE,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,UAAU,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC;YAC1F,QAAQ,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,GAAG,cAAc,GAAG,CAAC,OAAO,6BAA6B,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC;QAC9G,CAAC;QACD,IAAI,GAAG,CAAC,QAAQ,KAAK,YAAY,EAAE,CAAC;YAClC,QAAQ,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,GAAG,2BAA2B,CAAC,CAAC;QACjE,CAAC;QACD,MAAM,IAAI,GAAG,aAAa,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QACpD,IAAI,IAAI,KAAK,SAAS,IAAI,GAAG,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YAC5C,QAAQ,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,GAAG,cAAc,GAAG,CAAC,IAAI,gBAAgB,IAAI,GAAG,CAAC,CAAC;QACnF,CAAC;QACD,MAAM,GAAG,GAAG,kBAAkB,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAC9C,IAAI,GAAG,CAAC,GAAG,KAAK,GAAG,EAAE,CAAC;YACpB,QAAQ,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,GAAG,aAAa,GAAG,CAAC,GAAG,gBAAgB,GAAG,GAAG,CAAC,CAAC;QAChF,CAAC;QACD,MAAM,QAAQ,GAAG,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC9C,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,QAAQ,CAAC,IAAI,CAAC,iBAAiB,KAAK,CAAC,GAAG,sCAAsC,CAAC,CAAC;QAClF,CAAC;aAAM,IACL,QAAQ,CAAC,OAAO,KAAK,KAAK,CAAC,OAAO;YAClC,QAAQ,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;YAChC,QAAQ,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ;YACpC,aAAa,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EACzE,CAAC;YACD,QAAQ,CAAC,IAAI,CAAC,uBAAuB,KAAK,CAAC,GAAG,wCAAwC,CAAC,CAAC;QAC1F,CAAC;IACH,CAAC;IAED,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QACnC,IAAI,MAAM,CAAC,SAAS,EAAE,MAAM,KAAK,cAAc;YAAE,SAAS;QAC1D,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;YACzB,QAAQ,CAAC,IAAI,CAAC,8BAA8B,MAAM,CAAC,EAAE,yBAAyB,CAAC,CAAC;QAClF,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC"}
1
+ {"version":3,"file":"physjs-ref.js","sourceRoot":"","sources":["../../src/atlas/physjs-ref.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoDG;AAGH,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAC7E,OAAO,EACL,aAAa,EACb,cAAc,EACd,eAAe,EACf,gBAAgB,EAChB,cAAc,IAAI,wBAAwB,GAC3C,MAAM,+BAA+B,CAAC;AAEvC;;;;GAIG;AACH,OAAO,EAAE,aAAa,EAAE,MAAM,+BAA+B,CAAC;AAE9D;;;GAGG;AACH,MAAM,eAAe,GAAG,2BAA2B,CAAC;AAapD,6EAA6E;AAC7E,MAAM,WAAW,GAAG,IAAI,GAAG,CAAS,CAAC,KAAK,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,WAAW,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC;AAEpI,2FAA2F;AAC3F,MAAM,gBAAgB,GAAG,CAAC,QAAQ,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,WAAW,EAAE,SAAS,CAAU,CAAC;AAqCnG;;;;;GAKG;AACH,MAAM,UAAU,sBAAsB,CAAC,KAA0B;IAI/D,MAAM,MAAM,GAAoD,EAAE,CAAC;IACnE,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACnD,IAAI,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,SAAS;QACrC,MAAM,IAAI,GAAG,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACnH,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,gBAAgB,CAAC,IAAI,EAAE;YAAE,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAI,KAAyB,EAAE,CAAC,CAAC;;YACpG,QAAQ,CAAC,IAAI,CAAC,mBAAmB,KAAK,CAAC,GAAG,2BAA2B,KAAK,GAAG,CAAC,CAAC;IACtF,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;AAC9B,CAAC;AAYD,MAAM,cAAc,GAA2B,wBAAwB,CAAC;AAExE,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;AAE9E,gGAAgG;AAChG,MAAM,eAAe,GAAgC,IAAI,GAAG,CAC1D,cAAc,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,OAAO,EAAE,SAAS,CAAC,IAAI,CAAU,CAAC,CAAC,CAC7H,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,UAAU,aAAa,CAAC,GAAW;IACvC,OAAO,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC;AACtC,CAAC;AAED,mDAAmD;AACnD,SAAS,aAAa;IACpB,OAAO,UAAU,aAAa,IAAI,gBAAgB,YAAY,cAAc,YAAY,eAAe,EAAE,CAAC;AAC5G,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,cAAc,CAAC,OAAe;IAC5C,MAAM,IAAI,GAAG,eAAe,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAC1C,IAAI,IAAI,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,mBAAmB,OAAO,+CAA+C,CAAC,CAAC;IACnH,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,aAAa,CAAC,IAAY;IACxC,OAAO,gDAAgD,aAAa,SAAS,IAAI,EAAE,CAAC;AACtF,CAAC;AAED,+EAA+E;AAC/E,SAAS,kBAAkB,CAAC,OAAe;IACzC,OAAO,aAAa,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC;AAChD,CAAC;AAED,4CAA4C;AAC5C,MAAM,cAAc,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,cAAc,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;AAE9E;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,oBAAoB,CAClC,GAAW,EACX,IAAI,GAAsB,cAAc,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC;IAElE,MAAM,EAAE,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;IAChC,IAAI,EAAE,KAAK,SAAS,IAAI,EAAE,IAAI,cAAc;QAAE,OAAO,KAAK,CAAC;IAC3D,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC;IAC/C,KAAK,IAAI,CAAC,GAAG,cAAc,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE;QAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;IAC5E,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,cAAc,CAC5B,OAAO,GAAsE,cAAc;IAE3F,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,oBAAoB,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;AAC1H,CAAC;AAED,4EAA4E;AAC5E,MAAM,UAAU,wBAAwB;IACtC,OAAO,cAAc,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,oBAAoB,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;AACrG,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,eAAe,CAAC,GAAW;IACzC,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAClC,IAAI,KAAK,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,qCAAqC,GAAG,GAAG,CAAC,CAAC;IACtF,OAAO;QACL,MAAM,EAAE,cAAc;QACtB,SAAS,EAAE,KAAK,CAAC,OAAO;QACxB,OAAO,EAAE,aAAa,EAAE;QACxB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,QAAQ,EAAE,eAAe;QACzB,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,GAAG,EAAE,kBAAkB,CAAC,KAAK,CAAC,OAAO,CAAC;QACtC,MAAM,EAAE,GAAG,KAAK,CAAC,MAAM,MAAM,KAAK,CAAC,QAAQ,EAAE;KAC9C,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CAAC,QAA2B,EAAE,QAA2B;IAC1E,OAAO,QAAQ,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;AACpG,CAAC;AAED,SAAS,aAAa,CAAC,QAAyB,EAAE,QAAyB;IACzE,OAAO,CACL,QAAQ,CAAC,OAAO,KAAK,QAAQ,CAAC,OAAO;QACrC,QAAQ,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI;QAC/B,QAAQ,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM;QACnC,QAAQ,CAAC,QAAQ,KAAK,QAAQ,CAAC,QAAQ;QACvC,QAAQ,CAAC,SAAS,KAAK,QAAQ,CAAC,SAAS;QACzC,UAAU,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,CAC7C,CAAC;AACJ,CAAC;AAED,4GAA4G;AAC5G,SAAS,UAAU,CACjB,QAA0C,EAC1C,QAAkE;IAElE,OAAO,CACL,QAAQ,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM;QACnC,QAAQ,CAAC,KAAK,CAAC,CAAC,SAAS,EAAE,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAE,CAAC,IAAI,IAAI,aAAa,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC,CAAE,CAAC,CAAC,CACjH,CAAC;AACJ,CAAC;AAED,yEAAyE;AACzE,SAAS,eAAe,CAAC,IAAa;IACpC,OAAO,OAAO,IAAI,KAAK,QAAQ,IAAK,gBAAsC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AAC5F,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,sBAAsB,CAAC,KAKtC;IACC,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC;IAChC,IAAI,QAAQ,CAAC,MAAM,KAAK,2BAA2B,EAAE,CAAC;QACpD,QAAQ,CAAC,IAAI,CAAC,uBAAuB,QAAQ,CAAC,MAAM,yCAAyC,CAAC,CAAC;IACjG,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,KAAK,aAAa,EAAE,CAAC;QACtC,QAAQ,CAAC,IAAI,CAAC,uBAAuB,QAAQ,CAAC,MAAM,gBAAgB,aAAa,GAAG,CAAC,CAAC;IACxF,CAAC;IACD,IAAI,QAAQ,CAAC,SAAS,KAAK,gBAAgB,EAAE,CAAC;QAC5C,QAAQ,CAAC,IAAI,CAAC,0BAA0B,QAAQ,CAAC,SAAS,gBAAgB,gBAAgB,GAAG,CAAC,CAAC;IACjG,CAAC;IACD,IAAI,QAAQ,CAAC,OAAO,KAAK,cAAc,EAAE,CAAC;QACxC,QAAQ,CAAC,IAAI,CAAC,wBAAwB,QAAQ,CAAC,OAAO,gBAAgB,cAAc,GAAG,CAAC,CAAC;IAC3F,CAAC;IACD,IAAI,QAAQ,CAAC,OAAO,KAAK,eAAe,EAAE,CAAC;QACzC,QAAQ,CAAC,IAAI,CAAC,wBAAwB,QAAQ,CAAC,OAAO,gBAAgB,eAAe,GAAG,CAAC,CAAC;IAC5F,CAAC;IAED,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,eAAe,IAAI,cAAc,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IAC5G,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;IACzE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,YAAY,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAChE,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;QACrC,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,iBAAiB,KAAK,CAAC,GAAG,iBAAiB,CAAC,CAAC;QACpF,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACpB,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,aAAa,EAAE,GAAG,sBAAsB,CAAC,KAAK,CAAC,CAAC;QAC1E,QAAQ,CAAC,IAAI,CAAC,GAAG,aAAa,CAAC,CAAC;QAChC,IAAI,KAAK,CAAC,GAAG,KAAK,KAAK,CAAC,QAAQ,EAAE,CAAC;YACjC,QAAQ,CAAC,IAAI,CAAC,iBAAiB,KAAK,CAAC,GAAG,8BAA8B,KAAK,CAAC,QAAQ,GAAG,CAAC,CAAC;QAC3F,CAAC;QACD,IAAI,KAAK,CAAC,QAAQ,KAAK,eAAe,EAAE,CAAC;YACvC,QAAQ,CAAC,IAAI,CACX,wBAAwB,KAAK,CAAC,GAAG,SAAS,KAAK,CAAC,QAAQ,gBAAgB,eAAe,GAAG,CAC3F,CAAC;QACJ,CAAC;QACD,IAAI,KAAK,CAAC,SAAS,KAAK,UAAU,EAAE,CAAC;YACnC,QAAQ,CAAC,IAAI,CAAC,kBAAkB,KAAK,CAAC,GAAG,SAAS,KAAK,CAAC,SAAS,wBAAwB,CAAC,CAAC;QAC7F,CAAC;QACD,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YACjC,QAAQ,CAAC,IAAI,CAAC,iBAAiB,KAAK,CAAC,GAAG,WAAW,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,mBAAmB,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACzH,CAAC;QACD,KAAK,MAAM,SAAS,IAAI,MAAM,EAAE,CAAC;YAC/B,IAAI,CAAC,eAAe,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;gBACrC,QAAQ,CAAC,IAAI,CACX,GAAG,SAAS,CAAC,IAAI,cAAc,KAAK,CAAC,GAAG,SAAS,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,iBAAiB,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACtH,CAAC;YACJ,CAAC;YACD,IAAI,SAAS,CAAC,QAAQ,KAAK,eAAe,EAAE,CAAC;gBAC3C,QAAQ,CAAC,IAAI,CACX,GAAG,SAAS,CAAC,IAAI,yBAAyB,KAAK,CAAC,GAAG,SAAS,SAAS,CAAC,QAAQ,gBAAgB,eAAe,GAAG,CACjH,CAAC;YACJ,CAAC;YACD,IAAI,SAAS,CAAC,SAAS,KAAK,UAAU,EAAE,CAAC;gBACvC,QAAQ,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,IAAI,mBAAmB,KAAK,CAAC,GAAG,SAAS,SAAS,CAAC,SAAS,wBAAwB,CAAC,CAAC;YACnH,CAAC;QACH,CAAC;QACD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACnC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,IAAI,CAAC,oBAAoB,CAAC,KAAK,CAAC,GAAG,EAAE,YAAY,CAAC;gBAAE,QAAQ,CAAC,IAAI,CAAC,iBAAiB,KAAK,CAAC,GAAG,gCAAgC,CAAC,CAAC;YAC9H,SAAS;QACX,CAAC;QACD,MAAM,GAAG,GAAG,MAAM,CAAC,SAAS,CAAC;QAC7B,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,CAAC,MAAM,KAAK,cAAc,EAAE,CAAC;YACvD,QAAQ,CAAC,IAAI,CACX,WAAW,KAAK,CAAC,GAAG,4CAA4C,GAAG,EAAE,MAAM,IAAI,MAAM,IAAI,CAC1F,CAAC;YACF,SAAS;QACX,CAAC;QACD,KAAK,MAAM,SAAS,IAAI,MAAM,EAAE,CAAC;YAC/B,IAAI,GAAG,CAAC,SAAS,KAAK,SAAS,CAAC,OAAO,EAAE,CAAC;gBACxC,QAAQ,CAAC,IAAI,CACX,WAAW,KAAK,CAAC,GAAG,gCAAgC,SAAS,CAAC,IAAI,aAAa,SAAS,CAAC,OAAO,8CAA8C,CAC/I,CAAC;YACJ,CAAC;QACH,CAAC;QACD,IAAI,GAAG,CAAC,SAAS,KAAK,KAAK,CAAC,OAAO,EAAE,CAAC;YACpC,QAAQ,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,GAAG,iBAAiB,GAAG,CAAC,SAAS,2BAA2B,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC;QAC/G,CAAC;QACD,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;YAC1C,QAAQ,CAAC,IAAI,CACX,WAAW,KAAK,CAAC,GAAG,aAAa,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,+BAA+B,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAChH,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,eAAe,CAAC,EAAE,CAAC;YAC1C,QAAQ,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,GAAG,+BAA+B,eAAe,GAAG,CAAC,CAAC;QACvF,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;YACvC,QAAQ,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,GAAG,kCAAkC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;QACvF,CAAC;QACD,IAAI,GAAG,CAAC,OAAO,KAAK,aAAa,EAAE,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,UAAU,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC;YAC1F,QAAQ,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,GAAG,cAAc,GAAG,CAAC,OAAO,6BAA6B,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC;QAC9G,CAAC;QACD,IAAI,GAAG,CAAC,QAAQ,KAAK,YAAY,EAAE,CAAC;YAClC,QAAQ,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,GAAG,2BAA2B,CAAC,CAAC;QACjE,CAAC;QACD,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,EAAE,CAAC;YAC5B,QAAQ,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,GAAG,cAAc,GAAG,CAAC,IAAI,gBAAgB,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC;QACzF,CAAC;QACD,MAAM,IAAI,GAAG,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAChD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,QAAQ,CAAC,IAAI,CAAC,qBAAqB,KAAK,CAAC,OAAO,wDAAwD,CAAC,CAAC;QAC5G,CAAC;aAAM,IAAI,GAAG,CAAC,GAAG,KAAK,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3C,QAAQ,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,GAAG,aAAa,GAAG,CAAC,GAAG,gBAAgB,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAChG,CAAC;QACD,MAAM,QAAQ,GAAG,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC9C,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,QAAQ,CAAC,IAAI,CAAC,iBAAiB,KAAK,CAAC,GAAG,sCAAsC,CAAC,CAAC;QAClF,CAAC;aAAM,IACL,QAAQ,CAAC,OAAO,KAAK,KAAK,CAAC,OAAO;YAClC,QAAQ,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI;YAC5B,QAAQ,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;YAChC,QAAQ,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ;YACpC,CAAC,UAAU,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,EACpC,CAAC;YACD,QAAQ,CAAC,IAAI,CAAC,uBAAuB,KAAK,CAAC,GAAG,wCAAwC,CAAC,CAAC;QAC1F,CAAC;IACH,CAAC;IAED,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QACnC,IAAI,MAAM,CAAC,SAAS,EAAE,MAAM,KAAK,cAAc;YAAE,SAAS;QAC1D,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;YACzB,QAAQ,CAAC,IAAI,CAAC,8BAA8B,MAAM,CAAC,EAAE,yBAAyB,CAAC,CAAC;QAClF,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC"}