universal-physics-tensor 0.47.0 → 1.0.1

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 (591) hide show
  1. package/LICENSE +21 -21
  2. package/README.md +396 -383
  3. package/bin/upt.mjs +28 -22
  4. package/dist/atlas/benchmark/hybrid-retrieval.d.ts +108 -0
  5. package/dist/atlas/benchmark/hybrid-retrieval.d.ts.map +1 -0
  6. package/dist/atlas/benchmark/hybrid-retrieval.js +241 -0
  7. package/dist/atlas/benchmark/hybrid-retrieval.js.map +1 -0
  8. package/dist/atlas/catalog-formal-ref.d.ts +24 -0
  9. package/dist/atlas/catalog-formal-ref.d.ts.map +1 -0
  10. package/dist/atlas/catalog-formal-ref.js +36 -0
  11. package/dist/atlas/catalog-formal-ref.js.map +1 -0
  12. package/dist/atlas/composition-table.d.ts +11 -46
  13. package/dist/atlas/composition-table.d.ts.map +1 -1
  14. package/dist/atlas/composition-table.js +7 -124
  15. package/dist/atlas/composition-table.js.map +1 -1
  16. package/dist/atlas/conventions.d.ts +4 -58
  17. package/dist/atlas/conventions.d.ts.map +1 -1
  18. package/dist/atlas/conventions.js +3 -88
  19. package/dist/atlas/conventions.js.map +1 -1
  20. package/dist/atlas/derive-evidence.d.ts +50 -3
  21. package/dist/atlas/derive-evidence.d.ts.map +1 -1
  22. package/dist/atlas/derive-evidence.js +73 -4
  23. package/dist/atlas/derive-evidence.js.map +1 -1
  24. package/dist/atlas/diffusion/bridges-closure.d.ts.map +1 -1
  25. package/dist/atlas/diffusion/bridges-closure.js +5 -1
  26. package/dist/atlas/diffusion/bridges-closure.js.map +1 -1
  27. package/dist/atlas/index.d.ts +9 -7
  28. package/dist/atlas/index.d.ts.map +1 -1
  29. package/dist/atlas/index.js +6 -5
  30. package/dist/atlas/index.js.map +1 -1
  31. package/dist/atlas/oscillators/bridges-exact.d.ts.map +1 -1
  32. package/dist/atlas/oscillators/bridges-exact.js +6 -0
  33. package/dist/atlas/oscillators/bridges-exact.js.map +1 -1
  34. package/dist/atlas/oscillators/bridges-limits.d.ts +2 -0
  35. package/dist/atlas/oscillators/bridges-limits.d.ts.map +1 -1
  36. package/dist/atlas/oscillators/bridges-limits.js +20 -19
  37. package/dist/atlas/oscillators/bridges-limits.js.map +1 -1
  38. package/dist/atlas/oscillators/limit-witnesses.d.ts +93 -0
  39. package/dist/atlas/oscillators/limit-witnesses.d.ts.map +1 -0
  40. package/dist/atlas/oscillators/limit-witnesses.js +152 -0
  41. package/dist/atlas/oscillators/limit-witnesses.js.map +1 -0
  42. package/dist/atlas/oscillators/models.d.ts +2 -1
  43. package/dist/atlas/oscillators/models.d.ts.map +1 -1
  44. package/dist/atlas/oscillators/models.js +4 -3
  45. package/dist/atlas/oscillators/models.js.map +1 -1
  46. package/dist/atlas/oscillators/norm-transport-witness.d.ts +37 -0
  47. package/dist/atlas/oscillators/norm-transport-witness.d.ts.map +1 -0
  48. package/dist/atlas/oscillators/norm-transport-witness.js +58 -0
  49. package/dist/atlas/oscillators/norm-transport-witness.js.map +1 -0
  50. package/dist/atlas/oscillators/norm-transport.d.ts +44 -0
  51. package/dist/atlas/oscillators/norm-transport.d.ts.map +1 -0
  52. package/dist/atlas/oscillators/norm-transport.js +66 -0
  53. package/dist/atlas/oscillators/norm-transport.js.map +1 -0
  54. package/dist/atlas/oscillators/norms.d.ts +11 -0
  55. package/dist/atlas/oscillators/norms.d.ts.map +1 -0
  56. package/dist/atlas/oscillators/norms.js +11 -0
  57. package/dist/atlas/oscillators/norms.js.map +1 -0
  58. package/dist/atlas/oscillators/pendulum-motion.d.ts +38 -0
  59. package/dist/atlas/oscillators/pendulum-motion.d.ts.map +1 -0
  60. package/dist/atlas/oscillators/pendulum-motion.js +122 -0
  61. package/dist/atlas/oscillators/pendulum-motion.js.map +1 -0
  62. package/dist/atlas/oscillators/phase-carriage.d.ts +38 -0
  63. package/dist/atlas/oscillators/phase-carriage.d.ts.map +1 -0
  64. package/dist/atlas/oscillators/phase-carriage.js +96 -0
  65. package/dist/atlas/oscillators/phase-carriage.js.map +1 -0
  66. package/dist/atlas/oscillators/phase-translation.d.ts +46 -0
  67. package/dist/atlas/oscillators/phase-translation.d.ts.map +1 -0
  68. package/dist/atlas/oscillators/phase-translation.js +178 -0
  69. package/dist/atlas/oscillators/phase-translation.js.map +1 -0
  70. package/dist/atlas/oscillators/position-translation.d.ts +59 -0
  71. package/dist/atlas/oscillators/position-translation.d.ts.map +1 -0
  72. package/dist/atlas/oscillators/position-translation.js +254 -0
  73. package/dist/atlas/oscillators/position-translation.js.map +1 -0
  74. package/dist/atlas/path-bound.d.ts +126 -9
  75. package/dist/atlas/path-bound.d.ts.map +1 -1
  76. package/dist/atlas/path-bound.js +372 -23
  77. package/dist/atlas/path-bound.js.map +1 -1
  78. package/dist/atlas/physjs-ref.d.ts +112 -0
  79. package/dist/atlas/physjs-ref.d.ts.map +1 -0
  80. package/dist/atlas/physjs-ref.js +842 -0
  81. package/dist/atlas/physjs-ref.js.map +1 -0
  82. package/dist/atlas/regime.d.ts +12 -136
  83. package/dist/atlas/regime.d.ts.map +1 -1
  84. package/dist/atlas/regime.js +8 -254
  85. package/dist/atlas/regime.js.map +1 -1
  86. package/dist/atlas/serialize.d.ts.map +1 -1
  87. package/dist/atlas/serialize.js +25 -0
  88. package/dist/atlas/serialize.js.map +1 -1
  89. package/dist/atlas/translation-registry.d.ts +22 -0
  90. package/dist/atlas/translation-registry.d.ts.map +1 -0
  91. package/dist/atlas/translation-registry.js +31 -0
  92. package/dist/atlas/translation-registry.js.map +1 -0
  93. package/dist/atlas/translation.d.ts +116 -0
  94. package/dist/atlas/translation.d.ts.map +1 -0
  95. package/dist/atlas/translation.js +34 -0
  96. package/dist/atlas/translation.js.map +1 -0
  97. package/dist/atlas/types.d.ts +74 -240
  98. package/dist/atlas/types.d.ts.map +1 -1
  99. package/dist/atlas/types.js +5 -37
  100. package/dist/atlas/types.js.map +1 -1
  101. package/dist/atlas/waves/bridges-closure.d.ts.map +1 -1
  102. package/dist/atlas/waves/bridges-closure.js +4 -0
  103. package/dist/atlas/waves/bridges-closure.js.map +1 -1
  104. package/dist/atlas/waves/bridges.d.ts.map +1 -1
  105. package/dist/atlas/waves/bridges.js +3 -0
  106. package/dist/atlas/waves/bridges.js.map +1 -1
  107. package/dist/atlas/waves/models.js +1 -1
  108. package/dist/atlas/waves/models.js.map +1 -1
  109. package/dist/atlas/witness-dominance.d.ts +50 -0
  110. package/dist/atlas/witness-dominance.d.ts.map +1 -0
  111. package/dist/atlas/witness-dominance.js +86 -0
  112. package/dist/atlas/witness-dominance.js.map +1 -0
  113. package/dist/atlas/witness-specs.d.ts +30 -0
  114. package/dist/atlas/witness-specs.d.ts.map +1 -1
  115. package/dist/atlas/witness-specs.js +107 -0
  116. package/dist/atlas/witness-specs.js.map +1 -1
  117. package/dist/bridges/be53-yang-mills-confrontation.d.ts +81 -0
  118. package/dist/bridges/be53-yang-mills-confrontation.d.ts.map +1 -0
  119. package/dist/bridges/be53-yang-mills-confrontation.js +110 -0
  120. package/dist/bridges/be53-yang-mills-confrontation.js.map +1 -0
  121. package/dist/bridges/confrontations.d.ts +1 -1
  122. package/dist/bridges/confrontations.d.ts.map +1 -1
  123. package/dist/bridges/confrontations.js +291 -3
  124. package/dist/bridges/confrontations.js.map +1 -1
  125. package/dist/bridges/equations/be-13-einstein-trace.d.ts +2 -3
  126. package/dist/bridges/equations/be-13-einstein-trace.d.ts.map +1 -1
  127. package/dist/bridges/equations/be-13-einstein-trace.js +2 -3
  128. package/dist/bridges/equations/be-13-einstein-trace.js.map +1 -1
  129. package/dist/bridges/equations/be-38-mond.d.ts +7 -5
  130. package/dist/bridges/equations/be-38-mond.d.ts.map +1 -1
  131. package/dist/bridges/equations/be-38-mond.js +7 -5
  132. package/dist/bridges/equations/be-38-mond.js.map +1 -1
  133. package/dist/bridges/equations/be-53-yang-mills-beta.d.ts +21 -0
  134. package/dist/bridges/equations/be-53-yang-mills-beta.d.ts.map +1 -1
  135. package/dist/bridges/equations/be-53-yang-mills-beta.js +12 -0
  136. package/dist/bridges/equations/be-53-yang-mills-beta.js.map +1 -1
  137. package/dist/bridges/evaluator-inputs.d.ts +21 -0
  138. package/dist/bridges/evaluator-inputs.d.ts.map +1 -0
  139. package/dist/bridges/evaluator-inputs.js +75 -0
  140. package/dist/bridges/evaluator-inputs.js.map +1 -0
  141. package/dist/bridges/evaluators.d.ts +38 -0
  142. package/dist/bridges/evaluators.d.ts.map +1 -1
  143. package/dist/bridges/evaluators.js +41 -15
  144. package/dist/bridges/evaluators.js.map +1 -1
  145. package/dist/bridges/gravitational-lensing.d.ts +1 -1
  146. package/dist/bridges/gravitational-lensing.js +1 -1
  147. package/dist/bridges/index.d.ts +1 -1
  148. package/dist/bridges/index.d.ts.map +1 -1
  149. package/dist/bridges/index.js +13 -13
  150. package/dist/bridges/index.js.map +1 -1
  151. package/dist/bridges/observations/types.d.ts +110 -2
  152. package/dist/bridges/observations/types.d.ts.map +1 -1
  153. package/dist/bridges/observations/types.js +29 -0
  154. package/dist/bridges/observations/types.js.map +1 -1
  155. package/dist/bridges/perihelion-precession.d.ts +1 -1
  156. package/dist/bridges/perihelion-precession.js +1 -1
  157. package/dist/canonical/canonical-equation.d.ts +1 -1
  158. package/dist/canonical/canonical-equation.d.ts.map +1 -1
  159. package/dist/canonical/entries/atomic.d.ts.map +1 -1
  160. package/dist/canonical/entries/atomic.js +32 -10
  161. package/dist/canonical/entries/atomic.js.map +1 -1
  162. package/dist/canonical/entries/dimensional-classics.js +2 -2
  163. package/dist/canonical/entries/dimensional-classics.js.map +1 -1
  164. package/dist/canonical/entries/mechanics.d.ts.map +1 -1
  165. package/dist/canonical/entries/mechanics.js +10 -6
  166. package/dist/canonical/entries/mechanics.js.map +1 -1
  167. package/dist/canonical/entries/relativity.d.ts.map +1 -1
  168. package/dist/canonical/entries/relativity.js +41 -8
  169. package/dist/canonical/entries/relativity.js.map +1 -1
  170. package/dist/canonical/entries/thermo-nuclear-cosmo.js +5 -5
  171. package/dist/canonical/entries/thermo-nuclear-cosmo.js.map +1 -1
  172. package/dist/canonical/linkage.d.ts.map +1 -1
  173. package/dist/canonical/linkage.js +14 -8
  174. package/dist/canonical/linkage.js.map +1 -1
  175. package/dist/canonical/normal-form.d.ts +17 -0
  176. package/dist/canonical/normal-form.d.ts.map +1 -1
  177. package/dist/canonical/normal-form.js +21 -4
  178. package/dist/canonical/normal-form.js.map +1 -1
  179. package/dist/cases/brownian-sphere.d.ts +68 -0
  180. package/dist/cases/brownian-sphere.d.ts.map +1 -0
  181. package/dist/cases/brownian-sphere.js +353 -0
  182. package/dist/cases/brownian-sphere.js.map +1 -0
  183. package/dist/cases/damped-resonator.d.ts +23 -0
  184. package/dist/cases/damped-resonator.d.ts.map +1 -0
  185. package/dist/cases/damped-resonator.js +224 -0
  186. package/dist/cases/damped-resonator.js.map +1 -0
  187. package/dist/cases/index.d.ts +11 -0
  188. package/dist/cases/index.d.ts.map +1 -0
  189. package/dist/cases/index.js +29 -0
  190. package/dist/cases/index.js.map +1 -0
  191. package/dist/cases/kepler-rv.d.ts +13 -0
  192. package/dist/cases/kepler-rv.d.ts.map +1 -0
  193. package/dist/cases/kepler-rv.js +168 -0
  194. package/dist/cases/kepler-rv.js.map +1 -0
  195. package/dist/cases/lumped-cooling.d.ts +46 -0
  196. package/dist/cases/lumped-cooling.d.ts.map +1 -0
  197. package/dist/cases/lumped-cooling.js +261 -0
  198. package/dist/cases/lumped-cooling.js.map +1 -0
  199. package/dist/cases/quadrature.d.ts +14 -0
  200. package/dist/cases/quadrature.d.ts.map +1 -0
  201. package/dist/cases/quadrature.js +41 -0
  202. package/dist/cases/quadrature.js.map +1 -0
  203. package/dist/cases/resistor-noise.d.ts +14 -0
  204. package/dist/cases/resistor-noise.d.ts.map +1 -0
  205. package/dist/cases/resistor-noise.js +210 -0
  206. package/dist/cases/resistor-noise.js.map +1 -0
  207. package/dist/cases/skin-depth.d.ts +21 -0
  208. package/dist/cases/skin-depth.d.ts.map +1 -0
  209. package/dist/cases/skin-depth.js +174 -0
  210. package/dist/cases/skin-depth.js.map +1 -0
  211. package/dist/cases/types.d.ts +115 -0
  212. package/dist/cases/types.d.ts.map +1 -0
  213. package/dist/cases/types.js +20 -0
  214. package/dist/cases/types.js.map +1 -0
  215. package/dist/cli/commands/_atlas-map.d.ts +409 -0
  216. package/dist/cli/commands/_atlas-map.d.ts.map +1 -0
  217. package/dist/cli/commands/_atlas-map.js +1014 -0
  218. package/dist/cli/commands/_atlas-map.js.map +1 -0
  219. package/dist/cli/commands/_atlas-route.d.ts +111 -0
  220. package/dist/cli/commands/_atlas-route.d.ts.map +1 -0
  221. package/dist/cli/commands/_atlas-route.js +140 -0
  222. package/dist/cli/commands/_atlas-route.js.map +1 -0
  223. package/dist/cli/commands/_discovery-opts.d.ts.map +1 -1
  224. package/dist/cli/commands/_discovery-opts.js +10 -1
  225. package/dist/cli/commands/_discovery-opts.js.map +1 -1
  226. package/dist/cli/commands/atlas.d.ts +20 -0
  227. package/dist/cli/commands/atlas.d.ts.map +1 -1
  228. package/dist/cli/commands/atlas.js +333 -19
  229. package/dist/cli/commands/atlas.js.map +1 -1
  230. package/dist/cli/commands/audit.d.ts.map +1 -1
  231. package/dist/cli/commands/audit.js +14 -5
  232. package/dist/cli/commands/audit.js.map +1 -1
  233. package/dist/cli/commands/axes.js +4 -4
  234. package/dist/cli/commands/candidates.d.ts.map +1 -1
  235. package/dist/cli/commands/candidates.js +6 -5
  236. package/dist/cli/commands/candidates.js.map +1 -1
  237. package/dist/cli/commands/canonical.d.ts.map +1 -1
  238. package/dist/cli/commands/canonical.js +41 -12
  239. package/dist/cli/commands/canonical.js.map +1 -1
  240. package/dist/cli/commands/confront.d.ts.map +1 -1
  241. package/dist/cli/commands/confront.js +210 -28
  242. package/dist/cli/commands/confront.js.map +1 -1
  243. package/dist/cli/commands/connectors.d.ts.map +1 -1
  244. package/dist/cli/commands/connectors.js +11 -10
  245. package/dist/cli/commands/connectors.js.map +1 -1
  246. package/dist/cli/commands/coverage.js +3 -3
  247. package/dist/cli/commands/derive.d.ts.map +1 -1
  248. package/dist/cli/commands/derive.js +22 -10
  249. package/dist/cli/commands/derive.js.map +1 -1
  250. package/dist/cli/commands/discover.d.ts.map +1 -1
  251. package/dist/cli/commands/discover.js +149 -32
  252. package/dist/cli/commands/discover.js.map +1 -1
  253. package/dist/cli/commands/eval.d.ts.map +1 -1
  254. package/dist/cli/commands/eval.js +76 -17
  255. package/dist/cli/commands/eval.js.map +1 -1
  256. package/dist/cli/commands/evaluate.d.ts +30 -0
  257. package/dist/cli/commands/evaluate.d.ts.map +1 -1
  258. package/dist/cli/commands/evaluate.js +440 -25
  259. package/dist/cli/commands/evaluate.js.map +1 -1
  260. package/dist/cli/commands/explain.d.ts.map +1 -1
  261. package/dist/cli/commands/explain.js +38 -11
  262. package/dist/cli/commands/explain.js.map +1 -1
  263. package/dist/cli/commands/frontier.d.ts +3 -0
  264. package/dist/cli/commands/frontier.d.ts.map +1 -0
  265. package/dist/cli/commands/frontier.js +28 -0
  266. package/dist/cli/commands/frontier.js.map +1 -0
  267. package/dist/cli/commands/ground.d.ts.map +1 -1
  268. package/dist/cli/commands/ground.js +37 -12
  269. package/dist/cli/commands/ground.js.map +1 -1
  270. package/dist/cli/commands/index.d.ts +5 -0
  271. package/dist/cli/commands/index.d.ts.map +1 -1
  272. package/dist/cli/commands/index.js +5 -0
  273. package/dist/cli/commands/index.js.map +1 -1
  274. package/dist/cli/commands/map.d.ts +8 -0
  275. package/dist/cli/commands/map.d.ts.map +1 -1
  276. package/dist/cli/commands/map.js +401 -64
  277. package/dist/cli/commands/map.js.map +1 -1
  278. package/dist/cli/commands/metric.d.ts +3 -0
  279. package/dist/cli/commands/metric.d.ts.map +1 -0
  280. package/dist/cli/commands/metric.js +136 -0
  281. package/dist/cli/commands/metric.js.map +1 -0
  282. package/dist/cli/commands/path.d.ts +109 -1
  283. package/dist/cli/commands/path.d.ts.map +1 -1
  284. package/dist/cli/commands/path.js +1019 -109
  285. package/dist/cli/commands/path.js.map +1 -1
  286. package/dist/cli/commands/predict.d.ts.map +1 -1
  287. package/dist/cli/commands/predict.js +6 -5
  288. package/dist/cli/commands/predict.js.map +1 -1
  289. package/dist/cli/commands/priority.d.ts.map +1 -1
  290. package/dist/cli/commands/priority.js +4 -3
  291. package/dist/cli/commands/priority.js.map +1 -1
  292. package/dist/cli/commands/probe.d.ts +7 -0
  293. package/dist/cli/commands/probe.d.ts.map +1 -1
  294. package/dist/cli/commands/probe.js +234 -52
  295. package/dist/cli/commands/probe.js.map +1 -1
  296. package/dist/cli/commands/recover.d.ts.map +1 -1
  297. package/dist/cli/commands/recover.js +17 -6
  298. package/dist/cli/commands/recover.js.map +1 -1
  299. package/dist/cli/commands/regime.d.ts +1 -1
  300. package/dist/cli/commands/regime.d.ts.map +1 -1
  301. package/dist/cli/commands/regime.js +134 -33
  302. package/dist/cli/commands/regime.js.map +1 -1
  303. package/dist/cli/commands/retrieve.d.ts +3 -0
  304. package/dist/cli/commands/retrieve.d.ts.map +1 -0
  305. package/dist/cli/commands/retrieve.js +65 -0
  306. package/dist/cli/commands/retrieve.js.map +1 -0
  307. package/dist/cli/commands/search.d.ts +3 -0
  308. package/dist/cli/commands/search.d.ts.map +1 -0
  309. package/dist/cli/commands/search.js +70 -0
  310. package/dist/cli/commands/search.js.map +1 -0
  311. package/dist/cli/commands/symbolic.d.ts.map +1 -1
  312. package/dist/cli/commands/symbolic.js +112 -21
  313. package/dist/cli/commands/symbolic.js.map +1 -1
  314. package/dist/cli/commands/testplan.d.ts +3 -0
  315. package/dist/cli/commands/testplan.d.ts.map +1 -0
  316. package/dist/cli/commands/testplan.js +131 -0
  317. package/dist/cli/commands/testplan.js.map +1 -0
  318. package/dist/cli/conventions.d.ts +22 -0
  319. package/dist/cli/conventions.d.ts.map +1 -0
  320. package/dist/cli/conventions.js +48 -0
  321. package/dist/cli/conventions.js.map +1 -0
  322. package/dist/cli/euler-guard.d.ts +9 -0
  323. package/dist/cli/euler-guard.d.ts.map +1 -0
  324. package/dist/cli/euler-guard.js +11 -0
  325. package/dist/cli/euler-guard.js.map +1 -0
  326. package/dist/cli/eval-numbers.d.ts +26 -0
  327. package/dist/cli/eval-numbers.d.ts.map +1 -0
  328. package/dist/cli/eval-numbers.js +49 -0
  329. package/dist/cli/eval-numbers.js.map +1 -0
  330. package/dist/cli/expr-print.d.ts +25 -0
  331. package/dist/cli/expr-print.d.ts.map +1 -0
  332. package/dist/cli/expr-print.js +123 -0
  333. package/dist/cli/expr-print.js.map +1 -0
  334. package/dist/cli/graphs.d.ts +26 -0
  335. package/dist/cli/graphs.d.ts.map +1 -1
  336. package/dist/cli/graphs.js +19 -0
  337. package/dist/cli/graphs.js.map +1 -1
  338. package/dist/cli/main.d.ts +4 -10
  339. package/dist/cli/main.d.ts.map +1 -1
  340. package/dist/cli/main.js +370 -167
  341. package/dist/cli/main.js.map +1 -1
  342. package/dist/cli/map-evidence.d.ts +47 -0
  343. package/dist/cli/map-evidence.d.ts.map +1 -0
  344. package/dist/cli/map-evidence.js +53 -0
  345. package/dist/cli/map-evidence.js.map +1 -0
  346. package/dist/cli/output.d.ts +21 -1
  347. package/dist/cli/output.d.ts.map +1 -1
  348. package/dist/cli/output.js +5 -1
  349. package/dist/cli/output.js.map +1 -1
  350. package/dist/{composition → cli}/poster-source.d.ts +3 -2
  351. package/dist/cli/poster-source.d.ts.map +1 -0
  352. package/dist/{composition → cli}/poster-source.js +2 -1
  353. package/dist/cli/poster-source.js.map +1 -0
  354. package/dist/cli/record-reach.d.ts +44 -0
  355. package/dist/cli/record-reach.d.ts.map +1 -0
  356. package/dist/cli/record-reach.js +228 -0
  357. package/dist/cli/record-reach.js.map +1 -0
  358. package/dist/cli/record-tables.d.ts +38 -0
  359. package/dist/cli/record-tables.d.ts.map +1 -0
  360. package/dist/cli/record-tables.js +110 -0
  361. package/dist/cli/record-tables.js.map +1 -0
  362. package/dist/cli/record.d.ts +141 -0
  363. package/dist/cli/record.d.ts.map +1 -0
  364. package/dist/cli/record.js +612 -0
  365. package/dist/cli/record.js.map +1 -0
  366. package/dist/cli/search-index.d.ts +56 -0
  367. package/dist/cli/search-index.d.ts.map +1 -0
  368. package/dist/cli/search-index.js +190 -0
  369. package/dist/cli/search-index.js.map +1 -0
  370. package/dist/cli/statuses.d.ts +25 -0
  371. package/dist/cli/statuses.d.ts.map +1 -0
  372. package/dist/cli/statuses.js +276 -0
  373. package/dist/cli/statuses.js.map +1 -0
  374. package/dist/cli/version.d.ts +8 -0
  375. package/dist/cli/version.d.ts.map +1 -1
  376. package/dist/cli/version.js +32 -1
  377. package/dist/cli/version.js.map +1 -1
  378. package/dist/cli-api.d.ts +33 -15
  379. package/dist/cli-api.d.ts.map +1 -1
  380. package/dist/cli-api.js +31 -11
  381. package/dist/cli-api.js.map +1 -1
  382. package/dist/composition/bridge-analysis.d.ts.map +1 -1
  383. package/dist/composition/bridge-analysis.js +2 -1
  384. package/dist/composition/bridge-analysis.js.map +1 -1
  385. package/dist/composition/canonical-compare.d.ts +36 -11
  386. package/dist/composition/canonical-compare.d.ts.map +1 -1
  387. package/dist/composition/canonical-compare.js +424 -56
  388. package/dist/composition/canonical-compare.js.map +1 -1
  389. package/dist/composition/canonical-graph.d.ts +2 -2
  390. package/dist/composition/canonical-graph.js +3 -3
  391. package/dist/composition/canonical-graph.js.map +1 -1
  392. package/dist/composition/canonical-prefactors.d.ts +24 -1
  393. package/dist/composition/canonical-prefactors.d.ts.map +1 -1
  394. package/dist/composition/canonical-prefactors.js +97 -1
  395. package/dist/composition/canonical-prefactors.js.map +1 -1
  396. package/dist/composition/compose-symbolic.js +1 -1
  397. package/dist/composition/compose-symbolic.js.map +1 -1
  398. package/dist/composition/compose.d.ts.map +1 -1
  399. package/dist/composition/compose.js +17 -9
  400. package/dist/composition/compose.js.map +1 -1
  401. package/dist/composition/composition-recovery.d.ts +47 -0
  402. package/dist/composition/composition-recovery.d.ts.map +1 -0
  403. package/dist/composition/composition-recovery.js +77 -0
  404. package/dist/composition/composition-recovery.js.map +1 -0
  405. package/dist/composition/consequence.d.ts +39 -0
  406. package/dist/composition/consequence.d.ts.map +1 -1
  407. package/dist/composition/consequence.js +37 -0
  408. package/dist/composition/consequence.js.map +1 -1
  409. package/dist/composition/discovery.d.ts +20 -0
  410. package/dist/composition/discovery.d.ts.map +1 -1
  411. package/dist/composition/discovery.js +27 -5
  412. package/dist/composition/discovery.js.map +1 -1
  413. package/dist/composition/edge.d.ts +1 -1
  414. package/dist/composition/edge.d.ts.map +1 -1
  415. package/dist/composition/edge.js.map +1 -1
  416. package/dist/composition/edges/_catalog-helpers.d.ts +4 -0
  417. package/dist/composition/edges/_catalog-helpers.d.ts.map +1 -1
  418. package/dist/composition/edges/_catalog-helpers.js +15 -0
  419. package/dist/composition/edges/_catalog-helpers.js.map +1 -1
  420. package/dist/composition/edges/calibration.d.ts.map +1 -1
  421. package/dist/composition/edges/calibration.js +57 -0
  422. package/dist/composition/edges/calibration.js.map +1 -1
  423. package/dist/composition/edges/catalog-fields.d.ts.map +1 -1
  424. package/dist/composition/edges/catalog-fields.js +2 -1
  425. package/dist/composition/edges/catalog-fields.js.map +1 -1
  426. package/dist/composition/edges/catalog-gravitation-cosmology.d.ts.map +1 -1
  427. package/dist/composition/edges/catalog-gravitation-cosmology.js +2 -1
  428. package/dist/composition/edges/catalog-gravitation-cosmology.js.map +1 -1
  429. package/dist/composition/edges/catalog-quantum.d.ts.map +1 -1
  430. package/dist/composition/edges/catalog-quantum.js +26 -0
  431. package/dist/composition/edges/catalog-quantum.js.map +1 -1
  432. package/dist/composition/edges/catalog-tranche.d.ts.map +1 -1
  433. package/dist/composition/edges/catalog-tranche.js +2 -1
  434. package/dist/composition/edges/catalog-tranche.js.map +1 -1
  435. package/dist/composition/expr-eval.d.ts.map +1 -1
  436. package/dist/composition/expr-eval.js +4 -1
  437. package/dist/composition/expr-eval.js.map +1 -1
  438. package/dist/composition/expr-simplify.js +1 -1
  439. package/dist/composition/expr-simplify.js.map +1 -1
  440. package/dist/composition/frontier-account.d.ts +78 -0
  441. package/dist/composition/frontier-account.d.ts.map +1 -0
  442. package/dist/composition/frontier-account.js +127 -0
  443. package/dist/composition/frontier-account.js.map +1 -0
  444. package/dist/composition/graph-viz.d.ts +7 -22
  445. package/dist/composition/graph-viz.d.ts.map +1 -1
  446. package/dist/composition/graph-viz.js +4 -27
  447. package/dist/composition/graph-viz.js.map +1 -1
  448. package/dist/composition/grounding.d.ts +49 -0
  449. package/dist/composition/grounding.d.ts.map +1 -1
  450. package/dist/composition/grounding.js +38 -0
  451. package/dist/composition/grounding.js.map +1 -1
  452. package/dist/composition/index.d.ts +0 -2
  453. package/dist/composition/index.d.ts.map +1 -1
  454. package/dist/composition/index.js +1 -1
  455. package/dist/composition/index.js.map +1 -1
  456. package/dist/composition/probe/expression-gaps.d.ts +27 -0
  457. package/dist/composition/probe/expression-gaps.d.ts.map +1 -0
  458. package/dist/composition/probe/expression-gaps.js +47 -0
  459. package/dist/composition/probe/expression-gaps.js.map +1 -0
  460. package/dist/composition/probe/frontier.d.ts +2 -1
  461. package/dist/composition/probe/frontier.d.ts.map +1 -1
  462. package/dist/composition/probe/frontier.js +3 -2
  463. package/dist/composition/probe/frontier.js.map +1 -1
  464. package/dist/composition/probe/index.d.ts +4 -1
  465. package/dist/composition/probe/index.d.ts.map +1 -1
  466. package/dist/composition/probe/index.js +3 -1
  467. package/dist/composition/probe/index.js.map +1 -1
  468. package/dist/composition/probe/pipeline.d.ts +2 -0
  469. package/dist/composition/probe/pipeline.d.ts.map +1 -1
  470. package/dist/composition/probe/pipeline.js +6 -2
  471. package/dist/composition/probe/pipeline.js.map +1 -1
  472. package/dist/composition/probe/problem.d.ts +7 -0
  473. package/dist/composition/probe/problem.d.ts.map +1 -1
  474. package/dist/composition/probe/problem.js +15 -5
  475. package/dist/composition/probe/problem.js.map +1 -1
  476. package/dist/composition/probe/search-budget.d.ts.map +1 -1
  477. package/dist/composition/probe/search-budget.js +6 -2
  478. package/dist/composition/probe/search-budget.js.map +1 -1
  479. package/dist/composition/probe/study.d.ts +340 -0
  480. package/dist/composition/probe/study.d.ts.map +1 -0
  481. package/dist/composition/probe/study.js +1519 -0
  482. package/dist/composition/probe/study.js.map +1 -0
  483. package/dist/composition/proposed-bridges.js +1 -1
  484. package/dist/composition/proposed-bridges.js.map +1 -1
  485. package/dist/composition/quantities.d.ts +4 -16
  486. package/dist/composition/quantities.d.ts.map +1 -1
  487. package/dist/composition/quantities.js +4 -16
  488. package/dist/composition/quantities.js.map +1 -1
  489. package/dist/composition/retrodiction.d.ts.map +1 -1
  490. package/dist/composition/retrodiction.js +6 -2
  491. package/dist/composition/retrodiction.js.map +1 -1
  492. package/dist/composition/uncertainty.d.ts +1 -1
  493. package/dist/composition/uncertainty.d.ts.map +1 -1
  494. package/dist/composition/user-equation.d.ts +87 -14
  495. package/dist/composition/user-equation.d.ts.map +1 -1
  496. package/dist/composition/user-equation.js +266 -59
  497. package/dist/composition/user-equation.js.map +1 -1
  498. package/dist/core/constants.d.ts +9 -4
  499. package/dist/core/constants.d.ts.map +1 -1
  500. package/dist/core/constants.js +9 -4
  501. package/dist/core/constants.js.map +1 -1
  502. package/dist/core/types.d.ts +1 -1
  503. package/dist/core/types.d.ts.map +1 -1
  504. package/dist/core/types.js +2 -1
  505. package/dist/core/types.js.map +1 -1
  506. package/dist/dimensional/curvature.d.ts +7 -56
  507. package/dist/dimensional/curvature.d.ts.map +1 -1
  508. package/dist/dimensional/curvature.js +7 -76
  509. package/dist/dimensional/curvature.js.map +1 -1
  510. package/dist/dimensional/dimension-spec.d.ts +7 -1
  511. package/dist/dimensional/dimension-spec.d.ts.map +1 -1
  512. package/dist/dimensional/dimension-spec.js +131 -3
  513. package/dist/dimensional/dimension-spec.js.map +1 -1
  514. package/dist/dimensional/formula-names.d.ts +30 -0
  515. package/dist/dimensional/formula-names.d.ts.map +1 -0
  516. package/dist/dimensional/formula-names.js +37 -0
  517. package/dist/dimensional/formula-names.js.map +1 -0
  518. package/dist/dimensional/natural-units.d.ts +33 -0
  519. package/dist/dimensional/natural-units.d.ts.map +1 -0
  520. package/dist/dimensional/natural-units.js +58 -0
  521. package/dist/dimensional/natural-units.js.map +1 -0
  522. package/dist/{composition → dimensional}/symbolic-constants.d.ts +21 -2
  523. package/dist/dimensional/symbolic-constants.d.ts.map +1 -0
  524. package/dist/dimensional/symbolic-constants.js +116 -0
  525. package/dist/dimensional/symbolic-constants.js.map +1 -0
  526. package/dist/dimensional/unit-convention.d.ts +30 -0
  527. package/dist/dimensional/unit-convention.d.ts.map +1 -0
  528. package/dist/dimensional/unit-convention.js +60 -0
  529. package/dist/dimensional/unit-convention.js.map +1 -0
  530. package/dist/dimensional/units.d.ts +43 -0
  531. package/dist/dimensional/units.d.ts.map +1 -0
  532. package/dist/dimensional/units.js +197 -0
  533. package/dist/dimensional/units.js.map +1 -0
  534. package/dist/index.d.ts +8 -4
  535. package/dist/index.d.ts.map +1 -1
  536. package/dist/index.js +7 -3
  537. package/dist/index.js.map +1 -1
  538. package/dist/numerical/bianchi-residual.d.ts +55 -0
  539. package/dist/numerical/bianchi-residual.d.ts.map +1 -0
  540. package/dist/numerical/bianchi-residual.js +79 -0
  541. package/dist/numerical/bianchi-residual.js.map +1 -0
  542. package/dist/numerical/binding-value.d.ts +67 -0
  543. package/dist/numerical/binding-value.d.ts.map +1 -0
  544. package/dist/numerical/binding-value.js +347 -0
  545. package/dist/numerical/binding-value.js.map +1 -0
  546. package/dist/numerical/connection-lowering-helpers.d.ts.map +1 -1
  547. package/dist/numerical/connection-lowering-helpers.js +13 -26
  548. package/dist/numerical/connection-lowering-helpers.js.map +1 -1
  549. package/dist/numerical/curvature-lowering-helpers.d.ts.map +1 -1
  550. package/dist/numerical/curvature-lowering-helpers.js +9 -0
  551. package/dist/numerical/curvature-lowering-helpers.js.map +1 -1
  552. package/dist/numerical/float64-engine.d.ts.map +1 -1
  553. package/dist/numerical/float64-engine.js +23 -16
  554. package/dist/numerical/float64-engine.js.map +1 -1
  555. package/dist/numerical/formula-dimension.d.ts +7 -0
  556. package/dist/numerical/formula-dimension.d.ts.map +1 -1
  557. package/dist/numerical/formula-dimension.js +23 -6
  558. package/dist/numerical/formula-dimension.js.map +1 -1
  559. package/dist/numerical/formula-mathts.d.ts.map +1 -1
  560. package/dist/numerical/formula-mathts.js +68 -6
  561. package/dist/numerical/formula-mathts.js.map +1 -1
  562. package/dist/numerical/formula.d.ts +27 -0
  563. package/dist/numerical/formula.d.ts.map +1 -1
  564. package/dist/numerical/formula.js +68 -6
  565. package/dist/numerical/formula.js.map +1 -1
  566. package/dist/numerical/spacetime-metrics.d.ts +243 -0
  567. package/dist/numerical/spacetime-metrics.d.ts.map +1 -0
  568. package/dist/numerical/spacetime-metrics.js +1056 -0
  569. package/dist/numerical/spacetime-metrics.js.map +1 -0
  570. package/dist/relations/composition-table.d.ts +61 -0
  571. package/dist/relations/composition-table.d.ts.map +1 -0
  572. package/dist/relations/composition-table.js +140 -0
  573. package/dist/relations/composition-table.js.map +1 -0
  574. package/dist/relations/conventions.d.ts +63 -0
  575. package/dist/relations/conventions.d.ts.map +1 -0
  576. package/dist/relations/conventions.js +93 -0
  577. package/dist/relations/conventions.js.map +1 -0
  578. package/dist/relations/regime.d.ts +159 -0
  579. package/dist/relations/regime.d.ts.map +1 -0
  580. package/dist/relations/regime.js +304 -0
  581. package/dist/relations/regime.js.map +1 -0
  582. package/dist/relations/types.d.ts +259 -0
  583. package/dist/relations/types.d.ts.map +1 -0
  584. package/dist/relations/types.js +37 -0
  585. package/dist/relations/types.js.map +1 -0
  586. package/package.json +166 -163
  587. package/dist/composition/poster-source.d.ts.map +0 -1
  588. package/dist/composition/poster-source.js.map +0 -1
  589. package/dist/composition/symbolic-constants.d.ts.map +0 -1
  590. package/dist/composition/symbolic-constants.js +0 -65
  591. package/dist/composition/symbolic-constants.js.map +0 -1
