@stevenvo780/st-lang 4.2.0 → 4.4.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (575) hide show
  1. package/dist/index.d.ts +8 -0
  2. package/dist/index.d.ts.map +1 -1
  3. package/dist/index.js +70 -1
  4. package/dist/index.js.map +1 -1
  5. package/dist/lambda-calc/church.d.ts +8 -0
  6. package/dist/lambda-calc/church.d.ts.map +1 -0
  7. package/dist/lambda-calc/church.js +67 -0
  8. package/dist/lambda-calc/church.js.map +1 -0
  9. package/dist/lambda-calc/combinators.d.ts +8 -0
  10. package/dist/lambda-calc/combinators.d.ts.map +1 -0
  11. package/dist/lambda-calc/combinators.js +24 -0
  12. package/dist/lambda-calc/combinators.js.map +1 -0
  13. package/dist/lambda-calc/index.d.ts +8 -0
  14. package/dist/lambda-calc/index.d.ts.map +1 -0
  15. package/dist/lambda-calc/index.js +48 -0
  16. package/dist/lambda-calc/index.js.map +1 -0
  17. package/dist/lambda-calc/reduce.d.ts +18 -0
  18. package/dist/lambda-calc/reduce.d.ts.map +1 -0
  19. package/dist/lambda-calc/reduce.js +174 -0
  20. package/dist/lambda-calc/reduce.js.map +1 -0
  21. package/dist/lambda-calc/substitution.d.ts +6 -0
  22. package/dist/lambda-calc/substitution.d.ts.map +1 -0
  23. package/dist/lambda-calc/substitution.js +120 -0
  24. package/dist/lambda-calc/substitution.js.map +1 -0
  25. package/dist/lambda-calc/types.d.ts +19 -0
  26. package/dist/lambda-calc/types.d.ts.map +1 -0
  27. package/dist/lambda-calc/types.js +72 -0
  28. package/dist/lambda-calc/types.js.map +1 -0
  29. package/dist/mltt/equality.d.ts +9 -0
  30. package/dist/mltt/equality.d.ts.map +1 -0
  31. package/dist/mltt/equality.js +79 -0
  32. package/dist/mltt/equality.js.map +1 -0
  33. package/dist/mltt/index.d.ts +8 -0
  34. package/dist/mltt/index.d.ts.map +1 -0
  35. package/dist/mltt/index.js +49 -0
  36. package/dist/mltt/index.js.map +1 -0
  37. package/dist/mltt/infer.d.ts +17 -0
  38. package/dist/mltt/infer.d.ts.map +1 -0
  39. package/dist/mltt/infer.js +269 -0
  40. package/dist/mltt/infer.js.map +1 -0
  41. package/dist/mltt/normalize.d.ts +7 -0
  42. package/dist/mltt/normalize.d.ts.map +1 -0
  43. package/dist/mltt/normalize.js +131 -0
  44. package/dist/mltt/normalize.js.map +1 -0
  45. package/dist/mltt/substitute.d.ts +4 -0
  46. package/dist/mltt/substitute.d.ts.map +1 -0
  47. package/dist/mltt/substitute.js +94 -0
  48. package/dist/mltt/substitute.js.map +1 -0
  49. package/dist/mltt/types.d.ts +72 -0
  50. package/dist/mltt/types.d.ts.map +1 -0
  51. package/dist/mltt/types.js +211 -0
  52. package/dist/mltt/types.js.map +1 -0
  53. package/dist/profiles/intuitionistic-nj/formula.d.ts +19 -0
  54. package/dist/profiles/intuitionistic-nj/formula.d.ts.map +1 -0
  55. package/dist/profiles/intuitionistic-nj/formula.js +99 -0
  56. package/dist/profiles/intuitionistic-nj/formula.js.map +1 -0
  57. package/dist/profiles/intuitionistic-nj/index.d.ts +5 -0
  58. package/dist/profiles/intuitionistic-nj/index.d.ts.map +1 -0
  59. package/dist/profiles/intuitionistic-nj/index.js +24 -0
  60. package/dist/profiles/intuitionistic-nj/index.js.map +1 -0
  61. package/dist/profiles/intuitionistic-nj/kripke.d.ts +17 -0
  62. package/dist/profiles/intuitionistic-nj/kripke.d.ts.map +1 -0
  63. package/dist/profiles/intuitionistic-nj/kripke.js +206 -0
  64. package/dist/profiles/intuitionistic-nj/kripke.js.map +1 -0
  65. package/dist/profiles/intuitionistic-nj/prover.d.ts +13 -0
  66. package/dist/profiles/intuitionistic-nj/prover.d.ts.map +1 -0
  67. package/dist/profiles/intuitionistic-nj/prover.js +418 -0
  68. package/dist/profiles/intuitionistic-nj/prover.js.map +1 -0
  69. package/dist/profiles/intuitionistic-nj/types.d.ts +55 -0
  70. package/dist/profiles/intuitionistic-nj/types.d.ts.map +1 -0
  71. package/dist/profiles/intuitionistic-nj/types.js +21 -0
  72. package/dist/profiles/intuitionistic-nj/types.js.map +1 -0
  73. package/dist/profiles/many-valued/index.d.ts +39 -0
  74. package/dist/profiles/many-valued/index.d.ts.map +1 -0
  75. package/dist/profiles/many-valued/index.js +250 -0
  76. package/dist/profiles/many-valued/index.js.map +1 -0
  77. package/dist/profiles/modal-frame-axioms/formula.d.ts +23 -0
  78. package/dist/profiles/modal-frame-axioms/formula.d.ts.map +1 -0
  79. package/dist/profiles/modal-frame-axioms/formula.js +158 -0
  80. package/dist/profiles/modal-frame-axioms/formula.js.map +1 -0
  81. package/dist/profiles/modal-frame-axioms/index.d.ts +6 -0
  82. package/dist/profiles/modal-frame-axioms/index.d.ts.map +1 -0
  83. package/dist/profiles/modal-frame-axioms/index.js +41 -0
  84. package/dist/profiles/modal-frame-axioms/index.js.map +1 -0
  85. package/dist/profiles/modal-frame-axioms/systems.d.ts +29 -0
  86. package/dist/profiles/modal-frame-axioms/systems.d.ts.map +1 -0
  87. package/dist/profiles/modal-frame-axioms/systems.js +96 -0
  88. package/dist/profiles/modal-frame-axioms/systems.js.map +1 -0
  89. package/dist/profiles/modal-frame-axioms/tableau.d.ts +12 -0
  90. package/dist/profiles/modal-frame-axioms/tableau.d.ts.map +1 -0
  91. package/dist/profiles/modal-frame-axioms/tableau.js +299 -0
  92. package/dist/profiles/modal-frame-axioms/tableau.js.map +1 -0
  93. package/dist/profiles/modal-frame-axioms/types.d.ts +61 -0
  94. package/dist/profiles/modal-frame-axioms/types.d.ts.map +1 -0
  95. package/dist/profiles/modal-frame-axioms/types.js +27 -0
  96. package/dist/profiles/modal-frame-axioms/types.js.map +1 -0
  97. package/dist/profiles/mu-calculus/check.d.ts +15 -0
  98. package/dist/profiles/mu-calculus/check.d.ts.map +1 -0
  99. package/dist/profiles/mu-calculus/check.js +172 -0
  100. package/dist/profiles/mu-calculus/check.js.map +1 -0
  101. package/dist/profiles/mu-calculus/ctl-translate.d.ts +61 -0
  102. package/dist/profiles/mu-calculus/ctl-translate.d.ts.map +1 -0
  103. package/dist/profiles/mu-calculus/ctl-translate.js +181 -0
  104. package/dist/profiles/mu-calculus/ctl-translate.js.map +1 -0
  105. package/dist/profiles/mu-calculus/index.d.ts +7 -0
  106. package/dist/profiles/mu-calculus/index.d.ts.map +1 -0
  107. package/dist/profiles/mu-calculus/index.js +33 -0
  108. package/dist/profiles/mu-calculus/index.js.map +1 -0
  109. package/dist/profiles/mu-calculus/types.d.ts +51 -0
  110. package/dist/profiles/mu-calculus/types.d.ts.map +1 -0
  111. package/dist/profiles/mu-calculus/types.js +42 -0
  112. package/dist/profiles/mu-calculus/types.js.map +1 -0
  113. package/dist/profiles/mu-calculus/wellformed.d.ts +40 -0
  114. package/dist/profiles/mu-calculus/wellformed.d.ts.map +1 -0
  115. package/dist/profiles/mu-calculus/wellformed.js +160 -0
  116. package/dist/profiles/mu-calculus/wellformed.js.map +1 -0
  117. package/dist/profiles/sequent-lk/cut-elimination.d.ts +11 -0
  118. package/dist/profiles/sequent-lk/cut-elimination.d.ts.map +1 -0
  119. package/dist/profiles/sequent-lk/cut-elimination.js +216 -0
  120. package/dist/profiles/sequent-lk/cut-elimination.js.map +1 -0
  121. package/dist/profiles/sequent-lk/index.d.ts +5 -0
  122. package/dist/profiles/sequent-lk/index.d.ts.map +1 -0
  123. package/dist/profiles/sequent-lk/index.js +24 -0
  124. package/dist/profiles/sequent-lk/index.js.map +1 -0
  125. package/dist/profiles/sequent-lk/prover.d.ts +25 -0
  126. package/dist/profiles/sequent-lk/prover.d.ts.map +1 -0
  127. package/dist/profiles/sequent-lk/prover.js +532 -0
  128. package/dist/profiles/sequent-lk/prover.js.map +1 -0
  129. package/dist/profiles/sequent-lk/types.d.ts +55 -0
  130. package/dist/profiles/sequent-lk/types.d.ts.map +1 -0
  131. package/dist/profiles/sequent-lk/types.js +18 -0
  132. package/dist/profiles/sequent-lk/types.js.map +1 -0
  133. package/dist/profiles/sequent-lk/util.d.ts +18 -0
  134. package/dist/profiles/sequent-lk/util.d.ts.map +1 -0
  135. package/dist/profiles/sequent-lk/util.js +71 -0
  136. package/dist/profiles/sequent-lk/util.js.map +1 -0
  137. package/dist/profiles/substructural/index.d.ts +4 -0
  138. package/dist/profiles/substructural/index.d.ts.map +1 -0
  139. package/dist/profiles/substructural/index.js +22 -0
  140. package/dist/profiles/substructural/index.js.map +1 -0
  141. package/dist/profiles/substructural/prover.d.ts +13 -0
  142. package/dist/profiles/substructural/prover.d.ts.map +1 -0
  143. package/dist/profiles/substructural/prover.js +481 -0
  144. package/dist/profiles/substructural/prover.js.map +1 -0
  145. package/dist/profiles/substructural/types.d.ts +72 -0
  146. package/dist/profiles/substructural/types.d.ts.map +1 -0
  147. package/dist/profiles/substructural/types.js +27 -0
  148. package/dist/profiles/substructural/types.js.map +1 -0
  149. package/dist/refinement-types/checker.d.ts +19 -0
  150. package/dist/refinement-types/checker.d.ts.map +1 -0
  151. package/dist/refinement-types/checker.js +248 -0
  152. package/dist/refinement-types/checker.js.map +1 -0
  153. package/dist/refinement-types/index.d.ts +11 -0
  154. package/dist/refinement-types/index.d.ts.map +1 -0
  155. package/dist/refinement-types/index.js +51 -0
  156. package/dist/refinement-types/index.js.map +1 -0
  157. package/dist/refinement-types/predicate.d.ts +31 -0
  158. package/dist/refinement-types/predicate.d.ts.map +1 -0
  159. package/dist/refinement-types/predicate.js +369 -0
  160. package/dist/refinement-types/predicate.js.map +1 -0
  161. package/dist/refinement-types/solver.d.ts +24 -0
  162. package/dist/refinement-types/solver.d.ts.map +1 -0
  163. package/dist/refinement-types/solver.js +207 -0
  164. package/dist/refinement-types/solver.js.map +1 -0
  165. package/dist/refinement-types/subtype.d.ts +14 -0
  166. package/dist/refinement-types/subtype.d.ts.map +1 -0
  167. package/dist/refinement-types/subtype.js +39 -0
  168. package/dist/refinement-types/subtype.js.map +1 -0
  169. package/dist/refinement-types/types.d.ts +64 -0
  170. package/dist/refinement-types/types.d.ts.map +1 -0
  171. package/dist/refinement-types/types.js +130 -0
  172. package/dist/refinement-types/types.js.map +1 -0
  173. package/dist/runtime/abduction/entails.d.ts +21 -0
  174. package/dist/runtime/abduction/entails.d.ts.map +1 -0
  175. package/dist/runtime/abduction/entails.js +308 -0
  176. package/dist/runtime/abduction/entails.js.map +1 -0
  177. package/dist/runtime/abduction/find.d.ts +18 -0
  178. package/dist/runtime/abduction/find.d.ts.map +1 -0
  179. package/dist/runtime/abduction/find.js +202 -0
  180. package/dist/runtime/abduction/find.js.map +1 -0
  181. package/dist/runtime/abduction/index.d.ts +4 -0
  182. package/dist/runtime/abduction/index.d.ts.map +1 -0
  183. package/dist/runtime/abduction/index.js +26 -0
  184. package/dist/runtime/abduction/index.js.map +1 -0
  185. package/dist/runtime/abduction/types.d.ts +78 -0
  186. package/dist/runtime/abduction/types.d.ts.map +1 -0
  187. package/dist/runtime/abduction/types.js +23 -0
  188. package/dist/runtime/abduction/types.js.map +1 -0
  189. package/dist/runtime/anti-unification/anti-unify.d.ts +22 -0
  190. package/dist/runtime/anti-unification/anti-unify.d.ts.map +1 -0
  191. package/dist/runtime/anti-unification/anti-unify.js +154 -0
  192. package/dist/runtime/anti-unification/anti-unify.js.map +1 -0
  193. package/dist/runtime/anti-unification/index.d.ts +6 -0
  194. package/dist/runtime/anti-unification/index.d.ts.map +1 -0
  195. package/dist/runtime/anti-unification/index.js +23 -0
  196. package/dist/runtime/anti-unification/index.js.map +1 -0
  197. package/dist/runtime/anti-unification/many.d.ts +49 -0
  198. package/dist/runtime/anti-unification/many.d.ts.map +1 -0
  199. package/dist/runtime/anti-unification/many.js +185 -0
  200. package/dist/runtime/anti-unification/many.js.map +1 -0
  201. package/dist/runtime/anti-unification/term-utils.d.ts +40 -0
  202. package/dist/runtime/anti-unification/term-utils.d.ts.map +1 -0
  203. package/dist/runtime/anti-unification/term-utils.js +173 -0
  204. package/dist/runtime/anti-unification/term-utils.js.map +1 -0
  205. package/dist/runtime/anti-unification/types.d.ts +41 -0
  206. package/dist/runtime/anti-unification/types.d.ts.map +1 -0
  207. package/dist/runtime/anti-unification/types.js +26 -0
  208. package/dist/runtime/anti-unification/types.js.map +1 -0
  209. package/dist/runtime/bayesian/factor.d.ts +22 -0
  210. package/dist/runtime/bayesian/factor.d.ts.map +1 -0
  211. package/dist/runtime/bayesian/factor.js +249 -0
  212. package/dist/runtime/bayesian/factor.js.map +1 -0
  213. package/dist/runtime/bayesian/index.d.ts +3 -0
  214. package/dist/runtime/bayesian/index.d.ts.map +1 -0
  215. package/dist/runtime/bayesian/index.js +25 -0
  216. package/dist/runtime/bayesian/index.js.map +1 -0
  217. package/dist/runtime/bayesian/inference.d.ts +6 -0
  218. package/dist/runtime/bayesian/inference.d.ts.map +1 -0
  219. package/dist/runtime/bayesian/inference.js +260 -0
  220. package/dist/runtime/bayesian/inference.js.map +1 -0
  221. package/dist/runtime/bayesian/types.d.ts +19 -0
  222. package/dist/runtime/bayesian/types.d.ts.map +1 -0
  223. package/dist/runtime/bayesian/types.js +9 -0
  224. package/dist/runtime/bayesian/types.js.map +1 -0
  225. package/dist/runtime/bisimulation/index.d.ts +4 -0
  226. package/dist/runtime/bisimulation/index.d.ts.map +1 -0
  227. package/dist/runtime/bisimulation/index.js +21 -0
  228. package/dist/runtime/bisimulation/index.js.map +1 -0
  229. package/dist/runtime/bisimulation/operations.d.ts +40 -0
  230. package/dist/runtime/bisimulation/operations.d.ts.map +1 -0
  231. package/dist/runtime/bisimulation/operations.js +219 -0
  232. package/dist/runtime/bisimulation/operations.js.map +1 -0
  233. package/dist/runtime/bisimulation/paige-tarjan.d.ts +8 -0
  234. package/dist/runtime/bisimulation/paige-tarjan.d.ts.map +1 -0
  235. package/dist/runtime/bisimulation/paige-tarjan.js +199 -0
  236. package/dist/runtime/bisimulation/paige-tarjan.js.map +1 -0
  237. package/dist/runtime/bisimulation/types.d.ts +26 -0
  238. package/dist/runtime/bisimulation/types.d.ts.map +1 -0
  239. package/dist/runtime/bisimulation/types.js +22 -0
  240. package/dist/runtime/bisimulation/types.js.map +1 -0
  241. package/dist/runtime/csp/ac3.d.ts +20 -0
  242. package/dist/runtime/csp/ac3.d.ts.map +1 -0
  243. package/dist/runtime/csp/ac3.js +165 -0
  244. package/dist/runtime/csp/ac3.js.map +1 -0
  245. package/dist/runtime/csp/backtrack.d.ts +15 -0
  246. package/dist/runtime/csp/backtrack.d.ts.map +1 -0
  247. package/dist/runtime/csp/backtrack.js +233 -0
  248. package/dist/runtime/csp/backtrack.js.map +1 -0
  249. package/dist/runtime/csp/builtins.d.ts +27 -0
  250. package/dist/runtime/csp/builtins.d.ts.map +1 -0
  251. package/dist/runtime/csp/builtins.js +109 -0
  252. package/dist/runtime/csp/builtins.js.map +1 -0
  253. package/dist/runtime/csp/index.d.ts +5 -0
  254. package/dist/runtime/csp/index.d.ts.map +1 -0
  255. package/dist/runtime/csp/index.js +23 -0
  256. package/dist/runtime/csp/index.js.map +1 -0
  257. package/dist/runtime/csp/types.d.ts +54 -0
  258. package/dist/runtime/csp/types.d.ts.map +1 -0
  259. package/dist/runtime/csp/types.js +14 -0
  260. package/dist/runtime/csp/types.js.map +1 -0
  261. package/dist/runtime/fca/context.d.ts +46 -0
  262. package/dist/runtime/fca/context.d.ts.map +1 -0
  263. package/dist/runtime/fca/context.js +155 -0
  264. package/dist/runtime/fca/context.js.map +1 -0
  265. package/dist/runtime/fca/implications.d.ts +10 -0
  266. package/dist/runtime/fca/implications.d.ts.map +1 -0
  267. package/dist/runtime/fca/implications.js +33 -0
  268. package/dist/runtime/fca/implications.js.map +1 -0
  269. package/dist/runtime/fca/index.d.ts +6 -0
  270. package/dist/runtime/fca/index.d.ts.map +1 -0
  271. package/dist/runtime/fca/index.js +39 -0
  272. package/dist/runtime/fca/index.js.map +1 -0
  273. package/dist/runtime/fca/lattice.d.ts +10 -0
  274. package/dist/runtime/fca/lattice.d.ts.map +1 -0
  275. package/dist/runtime/fca/lattice.js +86 -0
  276. package/dist/runtime/fca/lattice.js.map +1 -0
  277. package/dist/runtime/fca/next-closure.d.ts +12 -0
  278. package/dist/runtime/fca/next-closure.d.ts.map +1 -0
  279. package/dist/runtime/fca/next-closure.js +99 -0
  280. package/dist/runtime/fca/next-closure.js.map +1 -0
  281. package/dist/runtime/fca/types.d.ts +31 -0
  282. package/dist/runtime/fca/types.d.ts.map +1 -0
  283. package/dist/runtime/fca/types.js +30 -0
  284. package/dist/runtime/fca/types.js.map +1 -0
  285. package/dist/runtime/markov-logic/grounding.d.ts +19 -0
  286. package/dist/runtime/markov-logic/grounding.d.ts.map +1 -0
  287. package/dist/runtime/markov-logic/grounding.js +252 -0
  288. package/dist/runtime/markov-logic/grounding.js.map +1 -0
  289. package/dist/runtime/markov-logic/index.d.ts +6 -0
  290. package/dist/runtime/markov-logic/index.d.ts.map +1 -0
  291. package/dist/runtime/markov-logic/index.js +47 -0
  292. package/dist/runtime/markov-logic/index.js.map +1 -0
  293. package/dist/runtime/markov-logic/inference.d.ts +77 -0
  294. package/dist/runtime/markov-logic/inference.d.ts.map +1 -0
  295. package/dist/runtime/markov-logic/inference.js +382 -0
  296. package/dist/runtime/markov-logic/inference.js.map +1 -0
  297. package/dist/runtime/markov-logic/parser.d.ts +25 -0
  298. package/dist/runtime/markov-logic/parser.d.ts.map +1 -0
  299. package/dist/runtime/markov-logic/parser.js +264 -0
  300. package/dist/runtime/markov-logic/parser.js.map +1 -0
  301. package/dist/runtime/markov-logic/types.d.ts +64 -0
  302. package/dist/runtime/markov-logic/types.d.ts.map +1 -0
  303. package/dist/runtime/markov-logic/types.js +17 -0
  304. package/dist/runtime/markov-logic/types.js.map +1 -0
  305. package/dist/runtime/pi-calculus/congruence.d.ts +15 -0
  306. package/dist/runtime/pi-calculus/congruence.d.ts.map +1 -0
  307. package/dist/runtime/pi-calculus/congruence.js +271 -0
  308. package/dist/runtime/pi-calculus/congruence.js.map +1 -0
  309. package/dist/runtime/pi-calculus/index.d.ts +6 -0
  310. package/dist/runtime/pi-calculus/index.d.ts.map +1 -0
  311. package/dist/runtime/pi-calculus/index.js +30 -0
  312. package/dist/runtime/pi-calculus/index.js.map +1 -0
  313. package/dist/runtime/pi-calculus/names.d.ts +28 -0
  314. package/dist/runtime/pi-calculus/names.d.ts.map +1 -0
  315. package/dist/runtime/pi-calculus/names.js +182 -0
  316. package/dist/runtime/pi-calculus/names.js.map +1 -0
  317. package/dist/runtime/pi-calculus/reduction.d.ts +25 -0
  318. package/dist/runtime/pi-calculus/reduction.d.ts.map +1 -0
  319. package/dist/runtime/pi-calculus/reduction.js +338 -0
  320. package/dist/runtime/pi-calculus/reduction.js.map +1 -0
  321. package/dist/runtime/pi-calculus/substitution.d.ts +11 -0
  322. package/dist/runtime/pi-calculus/substitution.d.ts.map +1 -0
  323. package/dist/runtime/pi-calculus/substitution.js +109 -0
  324. package/dist/runtime/pi-calculus/substitution.js.map +1 -0
  325. package/dist/runtime/pi-calculus/types.d.ts +38 -0
  326. package/dist/runtime/pi-calculus/types.d.ts.map +1 -0
  327. package/dist/runtime/pi-calculus/types.js +22 -0
  328. package/dist/runtime/pi-calculus/types.js.map +1 -0
  329. package/dist/runtime/planning/astar.d.ts +10 -0
  330. package/dist/runtime/planning/astar.d.ts.map +1 -0
  331. package/dist/runtime/planning/astar.js +155 -0
  332. package/dist/runtime/planning/astar.js.map +1 -0
  333. package/dist/runtime/planning/bfs.d.ts +17 -0
  334. package/dist/runtime/planning/bfs.d.ts.map +1 -0
  335. package/dist/runtime/planning/bfs.js +87 -0
  336. package/dist/runtime/planning/bfs.js.map +1 -0
  337. package/dist/runtime/planning/ground.d.ts +55 -0
  338. package/dist/runtime/planning/ground.d.ts.map +1 -0
  339. package/dist/runtime/planning/ground.js +154 -0
  340. package/dist/runtime/planning/ground.js.map +1 -0
  341. package/dist/runtime/planning/heuristic.d.ts +29 -0
  342. package/dist/runtime/planning/heuristic.d.ts.map +1 -0
  343. package/dist/runtime/planning/heuristic.js +172 -0
  344. package/dist/runtime/planning/heuristic.js.map +1 -0
  345. package/dist/runtime/planning/index.d.ts +6 -0
  346. package/dist/runtime/planning/index.d.ts.map +1 -0
  347. package/dist/runtime/planning/index.js +38 -0
  348. package/dist/runtime/planning/index.js.map +1 -0
  349. package/dist/runtime/planning/types.d.ts +100 -0
  350. package/dist/runtime/planning/types.d.ts.map +1 -0
  351. package/dist/runtime/planning/types.js +22 -0
  352. package/dist/runtime/planning/types.js.map +1 -0
  353. package/dist/runtime/proof-minify/index.d.ts +3 -0
  354. package/dist/runtime/proof-minify/index.d.ts.map +1 -0
  355. package/dist/runtime/proof-minify/index.js +13 -0
  356. package/dist/runtime/proof-minify/index.js.map +1 -0
  357. package/dist/runtime/proof-minify/minify.d.ts +13 -0
  358. package/dist/runtime/proof-minify/minify.d.ts.map +1 -0
  359. package/dist/runtime/proof-minify/minify.js +540 -0
  360. package/dist/runtime/proof-minify/minify.js.map +1 -0
  361. package/dist/runtime/proof-minify/types.d.ts +89 -0
  362. package/dist/runtime/proof-minify/types.d.ts.map +1 -0
  363. package/dist/runtime/proof-minify/types.js +16 -0
  364. package/dist/runtime/proof-minify/types.js.map +1 -0
  365. package/dist/runtime/symbolic-diff/constructors.d.ts +16 -0
  366. package/dist/runtime/symbolic-diff/constructors.d.ts.map +1 -0
  367. package/dist/runtime/symbolic-diff/constructors.js +75 -0
  368. package/dist/runtime/symbolic-diff/constructors.js.map +1 -0
  369. package/dist/runtime/symbolic-diff/differentiate.d.ts +22 -0
  370. package/dist/runtime/symbolic-diff/differentiate.d.ts.map +1 -0
  371. package/dist/runtime/symbolic-diff/differentiate.js +107 -0
  372. package/dist/runtime/symbolic-diff/differentiate.js.map +1 -0
  373. package/dist/runtime/symbolic-diff/evaluate.d.ts +3 -0
  374. package/dist/runtime/symbolic-diff/evaluate.d.ts.map +1 -0
  375. package/dist/runtime/symbolic-diff/evaluate.js +47 -0
  376. package/dist/runtime/symbolic-diff/evaluate.js.map +1 -0
  377. package/dist/runtime/symbolic-diff/index.d.ts +9 -0
  378. package/dist/runtime/symbolic-diff/index.d.ts.map +1 -0
  379. package/dist/runtime/symbolic-diff/index.js +34 -0
  380. package/dist/runtime/symbolic-diff/index.js.map +1 -0
  381. package/dist/runtime/symbolic-diff/parse.d.ts +16 -0
  382. package/dist/runtime/symbolic-diff/parse.d.ts.map +1 -0
  383. package/dist/runtime/symbolic-diff/parse.js +212 -0
  384. package/dist/runtime/symbolic-diff/parse.js.map +1 -0
  385. package/dist/runtime/symbolic-diff/simplify.d.ts +11 -0
  386. package/dist/runtime/symbolic-diff/simplify.d.ts.map +1 -0
  387. package/dist/runtime/symbolic-diff/simplify.js +214 -0
  388. package/dist/runtime/symbolic-diff/simplify.js.map +1 -0
  389. package/dist/runtime/symbolic-diff/stringify.d.ts +3 -0
  390. package/dist/runtime/symbolic-diff/stringify.d.ts.map +1 -0
  391. package/dist/runtime/symbolic-diff/stringify.js +69 -0
  392. package/dist/runtime/symbolic-diff/stringify.js.map +1 -0
  393. package/dist/runtime/symbolic-diff/types.d.ts +35 -0
  394. package/dist/runtime/symbolic-diff/types.d.ts.map +1 -0
  395. package/dist/runtime/symbolic-diff/types.js +9 -0
  396. package/dist/runtime/symbolic-diff/types.js.map +1 -0
  397. package/dist/runtime/term-rewriting/critical-pairs.d.ts +38 -0
  398. package/dist/runtime/term-rewriting/critical-pairs.d.ts.map +1 -0
  399. package/dist/runtime/term-rewriting/critical-pairs.js +109 -0
  400. package/dist/runtime/term-rewriting/critical-pairs.js.map +1 -0
  401. package/dist/runtime/term-rewriting/index.d.ts +9 -0
  402. package/dist/runtime/term-rewriting/index.d.ts.map +1 -0
  403. package/dist/runtime/term-rewriting/index.js +38 -0
  404. package/dist/runtime/term-rewriting/index.js.map +1 -0
  405. package/dist/runtime/term-rewriting/knuth-bendix.d.ts +29 -0
  406. package/dist/runtime/term-rewriting/knuth-bendix.d.ts.map +1 -0
  407. package/dist/runtime/term-rewriting/knuth-bendix.js +196 -0
  408. package/dist/runtime/term-rewriting/knuth-bendix.js.map +1 -0
  409. package/dist/runtime/term-rewriting/lpo.d.ts +17 -0
  410. package/dist/runtime/term-rewriting/lpo.d.ts.map +1 -0
  411. package/dist/runtime/term-rewriting/lpo.js +158 -0
  412. package/dist/runtime/term-rewriting/lpo.js.map +1 -0
  413. package/dist/runtime/term-rewriting/rewrite.d.ts +44 -0
  414. package/dist/runtime/term-rewriting/rewrite.d.ts.map +1 -0
  415. package/dist/runtime/term-rewriting/rewrite.js +189 -0
  416. package/dist/runtime/term-rewriting/rewrite.js.map +1 -0
  417. package/dist/runtime/term-rewriting/term-utils.d.ts +64 -0
  418. package/dist/runtime/term-rewriting/term-utils.d.ts.map +1 -0
  419. package/dist/runtime/term-rewriting/term-utils.js +360 -0
  420. package/dist/runtime/term-rewriting/term-utils.js.map +1 -0
  421. package/dist/runtime/term-rewriting/types.d.ts +66 -0
  422. package/dist/runtime/term-rewriting/types.d.ts.map +1 -0
  423. package/dist/runtime/term-rewriting/types.js +21 -0
  424. package/dist/runtime/term-rewriting/types.js.map +1 -0
  425. package/dist/runtime/theorem-cache/cache.d.ts +100 -0
  426. package/dist/runtime/theorem-cache/cache.d.ts.map +1 -0
  427. package/dist/runtime/theorem-cache/cache.js +213 -0
  428. package/dist/runtime/theorem-cache/cache.js.map +1 -0
  429. package/dist/runtime/theorem-cache/canonical.d.ts +59 -0
  430. package/dist/runtime/theorem-cache/canonical.d.ts.map +1 -0
  431. package/dist/runtime/theorem-cache/canonical.js +105 -0
  432. package/dist/runtime/theorem-cache/canonical.js.map +1 -0
  433. package/dist/runtime/theorem-cache/index.d.ts +6 -0
  434. package/dist/runtime/theorem-cache/index.d.ts.map +1 -0
  435. package/dist/runtime/theorem-cache/index.js +16 -0
  436. package/dist/runtime/theorem-cache/index.js.map +1 -0
  437. package/dist/runtime/theorem-cache/pattern.d.ts +24 -0
  438. package/dist/runtime/theorem-cache/pattern.d.ts.map +1 -0
  439. package/dist/runtime/theorem-cache/pattern.js +80 -0
  440. package/dist/runtime/theorem-cache/pattern.js.map +1 -0
  441. package/dist/system-f/index.d.ts +7 -0
  442. package/dist/system-f/index.d.ts.map +1 -0
  443. package/dist/system-f/index.js +48 -0
  444. package/dist/system-f/index.js.map +1 -0
  445. package/dist/system-f/infer.d.ts +9 -0
  446. package/dist/system-f/infer.d.ts.map +1 -0
  447. package/dist/system-f/infer.js +94 -0
  448. package/dist/system-f/infer.js.map +1 -0
  449. package/dist/system-f/reduce.d.ts +15 -0
  450. package/dist/system-f/reduce.d.ts.map +1 -0
  451. package/dist/system-f/reduce.js +259 -0
  452. package/dist/system-f/reduce.js.map +1 -0
  453. package/dist/system-f/types.d.ts +53 -0
  454. package/dist/system-f/types.d.ts.map +1 -0
  455. package/dist/system-f/types.js +157 -0
  456. package/dist/system-f/types.js.map +1 -0
  457. package/dist/tests/abduction/abduction.test.d.ts +2 -0
  458. package/dist/tests/abduction/abduction.test.d.ts.map +1 -0
  459. package/dist/tests/abduction/abduction.test.js +380 -0
  460. package/dist/tests/abduction/abduction.test.js.map +1 -0
  461. package/dist/tests/anti-unification/anti-unify.test.d.ts +2 -0
  462. package/dist/tests/anti-unification/anti-unify.test.d.ts.map +1 -0
  463. package/dist/tests/anti-unification/anti-unify.test.js +219 -0
  464. package/dist/tests/anti-unification/anti-unify.test.js.map +1 -0
  465. package/dist/tests/bayesian/bayesian.test.d.ts +2 -0
  466. package/dist/tests/bayesian/bayesian.test.d.ts.map +1 -0
  467. package/dist/tests/bayesian/bayesian.test.js +328 -0
  468. package/dist/tests/bayesian/bayesian.test.js.map +1 -0
  469. package/dist/tests/bisimulation/paige-tarjan.test.d.ts +2 -0
  470. package/dist/tests/bisimulation/paige-tarjan.test.d.ts.map +1 -0
  471. package/dist/tests/bisimulation/paige-tarjan.test.js +254 -0
  472. package/dist/tests/bisimulation/paige-tarjan.test.js.map +1 -0
  473. package/dist/tests/coverage-fill-aristotelian.test.js +1 -1
  474. package/dist/tests/coverage-fill-aristotelian.test.js.map +1 -1
  475. package/dist/tests/coverage-fill-fallacies.test.js +1 -1
  476. package/dist/tests/coverage-fill-fallacies.test.js.map +1 -1
  477. package/dist/tests/coverage-fill-format.test.js +1 -1
  478. package/dist/tests/coverage-fill-format.test.js.map +1 -1
  479. package/dist/tests/coverage-fill-intuitionistic.test.js +1 -1
  480. package/dist/tests/coverage-fill-intuitionistic.test.js.map +1 -1
  481. package/dist/tests/coverage-fill-probabilistic.test.js +1 -1
  482. package/dist/tests/coverage-fill-probabilistic.test.js.map +1 -1
  483. package/dist/tests/csp/csp.test.d.ts +2 -0
  484. package/dist/tests/csp/csp.test.d.ts.map +1 -0
  485. package/dist/tests/csp/csp.test.js +292 -0
  486. package/dist/tests/csp/csp.test.js.map +1 -0
  487. package/dist/tests/fca/fca.test.d.ts +2 -0
  488. package/dist/tests/fca/fca.test.d.ts.map +1 -0
  489. package/dist/tests/fca/fca.test.js +317 -0
  490. package/dist/tests/fca/fca.test.js.map +1 -0
  491. package/dist/tests/intuitionistic-nj/nj.test.d.ts +2 -0
  492. package/dist/tests/intuitionistic-nj/nj.test.d.ts.map +1 -0
  493. package/dist/tests/intuitionistic-nj/nj.test.js +216 -0
  494. package/dist/tests/intuitionistic-nj/nj.test.js.map +1 -0
  495. package/dist/tests/lambda-calc/lambda-calc.test.d.ts +2 -0
  496. package/dist/tests/lambda-calc/lambda-calc.test.d.ts.map +1 -0
  497. package/dist/tests/lambda-calc/lambda-calc.test.js +164 -0
  498. package/dist/tests/lambda-calc/lambda-calc.test.js.map +1 -0
  499. package/dist/tests/many-valued/many-valued.test.d.ts +2 -0
  500. package/dist/tests/many-valued/many-valued.test.d.ts.map +1 -0
  501. package/dist/tests/many-valued/many-valued.test.js +150 -0
  502. package/dist/tests/many-valued/many-valued.test.js.map +1 -0
  503. package/dist/tests/markov-logic/markov-logic.test.d.ts +2 -0
  504. package/dist/tests/markov-logic/markov-logic.test.d.ts.map +1 -0
  505. package/dist/tests/markov-logic/markov-logic.test.js +349 -0
  506. package/dist/tests/markov-logic/markov-logic.test.js.map +1 -0
  507. package/dist/tests/mltt/mltt.test.d.ts +2 -0
  508. package/dist/tests/mltt/mltt.test.d.ts.map +1 -0
  509. package/dist/tests/mltt/mltt.test.js +181 -0
  510. package/dist/tests/mltt/mltt.test.js.map +1 -0
  511. package/dist/tests/modal-frame-axioms/frame-axioms.test.d.ts +2 -0
  512. package/dist/tests/modal-frame-axioms/frame-axioms.test.d.ts.map +1 -0
  513. package/dist/tests/modal-frame-axioms/frame-axioms.test.js +236 -0
  514. package/dist/tests/modal-frame-axioms/frame-axioms.test.js.map +1 -0
  515. package/dist/tests/mu-calculus/check.test.d.ts +2 -0
  516. package/dist/tests/mu-calculus/check.test.d.ts.map +1 -0
  517. package/dist/tests/mu-calculus/check.test.js +234 -0
  518. package/dist/tests/mu-calculus/check.test.js.map +1 -0
  519. package/dist/tests/pi-calculus/pi-calculus.test.d.ts +2 -0
  520. package/dist/tests/pi-calculus/pi-calculus.test.d.ts.map +1 -0
  521. package/dist/tests/pi-calculus/pi-calculus.test.js +273 -0
  522. package/dist/tests/pi-calculus/pi-calculus.test.js.map +1 -0
  523. package/dist/tests/planning/planning.test.d.ts +2 -0
  524. package/dist/tests/planning/planning.test.d.ts.map +1 -0
  525. package/dist/tests/planning/planning.test.js +397 -0
  526. package/dist/tests/planning/planning.test.js.map +1 -0
  527. package/dist/tests/proof-minify/minify.test.d.ts +2 -0
  528. package/dist/tests/proof-minify/minify.test.d.ts.map +1 -0
  529. package/dist/tests/proof-minify/minify.test.js +281 -0
  530. package/dist/tests/proof-minify/minify.test.js.map +1 -0
  531. package/dist/tests/refinement-types/refinement-types.test.d.ts +2 -0
  532. package/dist/tests/refinement-types/refinement-types.test.d.ts.map +1 -0
  533. package/dist/tests/refinement-types/refinement-types.test.js +174 -0
  534. package/dist/tests/refinement-types/refinement-types.test.js.map +1 -0
  535. package/dist/tests/sequent-lk/prover.test.d.ts +2 -0
  536. package/dist/tests/sequent-lk/prover.test.d.ts.map +1 -0
  537. package/dist/tests/sequent-lk/prover.test.js +317 -0
  538. package/dist/tests/sequent-lk/prover.test.js.map +1 -0
  539. package/dist/tests/substructural/prover.test.d.ts +2 -0
  540. package/dist/tests/substructural/prover.test.d.ts.map +1 -0
  541. package/dist/tests/substructural/prover.test.js +271 -0
  542. package/dist/tests/substructural/prover.test.js.map +1 -0
  543. package/dist/tests/symbolic-diff/symbolic-diff.test.d.ts +2 -0
  544. package/dist/tests/symbolic-diff/symbolic-diff.test.d.ts.map +1 -0
  545. package/dist/tests/symbolic-diff/symbolic-diff.test.js +278 -0
  546. package/dist/tests/symbolic-diff/symbolic-diff.test.js.map +1 -0
  547. package/dist/tests/system-f/system-f.test.d.ts +2 -0
  548. package/dist/tests/system-f/system-f.test.d.ts.map +1 -0
  549. package/dist/tests/system-f/system-f.test.js +217 -0
  550. package/dist/tests/system-f/system-f.test.js.map +1 -0
  551. package/dist/tests/term-rewriting/critical-pairs.test.d.ts +2 -0
  552. package/dist/tests/term-rewriting/critical-pairs.test.d.ts.map +1 -0
  553. package/dist/tests/term-rewriting/critical-pairs.test.js +34 -0
  554. package/dist/tests/term-rewriting/critical-pairs.test.js.map +1 -0
  555. package/dist/tests/term-rewriting/knuth-bendix.test.d.ts +2 -0
  556. package/dist/tests/term-rewriting/knuth-bendix.test.d.ts.map +1 -0
  557. package/dist/tests/term-rewriting/knuth-bendix.test.js +94 -0
  558. package/dist/tests/term-rewriting/knuth-bendix.test.js.map +1 -0
  559. package/dist/tests/term-rewriting/lpo.test.d.ts +2 -0
  560. package/dist/tests/term-rewriting/lpo.test.d.ts.map +1 -0
  561. package/dist/tests/term-rewriting/lpo.test.js +57 -0
  562. package/dist/tests/term-rewriting/lpo.test.js.map +1 -0
  563. package/dist/tests/term-rewriting/rewrite.test.d.ts +2 -0
  564. package/dist/tests/term-rewriting/rewrite.test.d.ts.map +1 -0
  565. package/dist/tests/term-rewriting/rewrite.test.js +56 -0
  566. package/dist/tests/term-rewriting/rewrite.test.js.map +1 -0
  567. package/dist/tests/term-rewriting/term-utils.test.d.ts +2 -0
  568. package/dist/tests/term-rewriting/term-utils.test.d.ts.map +1 -0
  569. package/dist/tests/term-rewriting/term-utils.test.js +58 -0
  570. package/dist/tests/term-rewriting/term-utils.test.js.map +1 -0
  571. package/dist/tests/theorem-cache/cache.test.d.ts +2 -0
  572. package/dist/tests/theorem-cache/cache.test.d.ts.map +1 -0
  573. package/dist/tests/theorem-cache/cache.test.js +510 -0
  574. package/dist/tests/theorem-cache/cache.test.js.map +1 -0
  575. package/package.json +1 -1
