@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,273 @@
1
+ "use strict";
2
+ Object.defineProperty(exports, "__esModule", { value: true });
3
+ const vitest_1 = require("vitest");
4
+ const pi_calculus_1 = require("../../runtime/pi-calculus");
5
+ // ------------------------------------------------------------
6
+ // Constructores cómodos para escribir procesos en los tests.
7
+ // ------------------------------------------------------------
8
+ const nil = { kind: 'nil' };
9
+ function inp(channel, bind, cont = nil) {
10
+ return { kind: 'input', channel, bind, cont };
11
+ }
12
+ function out(channel, value, cont = nil) {
13
+ return { kind: 'output', channel, value, cont };
14
+ }
15
+ function par(left, right) {
16
+ return { kind: 'parallel', left, right };
17
+ }
18
+ function nu(channel, body) {
19
+ return { kind: 'new', channel, body };
20
+ }
21
+ function rep(body) {
22
+ return { kind: 'replication', body };
23
+ }
24
+ function sum(left, right) {
25
+ return { kind: 'choice', left, right };
26
+ }
27
+ function match(left, right, cont) {
28
+ return { kind: 'match', left, right, cont };
29
+ }
30
+ // ------------------------------------------------------------
31
+ // Helpers de assertion semántico.
32
+ // ------------------------------------------------------------
33
+ function setEq(a, b) {
34
+ const bs = new Set(b);
35
+ if (a.size !== bs.size)
36
+ return false;
37
+ for (const x of a)
38
+ if (!bs.has(x))
39
+ return false;
40
+ return true;
41
+ }
42
+ // ------------------------------------------------------------
43
+ // Tests
44
+ // ------------------------------------------------------------
45
+ (0, vitest_1.describe)('π-calculus — nombres libres y ligados', () => {
46
+ (0, vitest_1.it)('fn(0) = ∅', () => {
47
+ (0, vitest_1.expect)((0, pi_calculus_1.freeNames)(nil).size).toBe(0);
48
+ (0, vitest_1.expect)((0, pi_calculus_1.boundNames)(nil).size).toBe(0);
49
+ });
50
+ (0, vitest_1.it)('fn(c̄⟨v⟩.0) = {c, v}', () => {
51
+ const p = out('c', 'v');
52
+ (0, vitest_1.expect)(setEq((0, pi_calculus_1.freeNames)(p), ['c', 'v'])).toBe(true);
53
+ });
54
+ (0, vitest_1.it)('fn(c(x).x̄⟨a⟩.0) = {c, a}; bn = {x}', () => {
55
+ // x es ligado por el input, no aparece libre.
56
+ const p = inp('c', 'x', out('x', 'a'));
57
+ (0, vitest_1.expect)(setEq((0, pi_calculus_1.freeNames)(p), ['c', 'a'])).toBe(true);
58
+ (0, vitest_1.expect)(setEq((0, pi_calculus_1.boundNames)(p), ['x'])).toBe(true);
59
+ });
60
+ (0, vitest_1.it)('(νc) c̄⟨v⟩.0 — c ligado, v libre', () => {
61
+ const p = nu('c', out('c', 'v'));
62
+ (0, vitest_1.expect)(setEq((0, pi_calculus_1.freeNames)(p), ['v'])).toBe(true);
63
+ (0, vitest_1.expect)(setEq((0, pi_calculus_1.boundNames)(p), ['c'])).toBe(true);
64
+ });
65
+ });
66
+ (0, vitest_1.describe)('π-calculus — α-renaming preserva semántica', () => {
67
+ (0, vitest_1.it)('renombrar un nombre libre mantiene la estructura', () => {
68
+ const p = par(out('c', 'a'), inp('c', 'x', out('x', 'b')));
69
+ const q = (0, pi_calculus_1.alphaRename)(p, 'b', 'B');
70
+ (0, vitest_1.expect)(setEq((0, pi_calculus_1.freeNames)(q), ['c', 'a', 'B'])).toBe(true);
71
+ });
72
+ (0, vitest_1.it)('renombrar un binder de input es inocuo si elegimos un fresco', () => {
73
+ // c(x).x̄⟨a⟩.0 =α= c(y).ȳ⟨a⟩.0
74
+ const innerCont = out('x', 'a');
75
+ const p = { kind: 'input', channel: 'c', bind: 'x', cont: innerCont };
76
+ const renamedBody = (0, pi_calculus_1.alphaRename)(innerCont, 'x', 'y');
77
+ const q = { kind: 'input', channel: 'c', bind: 'y', cont: renamedBody };
78
+ (0, vitest_1.expect)((0, pi_calculus_1.structuralCongruence)(p, q)).toBe(true);
79
+ });
80
+ (0, vitest_1.it)('alphaRename no captura: no toca apariciones bajo binder homónimo', () => {
81
+ // En c(x).x̄⟨a⟩.0, "x" interno está ligado y NO debe renombrarse
82
+ // si la sustitución parte del exterior.
83
+ const p = inp('c', 'x', out('x', 'a'));
84
+ const q = (0, pi_calculus_1.alphaRename)(p, 'x', 'Z');
85
+ // El cuerpo sigue usando "x" porque el binder lo atrapa.
86
+ (0, vitest_1.expect)(q).toEqual(inp('c', 'x', out('x', 'a')));
87
+ });
88
+ });
89
+ (0, vitest_1.describe)('π-calculus — sustitución capture-avoiding', () => {
90
+ (0, vitest_1.it)('P[x := v] cuando x no aparece libre devuelve P intacto', () => {
91
+ const p = out('c', 'd');
92
+ (0, vitest_1.expect)((0, pi_calculus_1.substitute)(p, 'x', 'v')).toEqual(p);
93
+ });
94
+ (0, vitest_1.it)('c̄⟨x⟩.0 [x := a] = c̄⟨a⟩.0', () => {
95
+ (0, vitest_1.expect)((0, pi_calculus_1.substitute)(out('c', 'x'), 'x', 'a')).toEqual(out('c', 'a'));
96
+ });
97
+ (0, vitest_1.it)('evita captura: c(v).v̄⟨w⟩.0 [w := v] α-refresca v', () => {
98
+ // El binder v capturaría la v que viene de afuera.
99
+ const p = inp('c', 'v', out('v', 'w'));
100
+ const r = (0, pi_calculus_1.substitute)(p, 'w', 'v');
101
+ (0, vitest_1.expect)(r.kind).toBe('input');
102
+ if (r.kind !== 'input')
103
+ return;
104
+ // El binder fue refrescado.
105
+ (0, vitest_1.expect)(r.bind).not.toBe('v');
106
+ // Las apariciones internas de "v" originales no se confunden con
107
+ // la "v" que reemplazó a "w".
108
+ (0, vitest_1.expect)((0, pi_calculus_1.freeNames)(r).has('v')).toBe(true);
109
+ });
110
+ });
111
+ (0, vitest_1.describe)('π-calculus — reducción COMM', () => {
112
+ (0, vitest_1.it)('c̄⟨a⟩.0 | c(x).0 → 0 | 0', () => {
113
+ const p = par(out('c', 'a'), inp('c', 'x'));
114
+ const next = (0, pi_calculus_1.reduce)(p);
115
+ (0, vitest_1.expect)(next.length).toBeGreaterThanOrEqual(1);
116
+ const head = next[0];
117
+ (0, vitest_1.expect)((0, pi_calculus_1.structuralCongruence)(head, par(nil, nil))).toBe(true);
118
+ });
119
+ (0, vitest_1.it)('c̄⟨a⟩.0 | c(x).P sustituye x por a en P', () => {
120
+ // P = x̄⟨b⟩.0 — tras COMM debería quedar ā⟨b⟩.0
121
+ const p = par(out('c', 'a'), inp('c', 'x', out('x', 'b')));
122
+ const next = (0, pi_calculus_1.reduce)(p);
123
+ const found = next.some((q) => (0, pi_calculus_1.structuralCongruence)(q, par(nil, out('a', 'b'))));
124
+ (0, vitest_1.expect)(found).toBe(true);
125
+ });
126
+ (0, vitest_1.it)('(νc)(c̄⟨a⟩.0 | c(x).x̄⟨b⟩.0) reduce y expone comunicación', () => {
127
+ // Canal restringido + comunicación interna: COMM atraviesa (νc).
128
+ const p = nu('c', par(out('c', 'a'), inp('c', 'x', out('x', 'b'))));
129
+ const next = (0, pi_calculus_1.reduce)(p);
130
+ (0, vitest_1.expect)(next.length).toBeGreaterThan(0);
131
+ // El resultado debe contener un output a^⟨b⟩.0 visible (ya que x ↦ a).
132
+ const reduced = next[0];
133
+ // (νc)(0 | ā⟨b⟩.0) — c ya no aparece libre dentro, pero seguimos
134
+ // teniendo ā⟨b⟩.0 visible bajo el scope.
135
+ const expected = nu('c', par(nil, out('a', 'b')));
136
+ (0, vitest_1.expect)((0, pi_calculus_1.structuralCongruence)(reduced, expected)).toBe(true);
137
+ });
138
+ (0, vitest_1.it)('!c̄⟨a⟩.0 | c(x).0 | c(x).0 permite ≥ 2 reducciones distintas', () => {
139
+ // La replicación produce copias del output; los dos inputs pueden
140
+ // consumir cada uno una copia.
141
+ const p = par(par(rep(out('c', 'a')), inp('c', 'x')), inp('c', 'x'));
142
+ const next = (0, pi_calculus_1.reduce)(p);
143
+ // Hay múltiples pares input/output posibles → varios sucesores.
144
+ (0, vitest_1.expect)(next.length).toBeGreaterThanOrEqual(2);
145
+ });
146
+ (0, vitest_1.it)('canales distintos no comunican: a(x).0 | b̄⟨v⟩.0 no reduce', () => {
147
+ const p = par(inp('a', 'x'), out('b', 'v'));
148
+ (0, vitest_1.expect)((0, pi_calculus_1.reduce)(p)).toEqual([]);
149
+ (0, vitest_1.expect)((0, pi_calculus_1.isDeadlocked)(p)).toBe(true);
150
+ });
151
+ });
152
+ (0, vitest_1.describe)('π-calculus — deadlock', () => {
153
+ (0, vitest_1.it)('0 está deadlocked', () => {
154
+ (0, vitest_1.expect)((0, pi_calculus_1.isDeadlocked)(nil)).toBe(true);
155
+ });
156
+ (0, vitest_1.it)('0 | 0 está deadlocked', () => {
157
+ (0, vitest_1.expect)((0, pi_calculus_1.isDeadlocked)(par(nil, nil))).toBe(true);
158
+ });
159
+ (0, vitest_1.it)('input sin output complementario está deadlocked', () => {
160
+ (0, vitest_1.expect)((0, pi_calculus_1.isDeadlocked)(inp('c', 'x'))).toBe(true);
161
+ });
162
+ (0, vitest_1.it)('output sin input complementario está deadlocked', () => {
163
+ (0, vitest_1.expect)((0, pi_calculus_1.isDeadlocked)(out('c', 'v'))).toBe(true);
164
+ });
165
+ });
166
+ (0, vitest_1.describe)('π-calculus — match / replicación / choice', () => {
167
+ (0, vitest_1.it)('[x = x].P reduce a P', () => {
168
+ const inner = out('c', 'v');
169
+ const p = match('x', 'x', inner);
170
+ const next = (0, pi_calculus_1.reduce)(p);
171
+ (0, vitest_1.expect)(next.length).toBeGreaterThanOrEqual(1);
172
+ (0, vitest_1.expect)((0, pi_calculus_1.structuralCongruence)(next[0], inner)).toBe(true);
173
+ });
174
+ (0, vitest_1.it)('[x = y].P no reduce si x ≠ y', () => {
175
+ const p = match('x', 'y', out('c', 'v'));
176
+ (0, vitest_1.expect)((0, pi_calculus_1.reduce)(p)).toEqual([]);
177
+ });
178
+ (0, vitest_1.it)('choice: c̄⟨a⟩.0 + d̄⟨b⟩.0 | c(x).0 → 0 (rama c elegida, d descartada)', () => {
179
+ const p = par(sum(out('c', 'a'), out('d', 'b')), inp('c', 'x'));
180
+ const next = (0, pi_calculus_1.reduce)(p);
181
+ // Al menos un sucesor que es ≡ 0 | 0 (la rama c̄⟨a⟩ se consume, d̄⟨b⟩
182
+ // se descarta por la regla SUM).
183
+ const reduced = next.some((q) => (0, pi_calculus_1.structuralCongruence)(q, par(nil, nil)));
184
+ (0, vitest_1.expect)(reduced).toBe(true);
185
+ });
186
+ (0, vitest_1.it)('replicación produce comunicaciones repetibles', () => {
187
+ // !c(x).0 | c̄⟨a⟩.0 → !c(x).0 | 0 (la copia consumida queda libre
188
+ // y la replicación sigue disponible para más outputs futuros).
189
+ const p = par(rep(inp('c', 'x')), out('c', 'a'));
190
+ const next = (0, pi_calculus_1.reduce)(p);
191
+ (0, vitest_1.expect)(next.length).toBeGreaterThan(0);
192
+ // Confirmamos que sigue habiendo una replicación en el sucesor.
193
+ const stillReplicates = next.some((q) => containsReplication(q));
194
+ (0, vitest_1.expect)(stillReplicates).toBe(true);
195
+ });
196
+ });
197
+ (0, vitest_1.describe)('π-calculus — congruencia estructural', () => {
198
+ (0, vitest_1.it)('P | 0 ≡ P', () => {
199
+ const P = out('c', 'a');
200
+ (0, vitest_1.expect)((0, pi_calculus_1.structuralCongruence)(par(P, nil), P)).toBe(true);
201
+ });
202
+ (0, vitest_1.it)('P | Q ≡ Q | P (conmutatividad)', () => {
203
+ const P = out('c', 'a');
204
+ const Q = out('d', 'b');
205
+ (0, vitest_1.expect)((0, pi_calculus_1.structuralCongruence)(par(P, Q), par(Q, P))).toBe(true);
206
+ });
207
+ (0, vitest_1.it)('(P | Q) | R ≡ P | (Q | R) (asociatividad)', () => {
208
+ const P = out('c', 'a');
209
+ const Q = out('d', 'b');
210
+ const R = out('e', 'f');
211
+ (0, vitest_1.expect)((0, pi_calculus_1.structuralCongruence)(par(par(P, Q), R), par(P, par(Q, R)))).toBe(true);
212
+ });
213
+ (0, vitest_1.it)('(νc) 0 ≡ 0', () => {
214
+ (0, vitest_1.expect)((0, pi_calculus_1.structuralCongruence)(nu('c', nil), nil)).toBe(true);
215
+ });
216
+ (0, vitest_1.it)('(νc)(νd) P ≡ (νd)(νc) P (intercambio de scopes)', () => {
217
+ const P = par(out('c', 'a'), inp('d', 'x'));
218
+ (0, vitest_1.expect)((0, pi_calculus_1.structuralCongruence)(nu('c', nu('d', P)), nu('d', nu('c', P)))).toBe(true);
219
+ });
220
+ (0, vitest_1.it)('α-equivalencia: c(x).x̄⟨a⟩.0 ≡ c(y).ȳ⟨a⟩.0', () => {
221
+ const p = inp('c', 'x', out('x', 'a'));
222
+ const q = inp('c', 'y', out('y', 'a'));
223
+ (0, vitest_1.expect)((0, pi_calculus_1.structuralCongruence)(p, q)).toBe(true);
224
+ });
225
+ (0, vitest_1.it)('procesos distintos no son congruentes', () => {
226
+ (0, vitest_1.expect)((0, pi_calculus_1.structuralCongruence)(out('c', 'a'), out('d', 'a'))).toBe(false);
227
+ (0, vitest_1.expect)((0, pi_calculus_1.structuralCongruence)(out('c', 'a'), inp('c', 'a'))).toBe(false);
228
+ });
229
+ (0, vitest_1.it)('scope extrusion: (νc)(P | Q) ≡ P | (νc) Q cuando c ∉ fn(P)', () => {
230
+ // P = ā⟨b⟩.0 no menciona c; Q = c̄⟨b⟩.0 sí.
231
+ const P = out('a', 'b');
232
+ const Q = out('c', 'b');
233
+ (0, vitest_1.expect)((0, pi_calculus_1.structuralCongruence)(nu('c', par(P, Q)), par(P, nu('c', Q)))).toBe(true);
234
+ });
235
+ });
236
+ (0, vitest_1.describe)('π-calculus — trace', () => {
237
+ (0, vitest_1.it)('trace de proceso terminal solo tiene el inicio', () => {
238
+ (0, vitest_1.expect)((0, pi_calculus_1.trace)(nil).length).toBe(1);
239
+ });
240
+ (0, vitest_1.it)('trace de proceso reducible avanza ≥ 1 paso', () => {
241
+ const p = par(out('c', 'a'), inp('c', 'x', out('x', 'b')));
242
+ const tr = (0, pi_calculus_1.trace)(p, 5);
243
+ (0, vitest_1.expect)(tr.length).toBeGreaterThanOrEqual(2);
244
+ });
245
+ (0, vitest_1.it)('trace respeta maxSteps', () => {
246
+ // Replicación + emisor único produce trazas potencialmente largas;
247
+ // capamos a 3 pasos.
248
+ const p = par(rep(inp('c', 'x')), par(out('c', 'a'), out('c', 'b')));
249
+ const tr = (0, pi_calculus_1.trace)(p, 3);
250
+ (0, vitest_1.expect)(tr.length).toBeLessThanOrEqual(4); // estado inicial + ≤3 pasos
251
+ });
252
+ });
253
+ // ------------------------------------------------------------
254
+ // Aux
255
+ // ------------------------------------------------------------
256
+ function containsReplication(p) {
257
+ switch (p.kind) {
258
+ case 'replication':
259
+ return true;
260
+ case 'parallel':
261
+ case 'choice':
262
+ return containsReplication(p.left) || containsReplication(p.right);
263
+ case 'new':
264
+ return containsReplication(p.body);
265
+ case 'input':
266
+ case 'output':
267
+ case 'match':
268
+ return containsReplication(p.cont);
269
+ case 'nil':
270
+ return false;
271
+ }
272
+ }
273
+ //# sourceMappingURL=pi-calculus.test.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"pi-calculus.test.js","sourceRoot":"","sources":["../../../src/tests/pi-calculus/pi-calculus.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,2DASmC;AAGnC,+DAA+D;AAC/D,6DAA6D;AAC7D,+DAA+D;AAE/D,MAAM,GAAG,GAAc,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AAEvC,SAAS,GAAG,CAAC,OAAe,EAAE,IAAY,EAAE,OAAkB,GAAG;IAC/D,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;AAChD,CAAC;AAED,SAAS,GAAG,CAAC,OAAe,EAAE,KAAa,EAAE,OAAkB,GAAG;IAChE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;AAClD,CAAC;AAED,SAAS,GAAG,CAAC,IAAe,EAAE,KAAgB;IAC5C,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AAC3C,CAAC;AAED,SAAS,EAAE,CAAC,OAAe,EAAE,IAAe;IAC1C,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;AACxC,CAAC;AAED,SAAS,GAAG,CAAC,IAAe;IAC1B,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC;AACvC,CAAC;AAED,SAAS,GAAG,CAAC,IAAe,EAAE,KAAgB;IAC5C,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AACzC,CAAC;AAED,SAAS,KAAK,CAAC,IAAY,EAAE,KAAa,EAAE,IAAe;IACzD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;AAC9C,CAAC;AAED,+DAA+D;AAC/D,kCAAkC;AAClC,+DAA+D;AAE/D,SAAS,KAAK,CAAI,CAAS,EAAE,CAAc;IACzC,MAAM,EAAE,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC;IACtB,IAAI,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACrC,KAAK,MAAM,CAAC,IAAI,CAAC;QAAE,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;IAChD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,+DAA+D;AAC/D,QAAQ;AACR,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,uCAAuC,EAAE,GAAG,EAAE;IACrD,IAAA,WAAE,EAAC,WAAW,EAAE,GAAG,EAAE;QACnB,IAAA,eAAM,EAAC,IAAA,uBAAS,EAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,IAAA,wBAAU,EAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,KAAK,CAAC,IAAA,uBAAS,EAAC,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,8CAA8C;QAC9C,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,KAAK,CAAC,IAAA,uBAAS,EAAC,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,KAAK,CAAC,IAAA,wBAAU,EAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,CAAC,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,KAAK,CAAC,IAAA,uBAAS,EAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,KAAK,CAAC,IAAA,wBAAU,EAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,4CAA4C,EAAE,GAAG,EAAE;IAC1D,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3D,MAAM,CAAC,GAAG,IAAA,yBAAW,EAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,KAAK,CAAC,IAAA,uBAAS,EAAC,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,iCAAiC;QACjC,MAAM,SAAS,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAChC,MAAM,CAAC,GAAc,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QACjF,MAAM,WAAW,GAAG,IAAA,yBAAW,EAAC,SAAS,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QACrD,MAAM,CAAC,GAAc,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;QACnF,IAAA,eAAM,EAAC,IAAA,kCAAoB,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,iEAAiE;QACjE,wCAAwC;QACxC,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACvC,MAAM,CAAC,GAAG,IAAA,yBAAW,EAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QACnC,yDAAyD;QACzD,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,2CAA2C,EAAE,GAAG,EAAE;IACzD,IAAA,WAAE,EAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,IAAA,wBAAU,EAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,IAAA,eAAM,EAAC,IAAA,wBAAU,EAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,mDAAmD;QACnD,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACvC,MAAM,CAAC,GAAG,IAAA,wBAAU,EAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC7B,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO;YAAE,OAAO;QAC/B,4BAA4B;QAC5B,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC7B,iEAAiE;QACjE,8BAA8B;QAC9B,IAAA,eAAM,EAAC,IAAA,uBAAS,EAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAC5C,MAAM,IAAI,GAAG,IAAA,oBAAM,EAAC,CAAC,CAAC,CAAC;QACvB,IAAA,eAAM,EAAC,IAAI,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QAC9C,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACrB,IAAA,eAAM,EAAC,IAAA,kCAAoB,EAAC,IAAI,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,gDAAgD;QAChD,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3D,MAAM,IAAI,GAAG,IAAA,oBAAM,EAAC,CAAC,CAAC,CAAC;QACvB,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,kCAAoB,EAAC,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACjF,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,iEAAiE;QACjE,MAAM,CAAC,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACpE,MAAM,IAAI,GAAG,IAAA,oBAAM,EAAC,CAAC,CAAC,CAAC;QACvB,IAAA,eAAM,EAAC,IAAI,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACvC,uEAAuE;QACvE,MAAM,OAAO,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACxB,iEAAiE;QACjE,yCAAyC;QACzC,MAAM,QAAQ,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,IAAA,kCAAoB,EAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,kEAAkE;QAClE,+BAA+B;QAC/B,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACrE,MAAM,IAAI,GAAG,IAAA,oBAAM,EAAC,CAAC,CAAC,CAAC;QACvB,gEAAgE;QAChE,IAAA,eAAM,EAAC,IAAI,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,IAAA,oBAAM,EAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,IAAA,0BAAY,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,uBAAuB,EAAE,GAAG,EAAE;IACrC,IAAA,WAAE,EAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,IAAA,eAAM,EAAC,IAAA,0BAAY,EAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,IAAA,eAAM,EAAC,IAAA,0BAAY,EAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,IAAA,eAAM,EAAC,IAAA,0BAAY,EAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,IAAA,eAAM,EAAC,IAAA,0BAAY,EAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,2CAA2C,EAAE,GAAG,EAAE;IACzD,IAAA,WAAE,EAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,MAAM,KAAK,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC5B,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;QACjC,MAAM,IAAI,GAAG,IAAA,oBAAM,EAAC,CAAC,CAAC,CAAC;QACvB,IAAA,eAAM,EAAC,IAAI,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,IAAA,kCAAoB,EAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,IAAA,oBAAM,EAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uEAAuE,EAAE,GAAG,EAAE;QAC/E,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAChE,MAAM,IAAI,GAAG,IAAA,oBAAM,EAAC,CAAC,CAAC,CAAC;QACvB,sEAAsE;QACtE,iCAAiC;QACjC,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,kCAAoB,EAAC,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QACzE,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,oEAAoE;QACpE,+DAA+D;QAC/D,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACjD,MAAM,IAAI,GAAG,IAAA,oBAAM,EAAC,CAAC,CAAC,CAAC;QACvB,IAAA,eAAM,EAAC,IAAI,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACvC,gEAAgE;QAChE,MAAM,eAAe,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,CAAC;QACjE,IAAA,eAAM,EAAC,eAAe,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,sCAAsC,EAAE,GAAG,EAAE;IACpD,IAAA,WAAE,EAAC,WAAW,EAAE,GAAG,EAAE;QACnB,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,IAAA,kCAAoB,EAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACxB,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,IAAA,kCAAoB,EAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACxB,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACxB,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,IAAA,kCAAoB,EAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,YAAY,EAAE,GAAG,EAAE;QACpB,IAAA,eAAM,EAAC,IAAA,kCAAoB,EAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,IAAA,kCAAoB,EAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACvC,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,IAAA,kCAAoB,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,IAAA,eAAM,EAAC,IAAA,kCAAoB,EAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvE,IAAA,eAAM,EAAC,IAAA,kCAAoB,EAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,4CAA4C;QAC5C,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACxB,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,IAAA,kCAAoB,EAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,oBAAoB,EAAE,GAAG,EAAE;IAClC,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,IAAA,eAAM,EAAC,IAAA,mBAAK,EAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3D,MAAM,EAAE,GAAG,IAAA,mBAAK,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACvB,IAAA,eAAM,EAAC,EAAE,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,mEAAmE;QACnE,qBAAqB;QACrB,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QACrE,MAAM,EAAE,GAAG,IAAA,mBAAK,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACvB,IAAA,eAAM,EAAC,EAAE,CAAC,MAAM,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,CAAC,4BAA4B;IACxE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAC/D,MAAM;AACN,+DAA+D;AAE/D,SAAS,mBAAmB,CAAC,CAAY;IACvC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,aAAa;YAChB,OAAO,IAAI,CAAC;QACd,KAAK,UAAU,CAAC;QAChB,KAAK,QAAQ;YACX,OAAO,mBAAmB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,mBAAmB,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACrE,KAAK,KAAK;YACR,OAAO,mBAAmB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACrC,KAAK,OAAO,CAAC;QACb,KAAK,QAAQ,CAAC;QACd,KAAK,OAAO;YACV,OAAO,mBAAmB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACrC,KAAK,KAAK;YACR,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC"}
@@ -0,0 +1,2 @@
1
+ export {};
2
+ //# sourceMappingURL=planning.test.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"planning.test.d.ts","sourceRoot":"","sources":["../../../src/tests/planning/planning.test.ts"],"names":[],"mappings":""}