@@ -14,7 +14,7 @@ import { evaluateFLMFirstLaw } from '../../bridges/equations/be-30-flm-first-law
14
14
  import { evaluateTCC } from '../../bridges/equations/be-45-tcc.js';
15
15
  import { evaluateWeinbergVilenkinP } from '../../bridges/equations/be-46-multiverse-measure.js';
16
16
  import { anthropicModelParameterQ, anthropicProbabilityQ, causalSetCount0Q, causalSetCount1Q, causalSetCount2Q, causalSetCount3Q, cosmologicalConstantCurvatureQ, darkReactionRateCoefficientQ, darkSpeciesDensityQ, entanglementEntropyVariationQ, hubbleRateQ, inflationHubbleEnergyQ, lambdaMassDensityQ, landscapeParameterQ, maxEfoldsQ, measureNormalizationQ, modularHamiltonianVariationQ, neutronDensityQ, nucleonYieldDensityQ, nucleonYieldRateQ, planckLengthQ, planckMassEnergyQ, protonDensityQ, ricciScalarQ, smReactionRateCoefficientQ, tccCorrectionCoefficientQ, tensorToScalarRatioQ, transferEfficiencyQ, wormholeCrossSectionAreaQ, wormholeEntanglementEntropyQ, } from '../quantities.js';