@@ -0,0 +1,397 @@
1
+ "use strict";
2
+ // ============================================================
3
+ // ST Planning — Tests (STRIPS / PDDL light)
4
+ // ============================================================
5
+ Object.defineProperty(exports, "__esModule", { value: true });
6
+ const vitest_1 = require("vitest");
7
+ const planning_1 = require("../../runtime/planning");
8
+ // ──────────────────────────────────────────────────────────────
9
+ // Dominio: Blocks World
10
+ // ──────────────────────────────────────────────────────────────
11
+ //
12
+ // Predicados:
13
+ // on(?x, ?y) — bloque x está sobre bloque y
14
+ // on-table(?x) — bloque x está sobre la mesa
15
+ // clear(?x) — no hay bloque encima de x
16
+ // holding(?x) — el brazo robot sostiene x
17
+ // arm-empty — el brazo está libre
18
+ //
19
+ // Acciones:
20
+ // pickup(?x): clear(?x) ∧ on-table(?x) ∧ arm-empty →
21
+ // holding(?x) ∧ ¬on-table(?x) ∧ ¬clear(?x) ∧ ¬arm-empty
22
+ // putdown(?x): holding(?x) →
23
+ // on-table(?x) ∧ clear(?x) ∧ arm-empty ∧ ¬holding(?x)
24
+ // stack(?x, ?y): holding(?x) ∧ clear(?y) →
25
+ // on(?x,?y) ∧ clear(?x) ∧ arm-empty ∧ ¬holding(?x) ∧ ¬clear(?y)
26
+ // unstack(?x, ?y): on(?x,?y) ∧ clear(?x) ∧ arm-empty →
27
+ // holding(?x) ∧ clear(?y) ∧ ¬on(?x,?y) ∧ ¬clear(?x) ∧ ¬arm-empty
28
+ const blocksWorldActions = [
29
+ {
30
+ name: 'pickup',
31
+ parameters: ['?x'],
32
+ preconditions: ['clear(?x)', 'on-table(?x)', 'arm-empty'],
33
+ addList: ['holding(?x)'],
34
+ delList: ['on-table(?x)', 'clear(?x)', 'arm-empty'],
35
+ },
36
+ {
37
+ name: 'putdown',
38
+ parameters: ['?x'],
39
+ preconditions: ['holding(?x)'],
40
+ addList: ['on-table(?x)', 'clear(?x)', 'arm-empty'],
41
+ delList: ['holding(?x)'],
42
+ },
43
+ {
44
+ name: 'stack',
45
+ parameters: ['?x', '?y'],
46
+ preconditions: ['holding(?x)', 'clear(?y)'],
47
+ addList: ['on(?x,?y)', 'clear(?x)', 'arm-empty'],
48
+ delList: ['holding(?x)', 'clear(?y)'],
49
+ },
50
+ {
51
+ name: 'unstack',
52
+ parameters: ['?x', '?y'],
53
+ preconditions: ['on(?x,?y)', 'clear(?x)', 'arm-empty'],
54
+ addList: ['holding(?x)', 'clear(?y)'],
55
+ delList: ['on(?x,?y)', 'clear(?x)', 'arm-empty'],
56
+ },
57
+ ];
58
+ function blocksProblem(initial, goal, blocks = ['a', 'b', 'c']) {
59
+ return {
60
+ predicates: ['on', 'on-table', 'clear', 'holding', 'arm-empty'],
61
+ objects: { block: blocks },
62
+ actions: blocksWorldActions,
63
+ initialState: new Set(initial),
64
+ goal: new Set(goal),
65
+ };
66
+ }
67
+ // ──────────────────────────────────────────────────────────────
68
+ // 1. substituteVars y ground
69
+ // ──────────────────────────────────────────────────────────────
70
+ (0, vitest_1.describe)('planning — substituteVars', () => {
71
+ (0, vitest_1.it)('reemplaza variables ?x por sus valores', () => {
72
+ (0, vitest_1.expect)((0, planning_1.substituteVars)('on(?x,?y)', { '?x': 'a', '?y': 'b' })).toBe('on(a,b)');
73
+ });
74
+ (0, vitest_1.it)('no toca strings sin variables', () => {
75
+ (0, vitest_1.expect)((0, planning_1.substituteVars)('arm-empty', {})).toBe('arm-empty');
76
+ });
77
+ (0, vitest_1.it)('respeta boundaries (no confunde ?x con ?xy)', () => {
78
+ (0, vitest_1.expect)((0, planning_1.substituteVars)('p(?xy,?x)', { '?x': 'A', '?xy': 'B' })).toBe('p(B,A)');
79
+ });
80
+ (0, vitest_1.it)('deja la variable sin tocar si no está en bindings', () => {
81
+ (0, vitest_1.expect)((0, planning_1.substituteVars)('p(?x)', {})).toBe('p(?x)');
82
+ });
83
+ });
84
+ (0, vitest_1.describe)('planning — ground', () => {
85
+ (0, vitest_1.it)('aplica bindings a un schema lifted', () => {
86
+ const action = {
87
+ name: 'move',
88
+ parameters: ['?from', '?to'],
89
+ preconditions: ['at(?from)'],
90
+ addList: ['at(?to)'],
91
+ delList: ['at(?from)'],
92
+ };
93
+ const g = (0, planning_1.ground)(action, { '?from': 'a', '?to': 'b' });
94
+ (0, vitest_1.expect)(g.preconditions.has('at(a)')).toBe(true);
95
+ (0, vitest_1.expect)(g.addList.has('at(b)')).toBe(true);
96
+ (0, vitest_1.expect)(g.delList.has('at(a)')).toBe(true);
97
+ });
98
+ });
99
+ // ──────────────────────────────────────────────────────────────
100
+ // 2. applyAction y goalSatisfied
101
+ // ──────────────────────────────────────────────────────────────
102
+ (0, vitest_1.describe)('planning — applyAction', () => {
103
+ (0, vitest_1.it)('borra antes de añadir', () => {
104
+ const state = new Set(['p', 'q']);
105
+ const next = (0, planning_1.applyAction)(state, {
106
+ addList: new Set(['r']),
107
+ delList: new Set(['p']),
108
+ });
109
+ (0, vitest_1.expect)(next.has('p')).toBe(false);
110
+ (0, vitest_1.expect)(next.has('q')).toBe(true);
111
+ (0, vitest_1.expect)(next.has('r')).toBe(true);
112
+ });
113
+ (0, vitest_1.it)('no muta el estado original', () => {
114
+ const state = new Set(['p']);
115
+ (0, planning_1.applyAction)(state, { addList: new Set(['q']), delList: new Set() });
116
+ (0, vitest_1.expect)(state.has('q')).toBe(false);
117
+ (0, vitest_1.expect)(state.size).toBe(1);
118
+ });
119
+ (0, vitest_1.it)('si un hecho está en addList y delList, queda añadido (del primero)', () => {
120
+ const state = new Set(['p']);
121
+ const next = (0, planning_1.applyAction)(state, {
122
+ addList: new Set(['p']),
123
+ delList: new Set(['p']),
124
+ });
125
+ (0, vitest_1.expect)(next.has('p')).toBe(true);
126
+ });
127
+ });
128
+ (0, vitest_1.describe)('planning — goalSatisfied', () => {
129
+ (0, vitest_1.it)('goal vacío siempre satisfecho', () => {
130
+ (0, vitest_1.expect)((0, planning_1.goalSatisfied)(new Set(['p']), new Set())).toBe(true);
131
+ });
132
+ (0, vitest_1.it)('goal ⊆ state → true', () => {
133
+ (0, vitest_1.expect)((0, planning_1.goalSatisfied)(new Set(['p', 'q', 'r']), new Set(['p', 'r']))).toBe(true);
134
+ });
135
+ (0, vitest_1.it)('goal ⊄ state → false', () => {
136
+ (0, vitest_1.expect)((0, planning_1.goalSatisfied)(new Set(['p']), new Set(['p', 'q']))).toBe(false);
137
+ });
138
+ });
139
+ (0, vitest_1.describe)('planning — preconditionsSatisfied', () => {
140
+ (0, vitest_1.it)('todas presentes → true', () => {
141
+ (0, vitest_1.expect)((0, planning_1.preconditionsSatisfied)(new Set(['a', 'b']), new Set(['a']))).toBe(true);
142
+ });
143
+ (0, vitest_1.it)('falta una → false', () => {
144
+ (0, vitest_1.expect)((0, planning_1.preconditionsSatisfied)(new Set(['a']), new Set(['a', 'b']))).toBe(false);
145
+ });
146
+ });
147
+ // ──────────────────────────────────────────────────────────────
148
+ // 3. groundAll y hashState
149
+ // ──────────────────────────────────────────────────────────────
150
+ (0, vitest_1.describe)('planning — groundAll', () => {
151
+ (0, vitest_1.it)('|params|=1, |objs|=3 → 3 instancias', () => {
152
+ const a = {
153
+ name: 'p',
154
+ parameters: ['?x'],
155
+ preconditions: [],
156
+ addList: ['p(?x)'],
157
+ delList: [],
158
+ };
159
+ const insts = (0, planning_1.groundAll)(a, { block: ['a', 'b', 'c'] });
160
+ (0, vitest_1.expect)(insts).toHaveLength(3);
161
+ const bindings = insts.map((i) => i.bindings['?x']).sort();
162
+ (0, vitest_1.expect)(bindings).toEqual(['a', 'b', 'c']);
163
+ });
164
+ (0, vitest_1.it)('|params|=2, |objs|=3 → 9 instancias (producto cartesiano)', () => {
165
+ const a = {
166
+ name: 'p',
167
+ parameters: ['?x', '?y'],
168
+ preconditions: [],
169
+ addList: ['p(?x,?y)'],
170
+ delList: [],
171
+ };
172
+ const insts = (0, planning_1.groundAll)(a, { block: ['a', 'b', 'c'] });
173
+ (0, vitest_1.expect)(insts).toHaveLength(9);
174
+ });
175
+ (0, vitest_1.it)('|params|=0 → 1 instancia ground tal cual', () => {
176
+ const a = {
177
+ name: 'noop',
178
+ parameters: [],
179
+ preconditions: ['p'],
180
+ addList: ['q'],
181
+ delList: [],
182
+ };
183
+ const insts = (0, planning_1.groundAll)(a, { block: ['a'] });
184
+ (0, vitest_1.expect)(insts).toHaveLength(1);
185
+ const first = insts[0];
186
+ if (!first)
187
+ return;
188
+ (0, vitest_1.expect)(first.grounded.preconditions.has('p')).toBe(true);
189
+ });
190
+ });
191
+ (0, vitest_1.describe)('planning — hashState determinista', () => {
192
+ (0, vitest_1.it)('mismo conjunto → mismo hash, orden de inserción irrelevante', () => {
193
+ const s1 = new Set(['p', 'q', 'r']);
194
+ const s2 = new Set(['r', 'p', 'q']);
195
+ (0, vitest_1.expect)((0, planning_1.hashState)(s1)).toBe((0, planning_1.hashState)(s2));
196
+ });
197
+ (0, vitest_1.it)('conjuntos distintos → hashes distintos', () => {
198
+ (0, vitest_1.expect)((0, planning_1.hashState)(new Set(['p']))).not.toBe((0, planning_1.hashState)(new Set(['q'])));
199
+ });
200
+ });
201
+ // ──────────────────────────────────────────────────────────────
202
+ // 4. BFS — Blocks World casos básicos
203
+ // ──────────────────────────────────────────────────────────────
204
+ (0, vitest_1.describe)('planning — BFS blocks world simple (1 step)', () => {
205
+ (0, vitest_1.it)('apilar A sobre B desde brazo sosteniendo A: 1 paso (stack)', () => {
206
+ // Estado: holding(a), on-table(b), clear(b), clear(c), on-table(c)
207
+ // Goal: on(a,b)
208
+ const problem = blocksProblem(['holding(a)', 'on-table(b)', 'clear(b)', 'on-table(c)', 'clear(c)'], ['on(a,b)']);
209
+ const plan = (0, planning_1.bfsPlan)(problem);
210
+ (0, vitest_1.expect)(plan).not.toBeNull();
211
+ const p = plan;
212
+ (0, vitest_1.expect)(p.length).toBe(1);
213
+ const step0 = p.actions[0];
214
+ if (!step0)
215
+ return;
216
+ (0, vitest_1.expect)(step0.action.name).toBe('stack');
217
+ (0, vitest_1.expect)(step0.bindings['?x']).toBe('a');
218
+ (0, vitest_1.expect)(step0.bindings['?y']).toBe('b');
219
+ });
220
+ });
221
+ (0, vitest_1.describe)('planning — BFS blocks world stack invertida', () => {
222
+ (0, vitest_1.it)('A sobre B sobre C → C sobre B sobre A (plan multi-step)', () => {
223
+ // Estado inicial: pila a-b-c (a arriba), c en mesa.
224
+ // Goal: pila c-b-a (c arriba), a en mesa.
225
+ const initial = ['on(a,b)', 'on(b,c)', 'on-table(c)', 'clear(a)', 'arm-empty'];
226
+ const goal = ['on(c,b)', 'on(b,a)', 'on-table(a)'];
227
+ const problem = blocksProblem(initial, goal);
228
+ const plan = (0, planning_1.bfsPlan)(problem, { maxDepth: 12 });
229
+ (0, vitest_1.expect)(plan).not.toBeNull();
230
+ const p = plan;
231
+ (0, vitest_1.expect)(p.length).toBeGreaterThan(1);
232
+ // Validamos ejecutando el plan desde el inicial.
233
+ let state = new Set(initial);
234
+ for (const step of p.actions) {
235
+ const g = (0, planning_1.ground)(step.action, step.bindings);
236
+ (0, vitest_1.expect)((0, planning_1.preconditionsSatisfied)(state, g.preconditions)).toBe(true);
237
+ state = (0, planning_1.applyAction)(state, g);
238
+ }
239
+ (0, vitest_1.expect)((0, planning_1.goalSatisfied)(state, new Set(goal))).toBe(true);
240
+ });
241
+ });
242
+ (0, vitest_1.describe)('planning — BFS goal ya satisfecho', () => {
243
+ (0, vitest_1.it)('plan vacío cuando goal ⊆ initialState', () => {
244
+ const problem = blocksProblem(['on-table(a)', 'clear(a)', 'arm-empty'], ['on-table(a)']);
245
+ const plan = (0, planning_1.bfsPlan)(problem);
246
+ (0, vitest_1.expect)(plan).not.toBeNull();
247
+ (0, vitest_1.expect)(plan.length).toBe(0);
248
+ (0, vitest_1.expect)(plan.cost).toBe(0);
249
+ });
250
+ });
251
+ (0, vitest_1.describe)('planning — BFS imposible', () => {
252
+ (0, vitest_1.it)('null cuando no hay acciones aplicables que lleven al goal', () => {
253
+ // Sin acciones, goal ≠ initial → null.
254
+ const problem = {
255
+ predicates: ['p'],
256
+ objects: { o: ['a'] },
257
+ actions: [],
258
+ initialState: new Set(['p']),
259
+ goal: new Set(['q']),
260
+ };
261
+ const plan = (0, planning_1.bfsPlan)(problem);
262
+ (0, vitest_1.expect)(plan).toBeNull();
263
+ });
264
+ (0, vitest_1.it)('null cuando el goal es inalcanzable (preconditions nunca se cumplen)', () => {
265
+ const action = {
266
+ name: 'needs-magic',
267
+ parameters: [],
268
+ preconditions: ['magic'], // nunca presente
269
+ addList: ['goal-fact'],
270
+ delList: [],
271
+ };
272
+ const problem = {
273
+ predicates: ['magic', 'goal-fact'],
274
+ objects: {},
275
+ actions: [action],
276
+ initialState: new Set(['p']),
277
+ goal: new Set(['goal-fact']),
278
+ };
279
+ (0, vitest_1.expect)((0, planning_1.bfsPlan)(problem)).toBeNull();
280
+ });
281
+ });
282
+ // ──────────────────────────────────────────────────────────────
283
+ // 5. BFS vs A* — mismo plan length
284
+ // ──────────────────────────────────────────────────────────────
285
+ (0, vitest_1.describe)('planning — BFS vs A* coherencia', () => {
286
+ (0, vitest_1.it)('mismo length en blocks-world simple', () => {
287
+ const initial = ['on-table(a)', 'clear(a)', 'on-table(b)', 'clear(b)', 'arm-empty'];
288
+ const goal = ['on(a,b)'];
289
+ const problem = blocksProblem(initial, goal);
290
+ const bfs = (0, planning_1.bfsPlan)(problem);
291
+ const astar = (0, planning_1.aStarPlan)(problem);
292
+ (0, vitest_1.expect)(bfs).not.toBeNull();
293
+ (0, vitest_1.expect)(astar).not.toBeNull();
294
+ (0, vitest_1.expect)(bfs.length).toBe(astar.length);
295
+ });
296
+ (0, vitest_1.it)('mismo length en problema más profundo', () => {
297
+ const initial = ['on(a,b)', 'on-table(b)', 'clear(a)', 'arm-empty'];
298
+ const goal = ['on(b,a)'];
299
+ const problem = blocksProblem(initial, goal, ['a', 'b']);
300
+ const bfs = (0, planning_1.bfsPlan)(problem, { maxDepth: 10 });
301
+ const astar = (0, planning_1.aStarPlan)(problem, { maxDepth: 10 });
302
+ (0, vitest_1.expect)(bfs).not.toBeNull();
303
+ (0, vitest_1.expect)(astar).not.toBeNull();
304
+ (0, vitest_1.expect)(bfs.length).toBe(astar.length);
305
+ });
306
+ });
307
+ // ──────────────────────────────────────────────────────────────
308
+ // 6. Heurísticas
309
+ // ──────────────────────────────────────────────────────────────
310
+ (0, vitest_1.describe)('planning — goalCountHeuristic', () => {
311
+ (0, vitest_1.it)('cuenta hechos faltantes', () => {
312
+ (0, vitest_1.expect)((0, planning_1.goalCountHeuristic)(new Set(['a']), new Set(['a', 'b', 'c']))).toBe(2);
313
+ (0, vitest_1.expect)((0, planning_1.goalCountHeuristic)(new Set(['a', 'b', 'c']), new Set(['a']))).toBe(0);
314
+ });
315
+ });
316
+ (0, vitest_1.describe)('planning — fastForwardHeuristic', () => {
317
+ (0, vitest_1.it)('0 cuando goal ya satisfecho', () => {
318
+ const h = (0, planning_1.fastForwardHeuristic)(new Set(['a', 'b']), new Set(['a']), []);
319
+ (0, vitest_1.expect)(h).toBe(0);
320
+ });
321
+ (0, vitest_1.it)('Infinity cuando no hay forma de alcanzar el goal', () => {
322
+ // Sin acciones que produzcan 'q'.
323
+ const h = (0, planning_1.fastForwardHeuristic)(new Set(['a']), new Set(['q']), []);
324
+ (0, vitest_1.expect)(h).toBe(Infinity);
325
+ });
326
+ (0, vitest_1.it)('aproxima la distancia en niveles', () => {
327
+ // Cadena a → b → c → d. Inicial: {a}. Goal: {d}.
328
+ const actions = [
329
+ { name: 'a2b', parameters: [], preconditions: ['a'], addList: ['b'], delList: ['a'] },
330
+ { name: 'b2c', parameters: [], preconditions: ['b'], addList: ['c'], delList: ['b'] },
331
+ { name: 'c2d', parameters: [], preconditions: ['c'], addList: ['d'], delList: ['c'] },
332
+ ];
333
+ const h = (0, planning_1.fastForwardHeuristic)(new Set(['a']), new Set(['d']), actions);
334
+ // Sin delete-list: cada nivel añade el siguiente. d aparece en nivel 3.
335
+ (0, vitest_1.expect)(h).toBe(3);
336
+ });
337
+ (0, vitest_1.it)('makeFFHeuristic guía A* a una solución', () => {
338
+ const initial = ['on-table(a)', 'clear(a)', 'on-table(b)', 'clear(b)', 'arm-empty'];
339
+ const goal = ['on(a,b)'];
340
+ const problem = blocksProblem(initial, goal);
341
+ const heuristic = (0, planning_1.makeFFHeuristic)(problem);
342
+ const plan = (0, planning_1.aStarPlan)(problem, { heuristic });
343
+ (0, vitest_1.expect)(plan).not.toBeNull();
344
+ (0, vitest_1.expect)(plan.length).toBeGreaterThan(0);
345
+ });
346
+ });
347
+ // ──────────────────────────────────────────────────────────────
348
+ // 7. A* con costos variables
349
+ // ──────────────────────────────────────────────────────────────
350
+ (0, vitest_1.describe)('planning — A* con costFunction', () => {
351
+ (0, vitest_1.it)('prefiere camino más barato aunque tenga más pasos', () => {
352
+ // Dominio juguete: del estado {s} al goal {g} por dos caminos:
353
+ // - cheap1; cheap2; cheap3 (cada uno cuesta 1, total 3)
354
+ // - heavy (un paso, costo 100)
355
+ // A* con cost variable debe preferir la cadena de 3 pasos.
356
+ const actions = [
357
+ { name: 'cheap1', parameters: [], preconditions: ['s'], addList: ['t1'], delList: ['s'] },
358
+ { name: 'cheap2', parameters: [], preconditions: ['t1'], addList: ['t2'], delList: ['t1'] },
359
+ { name: 'cheap3', parameters: [], preconditions: ['t2'], addList: ['g'], delList: ['t2'] },
360
+ { name: 'heavy', parameters: [], preconditions: ['s'], addList: ['g'], delList: ['s'] },
361
+ ];
362
+ const problem = {
363
+ predicates: ['s', 't1', 't2', 'g'],
364
+ objects: {},
365
+ actions,
366
+ initialState: new Set(['s']),
367
+ goal: new Set(['g']),
368
+ };
369
+ const costFunction = (step) => step.action.name === 'heavy' ? 100 : 1;
370
+ const plan = (0, planning_1.aStarPlan)(problem, { costFunction });
371
+ (0, vitest_1.expect)(plan).not.toBeNull();
372
+ const p = plan;
373
+ (0, vitest_1.expect)(p.cost).toBe(3);
374
+ (0, vitest_1.expect)(p.length).toBe(3);
375
+ });
376
+ });
377
+ // ──────────────────────────────────────────────────────────────
378
+ // 8. Plan ejecutable end-to-end
379
+ // ──────────────────────────────────────────────────────────────
380
+ (0, vitest_1.describe)('planning — plan ejecutable paso a paso', () => {
381
+ (0, vitest_1.it)('cada acción del plan es aplicable y lleva al goal', () => {
382
+ const initial = ['on-table(a)', 'clear(a)', 'on-table(b)', 'clear(b)', 'arm-empty'];
383
+ const goal = ['on(a,b)'];
384
+ const problem = blocksProblem(initial, goal);
385
+ const plan = (0, planning_1.aStarPlan)(problem, { heuristic: (0, planning_1.makeFFHeuristic)(problem) });
386
+ (0, vitest_1.expect)(plan).not.toBeNull();
387
+ const p = plan;
388
+ let state = new Set(initial);
389
+ for (const step of p.actions) {
390
+ const g = (0, planning_1.ground)(step.action, step.bindings);
391
+ (0, vitest_1.expect)((0, planning_1.preconditionsSatisfied)(state, g.preconditions)).toBe(true);
392
+ state = (0, planning_1.applyAction)(state, g);
393
+ }
394
+ (0, vitest_1.expect)((0, planning_1.goalSatisfied)(state, new Set(goal))).toBe(true);
395
+ });
396
+ });
397
+ //# sourceMappingURL=planning.test.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"planning.test.js","sourceRoot":"","sources":["../../../src/tests/planning/planning.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,4CAA4C;AAC5C,+DAA+D;;AAE/D,mCAA8C;AAC9C,qDAiBgC;AAEhC,iEAAiE;AACjE,wBAAwB;AACxB,iEAAiE;AACjE,EAAE;AACF,cAAc;AACd,kDAAkD;AAClD,iDAAiD;AACjD,+CAA+C;AAC/C,+CAA+C;AAC/C,yCAAyC;AACzC,EAAE;AACF,YAAY;AACZ,8DAA8D;AAC9D,6EAA6E;AAC7E,qCAAqC;AACrC,2EAA2E;AAC3E,iDAAiD;AACjD,qFAAqF;AACrF,2DAA2D;AAC3D,sFAAsF;AAEtF,MAAM,kBAAkB,GAAmB;IACzC;QACE,IAAI,EAAE,QAAQ;QACd,UAAU,EAAE,CAAC,IAAI,CAAC;QAClB,aAAa,EAAE,CAAC,WAAW,EAAE,cAAc,EAAE,WAAW,CAAC;QACzD,OAAO,EAAE,CAAC,aAAa,CAAC;QACxB,OAAO,EAAE,CAAC,cAAc,EAAE,WAAW,EAAE,WAAW,CAAC;KACpD;IACD;QACE,IAAI,EAAE,SAAS;QACf,UAAU,EAAE,CAAC,IAAI,CAAC;QAClB,aAAa,EAAE,CAAC,aAAa,CAAC;QAC9B,OAAO,EAAE,CAAC,cAAc,EAAE,WAAW,EAAE,WAAW,CAAC;QACnD,OAAO,EAAE,CAAC,aAAa,CAAC;KACzB;IACD;QACE,IAAI,EAAE,OAAO;QACb,UAAU,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC;QACxB,aAAa,EAAE,CAAC,aAAa,EAAE,WAAW,CAAC;QAC3C,OAAO,EAAE,CAAC,WAAW,EAAE,WAAW,EAAE,WAAW,CAAC;QAChD,OAAO,EAAE,CAAC,aAAa,EAAE,WAAW,CAAC;KACtC;IACD;QACE,IAAI,EAAE,SAAS;QACf,UAAU,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC;QACxB,aAAa,EAAE,CAAC,WAAW,EAAE,WAAW,EAAE,WAAW,CAAC;QACtD,OAAO,EAAE,CAAC,aAAa,EAAE,WAAW,CAAC;QACrC,OAAO,EAAE,CAAC,WAAW,EAAE,WAAW,EAAE,WAAW,CAAC;KACjD;CACF,CAAC;AAEF,SAAS,aAAa,CACpB,OAAuB,EACvB,IAAoB,EACpB,SAAmB,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC;IAElC,OAAO;QACL,UAAU,EAAE,CAAC,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,SAAS,EAAE,WAAW,CAAC;QAC/D,OAAO,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE;QAC1B,OAAO,EAAE,kBAAkB;QAC3B,YAAY,EAAE,IAAI,GAAG,CAAC,OAAO,CAAC;QAC9B,IAAI,EAAE,IAAI,GAAG,CAAC,IAAI,CAAC;KACpB,CAAC;AACJ,CAAC;AAED,iEAAiE;AACjE,6BAA6B;AAC7B,iEAAiE;AAEjE,IAAA,iBAAQ,EAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,IAAA,eAAM,EAAC,IAAA,yBAAc,EAAC,WAAW,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAChF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,IAAA,eAAM,EAAC,IAAA,yBAAc,EAAC,WAAW,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,IAAA,eAAM,EAAC,IAAA,yBAAc,EAAC,WAAW,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAChF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,IAAA,eAAM,EAAC,IAAA,yBAAc,EAAC,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,mBAAmB,EAAE,GAAG,EAAE;IACjC,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,MAAM,GAAiB;YAC3B,IAAI,EAAE,MAAM;YACZ,UAAU,EAAE,CAAC,OAAO,EAAE,KAAK,CAAC;YAC5B,aAAa,EAAE,CAAC,WAAW,CAAC;YAC5B,OAAO,EAAE,CAAC,SAAS,CAAC;YACpB,OAAO,EAAE,CAAC,WAAW,CAAC;SACvB,CAAC;QACF,MAAM,CAAC,GAAG,IAAA,iBAAM,EAAC,MAAM,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iEAAiE;AACjE,iCAAiC;AACjC,iEAAiE;AAEjE,IAAA,iBAAQ,EAAC,wBAAwB,EAAE,GAAG,EAAE;IACtC,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAClC,MAAM,IAAI,GAAG,IAAA,sBAAW,EAAC,KAAK,EAAE;YAC9B,OAAO,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;YACvB,OAAO,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;SACxB,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC7B,IAAA,sBAAW,EAAC,KAAK,EAAE,EAAE,OAAO,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC,CAAC;QACpE,IAAA,eAAM,EAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC7B,MAAM,IAAI,GAAG,IAAA,sBAAW,EAAC,KAAK,EAAE;YAC9B,OAAO,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;YACvB,OAAO,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;SACxB,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,0BAA0B,EAAE,GAAG,EAAE;IACxC,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,IAAA,eAAM,EAAC,IAAA,wBAAa,EAAC,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qBAAqB,EAAE,GAAG,EAAE;QAC7B,IAAA,eAAM,EAAC,IAAA,wBAAa,EAAC,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,IAAA,eAAM,EAAC,IAAA,wBAAa,EAAC,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,mCAAmC,EAAE,GAAG,EAAE;IACjD,IAAA,WAAE,EAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,IAAA,eAAM,EAAC,IAAA,iCAAsB,EAAC,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,IAAA,eAAM,EAAC,IAAA,iCAAsB,EAAC,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iEAAiE;AACjE,2BAA2B;AAC3B,iEAAiE;AAEjE,IAAA,iBAAQ,EAAC,sBAAsB,EAAE,GAAG,EAAE;IACpC,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,CAAC,GAAiB;YACtB,IAAI,EAAE,GAAG;YACT,UAAU,EAAE,CAAC,IAAI,CAAC;YAClB,aAAa,EAAE,EAAE;YACjB,OAAO,EAAE,CAAC,OAAO,CAAC;YAClB,OAAO,EAAE,EAAE;SACZ,CAAC;QACF,MAAM,KAAK,GAAG,IAAA,oBAAS,EAAC,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC3D,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,CAAC,GAAiB;YACtB,IAAI,EAAE,GAAG;YACT,UAAU,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC;YACxB,aAAa,EAAE,EAAE;YACjB,OAAO,EAAE,CAAC,UAAU,CAAC;YACrB,OAAO,EAAE,EAAE;SACZ,CAAC;QACF,MAAM,KAAK,GAAG,IAAA,oBAAS,EAAC,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,CAAC,GAAiB;YACtB,IAAI,EAAE,MAAM;YACZ,UAAU,EAAE,EAAE;YACd,aAAa,EAAE,CAAC,GAAG,CAAC;YACpB,OAAO,EAAE,CAAC,GAAG,CAAC;YACd,OAAO,EAAE,EAAE;SACZ,CAAC;QACF,MAAM,KAAK,GAAG,IAAA,oBAAS,EAAC,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACvB,IAAI,CAAC,KAAK;YAAE,OAAO;QACnB,IAAA,eAAM,EAAC,KAAK,CAAC,QAAQ,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,mCAAmC,EAAE,GAAG,EAAE;IACjD,IAAA,WAAE,EAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,EAAE,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACpC,MAAM,EAAE,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,IAAA,oBAAS,EAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAA,oBAAS,EAAC,EAAE,CAAC,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,IAAA,eAAM,EAAC,IAAA,oBAAS,EAAC,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAA,oBAAS,EAAC,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iEAAiE;AACjE,sCAAsC;AACtC,iEAAiE;AAEjE,IAAA,iBAAQ,EAAC,6CAA6C,EAAE,GAAG,EAAE;IAC3D,IAAA,WAAE,EAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,mEAAmE;QACnE,gBAAgB;QAChB,MAAM,OAAO,GAAG,aAAa,CAC3B,CAAC,YAAY,EAAE,aAAa,EAAE,UAAU,EAAE,aAAa,EAAE,UAAU,CAAC,EACpE,CAAC,SAAS,CAAC,CACZ,CAAC;QACF,MAAM,IAAI,GAAG,IAAA,kBAAO,EAAC,OAAO,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC5B,MAAM,CAAC,GAAG,IAAY,CAAC;QACvB,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACzB,MAAM,KAAK,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QAC3B,IAAI,CAAC,KAAK;YAAE,OAAO;QACnB,IAAA,eAAM,EAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,6CAA6C,EAAE,GAAG,EAAE;IAC3D,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,oDAAoD;QACpD,0CAA0C;QAC1C,MAAM,OAAO,GAAG,CAAC,SAAS,EAAE,SAAS,EAAE,aAAa,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC;QAC/E,MAAM,IAAI,GAAG,CAAC,SAAS,EAAE,SAAS,EAAE,aAAa,CAAC,CAAC;QACnD,MAAM,OAAO,GAAG,aAAa,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QAC7C,MAAM,IAAI,GAAG,IAAA,kBAAO,EAAC,OAAO,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC5B,MAAM,CAAC,GAAG,IAAY,CAAC;QACvB,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACpC,iDAAiD;QACjD,IAAI,KAAK,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC;QAC7B,KAAK,MAAM,IAAI,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;YAC7B,MAAM,CAAC,GAAG,IAAA,iBAAM,EAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;YAC7C,IAAA,eAAM,EAAC,IAAA,iCAAsB,EAAC,KAAK,EAAE,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAClE,KAAK,GAAG,IAAA,sBAAW,EAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QAChC,CAAC;QACD,IAAA,eAAM,EAAC,IAAA,wBAAa,EAAC,KAAK,EAAE,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,mCAAmC,EAAE,GAAG,EAAE;IACjD,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,OAAO,GAAG,aAAa,CAAC,CAAC,aAAa,EAAE,UAAU,EAAE,WAAW,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC;QACzF,MAAM,IAAI,GAAG,IAAA,kBAAO,EAAC,OAAO,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC5B,IAAA,eAAM,EAAE,IAAa,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACtC,IAAA,eAAM,EAAE,IAAa,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,0BAA0B,EAAE,GAAG,EAAE;IACxC,IAAA,WAAE,EAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,uCAAuC;QACvC,MAAM,OAAO,GAAkB;YAC7B,UAAU,EAAE,CAAC,GAAG,CAAC;YACjB,OAAO,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE;YACrB,OAAO,EAAE,EAAE;YACX,YAAY,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;YAC5B,IAAI,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;SACrB,CAAC;QACF,MAAM,IAAI,GAAG,IAAA,kBAAO,EAAC,OAAO,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC1B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sEAAsE,EAAE,GAAG,EAAE;QAC9E,MAAM,MAAM,GAAiB;YAC3B,IAAI,EAAE,aAAa;YACnB,UAAU,EAAE,EAAE;YACd,aAAa,EAAE,CAAC,OAAO,CAAC,EAAE,iBAAiB;YAC3C,OAAO,EAAE,CAAC,WAAW,CAAC;YACtB,OAAO,EAAE,EAAE;SACZ,CAAC;QACF,MAAM,OAAO,GAAkB;YAC7B,UAAU,EAAE,CAAC,OAAO,EAAE,WAAW,CAAC;YAClC,OAAO,EAAE,EAAE;YACX,OAAO,EAAE,CAAC,MAAM,CAAC;YACjB,YAAY,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;YAC5B,IAAI,EAAE,IAAI,GAAG,CAAC,CAAC,WAAW,CAAC,CAAC;SAC7B,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,kBAAO,EAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACtC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iEAAiE;AACjE,mCAAmC;AACnC,iEAAiE;AAEjE,IAAA,iBAAQ,EAAC,iCAAiC,EAAE,GAAG,EAAE;IAC/C,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,OAAO,GAAG,CAAC,aAAa,EAAE,UAAU,EAAE,aAAa,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC;QACpF,MAAM,IAAI,GAAG,CAAC,SAAS,CAAC,CAAC;QACzB,MAAM,OAAO,GAAG,aAAa,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QAC7C,MAAM,GAAG,GAAG,IAAA,kBAAO,EAAC,OAAO,CAAC,CAAC;QAC7B,MAAM,KAAK,GAAG,IAAA,oBAAS,EAAC,OAAO,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC3B,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAE,GAAY,CAAC,MAAM,CAAC,CAAC,IAAI,CAAE,KAAc,CAAC,MAAM,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,OAAO,GAAG,CAAC,SAAS,EAAE,aAAa,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC;QACpE,MAAM,IAAI,GAAG,CAAC,SAAS,CAAC,CAAC;QACzB,MAAM,OAAO,GAAG,aAAa,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACzD,MAAM,GAAG,GAAG,IAAA,kBAAO,EAAC,OAAO,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,CAAC;QAC/C,MAAM,KAAK,GAAG,IAAA,oBAAS,EAAC,OAAO,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC3B,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAE,GAAY,CAAC,MAAM,CAAC,CAAC,IAAI,CAAE,KAAc,CAAC,MAAM,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iEAAiE;AACjE,iBAAiB;AACjB,iEAAiE;AAEjE,IAAA,iBAAQ,EAAC,+BAA+B,EAAE,GAAG,EAAE;IAC7C,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,IAAA,eAAM,EAAC,IAAA,6BAAkB,EAAC,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7E,IAAA,eAAM,EAAC,IAAA,6BAAkB,EAAC,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,iCAAiC,EAAE,GAAG,EAAE;IAC/C,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,CAAC,GAAG,IAAA,+BAAoB,EAAC,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACxE,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpB,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,kCAAkC;QAClC,MAAM,CAAC,GAAG,IAAA,+BAAoB,EAAC,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACnE,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC3B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,iDAAiD;QACjD,MAAM,OAAO,GAAmB;YAC9B,EAAE,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,EAAE,EAAE,aAAa,EAAE,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE;YACrF,EAAE,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,EAAE,EAAE,aAAa,EAAE,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE;YACrF,EAAE,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,EAAE,EAAE,aAAa,EAAE,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE;SACtF,CAAC;QACF,MAAM,CAAC,GAAG,IAAA,+BAAoB,EAAC,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;QACxE,wEAAwE;QACxE,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpB,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,OAAO,GAAG,CAAC,aAAa,EAAE,UAAU,EAAE,aAAa,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC;QACpF,MAAM,IAAI,GAAG,CAAC,SAAS,CAAC,CAAC;QACzB,MAAM,OAAO,GAAG,aAAa,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QAC7C,MAAM,SAAS,GAAG,IAAA,0BAAe,EAAC,OAAO,CAAC,CAAC;QAC3C,MAAM,IAAI,GAAG,IAAA,oBAAS,EAAC,OAAO,EAAE,EAAE,SAAS,EAAE,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC5B,IAAA,eAAM,EAAE,IAAa,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iEAAiE;AACjE,6BAA6B;AAC7B,iEAAiE;AAEjE,IAAA,iBAAQ,EAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,+DAA+D;QAC/D,0DAA0D;QAC1D,2CAA2C;QAC3C,2DAA2D;QAC3D,MAAM,OAAO,GAAmB;YAC9B,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,EAAE,EAAE,aAAa,EAAE,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE;YACzF,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,EAAE,EAAE,aAAa,EAAE,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,IAAI,CAAC,EAAE;YAC3F,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,EAAE,EAAE,aAAa,EAAE,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,CAAC,IAAI,CAAC,EAAE;YAC1F,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,EAAE,EAAE,aAAa,EAAE,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE;SACxF,CAAC;QACF,MAAM,OAAO,GAAkB;YAC7B,UAAU,EAAE,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC;YAClC,OAAO,EAAE,EAAE;YACX,OAAO;YACP,YAAY,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;YAC5B,IAAI,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;SACrB,CAAC;QACF,MAAM,YAAY,GAAG,CAAC,IAA8B,EAAU,EAAE,CAC9D,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACzC,MAAM,IAAI,GAAG,IAAA,oBAAS,EAAC,OAAO,EAAE,EAAE,YAAY,EAAE,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC5B,MAAM,CAAC,GAAG,IAAY,CAAC;QACvB,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACvB,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC3B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iEAAiE;AACjE,gCAAgC;AAChC,iEAAiE;AAEjE,IAAA,iBAAQ,EAAC,wCAAwC,EAAE,GAAG,EAAE;IACtD,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,OAAO,GAAG,CAAC,aAAa,EAAE,UAAU,EAAE,aAAa,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC;QACpF,MAAM,IAAI,GAAG,CAAC,SAAS,CAAC,CAAC;QACzB,MAAM,OAAO,GAAG,aAAa,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QAC7C,MAAM,IAAI,GAAG,IAAA,oBAAS,EAAC,OAAO,EAAE,EAAE,SAAS,EAAE,IAAA,0BAAe,EAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACzE,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC5B,MAAM,CAAC,GAAG,IAAY,CAAC;QAEvB,IAAI,KAAK,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC;QAC7B,KAAK,MAAM,IAAI,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;YAC7B,MAAM,CAAC,GAAG,IAAA,iBAAM,EAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;YAC7C,IAAA,eAAM,EAAC,IAAA,iCAAsB,EAAC,KAAK,EAAE,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAClE,KAAK,GAAG,IAAA,sBAAW,EAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QAChC,CAAC;QACD,IAAA,eAAM,EAAC,IAAA,wBAAa,EAAC,KAAK,EAAE,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
@@ -0,0 +1,2 @@
1
+ export {};
2
+ //# sourceMappingURL=minify.test.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"minify.test.d.ts","sourceRoot":"","sources":["../../../src/tests/proof-minify/minify.test.ts"],"names":[],"mappings":""}