17
- import { isFin, BE20_SYMBOLIC } from './_catalog-helpers.js';
17
+ import { isFin, BE20_SYMBOLIC, BE30_SYMBOLIC } from './_catalog-helpers.js';
18
18
  /**
19
19
  * BE-20 cosmological-constant mass density:
20
20
  * cosmological-constant-curvature → ρ_Λ = c² Λ / (8πG). Wraps
@@ -64,6 +64,7 @@ export const be30Edge = {
64
64
  predicate: (i) => isFin(i['modular-hamiltonian-variation']),
65
65
  },
66
66
  evaluate: (i) => evaluateFLMFirstLaw({ delta_avg_H_R: i['modular-hamiltonian-variation'] }),
67
+ symbolic: BE30_SYMBOLIC,
67
68
  citation: 'Faulkner, Lewkowycz & Maldacena 2013 JHEP 11:074; Blanco et al. 2013 JHEP 08:060',
68
69
  };
69
70
  /**
@@ -1 +1 @@
1
- {"version":3,"file":"catalog-gravitation-cosmology.js","sourceRoot":"","sources":["../../../src/composition/edges/catalog-gravitation-cosmology.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,eAAe,EAAE,MAAM,kDAAkD,CAAC;AACnF,OAAO,EAAE,uBAAuB,EAAE,MAAM,gDAAgD,CAAC;AACzF,OAAO,EAAE,mCAAmC,EAAE,MAAM,gDAAgD,CAAC;AACrG,OAAO,EAAE,kBAAkB,EAAE,MAAM,yCAAyC,CAAC;AAC7E,OAAO,EAAE,mBAAmB,EAAE,MAAM,gDAAgD,CAAC;AACrF,OAAO,EAAE,WAAW,EAAE,MAAM,sCAAsC,CAAC;AACnE,OAAO,EAAE,yBAAyB,EAAE,MAAM,qDAAqD,CAAC;AAEhG,OAAO,EACL,wBAAwB,EACxB,qBAAqB,EACrB,gBAAgB,EAChB,gBAAgB,EAChB,gBAAgB,EAChB,gBAAgB,EAChB,8BAA8B,EAC9B,4BAA4B,EAC5B,mBAAmB,EACnB,6BAA6B,EAC7B,WAAW,EACX,sBAAsB,EACtB,kBAAkB,EAClB,mBAAmB,EACnB,UAAU,EACV,qBAAqB,EACrB,4BAA4B,EAC5B,eAAe,EACf,oBAAoB,EACpB,iBAAiB,EACjB,aAAa,EACb,iBAAiB,EACjB,cAAc,EACd,YAAY,EACZ,0BAA0B,EAC1B,yBAAyB,EACzB,oBAAoB,EACpB,mBAAmB,EACnB,yBAAyB,EACzB,4BAA4B,GAC7B,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,KAAK,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AAE7D;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,kDAAkD;IACzD,OAAO,EAAE,CAAC,8BAA8B,CAAC;IACzC,MAAM,EAAE,kBAAkB;IAC1B,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,wBAAwB;QACrC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,iCAAiC,CAAC,CAAC;YAC3C,CAAC,CAAC,iCAAiC,CAAC,IAAI,CAAC;KAC5C;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,mCAAmC,CAAC;QAClC,aAAa,EAAE,CAAC,CAAC,iCAAiC,CAAC;KACpD,CAAC;IACJ,QAAQ,EAAE,aAAa;IACvB,QAAQ,EAAE,iEAAiE;CAC5E,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,8BAA8B;IACrC,OAAO,EAAE,CAAC,4BAA4B,CAAC;IACvC,MAAM,EAAE,6BAA6B;IACrC,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,sBAAsB;QACnC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,+BAA+B,CAAC,CAAC;KAC5D;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,mBAAmB,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,+BAA+B,CAAC,EAAE,CAAC;IAC5E,QAAQ,EAAE,kFAAkF;CAC7F,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,6DAA6D;IACpE,OAAO,EAAE,CAAC,gBAAgB,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,aAAa,CAAC;IAChG,MAAM,EAAE,YAAY;IACpB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,0BAA0B;QACvC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC;YAC9B,KAAK,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC;YAC9B,KAAK,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC;YAC9B,KAAK,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC;YAC9B,KAAK,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC;YACzB,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC;KACzB;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,uBAAuB,CAAC;QACtB,GAAG,EAAE,CAAC,CAAC,oBAAoB,CAAC;QAC5B,GAAG,EAAE,CAAC,CAAC,oBAAoB,CAAC;QAC5B,GAAG,EAAE,CAAC,CAAC,oBAAoB,CAAC;QAC5B,GAAG,EAAE,CAAC,CAAC,oBAAoB,CAAC;QAC5B,KAAK,EAAE,CAAC,CAAC,eAAe,CAAC;KAC1B,CAAC;IACJ,QAAQ,EAAE,wCAAwC;CACnD,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,wCAAwC;IAC/C,OAAO,EAAE,CAAC,yBAAyB,CAAC;IACpC,MAAM,EAAE,4BAA4B;IACpC,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,qBAAqB;QAClC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,6BAA6B,CAAC,CAAC;YACvC,CAAC,CAAC,6BAA6B,CAAC,IAAI,CAAC;KACxC;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,kBAAkB,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,6BAA6B,CAAC,EAAE,CAAC;IACnE,QAAQ,EAAE,8EAA8E;CACzF,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,oDAAoD;IAC3D,OAAO,EAAE,CAAC,iBAAiB,EAAE,sBAAsB,EAAE,oBAAoB,EAAE,yBAAyB,CAAC;IACrG,MAAM,EAAE,UAAU;IAClB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,qCAAqC;QAClD,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC;YAC9B,CAAC,CAAC,oBAAoB,CAAC,GAAG,CAAC;YAC3B,KAAK,CAAC,CAAC,CAAC,yBAAyB,CAAC,CAAC;YACnC,CAAC,CAAC,yBAAyB,CAAC,GAAG,CAAC;YAChC,KAAK,CAAC,CAAC,CAAC,wBAAwB,CAAC,CAAC;YAClC,CAAC,CAAC,wBAAwB,CAAC,GAAG,CAAC;YAC/B,KAAK,CAAC,CAAC,CAAC,4BAA4B,CAAC,CAAC;KACzC;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,WAAW,CAAC;QACV,OAAO,EAAE,CAAC,CAAC,oBAAoB,CAAC;QAChC,SAAS,EAAE,CAAC,CAAC,yBAAyB,CAAC;QACvC,CAAC,EAAE,CAAC,CAAC,wBAAwB,CAAC;QAC9B,KAAK,EAAE,CAAC,CAAC,4BAA4B,CAAC;KACvC,CAAC;IACJ,QAAQ,EAAE,wCAAwC;CACnD,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,0CAA0C;IACjD,OAAO,EAAE,CAAC,qBAAqB,EAAE,wBAAwB,EAAE,mBAAmB,CAAC;IAC/E,MAAM,EAAE,qBAAqB;IAC7B,UAAU,EAAE,oBAAoB;IAChC,MAAM,EAAE;QACN,WAAW,EAAE,oBAAoB;QACjC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,uBAAuB,CAAC,CAAC;YACjC,KAAK,CAAC,CAAC,CAAC,2BAA2B,CAAC,CAAC;YACrC,KAAK,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC;YAC/B,CAAC,CAAC,qBAAqB,CAAC,GAAG,CAAC;KAC/B;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,yBAAyB,CAAC;QACxB,aAAa,EAAE,CAAC,CAAC,uBAAuB,CAAC;QACzC,KAAK,EAAE,CAAC,CAAC,2BAA2B,CAAC;QACrC,MAAM,EAAE,CAAC,CAAC,qBAAqB,CAAC;KACjC,CAAC;IACJ,QAAQ,EAAE,qDAAqD;CAChE,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,kEAAkE;IACzE,OAAO,EAAE;QACP,WAAW;QACX,oBAAoB;QACpB,0BAA0B;QAC1B,cAAc;QACd,eAAe;QACf,4BAA4B;QAC5B,mBAAmB;QACnB,mBAAmB;KACpB;IACD,MAAM,EAAE,iBAAiB;IACzB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,mCAAmC;QAChD,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC;YACvB,KAAK,CAAC,CAAC,CAAC,uBAAuB,CAAC,CAAC;YACjC,KAAK,CAAC,CAAC,CAAC,8BAA8B,CAAC,CAAC;YACxC,KAAK,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC;YAC1B,KAAK,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC;YAC3B,KAAK,CAAC,CAAC,CAAC,gCAAgC,CAAC,CAAC;YAC1C,KAAK,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC;YAChC,KAAK,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC;KAClC;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,eAAe,CAAC;QACd,CAAC,EAAE,CAAC,CAAC,aAAa,CAAC;QACnB,CAAC,EAAE,CAAC,CAAC,uBAAuB,CAAC;QAC7B,SAAS,EAAE,CAAC,CAAC,8BAA8B,CAAC;QAC5C,GAAG,EAAE,CAAC,CAAC,gBAAgB,CAAC;QACxB,GAAG,EAAE,CAAC,CAAC,iBAAiB,CAAC;QACzB,WAAW,EAAE,CAAC,CAAC,gCAAgC,CAAC;QAChD,KAAK,EAAE,CAAC,CAAC,sBAAsB,CAAC;QAChC,YAAY,EAAE,CAAC,CAAC,qBAAqB,CAAC;KACvC,CAAC;IACJ,QAAQ,EAAE,8DAA8D;CACzE,CAAC"}
1
+ {"version":3,"file":"catalog-gravitation-cosmology.js","sourceRoot":"","sources":["../../../src/composition/edges/catalog-gravitation-cosmology.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,eAAe,EAAE,MAAM,kDAAkD,CAAC;AACnF,OAAO,EAAE,uBAAuB,EAAE,MAAM,gDAAgD,CAAC;AACzF,OAAO,EAAE,mCAAmC,EAAE,MAAM,gDAAgD,CAAC;AACrG,OAAO,EAAE,kBAAkB,EAAE,MAAM,yCAAyC,CAAC;AAC7E,OAAO,EAAE,mBAAmB,EAAE,MAAM,gDAAgD,CAAC;AACrF,OAAO,EAAE,WAAW,EAAE,MAAM,sCAAsC,CAAC;AACnE,OAAO,EAAE,yBAAyB,EAAE,MAAM,qDAAqD,CAAC;AAEhG,OAAO,EACL,wBAAwB,EACxB,qBAAqB,EACrB,gBAAgB,EAChB,gBAAgB,EAChB,gBAAgB,EAChB,gBAAgB,EAChB,8BAA8B,EAC9B,4BAA4B,EAC5B,mBAAmB,EACnB,6BAA6B,EAC7B,WAAW,EACX,sBAAsB,EACtB,kBAAkB,EAClB,mBAAmB,EACnB,UAAU,EACV,qBAAqB,EACrB,4BAA4B,EAC5B,eAAe,EACf,oBAAoB,EACpB,iBAAiB,EACjB,aAAa,EACb,iBAAiB,EACjB,cAAc,EACd,YAAY,EACZ,0BAA0B,EAC1B,yBAAyB,EACzB,oBAAoB,EACpB,mBAAmB,EACnB,yBAAyB,EACzB,4BAA4B,GAC7B,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,KAAK,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AAE5E;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,kDAAkD;IACzD,OAAO,EAAE,CAAC,8BAA8B,CAAC;IACzC,MAAM,EAAE,kBAAkB;IAC1B,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,wBAAwB;QACrC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,iCAAiC,CAAC,CAAC;YAC3C,CAAC,CAAC,iCAAiC,CAAC,IAAI,CAAC;KAC5C;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,mCAAmC,CAAC;QAClC,aAAa,EAAE,CAAC,CAAC,iCAAiC,CAAC;KACpD,CAAC;IACJ,QAAQ,EAAE,aAAa;IACvB,QAAQ,EAAE,iEAAiE;CAC5E,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,8BAA8B;IACrC,OAAO,EAAE,CAAC,4BAA4B,CAAC;IACvC,MAAM,EAAE,6BAA6B;IACrC,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,sBAAsB;QACnC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,+BAA+B,CAAC,CAAC;KAC5D;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,mBAAmB,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,+BAA+B,CAAC,EAAE,CAAC;IAC5E,QAAQ,EAAE,aAAa;IACvB,QAAQ,EAAE,kFAAkF;CAC7F,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,6DAA6D;IACpE,OAAO,EAAE,CAAC,gBAAgB,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,aAAa,CAAC;IAChG,MAAM,EAAE,YAAY;IACpB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,0BAA0B;QACvC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC;YAC9B,KAAK,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC;YAC9B,KAAK,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC;YAC9B,KAAK,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC;YAC9B,KAAK,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC;YACzB,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC;KACzB;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,uBAAuB,CAAC;QACtB,GAAG,EAAE,CAAC,CAAC,oBAAoB,CAAC;QAC5B,GAAG,EAAE,CAAC,CAAC,oBAAoB,CAAC;QAC5B,GAAG,EAAE,CAAC,CAAC,oBAAoB,CAAC;QAC5B,GAAG,EAAE,CAAC,CAAC,oBAAoB,CAAC;QAC5B,KAAK,EAAE,CAAC,CAAC,eAAe,CAAC;KAC1B,CAAC;IACJ,QAAQ,EAAE,wCAAwC;CACnD,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,wCAAwC;IAC/C,OAAO,EAAE,CAAC,yBAAyB,CAAC;IACpC,MAAM,EAAE,4BAA4B;IACpC,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,qBAAqB;QAClC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,6BAA6B,CAAC,CAAC;YACvC,CAAC,CAAC,6BAA6B,CAAC,IAAI,CAAC;KACxC;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,kBAAkB,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,6BAA6B,CAAC,EAAE,CAAC;IACnE,QAAQ,EAAE,8EAA8E;CACzF,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,oDAAoD;IAC3D,OAAO,EAAE,CAAC,iBAAiB,EAAE,sBAAsB,EAAE,oBAAoB,EAAE,yBAAyB,CAAC;IACrG,MAAM,EAAE,UAAU;IAClB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,qCAAqC;QAClD,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC;YAC9B,CAAC,CAAC,oBAAoB,CAAC,GAAG,CAAC;YAC3B,KAAK,CAAC,CAAC,CAAC,yBAAyB,CAAC,CAAC;YACnC,CAAC,CAAC,yBAAyB,CAAC,GAAG,CAAC;YAChC,KAAK,CAAC,CAAC,CAAC,wBAAwB,CAAC,CAAC;YAClC,CAAC,CAAC,wBAAwB,CAAC,GAAG,CAAC;YAC/B,KAAK,CAAC,CAAC,CAAC,4BAA4B,CAAC,CAAC;KACzC;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,WAAW,CAAC;QACV,OAAO,EAAE,CAAC,CAAC,oBAAoB,CAAC;QAChC,SAAS,EAAE,CAAC,CAAC,yBAAyB,CAAC;QACvC,CAAC,EAAE,CAAC,CAAC,wBAAwB,CAAC;QAC9B,KAAK,EAAE,CAAC,CAAC,4BAA4B,CAAC;KACvC,CAAC;IACJ,QAAQ,EAAE,wCAAwC;CACnD,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,0CAA0C;IACjD,OAAO,EAAE,CAAC,qBAAqB,EAAE,wBAAwB,EAAE,mBAAmB,CAAC;IAC/E,MAAM,EAAE,qBAAqB;IAC7B,UAAU,EAAE,oBAAoB;IAChC,MAAM,EAAE;QACN,WAAW,EAAE,oBAAoB;QACjC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,uBAAuB,CAAC,CAAC;YACjC,KAAK,CAAC,CAAC,CAAC,2BAA2B,CAAC,CAAC;YACrC,KAAK,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC;YAC/B,CAAC,CAAC,qBAAqB,CAAC,GAAG,CAAC;KAC/B;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,yBAAyB,CAAC;QACxB,aAAa,EAAE,CAAC,CAAC,uBAAuB,CAAC;QACzC,KAAK,EAAE,CAAC,CAAC,2BAA2B,CAAC;QACrC,MAAM,EAAE,CAAC,CAAC,qBAAqB,CAAC;KACjC,CAAC;IACJ,QAAQ,EAAE,qDAAqD;CAChE,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,kEAAkE;IACzE,OAAO,EAAE;QACP,WAAW;QACX,oBAAoB;QACpB,0BAA0B;QAC1B,cAAc;QACd,eAAe;QACf,4BAA4B;QAC5B,mBAAmB;QACnB,mBAAmB;KACpB;IACD,MAAM,EAAE,iBAAiB;IACzB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,mCAAmC;QAChD,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC;YACvB,KAAK,CAAC,CAAC,CAAC,uBAAuB,CAAC,CAAC;YACjC,KAAK,CAAC,CAAC,CAAC,8BAA8B,CAAC,CAAC;YACxC,KAAK,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC;YAC1B,KAAK,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC;YAC3B,KAAK,CAAC,CAAC,CAAC,gCAAgC,CAAC,CAAC;YAC1C,KAAK,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC;YAChC,KAAK,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC;KAClC;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,eAAe,CAAC;QACd,CAAC,EAAE,CAAC,CAAC,aAAa,CAAC;QACnB,CAAC,EAAE,CAAC,CAAC,uBAAuB,CAAC;QAC7B,SAAS,EAAE,CAAC,CAAC,8BAA8B,CAAC;QAC5C,GAAG,EAAE,CAAC,CAAC,gBAAgB,CAAC;QACxB,GAAG,EAAE,CAAC,CAAC,iBAAiB,CAAC;QACzB,WAAW,EAAE,CAAC,CAAC,gCAAgC,CAAC;QAChD,KAAK,EAAE,CAAC,CAAC,sBAAsB,CAAC;QAChC,YAAY,EAAE,CAAC,CAAC,qBAAqB,CAAC;KACvC,CAAC;IACJ,QAAQ,EAAE,8DAA8D;CACzE,CAAC"}
@@ -1 +1 @@
1
- {"version":3,"file":"catalog-quantum.d.ts","sourceRoot":"","sources":["../../../src/composition/edges/catalog-quantum.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AASH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAgC7C;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,QAAQ,EAAE,UAkCtB,CAAC;AAEF;;;;;;;;GAQG;AACH,eAAO,MAAM,QAAQ,EAAE,UAoBtB,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,QAAQ,EAAE,UAsBtB,CAAC;AAEF;;;;;;;;;;GAUG;AACH,eAAO,MAAM,QAAQ,EAAE,UAyBtB,CAAC;AAEF;;;;;;;;GAQG;AACH,eAAO,MAAM,QAAQ,EAAE,UAgCtB,CAAC;AAEF;;;;;;;;GAQG;AACH,eAAO,MAAM,QAAQ,EAAE,UAyBtB,CAAC;AAEF;;;;;;;;;GASG;AACH,eAAO,MAAM,QAAQ,EAAE,UAqBtB,CAAC"}
1
+ {"version":3,"file":"catalog-quantum.d.ts","sourceRoot":"","sources":["../../../src/composition/edges/catalog-quantum.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAYH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAwD7C;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,QAAQ,EAAE,UAmCtB,CAAC;AAEF;;;;;;;;GAQG;AACH,eAAO,MAAM,QAAQ,EAAE,UAoBtB,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,QAAQ,EAAE,UAsBtB,CAAC;AAEF;;;;;;;;;;GAUG;AACH,eAAO,MAAM,QAAQ,EAAE,UAyBtB,CAAC;AAEF;;;;;;;;GAQG;AACH,eAAO,MAAM,QAAQ,EAAE,UAgCtB,CAAC;AAEF;;;;;;;;GAQG;AACH,eAAO,MAAM,QAAQ,EAAE,UAyBtB,CAAC;AAEF;;;;;;;;;GASG;AACH,eAAO,MAAM,QAAQ,EAAE,UAqBtB,CAAC"}
@@ -6,6 +6,8 @@
6
6
  *
7
7
  * @module composition/edges/catalog-quantum
8
8
  */
9
+ import { DIMENSIONLESS, FREQUENCY } from '../../dimensional/types.js';
10
+ import { sym } from '../../dimensional/ast-builders.js';
9
11
  import { evaluateDNATunneling } from '../../bridges/equations/be-26-dna-tunneling.js';
10
12
  import { evaluateDecoherenceRate } from '../../bridges/equations/be-11-decoherence-master.js';
11
13
  import { evaluateEinsteinTrace } from '../../bridges/equations/be-13-einstein-trace.js';
@@ -15,6 +17,29 @@ import { evaluateQuantumDarwinism } from '../../bridges/equations/be-49-quantum-
15
17
  import { evaluateWFTimeSymmetry } from '../../bridges/equations/be-50-wheeler-feynman.js';
16
18
  import { advancedFieldAmplitudeQ, attemptFrequencyQ, barrierHeightQ, barrierWidthQ, biologicalRateCorrectionQ, conditionalProbabilityQ, cosmologicalConstantCurvatureQ, darwinismDecayExponentQ, darwinismMagnitudeQ, decoherenceRateQ, donorAcceptorDistanceQ, foersterRadiusQ, fragmentCountQ, fragmentMutualInformationQ, fretEfficiencyQ, intrinsicInformationQ, marginalProbabilityQ, mutationRateQ, referenceCouplingQ, relaxationRateQ, retardedFieldAmplitudeQ, ricciScalarQ, stressEnergyTraceQ, systemEnvironmentCouplingQ, timeSymmetryResidualQ, totalMutualInformationQ, tunnelingMassQ, } from '../quantities.js';
17
19
  import { isFin } from './_catalog-helpers.js';
20
+ /** γ_k = γ_0 (λ / λ_0)², leaves in graph quantity names. */
21
+ const BE11_MASTER_SYMBOLIC = {
22
+ kind: 'op',
23
+ op: '*',
24
+ args: [
25
+ sym('relaxation-rate', FREQUENCY),
26
+ {
27
+ kind: 'op',
28
+ op: '^',
29
+ args: [
30
+ {
31
+ kind: 'op',
32
+ op: '/',
33
+ args: [
34
+ sym('system-environment-coupling', DIMENSIONLESS),
35
+ sym('reference-coupling', DIMENSIONLESS),
36
+ ],
37
+ },
38
+ sym('2', DIMENSIONLESS),
39
+ ],
40
+ },
41
+ ],
42
+ };
18
43
  /**
19
44
  * BE-11 canonical decoherence master rate (Caldeira-Leggett weak-coupling
20
45
  * form): (relaxation-rate, system-environment-coupling, reference-coupling) →
@@ -48,6 +73,7 @@ export const be11Edge = {
48
73
  lambda: i['system-environment-coupling'],
49
74
  lambda0: i['reference-coupling'],
50
75
  }),
76
+ symbolic: BE11_MASTER_SYMBOLIC,
51
77
  citation: 'Caldeira & Leggett 1983 Physica A 121:587; Lindblad 1976 CMP 48:119',
52
78
  // -- Atlas Phase 1 overlay: mirrors BRIDGE_EQUATIONS' BE-11 row, which carries
53
79
  // the full '// source:' citation. tests/atlas/audited-catalog.test.ts
@@ -1 +1 @@
1
- {"version":3,"file":"catalog-quantum.js","sourceRoot":"","sources":["../../../src/composition/edges/catalog-quantum.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,oBAAoB,EAAE,MAAM,gDAAgD,CAAC;AACtF,OAAO,EAAE,uBAAuB,EAAE,MAAM,qDAAqD,CAAC;AAC9F,OAAO,EAAE,qBAAqB,EAAE,MAAM,iDAAiD,CAAC;AACxF,OAAO,EAAE,sBAAsB,EAAE,MAAM,gDAAgD,CAAC;AACxF,OAAO,EAAE,4BAA4B,EAAE,MAAM,0CAA0C,CAAC;AACxF,OAAO,EAAE,wBAAwB,EAAE,MAAM,oDAAoD,CAAC;AAC9F,OAAO,EAAE,sBAAsB,EAAE,MAAM,kDAAkD,CAAC;AAE1F,OAAO,EACL,uBAAuB,EACvB,iBAAiB,EACjB,cAAc,EACd,aAAa,EACb,yBAAyB,EACzB,uBAAuB,EACvB,8BAA8B,EAC9B,uBAAuB,EACvB,mBAAmB,EACnB,gBAAgB,EAChB,sBAAsB,EACtB,eAAe,EACf,cAAc,EACd,0BAA0B,EAC1B,eAAe,EACf,qBAAqB,EACrB,oBAAoB,EACpB,aAAa,EACb,kBAAkB,EAClB,eAAe,EACf,uBAAuB,EACvB,YAAY,EACZ,kBAAkB,EAClB,0BAA0B,EAC1B,qBAAqB,EACrB,uBAAuB,EACvB,cAAc,GACf,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,KAAK,EAAE,MAAM,uBAAuB,CAAC;AAE9C;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,cAAc;IAClB,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,4CAA4C;IACnD,OAAO,EAAE,CAAC,eAAe,EAAE,0BAA0B,EAAE,kBAAkB,CAAC;IAC1E,MAAM,EAAE,gBAAgB;IACxB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,4BAA4B;QACzC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC;YAC3B,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC;YACzB,KAAK,CAAC,CAAC,CAAC,6BAA6B,CAAC,CAAC;YACvC,KAAK,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC;YAC9B,CAAC,CAAC,oBAAoB,CAAC,GAAG,CAAC;KAC9B;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,uBAAuB,CAAC;QACtB,YAAY,EAAE,CAAC,CAAC,iBAAiB,CAAC;QAClC,MAAM,EAAE,CAAC,CAAC,6BAA6B,CAAC;QACxC,OAAO,EAAE,CAAC,CAAC,oBAAoB,CAAC;KACjC,CAAC;IACJ,QAAQ,EAAE,qEAAqE;IAC/E,+EAA+E;IAC/E,sEAAsE;IACtE,wEAAwE;IACxE,QAAQ,EAAE;QACR,IAAI,EAAE,iBAAiB;QACvB,cAAc,EACZ,yEAAyE;YACzE,qEAAqE;YACrE,kBAAkB;KACrB;CACF,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,oCAAoC;IAC3C,OAAO,EAAE,CAAC,8BAA8B,EAAE,kBAAkB,CAAC;IAC7D,MAAM,EAAE,YAAY;IACpB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,yBAAyB;QACtC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,iCAAiC,CAAC,CAAC;YAC3C,KAAK,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC;KAClC;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,qBAAqB,CAAC;QACpB,aAAa,EAAE,CAAC,CAAC,iCAAiC,CAAC;QACnD,gBAAgB,EAAE,CAAC,CAAC,qBAAqB,CAAC;KAC3C,CAAC;IACJ,QAAQ,EAAE,kDAAkD;CAC7D,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,sCAAsC;IAC7C,OAAO,EAAE,CAAC,sBAAsB,EAAE,eAAe,CAAC;IAClD,MAAM,EAAE,eAAe;IACvB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,mBAAmB;QAChC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,yBAAyB,CAAC,CAAC;YACnC,CAAC,CAAC,yBAAyB,CAAC,GAAG,CAAC;YAChC,KAAK,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC;YAC3B,CAAC,CAAC,iBAAiB,CAAC,GAAG,CAAC;KAC3B;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,sBAAsB,CAAC;QACrB,CAAC,EAAE,CAAC,CAAC,yBAAyB,CAAC;QAC/B,GAAG,EAAE,CAAC,CAAC,iBAAiB,CAAC;KAC1B,CAAC;IACJ,QAAQ,EAAE,iFAAiF;CAC5F,CAAC;AAEF;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,4DAA4D;IACnE,OAAO,EAAE,CAAC,uBAAuB,EAAE,oBAAoB,CAAC;IACxD,MAAM,EAAE,qBAAqB;IAC7B,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,sEAAsE;QACnF,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE;YACf,MAAM,EAAE,GAAG,CAAC,CAAC,yBAAyB,CAAC,CAAC;YACxC,MAAM,EAAE,GAAG,CAAC,CAAC,sBAAsB,CAAC,CAAC;YACrC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC;gBAAE,OAAO,KAAK,CAAC;YACjD,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC;gBAAE,OAAO,KAAK,CAAC;YACjD,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC;gBAAE,OAAO,KAAK,CAAC;YACrC,OAAO,IAAI,CAAC;QACd,CAAC;KACF;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,4BAA4B,CAAC;QAC3B,MAAM,EAAE,CAAC,CAAC,yBAAyB,CAAC;QACpC,MAAM,EAAE,CAAC,CAAC,sBAAsB,CAAC;KAClC,CAAC;IACJ,QAAQ,EAAE,kGAAkG;CAC7G,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,gDAAgD;IACvD,OAAO,EAAE,CAAC,iBAAiB,EAAE,cAAc,EAAE,cAAc,EAAE,aAAa,EAAE,yBAAyB,CAAC;IACtG,MAAM,EAAE,aAAa;IACrB,oEAAoE;IACpE,2EAA2E;IAC3E,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,qDAAqD;QAClE,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC;YAC7B,CAAC,CAAC,mBAAmB,CAAC,IAAI,CAAC;YAC3B,KAAK,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC;YAC1B,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC;YACvB,KAAK,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC;YAC1B,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC;YACxB,KAAK,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC;YACzB,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC;YACtB,KAAK,CAAC,CAAC,CAAC,4BAA4B,CAAC,CAAC;KACzC;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,oBAAoB,CAAC;QACnB,IAAI,EAAE,CAAC,CAAC,mBAAmB,CAAC;QAC5B,CAAC,EAAE,CAAC,CAAC,gBAAgB,CAAC;QACtB,SAAS,EAAE,CAAC,CAAC,gBAAgB,CAAC;QAC9B,aAAa,EAAE,CAAC,CAAC,eAAe,CAAC;QACjC,YAAY,EAAE,CAAC,CAAC,4BAA4B,CAAC;KAC9C,CAAC;IACJ,QAAQ,EAAE,kDAAkD;CAC7D,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,gDAAgD;IACvD,OAAO,EAAE,CAAC,uBAAuB,EAAE,mBAAmB,EAAE,cAAc,EAAE,uBAAuB,CAAC;IAChG,MAAM,EAAE,0BAA0B;IAClC,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,4BAA4B;QACzC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,0BAA0B,CAAC,CAAC;YACpC,KAAK,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC;YAC/B,KAAK,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC;YAC1B,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC;YACvB,KAAK,CAAC,CAAC,CAAC,0BAA0B,CAAC,CAAC;KACvC;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,wBAAwB,CAAC;QACvB,IAAI,EAAE,CAAC,CAAC,0BAA0B,CAAC;QACnC,KAAK,EAAE,CAAC,CAAC,qBAAqB,CAAC;QAC/B,CAAC,EAAE,CAAC,CAAC,gBAAgB,CAAC;QACtB,IAAI,EAAE,CAAC,CAAC,0BAA0B,CAAC;KACpC,CAAC;IACJ,QAAQ,EAAE,sEAAsE;CACjF,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,iEAAiE;IACxE,OAAO,EAAE,CAAC,uBAAuB,EAAE,uBAAuB,CAAC;IAC3D,MAAM,EAAE,qBAAqB;IAC7B,UAAU,EAAE,oBAAoB;IAChC,MAAM,EAAE;QACN,WAAW,EAAE,2CAA2C;QACxD,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,0BAA0B,CAAC,CAAC;YACpC,KAAK,CAAC,CAAC,CAAC,0BAA0B,CAAC,CAAC;YACpC,CAAC,CAAC,0BAA0B,CAAC,GAAG,CAAC,CAAC,0BAA0B,CAAC,KAAK,CAAC;KACtE;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,sBAAsB,CAAC;QACrB,UAAU,EAAE,CAAC,CAAC,0BAA0B,CAAC;QACzC,UAAU,EAAE,CAAC,CAAC,0BAA0B,CAAC;KAC1C,CAAC;IACJ,QAAQ,EAAE,2DAA2D;CACtE,CAAC"}
1
+ {"version":3,"file":"catalog-quantum.js","sourceRoot":"","sources":["../../../src/composition/edges/catalog-quantum.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAC;AAEtE,OAAO,EAAE,GAAG,EAAE,MAAM,mCAAmC,CAAC;AACxD,OAAO,EAAE,oBAAoB,EAAE,MAAM,gDAAgD,CAAC;AACtF,OAAO,EAAE,uBAAuB,EAAE,MAAM,qDAAqD,CAAC;AAC9F,OAAO,EAAE,qBAAqB,EAAE,MAAM,iDAAiD,CAAC;AACxF,OAAO,EAAE,sBAAsB,EAAE,MAAM,gDAAgD,CAAC;AACxF,OAAO,EAAE,4BAA4B,EAAE,MAAM,0CAA0C,CAAC;AACxF,OAAO,EAAE,wBAAwB,EAAE,MAAM,oDAAoD,CAAC;AAC9F,OAAO,EAAE,sBAAsB,EAAE,MAAM,kDAAkD,CAAC;AAE1F,OAAO,EACL,uBAAuB,EACvB,iBAAiB,EACjB,cAAc,EACd,aAAa,EACb,yBAAyB,EACzB,uBAAuB,EACvB,8BAA8B,EAC9B,uBAAuB,EACvB,mBAAmB,EACnB,gBAAgB,EAChB,sBAAsB,EACtB,eAAe,EACf,cAAc,EACd,0BAA0B,EAC1B,eAAe,EACf,qBAAqB,EACrB,oBAAoB,EACpB,aAAa,EACb,kBAAkB,EAClB,eAAe,EACf,uBAAuB,EACvB,YAAY,EACZ,kBAAkB,EAClB,0BAA0B,EAC1B,qBAAqB,EACrB,uBAAuB,EACvB,cAAc,GACf,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,KAAK,EAAE,MAAM,uBAAuB,CAAC;AAE9C,4DAA4D;AAC5D,MAAM,oBAAoB,GAAa;IACrC,IAAI,EAAE,IAAI;IACV,EAAE,EAAE,GAAG;IACP,IAAI,EAAE;QACJ,GAAG,CAAC,iBAAiB,EAAE,SAAS,CAAC;QACjC;YACE,IAAI,EAAE,IAAI;YACV,EAAE,EAAE,GAAG;YACP,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,IAAI;oBACV,EAAE,EAAE,GAAG;oBACP,IAAI,EAAE;wBACJ,GAAG,CAAC,6BAA6B,EAAE,aAAa,CAAC;wBACjD,GAAG,CAAC,oBAAoB,EAAE,aAAa,CAAC;qBACzC;iBACF;gBACD,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;aACxB;SACF;KACF;CACF,CAAC;AAEF;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,cAAc;IAClB,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,4CAA4C;IACnD,OAAO,EAAE,CAAC,eAAe,EAAE,0BAA0B,EAAE,kBAAkB,CAAC;IAC1E,MAAM,EAAE,gBAAgB;IACxB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,4BAA4B;QACzC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC;YAC3B,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC;YACzB,KAAK,CAAC,CAAC,CAAC,6BAA6B,CAAC,CAAC;YACvC,KAAK,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC;YAC9B,CAAC,CAAC,oBAAoB,CAAC,GAAG,CAAC;KAC9B;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,uBAAuB,CAAC;QACtB,YAAY,EAAE,CAAC,CAAC,iBAAiB,CAAC;QAClC,MAAM,EAAE,CAAC,CAAC,6BAA6B,CAAC;QACxC,OAAO,EAAE,CAAC,CAAC,oBAAoB,CAAC;KACjC,CAAC;IACJ,QAAQ,EAAE,oBAAoB;IAC9B,QAAQ,EAAE,qEAAqE;IAC/E,+EAA+E;IAC/E,sEAAsE;IACtE,wEAAwE;IACxE,QAAQ,EAAE;QACR,IAAI,EAAE,iBAAiB;QACvB,cAAc,EACZ,yEAAyE;YACzE,qEAAqE;YACrE,kBAAkB;KACrB;CACF,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,oCAAoC;IAC3C,OAAO,EAAE,CAAC,8BAA8B,EAAE,kBAAkB,CAAC;IAC7D,MAAM,EAAE,YAAY;IACpB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,yBAAyB;QACtC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,iCAAiC,CAAC,CAAC;YAC3C,KAAK,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC;KAClC;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,qBAAqB,CAAC;QACpB,aAAa,EAAE,CAAC,CAAC,iCAAiC,CAAC;QACnD,gBAAgB,EAAE,CAAC,CAAC,qBAAqB,CAAC;KAC3C,CAAC;IACJ,QAAQ,EAAE,kDAAkD;CAC7D,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,sCAAsC;IAC7C,OAAO,EAAE,CAAC,sBAAsB,EAAE,eAAe,CAAC;IAClD,MAAM,EAAE,eAAe;IACvB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,mBAAmB;QAChC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,yBAAyB,CAAC,CAAC;YACnC,CAAC,CAAC,yBAAyB,CAAC,GAAG,CAAC;YAChC,KAAK,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC;YAC3B,CAAC,CAAC,iBAAiB,CAAC,GAAG,CAAC;KAC3B;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,sBAAsB,CAAC;QACrB,CAAC,EAAE,CAAC,CAAC,yBAAyB,CAAC;QAC/B,GAAG,EAAE,CAAC,CAAC,iBAAiB,CAAC;KAC1B,CAAC;IACJ,QAAQ,EAAE,iFAAiF;CAC5F,CAAC;AAEF;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,4DAA4D;IACnE,OAAO,EAAE,CAAC,uBAAuB,EAAE,oBAAoB,CAAC;IACxD,MAAM,EAAE,qBAAqB;IAC7B,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,sEAAsE;QACnF,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE;YACf,MAAM,EAAE,GAAG,CAAC,CAAC,yBAAyB,CAAC,CAAC;YACxC,MAAM,EAAE,GAAG,CAAC,CAAC,sBAAsB,CAAC,CAAC;YACrC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC;gBAAE,OAAO,KAAK,CAAC;YACjD,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC;gBAAE,OAAO,KAAK,CAAC;YACjD,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC;gBAAE,OAAO,KAAK,CAAC;YACrC,OAAO,IAAI,CAAC;QACd,CAAC;KACF;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,4BAA4B,CAAC;QAC3B,MAAM,EAAE,CAAC,CAAC,yBAAyB,CAAC;QACpC,MAAM,EAAE,CAAC,CAAC,sBAAsB,CAAC;KAClC,CAAC;IACJ,QAAQ,EAAE,kGAAkG;CAC7G,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,gDAAgD;IACvD,OAAO,EAAE,CAAC,iBAAiB,EAAE,cAAc,EAAE,cAAc,EAAE,aAAa,EAAE,yBAAyB,CAAC;IACtG,MAAM,EAAE,aAAa;IACrB,oEAAoE;IACpE,2EAA2E;IAC3E,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,qDAAqD;QAClE,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC;YAC7B,CAAC,CAAC,mBAAmB,CAAC,IAAI,CAAC;YAC3B,KAAK,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC;YAC1B,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC;YACvB,KAAK,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC;YAC1B,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC;YACxB,KAAK,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC;YACzB,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC;YACtB,KAAK,CAAC,CAAC,CAAC,4BAA4B,CAAC,CAAC;KACzC;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,oBAAoB,CAAC;QACnB,IAAI,EAAE,CAAC,CAAC,mBAAmB,CAAC;QAC5B,CAAC,EAAE,CAAC,CAAC,gBAAgB,CAAC;QACtB,SAAS,EAAE,CAAC,CAAC,gBAAgB,CAAC;QAC9B,aAAa,EAAE,CAAC,CAAC,eAAe,CAAC;QACjC,YAAY,EAAE,CAAC,CAAC,4BAA4B,CAAC;KAC9C,CAAC;IACJ,QAAQ,EAAE,kDAAkD;CAC7D,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,gDAAgD;IACvD,OAAO,EAAE,CAAC,uBAAuB,EAAE,mBAAmB,EAAE,cAAc,EAAE,uBAAuB,CAAC;IAChG,MAAM,EAAE,0BAA0B;IAClC,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,4BAA4B;QACzC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,0BAA0B,CAAC,CAAC;YACpC,KAAK,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC;YAC/B,KAAK,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC;YAC1B,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC;YACvB,KAAK,CAAC,CAAC,CAAC,0BAA0B,CAAC,CAAC;KACvC;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,wBAAwB,CAAC;QACvB,IAAI,EAAE,CAAC,CAAC,0BAA0B,CAAC;QACnC,KAAK,EAAE,CAAC,CAAC,qBAAqB,CAAC;QAC/B,CAAC,EAAE,CAAC,CAAC,gBAAgB,CAAC;QACtB,IAAI,EAAE,CAAC,CAAC,0BAA0B,CAAC;KACpC,CAAC;IACJ,QAAQ,EAAE,sEAAsE;CACjF,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,iEAAiE;IACxE,OAAO,EAAE,CAAC,uBAAuB,EAAE,uBAAuB,CAAC;IAC3D,MAAM,EAAE,qBAAqB;IAC7B,UAAU,EAAE,oBAAoB;IAChC,MAAM,EAAE;QACN,WAAW,EAAE,2CAA2C;QACxD,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,0BAA0B,CAAC,CAAC;YACpC,KAAK,CAAC,CAAC,CAAC,0BAA0B,CAAC,CAAC;YACpC,CAAC,CAAC,0BAA0B,CAAC,GAAG,CAAC,CAAC,0BAA0B,CAAC,KAAK,CAAC;KACtE;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,sBAAsB,CAAC;QACrB,UAAU,EAAE,CAAC,CAAC,0BAA0B,CAAC;QACzC,UAAU,EAAE,CAAC,CAAC,0BAA0B,CAAC;KAC1C,CAAC;IACJ,QAAQ,EAAE,2DAA2D;CACtE,CAAC"}
@@ -1 +1 @@
1
- {"version":3,"file":"catalog-tranche.d.ts","sourceRoot":"","sources":["../../../src/composition/edges/catalog-tranche.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAmBH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAuC7C;;;;;;;;;;GAUG;AACH,eAAO,MAAM,QAAQ,EAAE,UAiBtB,CAAC;AAEF;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,QAAQ,EAAE,UAwBtB,CAAC;AAEF;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,QAAQ,EAAE,UAwBtB,CAAC;AAEF;;;;;;;;;GASG;AACH,eAAO,MAAM,QAAQ,EAAE,UAwBtB,CAAC;AAEF;;;;;;;;;;;;;;;GAeG;AACH,eAAO,MAAM,QAAQ,EAAE,UAwBtB,CAAC;AAEF;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,QAAQ,EAAE,UAsBtB,CAAC"}
1
+ {"version":3,"file":"catalog-tranche.d.ts","sourceRoot":"","sources":["../../../src/composition/edges/catalog-tranche.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAoBH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAuC7C;;;;;;;;;;GAUG;AACH,eAAO,MAAM,QAAQ,EAAE,UAiBtB,CAAC;AAEF;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,QAAQ,EAAE,UAwBtB,CAAC;AAEF;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,QAAQ,EAAE,UAyBtB,CAAC;AAEF;;;;;;;;;GASG;AACH,eAAO,MAAM,QAAQ,EAAE,UAwBtB,CAAC;AAEF;;;;;;;;;;;;;;;GAeG;AACH,eAAO,MAAM,QAAQ,EAAE,UAwBtB,CAAC;AAEF;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,QAAQ,EAAE,UAsBtB,CAAC"}
@@ -24,7 +24,7 @@
24
24
  */
25
25
  import { evaluateRyuTakayanagi } from '../../bridges/equations/be-14-ryu-takayanagi.js';
26
26
  import { evaluateQuantumBounce } from '../../bridges/equations/be-19-quantum-bounce.js';
27
- import { evaluateKSSBound, } from '../../bridges/equations/be-21-kss-bound.js';
27
+ import { evaluateKSSBound, BE21_KSS_RHS, } from '../../bridges/equations/be-21-kss-bound.js';
28
28
  import { evaluateGRWLocalization } from '../../bridges/equations/be-48-grw-localization.js';
29
29
  import { evaluateYangMillsBeta } from '../../bridges/equations/be-53-yang-mills-beta.js';
30
30
  import { evaluateRandallSundrumH2 } from '../../bridges/equations/be-54-randall-sundrum-brane.js';
@@ -136,6 +136,7 @@ export const be21Edge = {
136
136
  predicate: () => true,
137
137
  },
138
138
  evaluate: () => evaluateKSSBound(),
139
+ symbolic: BE21_KSS_RHS,
139
140
  citation: 'Kovtun, Son & Starinets 2005 PRL 94:111601',
140
141
  // -- Atlas Phase 1 overlay: mirrors BRIDGE_EQUATIONS' row, which carries the
141
142
  // full '// source:' citation. tests/atlas/audited-catalog.test.ts deep-equals
@@ -1 +1 @@
1
- {"version":3,"file":"catalog-tranche.js","sourceRoot":"","sources":["../../../src/composition/edges/catalog-tranche.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAUH,OAAO,EAAE,qBAAqB,EAAE,MAAM,iDAAiD,CAAC;AACxF,OAAO,EAAE,qBAAqB,EAAE,MAAM,iDAAiD,CAAC;AACxF,OAAO,EACL,gBAAgB,GAEjB,MAAM,4CAA4C,CAAC;AACpD,OAAO,EAAE,uBAAuB,EAAE,MAAM,mDAAmD,CAAC;AAC5F,OAAO,EAAE,qBAAqB,EAAE,MAAM,kDAAkD,CAAC;AACzF,OAAO,EAAE,wBAAwB,EAAE,MAAM,wDAAwD,CAAC;AAElG,OAAO,EACL,4BAA4B,EAC5B,aAAa,EACb,YAAY,EACZ,gBAAgB,EAChB,aAAa,EACb,cAAc,EACd,oBAAoB,EACpB,kBAAkB,EAClB,YAAY,EACZ,KAAK,EACL,mBAAmB,EACnB,6BAA6B,EAC7B,sBAAsB,EACtB,cAAc,GACf,MAAM,kBAAkB,CAAC;AAE1B,kCAAkC;AAElC,oEAAoE;AACpE,MAAM,YAAY,GAAc;IAC9B,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;CAC9C,CAAC;AAEF,kEAAkE;AAClE,MAAM,MAAM,GAAc;IACxB,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;CAC9C,CAAC;AAEF,yBAAyB;AAEzB,qEAAqE;AACrE,uEAAuE;AACvE,gEAAgE;AAChE,6DAA6D;AAC7D,oCAAoC;AACpC,gBAAgB;AAEhB;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,iDAAiD;IACxD,OAAO,EAAE,CAAC,mBAAmB,CAAC;IAC9B,MAAM,EAAE,4BAA4B;IACpC,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,yCAAyC;QACtD,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC;YAC1C,CAAC,CAAC,sBAAsB,CAAC,IAAI,CAAC;KACjC;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,qBAAqB,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,sBAAsB,CAAC,EAAE,CAAC;IAC/D,QAAQ,EAAE,qCAAqC;CAChD,CAAC;AAEF;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,gDAAgD;IACvD,OAAO,EAAE,CAAC,YAAY,EAAE,gBAAgB,EAAE,6BAA6B,CAAC;IACxE,MAAM,EAAE,kBAAkB;IAC1B,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,sCAAsC;QACnD,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC;YAClC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC;YACtB,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC;YACtC,CAAC,CAAC,kBAAkB,CAAC,GAAG,CAAC;YACzB,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,gCAAgC,CAAC,CAAC;KACvD;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,qBAAqB,CAAC;QACpB,GAAG,EAAE,CAAC,CAAC,cAAc,CAAC;QACtB,QAAQ,EAAE,CAAC,CAAC,kBAAkB,CAAC;QAC/B,YAAY,EAAE,CAAC,CAAC,gCAAgC,CAAC;KAClD,CAAC;IACJ,QAAQ,EAAE,gDAAgD;CAC3D,CAAC;AAEF;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,4BAA4B;IACnC,OAAO,EAAE,EAAE;IACX,MAAM,EAAE,sBAAsB;IAC9B,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,kDAAkD;QAC/D,SAAS,EAAE,GAAG,EAAE,CAAC,IAAI;KACtB;IACD,QAAQ,EAAE,GAAG,EAAE,CAAC,gBAAgB,EAAE;IAClC,QAAQ,EAAE,4CAA4C;IACtD,6EAA6E;IAC7E,8EAA8E;IAC9E,4DAA4D;IAC5D,QAAQ,EAAE;QACR,IAAI,EAAE,YAAY;QAClB,cAAc,EACZ,+DAA+D;YAC/D,yEAAyE;YACzE,yBAAyB;KAC5B;CACF,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,2CAA2C;IAClD,OAAO,EAAE,CAAC,KAAK,CAAC;IAChB,MAAM,EAAE,oBAAoB;IAC5B,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,gCAAgC;QAC7C,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;KAC9D;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,uBAAuB,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;IAC7D,QAAQ,EAAE,0CAA0C;IACpD,6EAA6E;IAC7E,8EAA8E;IAC9E,4DAA4D;IAC5D,QAAQ,EAAE;QACR,IAAI,EAAE,YAAY;QAClB,cAAc,EACZ,yEAAyE;YACzE,yEAAyE;YACzE,4DAA4D;KAC/D;CACF,CAAC;AAEF;;;;;;;;;;;;;;;GAeG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,qDAAqD;IAC5D,OAAO,EAAE,CAAC,cAAc,EAAE,YAAY,EAAE,aAAa,CAAC;IACtD,MAAM,EAAE,cAAc;IACtB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,4BAA4B;QACzC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC;YACpC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC;YAClC,CAAC,CAAC,cAAc,CAAC,GAAG,CAAC;YACrB,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC;YACnC,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC;KAC1B;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,qBAAqB,CAAC;QACpB,CAAC,EAAE,CAAC,CAAC,gBAAgB,CAAC;QACtB,GAAG,EAAE,CAAC,CAAC,cAAc,CAAC;QACtB,GAAG,EAAE,CAAC,CAAC,eAAe,CAAC;KACxB,CAAC;IACJ,QAAQ,EAAE,6DAA6D;CACxE,CAAC;AAEF;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,mDAAmD;IAC1D,OAAO,EAAE,CAAC,YAAY,EAAE,aAAa,CAAC;IACtC,MAAM,EAAE,kBAAkB;IAC1B,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,kDAAkD;QAC/D,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC;YAClC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC;YACtB,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC;YACnC,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC;KACzB;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,wBAAwB,CAAC;QACvB,aAAa,EAAE,CAAC,CAAC,cAAc,CAAC;QAChC,eAAe,EAAE,CAAC,CAAC,eAAe,CAAC;KACpC,CAAC;IACJ,QAAQ,EAAE,sEAAsE;CACjF,CAAC"}
1
+ {"version":3,"file":"catalog-tranche.js","sourceRoot":"","sources":["../../../src/composition/edges/catalog-tranche.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAUH,OAAO,EAAE,qBAAqB,EAAE,MAAM,iDAAiD,CAAC;AACxF,OAAO,EAAE,qBAAqB,EAAE,MAAM,iDAAiD,CAAC;AACxF,OAAO,EACL,gBAAgB,EAChB,YAAY,GAEb,MAAM,4CAA4C,CAAC;AACpD,OAAO,EAAE,uBAAuB,EAAE,MAAM,mDAAmD,CAAC;AAC5F,OAAO,EAAE,qBAAqB,EAAE,MAAM,kDAAkD,CAAC;AACzF,OAAO,EAAE,wBAAwB,EAAE,MAAM,wDAAwD,CAAC;AAElG,OAAO,EACL,4BAA4B,EAC5B,aAAa,EACb,YAAY,EACZ,gBAAgB,EAChB,aAAa,EACb,cAAc,EACd,oBAAoB,EACpB,kBAAkB,EAClB,YAAY,EACZ,KAAK,EACL,mBAAmB,EACnB,6BAA6B,EAC7B,sBAAsB,EACtB,cAAc,GACf,MAAM,kBAAkB,CAAC;AAE1B,kCAAkC;AAElC,oEAAoE;AACpE,MAAM,YAAY,GAAc;IAC9B,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;CAC9C,CAAC;AAEF,kEAAkE;AAClE,MAAM,MAAM,GAAc;IACxB,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;CAC9C,CAAC;AAEF,yBAAyB;AAEzB,qEAAqE;AACrE,uEAAuE;AACvE,gEAAgE;AAChE,6DAA6D;AAC7D,oCAAoC;AACpC,gBAAgB;AAEhB;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,iDAAiD;IACxD,OAAO,EAAE,CAAC,mBAAmB,CAAC;IAC9B,MAAM,EAAE,4BAA4B;IACpC,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,yCAAyC;QACtD,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC;YAC1C,CAAC,CAAC,sBAAsB,CAAC,IAAI,CAAC;KACjC;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,qBAAqB,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,sBAAsB,CAAC,EAAE,CAAC;IAC/D,QAAQ,EAAE,qCAAqC;CAChD,CAAC;AAEF;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,gDAAgD;IACvD,OAAO,EAAE,CAAC,YAAY,EAAE,gBAAgB,EAAE,6BAA6B,CAAC;IACxE,MAAM,EAAE,kBAAkB;IAC1B,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,sCAAsC;QACnD,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC;YAClC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC;YACtB,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC;YACtC,CAAC,CAAC,kBAAkB,CAAC,GAAG,CAAC;YACzB,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,gCAAgC,CAAC,CAAC;KACvD;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,qBAAqB,CAAC;QACpB,GAAG,EAAE,CAAC,CAAC,cAAc,CAAC;QACtB,QAAQ,EAAE,CAAC,CAAC,kBAAkB,CAAC;QAC/B,YAAY,EAAE,CAAC,CAAC,gCAAgC,CAAC;KAClD,CAAC;IACJ,QAAQ,EAAE,gDAAgD;CAC3D,CAAC;AAEF;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,4BAA4B;IACnC,OAAO,EAAE,EAAE;IACX,MAAM,EAAE,sBAAsB;IAC9B,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,kDAAkD;QAC/D,SAAS,EAAE,GAAG,EAAE,CAAC,IAAI;KACtB;IACD,QAAQ,EAAE,GAAG,EAAE,CAAC,gBAAgB,EAAE;IAClC,QAAQ,EAAE,YAAY;IACtB,QAAQ,EAAE,4CAA4C;IACtD,6EAA6E;IAC7E,8EAA8E;IAC9E,4DAA4D;IAC5D,QAAQ,EAAE;QACR,IAAI,EAAE,YAAY;QAClB,cAAc,EACZ,+DAA+D;YAC/D,yEAAyE;YACzE,yBAAyB;KAC5B;CACF,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,2CAA2C;IAClD,OAAO,EAAE,CAAC,KAAK,CAAC;IAChB,MAAM,EAAE,oBAAoB;IAC5B,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,gCAAgC;QAC7C,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;KAC9D;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,uBAAuB,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;IAC7D,QAAQ,EAAE,0CAA0C;IACpD,6EAA6E;IAC7E,8EAA8E;IAC9E,4DAA4D;IAC5D,QAAQ,EAAE;QACR,IAAI,EAAE,YAAY;QAClB,cAAc,EACZ,yEAAyE;YACzE,yEAAyE;YACzE,4DAA4D;KAC/D;CACF,CAAC;AAEF;;;;;;;;;;;;;;;GAeG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,qDAAqD;IAC5D,OAAO,EAAE,CAAC,cAAc,EAAE,YAAY,EAAE,aAAa,CAAC;IACtD,MAAM,EAAE,cAAc;IACtB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,4BAA4B;QACzC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC;YACpC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC;YAClC,CAAC,CAAC,cAAc,CAAC,GAAG,CAAC;YACrB,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC;YACnC,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC;KAC1B;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,qBAAqB,CAAC;QACpB,CAAC,EAAE,CAAC,CAAC,gBAAgB,CAAC;QACtB,GAAG,EAAE,CAAC,CAAC,cAAc,CAAC;QACtB,GAAG,EAAE,CAAC,CAAC,eAAe,CAAC;KACxB,CAAC;IACJ,QAAQ,EAAE,6DAA6D;CACxE,CAAC;AAEF;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,mDAAmD;IAC1D,OAAO,EAAE,CAAC,YAAY,EAAE,aAAa,CAAC;IACtC,MAAM,EAAE,kBAAkB;IAC1B,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,kDAAkD;QAC/D,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC;YAClC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC;YACtB,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC;YACnC,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC;KACzB;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,wBAAwB,CAAC;QACvB,aAAa,EAAE,CAAC,CAAC,cAAc,CAAC;QAChC,eAAe,EAAE,CAAC,CAAC,eAAe,CAAC;KACpC,CAAC;IACJ,QAAQ,EAAE,sEAAsE;CACjF,CAAC"}
@@ -1 +1 @@
1
- {"version":3,"file":"expr-eval.d.ts","sourceRoot":"","sources":["../../src/composition/expr-eval.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AAG5D;yCACyC;AACzC,qBAAa,iBAAkB,SAAQ,KAAK;IAC1C,YAAY,OAAO,EAAE,MAAM,EAG1B;CACF;AAeD;;;;;GAKG;AACH,wBAAgB,QAAQ,CACtB,IAAI,EAAE,QAAQ,EACd,MAAM,GAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAM,GAC5C,MAAM,CAyCR"}
1
+ {"version":3,"file":"expr-eval.d.ts","sourceRoot":"","sources":["../../src/composition/expr-eval.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AAG5D;yCACyC;AACzC,qBAAa,iBAAkB,SAAQ,KAAK;IAC1C,YAAY,OAAO,EAAE,MAAM,EAG1B;CACF;AAiBD;;;;;GAKG;AACH,wBAAgB,QAAQ,CACtB,IAAI,EAAE,QAAQ,EACd,MAAM,GAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAM,GAC5C,MAAM,CAyCR"}
@@ -17,7 +17,7 @@
17
17
  *
18
18
  * @module composition/expr-eval
19
19
  */
20
- import { CONSTANTS } from './symbolic-constants.js';
20
+ import { CONSTANTS, piMultipleValue } from '../dimensional/symbolic-constants.js';
21
21
  /** A scalar `ExprNode` could not be evaluated (unsupported arm / unresolved
22
22
  * leaf / non-finite result). @public */
23
23
  export class SymbolicEvalError extends Error {
@@ -33,6 +33,9 @@ function resolveLeaf(name, values) {
33
33
  const constant = CONSTANTS[name];
34
34
  if (constant !== undefined)
35
35
  return constant.value;
36
+ const pi = piMultipleValue(name);
37
+ if (pi !== undefined)
38
+ return pi;
36
39
  const literal = Number(name);
37
40
  if (Number.isFinite(literal))
38
41
  return literal;
@@ -1 +1 @@
1
- {"version":3,"file":"expr-eval.js","sourceRoot":"","sources":["../../src/composition/expr-eval.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAGH,OAAO,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AAEpD;yCACyC;AACzC,MAAM,OAAO,iBAAkB,SAAQ,KAAK;IAC1C,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,mBAAmB,CAAC;IAClC,CAAC;CACF;AAED,2EAA2E;AAC3E,SAAS,WAAW,CAAC,IAAY,EAAE,MAAwC;IACzE,IAAI,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC;QAAE,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC;IAC5E,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;IACjC,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,QAAQ,CAAC,KAAK,CAAC;IAClD,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;IAC7B,IAAI,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC;QAAE,OAAO,OAAO,CAAC;IAC7C,MAAM,IAAI,iBAAiB,CACzB,0BAA0B,IAAI,uCAAuC;QACnE,8CAA8C,CACjD,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,QAAQ,CACtB,IAAc,EACd,MAAM,GAAqC,EAAE;IAE7C,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,QAAQ;YACX,OAAO,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAExC,KAAK,IAAI,EAAE,CAAC;YACV,IAAI,IAAI,CAAC,EAAE,KAAK,GAAG,EAAE,CAAC;gBACpB,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBAC3B,MAAM,IAAI,iBAAiB,CACzB,2CAA2C,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAC/D,CAAC;gBACJ,CAAC;gBACD,wEAAwE;gBACxE,sEAAsE;gBACtE,0DAA0D;gBAC1D,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;gBAC5C,MAAM,GAAG,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;gBAC3C,OAAO,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC;YAC3C,CAAC;YACD,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC3B,iEAAiE;gBACjE,OAAO,IAAI,CAAC,EAAE,KAAK,GAAG,IAAI,IAAI,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACpD,CAAC;YACD,IAAI,GAAG,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;YACzC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC1C,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;gBACzC,IAAI,IAAI,CAAC,EAAE,KAAK,GAAG;oBAAE,GAAG,IAAI,CAAC,CAAC;qBACzB,IAAI,IAAI,CAAC,EAAE,KAAK,GAAG;oBAAE,GAAG,IAAI,CAAC,CAAC;qBAC9B,IAAI,IAAI,CAAC,EAAE,KAAK,GAAG;oBAAE,GAAG,IAAI,CAAC,CAAC;;oBAC9B,GAAG,IAAI,CAAC,CAAC;YAChB,CAAC;YACD,OAAO,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAC3B,CAAC;QAED;YACE,MAAM,IAAI,iBAAiB,CACzB,wBAAwB,IAAI,CAAC,IAAI,4BAA4B;gBAC3D,2DAA2D;gBAC3D,8BAA8B,CACjC,CAAC;IACN,CAAC;AACH,CAAC;AAED,SAAS,MAAM,CAAC,KAAa,EAAE,IAAc;IAC3C,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,iBAAiB,CACzB,cAAe,IAAwB,CAAC,EAAE,IAAI,IAAI,CAAC,IAAI,eAAe;YACpE,qBAAqB,KAAK,IAAI,CACjC,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}
1
+ {"version":3,"file":"expr-eval.js","sourceRoot":"","sources":["../../src/composition/expr-eval.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAGH,OAAO,EAAE,SAAS,EAAE,eAAe,EAAE,MAAM,sCAAsC,CAAC;AAElF;yCACyC;AACzC,MAAM,OAAO,iBAAkB,SAAQ,KAAK;IAC1C,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,mBAAmB,CAAC;IAClC,CAAC;CACF;AAED,2EAA2E;AAC3E,SAAS,WAAW,CAAC,IAAY,EAAE,MAAwC;IACzE,IAAI,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC;QAAE,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC;IAC5E,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;IACjC,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,QAAQ,CAAC,KAAK,CAAC;IAClD,MAAM,EAAE,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;IACjC,IAAI,EAAE,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IAChC,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;IAC7B,IAAI,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC;QAAE,OAAO,OAAO,CAAC;IAC7C,MAAM,IAAI,iBAAiB,CACzB,0BAA0B,IAAI,uCAAuC;QACnE,8CAA8C,CACjD,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,QAAQ,CACtB,IAAc,EACd,MAAM,GAAqC,EAAE;IAE7C,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,QAAQ;YACX,OAAO,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAExC,KAAK,IAAI,EAAE,CAAC;YACV,IAAI,IAAI,CAAC,EAAE,KAAK,GAAG,EAAE,CAAC;gBACpB,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBAC3B,MAAM,IAAI,iBAAiB,CACzB,2CAA2C,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAC/D,CAAC;gBACJ,CAAC;gBACD,wEAAwE;gBACxE,sEAAsE;gBACtE,0DAA0D;gBAC1D,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;gBAC5C,MAAM,GAAG,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;gBAC3C,OAAO,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC;YAC3C,CAAC;YACD,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC3B,iEAAiE;gBACjE,OAAO,IAAI,CAAC,EAAE,KAAK,GAAG,IAAI,IAAI,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACpD,CAAC;YACD,IAAI,GAAG,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;YACzC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC1C,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;gBACzC,IAAI,IAAI,CAAC,EAAE,KAAK,GAAG;oBAAE,GAAG,IAAI,CAAC,CAAC;qBACzB,IAAI,IAAI,CAAC,EAAE,KAAK,GAAG;oBAAE,GAAG,IAAI,CAAC,CAAC;qBAC9B,IAAI,IAAI,CAAC,EAAE,KAAK,GAAG;oBAAE,GAAG,IAAI,CAAC,CAAC;;oBAC9B,GAAG,IAAI,CAAC,CAAC;YAChB,CAAC;YACD,OAAO,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAC3B,CAAC;QAED;YACE,MAAM,IAAI,iBAAiB,CACzB,wBAAwB,IAAI,CAAC,IAAI,4BAA4B;gBAC3D,2DAA2D;gBAC3D,8BAA8B,CACjC,CAAC;IACN,CAAC;AACH,CAAC;AAED,SAAS,MAAM,CAAC,KAAa,EAAE,IAAc;IAC3C,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,iBAAiB,CACzB,cAAe,IAAwB,CAAC,EAAE,IAAI,IAAI,CAAC,IAAI,eAAe;YACpE,qBAAqB,KAAK,IAAI,CACjC,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}
@@ -30,7 +30,7 @@ import { validate } from '../dimensional/validator.js';
30
30
  import { equals } from '../dimensional/algebra.js';
31
31
  import { DIMENSIONLESS } from '../dimensional/types.js';
32
32
  import { evalExpr } from './expr-eval.js';
33
- import { CONSTANTS } from './symbolic-constants.js';
33
+ import { CONSTANTS } from '../dimensional/symbolic-constants.js';
34
34
  import { makeObservable } from './compose-symbolic.js';
35
35
  /** A simplification completed but produced a dimensionally/numerically wrong
36
36
  * result (a real bug — not a graceful no-op). @internal */
@@ -1 +1 @@
1
- {"version":3,"file":"expr-simplify.js","sourceRoot":"","sources":["../../src/composition/expr-simplify.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAGH,OAAO,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AACvD,OAAO,EAAE,MAAM,EAAE,MAAM,2BAA2B,CAAC;AAEnD,OAAO,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AACxD,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC1C,OAAO,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AAEpD,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAEvD;4DAC4D;AAC5D,MAAM,mBAAoB,SAAQ,KAAK;IACrC,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,qBAAqB,CAAC;IACpC,CAAC;CACF;AAkBD;wDACwD;AACxD,MAAM,WAAY,SAAQ,KAAK;CAAG;AAElC,8EAA8E;AAC9E,iEAAiE;AACjE,wBAAwB;AACxB,8EAA8E;AAE9E,IAAI,MAAwD,CAAC;AAE7D,2EAA2E;AAC3E,KAAK,UAAU,OAAO,CAAI,EAAoB;IAC5C,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC;IAC9B,MAAM,SAAS,GAAG,OAAO,CAAC,KAAK,CAAC;IAChC,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAC5D,OAAO,CAAC,IAAI,GAAG,GAAG,EAAE,GAAE,CAAC,CAAC;IACxB,OAAO,CAAC,KAAK,GAAG,GAAG,EAAE,GAAE,CAAC,CAAC;IACxB,OAAO,CAAC,MAA6B,CAAC,KAAK,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC;IAC1D,IAAI,CAAC;QACH,OAAO,MAAM,EAAE,EAAE,CAAC;IACpB,CAAC;YAAS,CAAC;QACT,OAAO,CAAC,IAAI,GAAG,QAAQ,CAAC;QACxB,OAAO,CAAC,KAAK,GAAG,SAAS,CAAC;QACzB,OAAO,CAAC,MAA6B,CAAC,KAAK,GAAG,SAAS,CAAC;IAC3D,CAAC;AACH,CAAC;AAED;gFACgF;AAChF,KAAK,UAAU,MAAM;IACnB,IAAI,CAAC;QACH,yEAAyE;QACzE,qEAAqE;QACrE,OAAO,MAAM,OAAO,CAAC,KAAK,IAAI,EAAE;YAC9B,MAAM,GAAG,GAAG,CAAC,MAAM,MAAM,CACvB,iCAAiC,CAClC,CAAoC,CAAC;YACtC,IAAI,OAAO,GAAG,CAAC,KAAK,KAAK,UAAU,IAAI,OAAO,GAAG,CAAC,QAAQ,KAAK,UAAU,EAAE,CAAC;gBAC1E,OAAO,IAAI,CAAC;YACd,CAAC;YACD,mEAAmE;YACnE,MAAM,CAAC,GAAG,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC,CAAC;YACtD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;YAChC,kBAAkB,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;YAC7B,OAAO,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;QAC1D,CAAC,CAAC,CAAC;IACL,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,SAAS,cAAc;IACrB,MAAM,KAAK,MAAM,EAAE,CAAC;IACpB,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;4EAC4E;AAC5E,SAAS,WAAW,CAAI,EAAW;IACjC,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC;IAC9B,MAAM,SAAS,GAAG,OAAO,CAAC,KAAK,CAAC;IAChC,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAC5D,OAAO,CAAC,IAAI,GAAG,GAAG,EAAE,GAAE,CAAC,CAAC;IACxB,OAAO,CAAC,KAAK,GAAG,GAAG,EAAE,GAAE,CAAC,CAAC;IACxB,OAAO,CAAC,MAA6B,CAAC,KAAK,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC;IAC1D,IAAI,CAAC;QACH,OAAO,EAAE,EAAE,CAAC;IACd,CAAC;YAAS,CAAC;QACT,OAAO,CAAC,IAAI,GAAG,QAAQ,CAAC;QACxB,OAAO,CAAC,KAAK,GAAG,SAAS,CAAC;QACzB,OAAO,CAAC,MAA6B,CAAC,KAAK,GAAG,SAAS,CAAC;IAC3D,CAAC;AACH,CAAC;AAED,SAAS,kBAAkB,CAAC,CAAW,EAAE,GAAgB;IACvD,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,IAAI;QAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACvD,IAAI,CAAC,CAAC,OAAO;QAAE,kBAAkB,CAAC,CAAC,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;IAClD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,IAAI,EAAE;QAAE,kBAAkB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;AAC3D,CAAC;AAWD,MAAM,SAAS,GAAG,CAAC,IAAY,EAAW,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;AAE3E;;gEAEgE;AAChE,SAAS,YAAY,CACnB,IAAc,EACd,QAA6B,EAC7B,IAA2B;IAE3B,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,QAAQ,EAAE,CAAC;YACd,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC;gBAAE,OAAO,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;YAC3D,IAAI,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAChC,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;gBACpB,CAAC,GAAG,IAAI,QAAQ,CAAC,IAAI,EAAE,CAAC;gBACxB,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;gBAC3B,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;YAClD,CAAC;YACD,OAAO,CAAC,CAAC;QACX,CAAC;QACD,KAAK,IAAI,EAAE,CAAC;YACV,IAAI,IAAI,CAAC,EAAE,KAAK,GAAG,EAAE,CAAC;gBACpB,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBACzB,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC1D,MAAM,IAAI,WAAW,EAAE,CAAC;gBAC1B,CAAC;gBACD,OAAO,IAAI,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,KAAK,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/E,CAAC;YACD,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;gBAAE,MAAM,IAAI,WAAW,EAAE,CAAC;YACpD,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,YAAY,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;YAC3E,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC;QACpC,CAAC;QACD;YACE,MAAM,IAAI,WAAW,EAAE,CAAC,CAAC,sCAAsC;IACnE,CAAC;AACH,CAAC;AAED,MAAM,GAAG,GAAG,CAAC,CAAS,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,aAAa,EAAE,CAAC,CAAC;AAE/F;;wCAEwC;AACxC,SAAS,QAAQ,CAAC,IAAc,EAAE,IAA2B;IAC3D,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,cAAc,EAAE,CAAC;YACpB,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;gBACnE,MAAM,IAAI,WAAW,EAAE,CAAC;YAC1B,CAAC;YACD,OAAO,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzB,CAAC;QACD,KAAK,YAAY,EAAE,CAAC;YAClB,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YACpE,IAAI,CAAC,CAAC;gBAAE,MAAM,IAAI,WAAW,EAAE,CAAC,CAAC,4BAA4B;YAC7D,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC;QACtD,CAAC;QACD,KAAK,iBAAiB;YACpB,IAAI,CAAC,IAAI,CAAC,OAAO;gBAAE,MAAM,IAAI,WAAW,EAAE,CAAC;YAC3C,OAAO,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QACtC,KAAK,cAAc,EAAE,CAAC;YACpB,MAAM,EAAE,GAAG,IAAI,CAAC,EAAE,CAAC;YACnB,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC;YAC7B,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;gBACf,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;oBAAE,MAAM,IAAI,WAAW,EAAE,CAAC;gBAC/C,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;gBACpB,IACE,GAAG,CAAC,IAAI,KAAK,cAAc;oBAC3B,OAAO,GAAG,CAAC,KAAK,KAAK,QAAQ;oBAC7B,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,EAC5B,CAAC;oBACD,MAAM,IAAI,WAAW,EAAE,CAAC,CAAC,yCAAyC;gBACpE,CAAC;gBACD,OAAO;oBACL,IAAI,EAAE,IAAI;oBACV,EAAE,EAAE,GAAG;oBACP,IAAI,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;iBAChD,CAAC;YACJ,CAAC;YACD,IAAI,CAAC,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,GAAG,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACpD,2BAA2B;gBAC3B,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC;YAC3E,CAAC;YACD,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;gBACzD,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;oBAAE,MAAM,IAAI,WAAW,EAAE,CAAC;gBAC7C,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC;YACtE,CAAC;YACD,MAAM,IAAI,WAAW,EAAE,CAAC;QAC1B,CAAC;QACD;YACE,MAAM,IAAI,WAAW,EAAE,CAAC,CAAC,kCAAkC;IAC/D,CAAC;AACH,CAAC;AAED,8EAA8E;AAC9E,UAAU;AACV,8EAA8E;AAE9E,SAAS,WAAW,CAAC,IAAc,EAAE,GAAG,GAAa,EAAE;IACrD,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;SAC3C,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI;QAAE,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,IAAI;YAAE,WAAW,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;SACvE,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAClC,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAC5B,WAAW,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;IACnC,CAAC;SAAM,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACtC,WAAW,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;QAC1B,WAAW,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IAC7B,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,iBAAiB,GAAG,CAAC,IAAc,EAAY,EAAE,CACrD,WAAW,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;AAEjD,MAAM,YAAY,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;AAClE,MAAM,iBAAiB,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;AAE9C;;;uBAGuB;AACvB,SAAS,gBAAgB,CACvB,QAAkB,EAClB,SAAmB;IAEnB,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,CAC7D,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,SAAS,CAAC,CACzB,CAAC;IACF,IAAI,YAAY,GAAG,CAAC,CAAC;IACrB,KAAK,MAAM,IAAI,IAAI,iBAAiB,EAAE,CAAC;QACrC,MAAM,MAAM,GAA2B,EAAE,CAAC;QAC1C,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;YACzB,MAAM,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,CAAC,GAAG,YAAY,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC;QAC9D,CAAC,CAAC,CAAC;QACH,IAAI,CAAS,CAAC;QACd,IAAI,CAAS,CAAC;QACd,IAAI,CAAC;YACH,CAAC,GAAG,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;YAC/B,CAAC,GAAG,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;QAClC,CAAC;QAAC,MAAM,CAAC;YACP,SAAS,CAAC,8CAA8C;QAC1D,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;YAAE,SAAS;QACzD,YAAY,EAAE,CAAC;QACf,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,IAAI;YAAE,OAAO,UAAU,CAAC;IACnE,CAAC;IACD,OAAO,YAAY,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,cAAc,CAAC;AACtD,CAAC;AAaD;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,KAAK,UAAU,qBAAqB;IACzC,OAAO,CAAC,MAAM,cAAc,EAAE,CAAC,KAAK,IAAI,CAAC;AAC3C,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,IAAc;IAC/C,MAAM,GAAG,GAAG,MAAM,cAAc,EAAE,CAAC;IACnC,IAAI,CAAC,GAAG;QAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC;IAE7C,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC3C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAoB,CAAC;IACzC,IAAI,SAAmB,CAAC;IACxB,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;QAC/C,0EAA0E;QAC1E,2EAA2E;QAC3E,sEAAsE;QACtE,MAAM,cAAc,GAAG,WAAW,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACvE,SAAS,GAAG,QAAQ,CAAC,cAAc,EAAE,IAAI,CAAC,CAAC;IAC7C,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC,6CAA6C;IACnF,CAAC;IAED,4EAA4E;IAC5E,2CAA2C;IAC3C,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,iBAAiB,CAAC;IACjD,8EAA8E;IAC9E,4EAA4E;IAC5E,iEAAiE;IACjE,qEAAqE;IACrE,IACE,OAAO,KAAK,IAAI;QAChB,SAAS,CAAC,IAAI,KAAK,QAAQ;QAC3B,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE;QAC5B,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,EAC5B,CAAC;QACD,SAAS,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC;IAC1D,CAAC;IACD,MAAM,SAAS,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC;IACtC,IAAI,OAAO,KAAK,IAAI,IAAI,CAAC,SAAS,CAAC,EAAE,IAAI,SAAS,CAAC,iBAAiB,KAAK,IAAI,EAAE,CAAC;QAC9E,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC;IACrC,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,SAAS,CAAC,iBAAiB,CAAC,EAAE,CAAC;QAClD,MAAM,IAAI,mBAAmB,CAC3B,iEAAiE;YAC/D,kBAAkB,CACrB,CAAC;IACJ,CAAC;IAED,8DAA8D;IAC9D,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC;IAClD,KAAK,MAAM,CAAC,IAAI,iBAAiB,CAAC,SAAS,CAAC,EAAE,CAAC;QAC7C,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC,qBAAqB;IACjF,CAAC;IAED,+BAA+B;IAC/B,MAAM,OAAO,GAAG,gBAAgB,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IAClD,IAAI,OAAO,KAAK,UAAU,EAAE,CAAC;QAC3B,MAAM,IAAI,mBAAmB,CAC3B,mEAAmE;YACjE,sCAAsC,CACzC,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,KAAK,cAAc;QAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC;IAEnE,+DAA+D;IAC/D,MAAM,OAAO,GAAG,WAAW,CAAC,SAAS,CAAC,CAAC,MAAM,KAAK,WAAW,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC;IAC3E,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,UAAU,EAAE,OAAO,EAAE,CAAC;AAClD,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,CAAC,KAAK,UAAU,kBAAkB,CAAC,GAAe;IACtD,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,MAAM,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC1D,IAAI,CAAC,UAAU;QAAE,OAAO,GAAG,CAAC;IAC5B,OAAO,cAAc,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;AAC7D,CAAC"}
1
+ {"version":3,"file":"expr-simplify.js","sourceRoot":"","sources":["../../src/composition/expr-simplify.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAGH,OAAO,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AACvD,OAAO,EAAE,MAAM,EAAE,MAAM,2BAA2B,CAAC;AAEnD,OAAO,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AACxD,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC1C,OAAO,EAAE,SAAS,EAAE,MAAM,sCAAsC,CAAC;AAEjE,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAEvD;4DAC4D;AAC5D,MAAM,mBAAoB,SAAQ,KAAK;IACrC,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,qBAAqB,CAAC;IACpC,CAAC;CACF;AAkBD;wDACwD;AACxD,MAAM,WAAY,SAAQ,KAAK;CAAG;AAElC,8EAA8E;AAC9E,iEAAiE;AACjE,wBAAwB;AACxB,8EAA8E;AAE9E,IAAI,MAAwD,CAAC;AAE7D,2EAA2E;AAC3E,KAAK,UAAU,OAAO,CAAI,EAAoB;IAC5C,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC;IAC9B,MAAM,SAAS,GAAG,OAAO,CAAC,KAAK,CAAC;IAChC,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAC5D,OAAO,CAAC,IAAI,GAAG,GAAG,EAAE,GAAE,CAAC,CAAC;IACxB,OAAO,CAAC,KAAK,GAAG,GAAG,EAAE,GAAE,CAAC,CAAC;IACxB,OAAO,CAAC,MAA6B,CAAC,KAAK,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC;IAC1D,IAAI,CAAC;QACH,OAAO,MAAM,EAAE,EAAE,CAAC;IACpB,CAAC;YAAS,CAAC;QACT,OAAO,CAAC,IAAI,GAAG,QAAQ,CAAC;QACxB,OAAO,CAAC,KAAK,GAAG,SAAS,CAAC;QACzB,OAAO,CAAC,MAA6B,CAAC,KAAK,GAAG,SAAS,CAAC;IAC3D,CAAC;AACH,CAAC;AAED;gFACgF;AAChF,KAAK,UAAU,MAAM;IACnB,IAAI,CAAC;QACH,yEAAyE;QACzE,qEAAqE;QACrE,OAAO,MAAM,OAAO,CAAC,KAAK,IAAI,EAAE;YAC9B,MAAM,GAAG,GAAG,CAAC,MAAM,MAAM,CACvB,iCAAiC,CAClC,CAAoC,CAAC;YACtC,IAAI,OAAO,GAAG,CAAC,KAAK,KAAK,UAAU,IAAI,OAAO,GAAG,CAAC,QAAQ,KAAK,UAAU,EAAE,CAAC;gBAC1E,OAAO,IAAI,CAAC;YACd,CAAC;YACD,mEAAmE;YACnE,MAAM,CAAC,GAAG,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC,CAAC;YACtD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;YAChC,kBAAkB,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;YAC7B,OAAO,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;QAC1D,CAAC,CAAC,CAAC;IACL,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,SAAS,cAAc;IACrB,MAAM,KAAK,MAAM,EAAE,CAAC;IACpB,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;4EAC4E;AAC5E,SAAS,WAAW,CAAI,EAAW;IACjC,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC;IAC9B,MAAM,SAAS,GAAG,OAAO,CAAC,KAAK,CAAC;IAChC,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAC5D,OAAO,CAAC,IAAI,GAAG,GAAG,EAAE,GAAE,CAAC,CAAC;IACxB,OAAO,CAAC,KAAK,GAAG,GAAG,EAAE,GAAE,CAAC,CAAC;IACxB,OAAO,CAAC,MAA6B,CAAC,KAAK,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC;IAC1D,IAAI,CAAC;QACH,OAAO,EAAE,EAAE,CAAC;IACd,CAAC;YAAS,CAAC;QACT,OAAO,CAAC,IAAI,GAAG,QAAQ,CAAC;QACxB,OAAO,CAAC,KAAK,GAAG,SAAS,CAAC;QACzB,OAAO,CAAC,MAA6B,CAAC,KAAK,GAAG,SAAS,CAAC;IAC3D,CAAC;AACH,CAAC;AAED,SAAS,kBAAkB,CAAC,CAAW,EAAE,GAAgB;IACvD,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,IAAI;QAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACvD,IAAI,CAAC,CAAC,OAAO;QAAE,kBAAkB,CAAC,CAAC,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;IAClD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,IAAI,EAAE;QAAE,kBAAkB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;AAC3D,CAAC;AAWD,MAAM,SAAS,GAAG,CAAC,IAAY,EAAW,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;AAE3E;;gEAEgE;AAChE,SAAS,YAAY,CACnB,IAAc,EACd,QAA6B,EAC7B,IAA2B;IAE3B,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,QAAQ,EAAE,CAAC;YACd,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC;gBAAE,OAAO,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;YAC3D,IAAI,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAChC,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;gBACpB,CAAC,GAAG,IAAI,QAAQ,CAAC,IAAI,EAAE,CAAC;gBACxB,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;gBAC3B,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;YAClD,CAAC;YACD,OAAO,CAAC,CAAC;QACX,CAAC;QACD,KAAK,IAAI,EAAE,CAAC;YACV,IAAI,IAAI,CAAC,EAAE,KAAK,GAAG,EAAE,CAAC;gBACpB,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBACzB,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC1D,MAAM,IAAI,WAAW,EAAE,CAAC;gBAC1B,CAAC;gBACD,OAAO,IAAI,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,KAAK,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/E,CAAC;YACD,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;gBAAE,MAAM,IAAI,WAAW,EAAE,CAAC;YACpD,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,YAAY,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;YAC3E,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC;QACpC,CAAC;QACD;YACE,MAAM,IAAI,WAAW,EAAE,CAAC,CAAC,sCAAsC;IACnE,CAAC;AACH,CAAC;AAED,MAAM,GAAG,GAAG,CAAC,CAAS,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,aAAa,EAAE,CAAC,CAAC;AAE/F;;wCAEwC;AACxC,SAAS,QAAQ,CAAC,IAAc,EAAE,IAA2B;IAC3D,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,cAAc,EAAE,CAAC;YACpB,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;gBACnE,MAAM,IAAI,WAAW,EAAE,CAAC;YAC1B,CAAC;YACD,OAAO,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzB,CAAC;QACD,KAAK,YAAY,EAAE,CAAC;YAClB,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YACpE,IAAI,CAAC,CAAC;gBAAE,MAAM,IAAI,WAAW,EAAE,CAAC,CAAC,4BAA4B;YAC7D,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC;QACtD,CAAC;QACD,KAAK,iBAAiB;YACpB,IAAI,CAAC,IAAI,CAAC,OAAO;gBAAE,MAAM,IAAI,WAAW,EAAE,CAAC;YAC3C,OAAO,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QACtC,KAAK,cAAc,EAAE,CAAC;YACpB,MAAM,EAAE,GAAG,IAAI,CAAC,EAAE,CAAC;YACnB,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC;YAC7B,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;gBACf,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;oBAAE,MAAM,IAAI,WAAW,EAAE,CAAC;gBAC/C,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;gBACpB,IACE,GAAG,CAAC,IAAI,KAAK,cAAc;oBAC3B,OAAO,GAAG,CAAC,KAAK,KAAK,QAAQ;oBAC7B,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,EAC5B,CAAC;oBACD,MAAM,IAAI,WAAW,EAAE,CAAC,CAAC,yCAAyC;gBACpE,CAAC;gBACD,OAAO;oBACL,IAAI,EAAE,IAAI;oBACV,EAAE,EAAE,GAAG;oBACP,IAAI,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;iBAChD,CAAC;YACJ,CAAC;YACD,IAAI,CAAC,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,GAAG,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACpD,2BAA2B;gBAC3B,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC;YAC3E,CAAC;YACD,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;gBACzD,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;oBAAE,MAAM,IAAI,WAAW,EAAE,CAAC;gBAC7C,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC;YACtE,CAAC;YACD,MAAM,IAAI,WAAW,EAAE,CAAC;QAC1B,CAAC;QACD;YACE,MAAM,IAAI,WAAW,EAAE,CAAC,CAAC,kCAAkC;IAC/D,CAAC;AACH,CAAC;AAED,8EAA8E;AAC9E,UAAU;AACV,8EAA8E;AAE9E,SAAS,WAAW,CAAC,IAAc,EAAE,GAAG,GAAa,EAAE;IACrD,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;SAC3C,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI;QAAE,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,IAAI;YAAE,WAAW,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;SACvE,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAClC,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAC5B,WAAW,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;IACnC,CAAC;SAAM,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACtC,WAAW,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;QAC1B,WAAW,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IAC7B,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,iBAAiB,GAAG,CAAC,IAAc,EAAY,EAAE,CACrD,WAAW,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;AAEjD,MAAM,YAAY,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;AAClE,MAAM,iBAAiB,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;AAE9C;;;uBAGuB;AACvB,SAAS,gBAAgB,CACvB,QAAkB,EAClB,SAAmB;IAEnB,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,CAC7D,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,SAAS,CAAC,CACzB,CAAC;IACF,IAAI,YAAY,GAAG,CAAC,CAAC;IACrB,KAAK,MAAM,IAAI,IAAI,iBAAiB,EAAE,CAAC;QACrC,MAAM,MAAM,GAA2B,EAAE,CAAC;QAC1C,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;YACzB,MAAM,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,CAAC,GAAG,YAAY,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC;QAC9D,CAAC,CAAC,CAAC;QACH,IAAI,CAAS,CAAC;QACd,IAAI,CAAS,CAAC;QACd,IAAI,CAAC;YACH,CAAC,GAAG,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;YAC/B,CAAC,GAAG,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;QAClC,CAAC;QAAC,MAAM,CAAC;YACP,SAAS,CAAC,8CAA8C;QAC1D,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;YAAE,SAAS;QACzD,YAAY,EAAE,CAAC;QACf,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,IAAI;YAAE,OAAO,UAAU,CAAC;IACnE,CAAC;IACD,OAAO,YAAY,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,cAAc,CAAC;AACtD,CAAC;AAaD;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,KAAK,UAAU,qBAAqB;IACzC,OAAO,CAAC,MAAM,cAAc,EAAE,CAAC,KAAK,IAAI,CAAC;AAC3C,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,IAAc;IAC/C,MAAM,GAAG,GAAG,MAAM,cAAc,EAAE,CAAC;IACnC,IAAI,CAAC,GAAG;QAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC;IAE7C,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC3C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAoB,CAAC;IACzC,IAAI,SAAmB,CAAC;IACxB,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;QAC/C,0EAA0E;QAC1E,2EAA2E;QAC3E,sEAAsE;QACtE,MAAM,cAAc,GAAG,WAAW,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACvE,SAAS,GAAG,QAAQ,CAAC,cAAc,EAAE,IAAI,CAAC,CAAC;IAC7C,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC,6CAA6C;IACnF,CAAC;IAED,4EAA4E;IAC5E,2CAA2C;IAC3C,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,iBAAiB,CAAC;IACjD,8EAA8E;IAC9E,4EAA4E;IAC5E,iEAAiE;IACjE,qEAAqE;IACrE,IACE,OAAO,KAAK,IAAI;QAChB,SAAS,CAAC,IAAI,KAAK,QAAQ;QAC3B,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE;QAC5B,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,EAC5B,CAAC;QACD,SAAS,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC;IAC1D,CAAC;IACD,MAAM,SAAS,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC;IACtC,IAAI,OAAO,KAAK,IAAI,IAAI,CAAC,SAAS,CAAC,EAAE,IAAI,SAAS,CAAC,iBAAiB,KAAK,IAAI,EAAE,CAAC;QAC9E,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC;IACrC,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,SAAS,CAAC,iBAAiB,CAAC,EAAE,CAAC;QAClD,MAAM,IAAI,mBAAmB,CAC3B,iEAAiE;YAC/D,kBAAkB,CACrB,CAAC;IACJ,CAAC;IAED,8DAA8D;IAC9D,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC;IAClD,KAAK,MAAM,CAAC,IAAI,iBAAiB,CAAC,SAAS,CAAC,EAAE,CAAC;QAC7C,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC,qBAAqB;IACjF,CAAC;IAED,+BAA+B;IAC/B,MAAM,OAAO,GAAG,gBAAgB,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IAClD,IAAI,OAAO,KAAK,UAAU,EAAE,CAAC;QAC3B,MAAM,IAAI,mBAAmB,CAC3B,mEAAmE;YACjE,sCAAsC,CACzC,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,KAAK,cAAc;QAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC;IAEnE,+DAA+D;IAC/D,MAAM,OAAO,GAAG,WAAW,CAAC,SAAS,CAAC,CAAC,MAAM,KAAK,WAAW,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC;IAC3E,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,UAAU,EAAE,OAAO,EAAE,CAAC;AAClD,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,CAAC,KAAK,UAAU,kBAAkB,CAAC,GAAe;IACtD,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,MAAM,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC1D,IAAI,CAAC,UAAU;QAAE,OAAO,GAAG,CAAC;IAC5B,OAAO,cAAc,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;AAC7D,CAAC"}
@@ -0,0 +1,78 @@
1
+ import type { BridgeEdge } from './edge.js';
2
+ /**
3
+ * The link proposer's existing label, quoted from `upt candidates`.
4
+ * Not a new verdict.
5
+ *
6
+ * @internal
7
+ */
8
+ export declare const CANDIDATE_NOT_A_BRIDGE_REASON = "a coincidence-heavy REVIEW SURFACE, NOT discovered bridges";
9
+ /**
10
+ * Bridge ids the negative-catalog comment already names as contested.
11
+ * A contested row stays out of the null-result list until an adjudication
12
+ * exists. A membership rejection is that adjudication.
13
+ *
14
+ * @internal
15
+ */
16
+ export declare const CONTESTED_BRIDGE_IDS: readonly string[];
17
+ /** @internal */
18
+ export type ConfrontationMarkStatus = 'unconfrontable' | 'data-pending';
19
+ /** @internal */
20
+ export interface ConfrontationMark {
21
+ readonly id: string;
22
+ readonly status: ConfrontationMarkStatus;
23
+ readonly reason: string;
24
+ }
25
+ /** @internal */
26
+ export interface NullResultRow {
27
+ readonly id: string;
28
+ readonly reason: string;
29
+ readonly source: 'membership-rejection' | 'candidate' | 'confrontation';
30
+ }
31
+ /** @internal */
32
+ export interface FrontierAccountRow {
33
+ readonly id: string;
34
+ readonly left: string;
35
+ readonly right: string;
36
+ readonly reason: string;
37
+ /** A registered observation id, or the words `observation absent`. */
38
+ readonly observation: string;
39
+ }
40
+ /** @internal */
41
+ export interface FrontierAccount {
42
+ readonly nullResults: readonly NullResultRow[];
43
+ readonly frontier: readonly FrontierAccountRow[];
44
+ }
45
+ /** @internal */
46
+ export interface FrontierAccountOptions {
47
+ readonly rejections?: readonly {
48
+ id: string;
49
+ reason: string;
50
+ }[];
51
+ readonly contestedIds?: readonly string[];
52
+ readonly marks?: readonly ConfrontationMark[];
53
+ /**
54
+ * Expression gaps are catalog-wide applied-case templates, not missing
55
+ * edges of a fixture graph. The live catalog includes them because
56
+ * `upt probe scan` emits them. A fixture with no missing edges does not.
57
+ */
58
+ readonly includeExpressionGaps?: boolean;
59
+ }
60
+ /** Read marks only where an entry already carries the status. Invent none. @internal */
61
+ export declare function marksFromEntries(entries: readonly {
62
+ bridgeId: number;
63
+ title: string;
64
+ status?: string;
65
+ reason?: string;
66
+ }[]): ConfrontationMark[];
67
+ /**
68
+ * Null results and frontier rows for one graph. Rejections, contested ids,
69
+ * and confrontation marks are inputs: the function does not invent them.
70
+ *
71
+ * @internal
72
+ */
73
+ export declare function accountFromGraph(edges: readonly BridgeEdge[], options?: FrontierAccountOptions): FrontierAccount;
74
+ /** The catalog's two lists. Expression gaps are included because probe scan emits them. @internal */
75
+ export declare function catalogFrontierAccount(): FrontierAccount;
76
+ /** Both headings and both counts. An empty list is the word `(empty)`, not silence. @internal */
77
+ export declare function formatFrontierAccount(account: FrontierAccount): string;
78
+ //# sourceMappingURL=frontier-account.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"frontier-account.d.ts","sourceRoot":"","sources":["../../src/composition/frontier-account.ts"],"names":[],"mappings":"AAWA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAO5C;;;;;GAKG;AACH,eAAO,MAAM,6BAA6B,+DACoB,CAAC;AAE/D;;;;;;GAMG;AACH,eAAO,MAAM,oBAAoB,EAAE,SAAS,MAAM,EAAgC,CAAC;AAEnF,gBAAgB;AAChB,MAAM,MAAM,uBAAuB,GAAG,gBAAgB,GAAG,cAAc,CAAC;AAExE,gBAAgB;AAChB,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE,uBAAuB,CAAC;IACzC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,gBAAgB;AAChB,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,sBAAsB,GAAG,WAAW,GAAG,eAAe,CAAC;CACzE;AAED,gBAAgB;AAChB,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,sEAAsE;IACtE,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC9B;AAED,gBAAgB;AAChB,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,WAAW,EAAE,SAAS,aAAa,EAAE,CAAC;IAC/C,QAAQ,CAAC,QAAQ,EAAE,SAAS,kBAAkB,EAAE,CAAC;CAClD;AAED,gBAAgB;AAChB,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAChE,QAAQ,CAAC,YAAY,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1C,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAC9C;;;;OAIG;IACH,QAAQ,CAAC,qBAAqB,CAAC,EAAE,OAAO,CAAC;CAC1C;AAQD,wFAAwF;AACxF,wBAAgB,gBAAgB,CAC9B,OAAO,EAAE,SAAS;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CAAE,EAAE,GACxF,iBAAiB,EAAE,CAQrB;AAoBD;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAC9B,KAAK,EAAE,SAAS,UAAU,EAAE,EAC5B,OAAO,GAAE,sBAA2B,GACnC,eAAe,CA4BjB;AAED,qGAAqG;AACrG,wBAAgB,sBAAsB,IAAI,eAAe,CAUxD;AAED,iGAAiG;AACjG,wBAAgB,qBAAqB,CAAC,OAAO,EAAE,eAAe,GAAG,MAAM,CAatE"}
@@ -0,0 +1,127 @@
1
+ /**
2
+ * Two lists the catalog already knows how to tell apart: records that were
3
+ * examined and did not become an accepted connection, and connections the
4
+ * catalog does not contain. Neither list is a verdict and neither list
5
+ * changes a score.
6
+ *
7
+ * @module composition/frontier-account
8
+ * @internal
9
+ */
10
+ import { proposeLinkCandidates } from './bridge-analysis.js';
11
+ import { CATALOG_GRAPH } from './catalog-graph.js';
12
+ import { scanFrontier } from './probe/frontier.js';
13
+ import { expressionSearchGaps } from './probe/expression-gaps.js';
14
+ import { REJECTED_BRIDGE_ADJUDICATIONS } from '../bridges/rejected.js';
15
+ import { listConfrontations } from '../bridges/confrontations.js';
16
+ /**
17
+ * The link proposer's existing label, quoted from `upt candidates`.
18
+ * Not a new verdict.
19
+ *
20
+ * @internal
21
+ */
22
+ export const CANDIDATE_NOT_A_BRIDGE_REASON = 'a coincidence-heavy REVIEW SURFACE, NOT discovered bridges';
23
+ /**
24
+ * Bridge ids the negative-catalog comment already names as contested.
25
+ * A contested row stays out of the null-result list until an adjudication
26
+ * exists. A membership rejection is that adjudication.
27
+ *
28
+ * @internal
29
+ */
30
+ export const CONTESTED_BRIDGE_IDS = ['be-44', 'be-46', 'be-50'];
31
+ const OBSERVATION_ABSENT = 'observation absent';
32
+ function byId(rows) {
33
+ return [...rows].sort((a, b) => a.id.localeCompare(b.id) || a.id.localeCompare(b.id));
34
+ }
35
+ /** Read marks only where an entry already carries the status. Invent none. @internal */
36
+ export function marksFromEntries(entries) {
37
+ const out = [];
38
+ for (const entry of entries) {
39
+ if (entry.status !== 'unconfrontable' && entry.status !== 'data-pending')
40
+ continue;
41
+ const reason = entry.reason?.trim() ? entry.reason : entry.title;
42
+ out.push({ id: `be-${entry.bridgeId}`, status: entry.status, reason });
43
+ }
44
+ return out;
45
+ }
46
+ function sidesOf(gap) {
47
+ const participants = gap.participants.map((p) => p.id).filter((id) => id !== '');
48
+ if (participants.length >= 2)
49
+ return { left: participants[0], right: participants[1] };
50
+ if (gap.regimes.length >= 2)
51
+ return { left: gap.regimes[0], right: gap.regimes[1] };
52
+ return { left: gap.id, right: gap.evidence.summary };
53
+ }
54
+ function frontierRow(gap) {
55
+ const sides = sidesOf(gap);
56
+ return {
57
+ id: gap.id,
58
+ left: sides.left,
59
+ right: sides.right,
60
+ reason: gap.kind,
61
+ observation: gap.observations.length > 0 ? gap.observations.join(', ') : OBSERVATION_ABSENT,
62
+ };
63
+ }
64
+ /**
65
+ * Null results and frontier rows for one graph. Rejections, contested ids,
66
+ * and confrontation marks are inputs: the function does not invent them.
67
+ *
68
+ * @internal
69
+ */
70
+ export function accountFromGraph(edges, options = {}) {
71
+ const contested = new Set(options.contestedIds ?? []);
72
+ const rejectionIds = new Set((options.rejections ?? []).map((row) => row.id));
73
+ const nullResults = [];
74
+ for (const rejection of options.rejections ?? []) {
75
+ nullResults.push({ id: rejection.id, reason: rejection.reason, source: 'membership-rejection' });
76
+ }
77
+ for (const candidate of proposeLinkCandidates(edges)) {
78
+ nullResults.push({
79
+ id: `candidate:${candidate.a}:${candidate.b}`,
80
+ reason: CANDIDATE_NOT_A_BRIDGE_REASON,
81
+ source: 'candidate',
82
+ });
83
+ }
84
+ for (const mark of options.marks ?? []) {
85
+ if (contested.has(mark.id) && !rejectionIds.has(mark.id))
86
+ continue;
87
+ nullResults.push({ id: mark.id, reason: mark.reason, source: 'confrontation' });
88
+ }
89
+ const gaps = [
90
+ ...scanFrontier(edges),
91
+ ...(options.includeExpressionGaps ? expressionSearchGaps() : []),
92
+ ];
93
+ return {
94
+ nullResults: byId(nullResults),
95
+ frontier: byId(gaps.map(frontierRow)),
96
+ };
97
+ }
98
+ /** The catalog's two lists. Expression gaps are included because probe scan emits them. @internal */
99
+ export function catalogFrontierAccount() {
100
+ return accountFromGraph(CATALOG_GRAPH, {
101
+ rejections: REJECTED_BRIDGE_ADJUDICATIONS.map((row) => ({
102
+ id: `be-${row.beId}`,
103
+ reason: row.reason,
104
+ })),
105
+ contestedIds: CONTESTED_BRIDGE_IDS,
106
+ marks: marksFromEntries(listConfrontations()),
107
+ includeExpressionGaps: true,
108
+ });
109
+ }
110
+ /** Both headings and both counts. An empty list is the word `(empty)`, not silence. @internal */
111
+ export function formatFrontierAccount(account) {
112
+ const lines = [];
113
+ lines.push(`Null results (${account.nullResults.length})`);
114
+ if (account.nullResults.length === 0)
115
+ lines.push(' (empty)');
116
+ for (const row of account.nullResults) {
117
+ lines.push(` ${row.id} ${row.reason}`);
118
+ }
119
+ lines.push(`Frontier (${account.frontier.length})`);
120
+ if (account.frontier.length === 0)
121
+ lines.push(' (empty)');
122
+ for (const row of account.frontier) {
123
+ lines.push(` ${row.left} — ${row.right} ${row.reason} ${row.observation}`);
124
+ }
125
+ return lines.join('\n');
126
+ }
127
+ //# sourceMappingURL=frontier-account.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"frontier-account.js","sourceRoot":"","sources":["../../src/composition/frontier-account.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,OAAO,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAC;AAC7D,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAEnD,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACnD,OAAO,EAAE,oBAAoB,EAAE,MAAM,4BAA4B,CAAC;AAElE,OAAO,EAAE,6BAA6B,EAAE,MAAM,wBAAwB,CAAC;AACvE,OAAO,EAAE,kBAAkB,EAAE,MAAM,8BAA8B,CAAC;AAElE;;;;;GAKG;AACH,MAAM,CAAC,MAAM,6BAA6B,GACxC,4DAA4D,CAAC;AAE/D;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAsB,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;AAgDnF,MAAM,kBAAkB,GAAG,oBAAoB,CAAC;AAEhD,SAAS,IAAI,CAA2B,IAAkB;IACxD,OAAO,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AACxF,CAAC;AAED,wFAAwF;AACxF,MAAM,UAAU,gBAAgB,CAC9B,OAAyF;IAEzF,MAAM,GAAG,GAAwB,EAAE,CAAC;IACpC,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,IAAI,KAAK,CAAC,MAAM,KAAK,gBAAgB,IAAI,KAAK,CAAC,MAAM,KAAK,cAAc;YAAE,SAAS;QACnF,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC;QACjE,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,MAAM,KAAK,CAAC,QAAQ,EAAE,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;IACzE,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,OAAO,CAAC,GAAgB;IAC/B,MAAM,YAAY,GAAG,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;IACjF,IAAI,YAAY,CAAC,MAAM,IAAI,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,YAAY,CAAC,CAAC,CAAE,EAAE,KAAK,EAAE,YAAY,CAAC,CAAC,CAAE,EAAE,CAAC;IACzF,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,IAAI,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,CAAE,EAAE,KAAK,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,CAAE,EAAE,CAAC;IACtF,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,KAAK,EAAE,GAAG,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC;AACvD,CAAC;AAED,SAAS,WAAW,CAAC,GAAgB;IACnC,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;IAC3B,OAAO;QACL,EAAE,EAAE,GAAG,CAAC,EAAE;QACV,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,MAAM,EAAE,GAAG,CAAC,IAAI;QAChB,WAAW,EAAE,GAAG,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,kBAAkB;KAC5F,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAC9B,KAA4B,EAC5B,OAAO,GAA2B,EAAE;IAEpC,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC;IACtD,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,CAAC,OAAO,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IAC9E,MAAM,WAAW,GAAoB,EAAE,CAAC;IAExC,KAAK,MAAM,SAAS,IAAI,OAAO,CAAC,UAAU,IAAI,EAAE,EAAE,CAAC;QACjD,WAAW,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,SAAS,CAAC,EAAE,EAAE,MAAM,EAAE,SAAS,CAAC,MAAM,EAAE,MAAM,EAAE,sBAAsB,EAAE,CAAC,CAAC;IACnG,CAAC;IACD,KAAK,MAAM,SAAS,IAAI,qBAAqB,CAAC,KAAK,CAAC,EAAE,CAAC;QACrD,WAAW,CAAC,IAAI,CAAC;YACf,EAAE,EAAE,aAAa,SAAS,CAAC,CAAC,IAAI,SAAS,CAAC,CAAC,EAAE;YAC7C,MAAM,EAAE,6BAA6B;YACrC,MAAM,EAAE,WAAW;SACpB,CAAC,CAAC;IACL,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,KAAK,IAAI,EAAE,EAAE,CAAC;QACvC,IAAI,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAAE,SAAS;QACnE,WAAW,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,MAAM,EAAE,eAAe,EAAE,CAAC,CAAC;IAClF,CAAC;IAED,MAAM,IAAI,GAAG;QACX,GAAG,YAAY,CAAC,KAAK,CAAC;QACtB,GAAG,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAAC,CAAC,oBAAoB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACjE,CAAC;IACF,OAAO;QACL,WAAW,EAAE,IAAI,CAAC,WAAW,CAAC;QAC9B,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;KACtC,CAAC;AACJ,CAAC;AAED,qGAAqG;AACrG,MAAM,UAAU,sBAAsB;IACpC,OAAO,gBAAgB,CAAC,aAAa,EAAE;QACrC,UAAU,EAAE,6BAA6B,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;YACtD,EAAE,EAAE,MAAM,GAAG,CAAC,IAAI,EAAE;YACpB,MAAM,EAAE,GAAG,CAAC,MAAM;SACnB,CAAC,CAAC;QACH,YAAY,EAAE,oBAAoB;QAClC,KAAK,EAAE,gBAAgB,CAAC,kBAAkB,EAAE,CAAC;QAC7C,qBAAqB,EAAE,IAAI;KAC5B,CAAC,CAAC;AACL,CAAC;AAED,iGAAiG;AACjG,MAAM,UAAU,qBAAqB,CAAC,OAAwB;IAC5D,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,iBAAiB,OAAO,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC;IAC3D,IAAI,OAAO,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAC9D,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC;QACtC,KAAK,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC;IAC3C,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,aAAa,OAAO,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC;IACpD,IAAI,OAAO,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAC3D,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;QACnC,KAAK,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,IAAI,MAAM,GAAG,CAAC,KAAK,KAAK,GAAG,CAAC,MAAM,KAAK,GAAG,CAAC,WAAW,EAAE,CAAC,CAAC;IAChF,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}
@@ -19,7 +19,7 @@
19
19
  * @module composition/graph-viz
20
20
  */
21
21
  import type { BridgeEdge } from './edge.js';
22
- import type { EvidenceTag, RelationType } from '../atlas/types.js';
22
+ import type { EvidenceTag, RelationType } from '../relations/types.js';
23
23
  /**
24
24
  * Epistemic status of a junction — drives node colour/shape. Bridges carry
25
25
  * their catalog confidence; `law` is a diagonal/established-physics edge;
@@ -142,9 +142,12 @@ export interface VizOptions {
142
142
  */
143
143
  readonly evidence?: EvidenceTag;
144
144
  /**
145
- * Override the evidence derivation. Exists so a test can prove the filter
146
- * selects on DERIVED tags rather than on anything stored; production callers
147
- * leave it unset and get {@link deriveEdgeEvidence}.
145
+ * The derivation used when `evidence` is set. The catalog derivation lives
146
+ * with the CLI (`cli/map-evidence.ts`), which passes it. This module does
147
+ * not import that derivation. A junction with a numeric `beId` and no
148
+ * function here cannot be evaluated, and the filter throws rather than
149
+ * rendering an unfiltered map as a filtered one. A junction with no numeric
150
+ * `beId` is lacking metadata and does not call the function.
148
151
  */
149
152
  readonly deriveEvidence?: (beId: number) => ReadonlySet<EvidenceTag>;
150
153
  }
@@ -170,24 +173,6 @@ export interface VizModel {
170
173
  * catalog-backed, else the edge's own label — a *map* reads better with short
171
174
  * junction names; the full formula stays in the catalog. */
172
175
  export declare function edgeToJunction(edge: BridgeEdge): VizJunction;
173
- /**
174
- * Derive the evidence tags of the catalog row a `beId` names — at READ TIME,
175
- * from the artifacts that row actually carries.
176
- *
177
- * This is the whole contract: there is no evidence FIELD anywhere to read. A
178
- * stored tag would be an assertion nobody re-checks, which is the failure this
179
- * project has already removed twice. An unknown `beId` derives the empty set
180
- * (no row, no artifacts, no claim) rather than a default tag.
181
- *
182
- * `NO_PASSING_WITNESSES` is passed deliberately: catalog rows declare no
183
- * `witnesses` at all, so no witness-backed tag can be earned from them today,
184
- * and saying so explicitly is required by `deriveEvidence`'s own contract.
185
- *
186
- * @internal — CLI support, reached through `src/cli-api.ts`. Not on the
187
- * published surface: `tests/api/public-surface.test.ts` pins that surface and
188
- * a filter helper is not part of the library's v0.4.0 contract.
189
- */
190
- export declare function deriveEdgeEvidence(beId: number): ReadonlySet<EvidenceTag>;
191
176
  /**
192
177
  * Apply the same filters `buildVizModel` applies, to a raw edge list — so the
193
178
  * TEXT map and the visual map can never disagree about what a filter selects.
@@ -1 +1 @@
1
- {"version":3,"file":"graph-viz.d.ts","sourceRoot":"","sources":["../../src/composition/graph-viz.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAE5C,OAAO,KAAK,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAQnE;;;;;;GAMG;AACH,MAAM,MAAM,SAAS,GACjB,KAAK,GACL,aAAa,GACb,aAAa,GACb,oBAAoB,GACpB,UAAU,GACV,MAAM,GACN,QAAQ,GACR,aAAa,CAAC;AAElB;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,gBAAgB,EAAE,SAAS,SAAS,EAShD,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,WAAW,WAAW;IAC1B,4CAA4C;IAC5C,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,yBAAyB;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC;IAC3B,6BAA6B;IAC7B,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,4BAA4B;IAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB;;;;;;OAMG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE,YAAY,CAAC;IACjC;;;;OAIG;IACH,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;CAC/B;AAED;;;;;;;;;GASG;AACH,MAAM,WAAW,cAAc;IAC7B,8CAA8C;IAC9C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,0BAA0B;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,wEAAwE;IACxE,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,oEAAoE;IACpE,QAAQ,CAAC,sBAAsB,EAAE,MAAM,CAAC;IACxC,8CAA8C;IAC9C,QAAQ,CAAC,QAAQ,CAAC,EAAE,YAAY,CAAC;IACjC,8CAA8C;IAC9C,QAAQ,CAAC,QAAQ,CAAC,EAAE,WAAW,CAAC;CACjC;AAED;;;;GAIG;AACH,MAAM,WAAW,UAAU;IACzB,sCAAsC;IACtC,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IACxC,qEAAqE;IACrE,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,uEAAuE;IACvE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,2EAA2E;IAC3E,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;CAC5B;AAED;;;;GAIG;AACH,MAAM,WAAW,UAAU;IACzB,+CAA+C;IAC/C,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,+EAA+E;IAC/E,QAAQ,CAAC,cAAc,CAAC,EAAE,SAAS,WAAW,EAAE,CAAC;IACjD;;;;;;;;OAQG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE,YAAY,CAAC;IACjC;;;;;;;OAOG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE,WAAW,CAAC;IAChC;;;;OAIG;IACH,QAAQ,CAAC,cAAc,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,WAAW,CAAC,WAAW,CAAC,CAAC;CACtE;AAED;;;;;GAKG;AACH,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,SAAS,EAAE,SAAS,WAAW,EAAE,CAAC;IAC3C,QAAQ,CAAC,QAAQ,EAAE,SAAS,UAAU,EAAE,CAAC;IACzC,0EAA0E;IAC1E,QAAQ,CAAC,WAAW,EAAE,cAAc,CAAC;IACrC,8EAA8E;IAC9E,QAAQ,CAAC,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IACrC,SAAS,IAAI,MAAM,CAAC;IACpB,KAAK,IAAI,MAAM,CAAC;CACjB;AAqBD;;;;4DAI4D;AAC5D,wBAAgB,cAAc,CAAC,IAAI,EAAE,UAAU,GAAG,WAAW,CAW5D;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,MAAM,GAAG,WAAW,CAAC,WAAW,CAAC,CAQzE;AA2BD;;;;;GAKG;AACH,wBAAgB,WAAW,CACzB,KAAK,EAAE,SAAS,UAAU,EAAE,EAC5B,IAAI,EAAE,IAAI,CAAC,UAAU,EAAE,UAAU,GAAG,UAAU,GAAG,gBAAgB,CAAC,GACjE;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,EAAE,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAA;CAAE,CA4BjE;AAED;;;;;;GAMG;AACH,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,cAAc,GAAG,MAAM,GAAG,IAAI,CAUvE;AAiPD;;;;;;GAMG;AACH,wBAAgB,aAAa,CAC3B,KAAK,EAAE,SAAS,UAAU,EAAE,EAC5B,IAAI,GAAE,UAAe,GACpB,QAAQ,CA4DV"}
1
+ {"version":3,"file":"graph-viz.d.ts","sourceRoot":"","sources":["../../src/composition/graph-viz.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAE5C,OAAO,KAAK,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AAEvE;;;;;;GAMG;AACH,MAAM,MAAM,SAAS,GACjB,KAAK,GACL,aAAa,GACb,aAAa,GACb,oBAAoB,GACpB,UAAU,GACV,MAAM,GACN,QAAQ,GACR,aAAa,CAAC;AAElB;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,gBAAgB,EAAE,SAAS,SAAS,EAShD,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,WAAW,WAAW;IAC1B,4CAA4C;IAC5C,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,yBAAyB;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC;IAC3B,6BAA6B;IAC7B,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,4BAA4B;IAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB;;;;;;OAMG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE,YAAY,CAAC;IACjC;;;;OAIG;IACH,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;CAC/B;AAED;;;;;;;;;GASG;AACH,MAAM,WAAW,cAAc;IAC7B,8CAA8C;IAC9C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,0BAA0B;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,wEAAwE;IACxE,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,oEAAoE;IACpE,QAAQ,CAAC,sBAAsB,EAAE,MAAM,CAAC;IACxC,8CAA8C;IAC9C,QAAQ,CAAC,QAAQ,CAAC,EAAE,YAAY,CAAC;IACjC,8CAA8C;IAC9C,QAAQ,CAAC,QAAQ,CAAC,EAAE,WAAW,CAAC;CACjC;AAED;;;;GAIG;AACH,MAAM,WAAW,UAAU;IACzB,sCAAsC;IACtC,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IACxC,qEAAqE;IACrE,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,uEAAuE;IACvE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,2EAA2E;IAC3E,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;CAC5B;AAED;;;;GAIG;AACH,MAAM,WAAW,UAAU;IACzB,+CAA+C;IAC/C,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,+EAA+E;IAC/E,QAAQ,CAAC,cAAc,CAAC,EAAE,SAAS,WAAW,EAAE,CAAC;IACjD;;;;;;;;OAQG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE,YAAY,CAAC;IACjC;;;;;;;OAOG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE,WAAW,CAAC;IAChC;;;;;;;OAOG;IACH,QAAQ,CAAC,cAAc,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,WAAW,CAAC,WAAW,CAAC,CAAC;CACtE;AAED;;;;;GAKG;AACH,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,SAAS,EAAE,SAAS,WAAW,EAAE,CAAC;IAC3C,QAAQ,CAAC,QAAQ,EAAE,SAAS,UAAU,EAAE,CAAC;IACzC,0EAA0E;IAC1E,QAAQ,CAAC,WAAW,EAAE,cAAc,CAAC;IACrC,8EAA8E;IAC9E,QAAQ,CAAC,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IACrC,SAAS,IAAI,MAAM,CAAC;IACpB,KAAK,IAAI,MAAM,CAAC;CACjB;AAqBD;;;;4DAI4D;AAC5D,wBAAgB,cAAc,CAAC,IAAI,EAAE,UAAU,GAAG,WAAW,CAW5D;AAgCD;;;;;GAKG;AACH,wBAAgB,WAAW,CACzB,KAAK,EAAE,SAAS,UAAU,EAAE,EAC5B,IAAI,EAAE,IAAI,CAAC,UAAU,EAAE,UAAU,GAAG,UAAU,GAAG,gBAAgB,CAAC,GACjE;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,EAAE,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAA;CAAE,CA4BjE;AAED;;;;;;GAMG;AACH,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,cAAc,GAAG,MAAM,GAAG,IAAI,CAUvE;AAiPD;;;;;;GAMG;AACH,wBAAgB,aAAa,CAC3B,KAAK,EAAE,SAAS,UAAU,EAAE,EAC5B,IAAI,GAAE,UAAe,GACpB,QAAQ,CA4DV"}