@stevenvo780/st-lang 3.2.3 → 4.0.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (445) hide show
  1. package/README.md +47 -7
  2. package/dist/api.d.ts +2 -0
  3. package/dist/api.d.ts.map +1 -1
  4. package/dist/api.js +5 -1
  5. package/dist/api.js.map +1 -1
  6. package/dist/argumentation/dot.d.ts +3 -0
  7. package/dist/argumentation/dot.d.ts.map +1 -0
  8. package/dist/argumentation/dot.js +25 -0
  9. package/dist/argumentation/dot.js.map +1 -0
  10. package/dist/argumentation/extensions.d.ts +11 -0
  11. package/dist/argumentation/extensions.d.ts.map +1 -0
  12. package/dist/argumentation/extensions.js +173 -0
  13. package/dist/argumentation/extensions.js.map +1 -0
  14. package/dist/argumentation/framework.d.ts +13 -0
  15. package/dist/argumentation/framework.d.ts.map +1 -0
  16. package/dist/argumentation/framework.js +117 -0
  17. package/dist/argumentation/framework.js.map +1 -0
  18. package/dist/argumentation/index.d.ts +6 -0
  19. package/dist/argumentation/index.d.ts.map +1 -0
  20. package/dist/argumentation/index.js +33 -0
  21. package/dist/argumentation/index.js.map +1 -0
  22. package/dist/argumentation/types.d.ts +11 -0
  23. package/dist/argumentation/types.d.ts.map +1 -0
  24. package/dist/argumentation/types.js +8 -0
  25. package/dist/argumentation/types.js.map +1 -0
  26. package/dist/ast/visitor.d.ts +95 -0
  27. package/dist/ast/visitor.d.ts.map +1 -0
  28. package/dist/ast/visitor.js +223 -0
  29. package/dist/ast/visitor.js.map +1 -0
  30. package/dist/citation-reasoning/derive.d.ts +31 -0
  31. package/dist/citation-reasoning/derive.d.ts.map +1 -0
  32. package/dist/citation-reasoning/derive.js +157 -0
  33. package/dist/citation-reasoning/derive.js.map +1 -0
  34. package/dist/citation-reasoning/index.d.ts +4 -0
  35. package/dist/citation-reasoning/index.d.ts.map +1 -0
  36. package/dist/citation-reasoning/index.js +10 -0
  37. package/dist/citation-reasoning/index.js.map +1 -0
  38. package/dist/citation-reasoning/types.d.ts +36 -0
  39. package/dist/citation-reasoning/types.d.ts.map +1 -0
  40. package/dist/citation-reasoning/types.js +6 -0
  41. package/dist/citation-reasoning/types.js.map +1 -0
  42. package/dist/educational/checker.d.ts +3 -0
  43. package/dist/educational/checker.d.ts.map +1 -0
  44. package/dist/educational/checker.js +244 -0
  45. package/dist/educational/checker.js.map +1 -0
  46. package/dist/educational/generator.d.ts +4 -0
  47. package/dist/educational/generator.d.ts.map +1 -0
  48. package/dist/educational/generator.js +158 -0
  49. package/dist/educational/generator.js.map +1 -0
  50. package/dist/educational/index.d.ts +6 -0
  51. package/dist/educational/index.d.ts.map +1 -0
  52. package/dist/educational/index.js +21 -0
  53. package/dist/educational/index.js.map +1 -0
  54. package/dist/educational/normalize.d.ts +6 -0
  55. package/dist/educational/normalize.d.ts.map +1 -0
  56. package/dist/educational/normalize.js +124 -0
  57. package/dist/educational/normalize.js.map +1 -0
  58. package/dist/educational/rng.d.ts +10 -0
  59. package/dist/educational/rng.d.ts.map +1 -0
  60. package/dist/educational/rng.js +47 -0
  61. package/dist/educational/rng.js.map +1 -0
  62. package/dist/educational/templates.d.ts +30 -0
  63. package/dist/educational/templates.d.ts.map +1 -0
  64. package/dist/educational/templates.js +567 -0
  65. package/dist/educational/templates.js.map +1 -0
  66. package/dist/educational/types.d.ts +44 -0
  67. package/dist/educational/types.d.ts.map +1 -0
  68. package/dist/educational/types.js +20 -0
  69. package/dist/educational/types.js.map +1 -0
  70. package/dist/exporters/coq/index.d.ts +35 -0
  71. package/dist/exporters/coq/index.d.ts.map +1 -0
  72. package/dist/exporters/coq/index.js +299 -0
  73. package/dist/exporters/coq/index.js.map +1 -0
  74. package/dist/fol-prover/cnf.d.ts +10 -0
  75. package/dist/fol-prover/cnf.d.ts.map +1 -0
  76. package/dist/fol-prover/cnf.js +357 -0
  77. package/dist/fol-prover/cnf.js.map +1 -0
  78. package/dist/fol-prover/index.d.ts +7 -0
  79. package/dist/fol-prover/index.d.ts.map +1 -0
  80. package/dist/fol-prover/index.js +27 -0
  81. package/dist/fol-prover/index.js.map +1 -0
  82. package/dist/fol-prover/prove.d.ts +4 -0
  83. package/dist/fol-prover/prove.d.ts.map +1 -0
  84. package/dist/fol-prover/prove.js +34 -0
  85. package/dist/fol-prover/prove.js.map +1 -0
  86. package/dist/fol-prover/resolve.d.ts +27 -0
  87. package/dist/fol-prover/resolve.d.ts.map +1 -0
  88. package/dist/fol-prover/resolve.js +234 -0
  89. package/dist/fol-prover/resolve.js.map +1 -0
  90. package/dist/fol-prover/types.d.ts +34 -0
  91. package/dist/fol-prover/types.d.ts.map +1 -0
  92. package/dist/fol-prover/types.js +38 -0
  93. package/dist/fol-prover/types.js.map +1 -0
  94. package/dist/fol-prover/unify.d.ts +9 -0
  95. package/dist/fol-prover/unify.d.ts.map +1 -0
  96. package/dist/fol-prover/unify.js +110 -0
  97. package/dist/fol-prover/unify.js.map +1 -0
  98. package/dist/hyperreal/index.d.ts +45 -0
  99. package/dist/hyperreal/index.d.ts.map +1 -0
  100. package/dist/hyperreal/index.js +183 -0
  101. package/dist/hyperreal/index.js.map +1 -0
  102. package/dist/index.d.ts +26 -0
  103. package/dist/index.d.ts.map +1 -1
  104. package/dist/index.js +72 -1
  105. package/dist/index.js.map +1 -1
  106. package/dist/lsp/index.d.ts +6 -0
  107. package/dist/lsp/index.d.ts.map +1 -0
  108. package/dist/lsp/index.js +29 -0
  109. package/dist/lsp/index.js.map +1 -0
  110. package/dist/lsp/protocol.d.ts +20 -0
  111. package/dist/lsp/protocol.d.ts.map +1 -0
  112. package/dist/lsp/protocol.js +64 -0
  113. package/dist/lsp/protocol.js.map +1 -0
  114. package/dist/lsp/server.d.ts +47 -0
  115. package/dist/lsp/server.d.ts.map +1 -0
  116. package/dist/lsp/server.js +529 -0
  117. package/dist/lsp/server.js.map +1 -0
  118. package/dist/lsp/types.d.ts +152 -0
  119. package/dist/lsp/types.d.ts.map +1 -0
  120. package/dist/lsp/types.js +70 -0
  121. package/dist/lsp/types.js.map +1 -0
  122. package/dist/parser/formulas.d.ts +7 -0
  123. package/dist/parser/formulas.d.ts.map +1 -0
  124. package/dist/parser/formulas.js +511 -0
  125. package/dist/parser/formulas.js.map +1 -0
  126. package/dist/parser/parser.d.ts +11 -41
  127. package/dist/parser/parser.d.ts.map +1 -1
  128. package/dist/parser/parser.js +410 -1037
  129. package/dist/parser/parser.js.map +1 -1
  130. package/dist/parser/state.d.ts +34 -0
  131. package/dist/parser/state.d.ts.map +1 -0
  132. package/dist/parser/state.js +163 -0
  133. package/dist/parser/state.js.map +1 -0
  134. package/dist/plugin-system/demo-min-logic.d.ts +3 -0
  135. package/dist/plugin-system/demo-min-logic.d.ts.map +1 -0
  136. package/dist/plugin-system/demo-min-logic.js +116 -0
  137. package/dist/plugin-system/demo-min-logic.js.map +1 -0
  138. package/dist/plugin-system/errors.d.ts +9 -0
  139. package/dist/plugin-system/errors.d.ts.map +1 -0
  140. package/dist/plugin-system/errors.js +24 -0
  141. package/dist/plugin-system/errors.js.map +1 -0
  142. package/dist/plugin-system/index.d.ts +6 -0
  143. package/dist/plugin-system/index.d.ts.map +1 -0
  144. package/dist/plugin-system/index.js +14 -0
  145. package/dist/plugin-system/index.js.map +1 -0
  146. package/dist/plugin-system/registry.d.ts +12 -0
  147. package/dist/plugin-system/registry.d.ts.map +1 -0
  148. package/dist/plugin-system/registry.js +46 -0
  149. package/dist/plugin-system/registry.js.map +1 -0
  150. package/dist/plugin-system/types.d.ts +23 -0
  151. package/dist/plugin-system/types.d.ts.map +1 -0
  152. package/dist/plugin-system/types.js +3 -0
  153. package/dist/plugin-system/types.js.map +1 -0
  154. package/dist/plugin-system/validate.d.ts +4 -0
  155. package/dist/plugin-system/validate.d.ts.map +1 -0
  156. package/dist/plugin-system/validate.js +60 -0
  157. package/dist/plugin-system/validate.js.map +1 -0
  158. package/dist/profiles/classical/parallel-sat.js +3 -3
  159. package/dist/profiles/classical/parallel-sat.js.map +1 -1
  160. package/dist/proof-exchange/index.d.ts +26 -0
  161. package/dist/proof-exchange/index.d.ts.map +1 -0
  162. package/dist/proof-exchange/index.js +94 -0
  163. package/dist/proof-exchange/index.js.map +1 -0
  164. package/dist/runtime/memo/cache.d.ts +32 -0
  165. package/dist/runtime/memo/cache.d.ts.map +1 -0
  166. package/dist/runtime/memo/cache.js +129 -0
  167. package/dist/runtime/memo/cache.js.map +1 -0
  168. package/dist/runtime/memo/hash.d.ts +9 -0
  169. package/dist/runtime/memo/hash.d.ts.map +1 -0
  170. package/dist/runtime/memo/hash.js +87 -0
  171. package/dist/runtime/memo/hash.js.map +1 -0
  172. package/dist/runtime/memo/index.d.ts +4 -0
  173. package/dist/runtime/memo/index.d.ts.map +1 -0
  174. package/dist/runtime/memo/index.js +8 -0
  175. package/dist/runtime/memo/index.js.map +1 -0
  176. package/dist/runtime/parallel/index.d.ts +34 -0
  177. package/dist/runtime/parallel/index.d.ts.map +1 -0
  178. package/dist/runtime/parallel/index.js +220 -0
  179. package/dist/runtime/parallel/index.js.map +1 -0
  180. package/dist/runtime/parallel/worker.d.ts +22 -0
  181. package/dist/runtime/parallel/worker.d.ts.map +1 -0
  182. package/dist/runtime/parallel/worker.js +43 -0
  183. package/dist/runtime/parallel/worker.js.map +1 -0
  184. package/dist/runtime/smt/index.d.ts +6 -0
  185. package/dist/runtime/smt/index.d.ts.map +1 -0
  186. package/dist/runtime/smt/index.js +18 -0
  187. package/dist/runtime/smt/index.js.map +1 -0
  188. package/dist/runtime/smt/mock-backend.d.ts +30 -0
  189. package/dist/runtime/smt/mock-backend.d.ts.map +1 -0
  190. package/dist/runtime/smt/mock-backend.js +460 -0
  191. package/dist/runtime/smt/mock-backend.js.map +1 -0
  192. package/dist/runtime/smt/serializer.d.ts +21 -0
  193. package/dist/runtime/smt/serializer.d.ts.map +1 -0
  194. package/dist/runtime/smt/serializer.js +314 -0
  195. package/dist/runtime/smt/serializer.js.map +1 -0
  196. package/dist/runtime/smt/subprocess-backend.d.ts +62 -0
  197. package/dist/runtime/smt/subprocess-backend.d.ts.map +1 -0
  198. package/dist/runtime/smt/subprocess-backend.js +261 -0
  199. package/dist/runtime/smt/subprocess-backend.js.map +1 -0
  200. package/dist/runtime/smt/types.d.ts +57 -0
  201. package/dist/runtime/smt/types.d.ts.map +1 -0
  202. package/dist/runtime/smt/types.js +6 -0
  203. package/dist/runtime/smt/types.js.map +1 -0
  204. package/dist/runtime/streaming/index.d.ts +4 -0
  205. package/dist/runtime/streaming/index.d.ts.map +1 -0
  206. package/dist/runtime/streaming/index.js +9 -0
  207. package/dist/runtime/streaming/index.js.map +1 -0
  208. package/dist/runtime/streaming/stream-eval.d.ts +31 -0
  209. package/dist/runtime/streaming/stream-eval.d.ts.map +1 -0
  210. package/dist/runtime/streaming/stream-eval.js +155 -0
  211. package/dist/runtime/streaming/stream-eval.js.map +1 -0
  212. package/dist/runtime/streaming/types.d.ts +33 -0
  213. package/dist/runtime/streaming/types.d.ts.map +1 -0
  214. package/dist/runtime/streaming/types.js +6 -0
  215. package/dist/runtime/streaming/types.js.map +1 -0
  216. package/dist/runtime/typecheck/checker.d.ts +72 -0
  217. package/dist/runtime/typecheck/checker.d.ts.map +1 -0
  218. package/dist/runtime/typecheck/checker.js +462 -0
  219. package/dist/runtime/typecheck/checker.js.map +1 -0
  220. package/dist/runtime/typecheck/index.d.ts +4 -0
  221. package/dist/runtime/typecheck/index.d.ts.map +1 -0
  222. package/dist/runtime/typecheck/index.js +13 -0
  223. package/dist/runtime/typecheck/index.js.map +1 -0
  224. package/dist/runtime/typecheck/levenshtein.d.ts +11 -0
  225. package/dist/runtime/typecheck/levenshtein.d.ts.map +1 -0
  226. package/dist/runtime/typecheck/levenshtein.js +49 -0
  227. package/dist/runtime/typecheck/levenshtein.js.map +1 -0
  228. package/dist/runtime/typecheck/types.d.ts +14 -0
  229. package/dist/runtime/typecheck/types.d.ts.map +1 -0
  230. package/dist/runtime/typecheck/types.js +26 -0
  231. package/dist/runtime/typecheck/types.js.map +1 -0
  232. package/dist/solver/cdcl-v2/clause-learning.d.ts +33 -0
  233. package/dist/solver/cdcl-v2/clause-learning.d.ts.map +1 -0
  234. package/dist/solver/cdcl-v2/clause-learning.js +110 -0
  235. package/dist/solver/cdcl-v2/clause-learning.js.map +1 -0
  236. package/dist/solver/cdcl-v2/index.d.ts +9 -0
  237. package/dist/solver/cdcl-v2/index.d.ts.map +1 -0
  238. package/dist/solver/cdcl-v2/index.js +39 -0
  239. package/dist/solver/cdcl-v2/index.js.map +1 -0
  240. package/dist/solver/cdcl-v2/lbd.d.ts +34 -0
  241. package/dist/solver/cdcl-v2/lbd.d.ts.map +1 -0
  242. package/dist/solver/cdcl-v2/lbd.js +72 -0
  243. package/dist/solver/cdcl-v2/lbd.js.map +1 -0
  244. package/dist/solver/cdcl-v2/luby.d.ts +28 -0
  245. package/dist/solver/cdcl-v2/luby.d.ts.map +1 -0
  246. package/dist/solver/cdcl-v2/luby.js +70 -0
  247. package/dist/solver/cdcl-v2/luby.js.map +1 -0
  248. package/dist/solver/cdcl-v2/phase-saving.d.ts +14 -0
  249. package/dist/solver/cdcl-v2/phase-saving.d.ts.map +1 -0
  250. package/dist/solver/cdcl-v2/phase-saving.js +44 -0
  251. package/dist/solver/cdcl-v2/phase-saving.js.map +1 -0
  252. package/dist/solver/cdcl-v2/solver.d.ts +10 -0
  253. package/dist/solver/cdcl-v2/solver.d.ts.map +1 -0
  254. package/dist/solver/cdcl-v2/solver.js +442 -0
  255. package/dist/solver/cdcl-v2/solver.js.map +1 -0
  256. package/dist/solver/cdcl-v2/state.d.ts +54 -0
  257. package/dist/solver/cdcl-v2/state.d.ts.map +1 -0
  258. package/dist/solver/cdcl-v2/state.js +22 -0
  259. package/dist/solver/cdcl-v2/state.js.map +1 -0
  260. package/dist/solver/cdcl-v2/vsids.d.ts +19 -0
  261. package/dist/solver/cdcl-v2/vsids.d.ts.map +1 -0
  262. package/dist/solver/cdcl-v2/vsids.js +77 -0
  263. package/dist/solver/cdcl-v2/vsids.js.map +1 -0
  264. package/dist/tests/agora-integration-fixtures.test.js.map +1 -1
  265. package/dist/tests/argumentation/dung.test.d.ts +2 -0
  266. package/dist/tests/argumentation/dung.test.d.ts.map +1 -0
  267. package/dist/tests/argumentation/dung.test.js +219 -0
  268. package/dist/tests/argumentation/dung.test.js.map +1 -0
  269. package/dist/tests/citation-reasoning/citation-reasoning.test.d.ts +2 -0
  270. package/dist/tests/citation-reasoning/citation-reasoning.test.d.ts.map +1 -0
  271. package/dist/tests/citation-reasoning/citation-reasoning.test.js +240 -0
  272. package/dist/tests/citation-reasoning/citation-reasoning.test.js.map +1 -0
  273. package/dist/tests/coverage-fill-api.test.d.ts +7 -0
  274. package/dist/tests/coverage-fill-api.test.d.ts.map +1 -0
  275. package/dist/tests/coverage-fill-api.test.js +310 -0
  276. package/dist/tests/coverage-fill-api.test.js.map +1 -0
  277. package/dist/tests/coverage-fill-aristotelian.test.d.ts +7 -0
  278. package/dist/tests/coverage-fill-aristotelian.test.d.ts.map +1 -0
  279. package/dist/tests/coverage-fill-aristotelian.test.js +377 -0
  280. package/dist/tests/coverage-fill-aristotelian.test.js.map +1 -0
  281. package/dist/tests/coverage-fill-belnap.test.d.ts +6 -0
  282. package/dist/tests/coverage-fill-belnap.test.d.ts.map +1 -0
  283. package/dist/tests/coverage-fill-belnap.test.js +277 -0
  284. package/dist/tests/coverage-fill-belnap.test.js.map +1 -0
  285. package/dist/tests/coverage-fill-cross-system.test.d.ts +6 -0
  286. package/dist/tests/coverage-fill-cross-system.test.d.ts.map +1 -0
  287. package/dist/tests/coverage-fill-cross-system.test.js +75 -0
  288. package/dist/tests/coverage-fill-cross-system.test.js.map +1 -0
  289. package/dist/tests/coverage-fill-fallacies.test.d.ts +6 -0
  290. package/dist/tests/coverage-fill-fallacies.test.d.ts.map +1 -0
  291. package/dist/tests/coverage-fill-fallacies.test.js +287 -0
  292. package/dist/tests/coverage-fill-fallacies.test.js.map +1 -0
  293. package/dist/tests/coverage-fill-format.test.d.ts +7 -0
  294. package/dist/tests/coverage-fill-format.test.d.ts.map +1 -0
  295. package/dist/tests/coverage-fill-format.test.js +455 -0
  296. package/dist/tests/coverage-fill-format.test.js.map +1 -0
  297. package/dist/tests/coverage-fill-intuitionistic.test.d.ts +6 -0
  298. package/dist/tests/coverage-fill-intuitionistic.test.d.ts.map +1 -0
  299. package/dist/tests/coverage-fill-intuitionistic.test.js +293 -0
  300. package/dist/tests/coverage-fill-intuitionistic.test.js.map +1 -0
  301. package/dist/tests/coverage-fill-probabilistic.test.d.ts +7 -0
  302. package/dist/tests/coverage-fill-probabilistic.test.d.ts.map +1 -0
  303. package/dist/tests/coverage-fill-probabilistic.test.js +314 -0
  304. package/dist/tests/coverage-fill-probabilistic.test.js.map +1 -0
  305. package/dist/tests/educational/checker.test.d.ts +2 -0
  306. package/dist/tests/educational/checker.test.d.ts.map +1 -0
  307. package/dist/tests/educational/checker.test.js +212 -0
  308. package/dist/tests/educational/checker.test.js.map +1 -0
  309. package/dist/tests/educational/generator.test.d.ts +2 -0
  310. package/dist/tests/educational/generator.test.d.ts.map +1 -0
  311. package/dist/tests/educational/generator.test.js +137 -0
  312. package/dist/tests/educational/generator.test.js.map +1 -0
  313. package/dist/tests/exporters/coq/coq-exporter.test.d.ts +2 -0
  314. package/dist/tests/exporters/coq/coq-exporter.test.d.ts.map +1 -0
  315. package/dist/tests/exporters/coq/coq-exporter.test.js +353 -0
  316. package/dist/tests/exporters/coq/coq-exporter.test.js.map +1 -0
  317. package/dist/tests/fol-prover/cnf.test.d.ts +2 -0
  318. package/dist/tests/fol-prover/cnf.test.d.ts.map +1 -0
  319. package/dist/tests/fol-prover/cnf.test.js +74 -0
  320. package/dist/tests/fol-prover/cnf.test.js.map +1 -0
  321. package/dist/tests/fol-prover/prove.test.d.ts +2 -0
  322. package/dist/tests/fol-prover/prove.test.d.ts.map +1 -0
  323. package/dist/tests/fol-prover/prove.test.js +106 -0
  324. package/dist/tests/fol-prover/prove.test.js.map +1 -0
  325. package/dist/tests/fol-prover/unify.test.d.ts +2 -0
  326. package/dist/tests/fol-prover/unify.test.d.ts.map +1 -0
  327. package/dist/tests/fol-prover/unify.test.js +66 -0
  328. package/dist/tests/fol-prover/unify.test.js.map +1 -0
  329. package/dist/tests/hyperreal/hyperreal.test.d.ts +2 -0
  330. package/dist/tests/hyperreal/hyperreal.test.d.ts.map +1 -0
  331. package/dist/tests/hyperreal/hyperreal.test.js +219 -0
  332. package/dist/tests/hyperreal/hyperreal.test.js.map +1 -0
  333. package/dist/tests/lsp/server.test.d.ts +2 -0
  334. package/dist/tests/lsp/server.test.d.ts.map +1 -0
  335. package/dist/tests/lsp/server.test.js +406 -0
  336. package/dist/tests/lsp/server.test.js.map +1 -0
  337. package/dist/tests/memo/cache.test.d.ts +2 -0
  338. package/dist/tests/memo/cache.test.d.ts.map +1 -0
  339. package/dist/tests/memo/cache.test.js +252 -0
  340. package/dist/tests/memo/cache.test.js.map +1 -0
  341. package/dist/tests/parallel/parallel-pool.test.d.ts +11 -0
  342. package/dist/tests/parallel/parallel-pool.test.d.ts.map +1 -0
  343. package/dist/tests/parallel/parallel-pool.test.js +192 -0
  344. package/dist/tests/parallel/parallel-pool.test.js.map +1 -0
  345. package/dist/tests/plugin-system/demo-min-logic.test.d.ts +2 -0
  346. package/dist/tests/plugin-system/demo-min-logic.test.d.ts.map +1 -0
  347. package/dist/tests/plugin-system/demo-min-logic.test.js +85 -0
  348. package/dist/tests/plugin-system/demo-min-logic.test.js.map +1 -0
  349. package/dist/tests/plugin-system/registry.test.d.ts +2 -0
  350. package/dist/tests/plugin-system/registry.test.d.ts.map +1 -0
  351. package/dist/tests/plugin-system/registry.test.js +88 -0
  352. package/dist/tests/plugin-system/registry.test.js.map +1 -0
  353. package/dist/tests/plugin-system/validate.test.d.ts +2 -0
  354. package/dist/tests/plugin-system/validate.test.d.ts.map +1 -0
  355. package/dist/tests/plugin-system/validate.test.js +101 -0
  356. package/dist/tests/plugin-system/validate.test.js.map +1 -0
  357. package/dist/tests/proof-exchange/proof-exchange.test.d.ts +2 -0
  358. package/dist/tests/proof-exchange/proof-exchange.test.d.ts.map +1 -0
  359. package/dist/tests/proof-exchange/proof-exchange.test.js +161 -0
  360. package/dist/tests/proof-exchange/proof-exchange.test.js.map +1 -0
  361. package/dist/tests/sat-v2/clause-learning.test.d.ts +2 -0
  362. package/dist/tests/sat-v2/clause-learning.test.d.ts.map +1 -0
  363. package/dist/tests/sat-v2/clause-learning.test.js +73 -0
  364. package/dist/tests/sat-v2/clause-learning.test.js.map +1 -0
  365. package/dist/tests/sat-v2/lbd.test.d.ts +2 -0
  366. package/dist/tests/sat-v2/lbd.test.d.ts.map +1 -0
  367. package/dist/tests/sat-v2/lbd.test.js +82 -0
  368. package/dist/tests/sat-v2/lbd.test.js.map +1 -0
  369. package/dist/tests/sat-v2/luby.test.d.ts +2 -0
  370. package/dist/tests/sat-v2/luby.test.d.ts.map +1 -0
  371. package/dist/tests/sat-v2/luby.test.js +58 -0
  372. package/dist/tests/sat-v2/luby.test.js.map +1 -0
  373. package/dist/tests/sat-v2/phase-saving.test.d.ts +2 -0
  374. package/dist/tests/sat-v2/phase-saving.test.d.ts.map +1 -0
  375. package/dist/tests/sat-v2/phase-saving.test.js +38 -0
  376. package/dist/tests/sat-v2/phase-saving.test.js.map +1 -0
  377. package/dist/tests/sat-v2/solver-end-to-end.test.d.ts +2 -0
  378. package/dist/tests/sat-v2/solver-end-to-end.test.d.ts.map +1 -0
  379. package/dist/tests/sat-v2/solver-end-to-end.test.js +199 -0
  380. package/dist/tests/sat-v2/solver-end-to-end.test.js.map +1 -0
  381. package/dist/tests/sat-v2/vsids.test.d.ts +2 -0
  382. package/dist/tests/sat-v2/vsids.test.d.ts.map +1 -0
  383. package/dist/tests/sat-v2/vsids.test.js +69 -0
  384. package/dist/tests/sat-v2/vsids.test.js.map +1 -0
  385. package/dist/tests/smt/mock-backend.test.d.ts +2 -0
  386. package/dist/tests/smt/mock-backend.test.d.ts.map +1 -0
  387. package/dist/tests/smt/mock-backend.test.js +129 -0
  388. package/dist/tests/smt/mock-backend.test.js.map +1 -0
  389. package/dist/tests/smt/serializer.test.d.ts +2 -0
  390. package/dist/tests/smt/serializer.test.d.ts.map +1 -0
  391. package/dist/tests/smt/serializer.test.js +94 -0
  392. package/dist/tests/smt/serializer.test.js.map +1 -0
  393. package/dist/tests/smt/subprocess-backend.test.d.ts +2 -0
  394. package/dist/tests/smt/subprocess-backend.test.d.ts.map +1 -0
  395. package/dist/tests/smt/subprocess-backend.test.js +89 -0
  396. package/dist/tests/smt/subprocess-backend.test.js.map +1 -0
  397. package/dist/tests/streaming/stream-eval.test.d.ts +2 -0
  398. package/dist/tests/streaming/stream-eval.test.d.ts.map +1 -0
  399. package/dist/tests/streaming/stream-eval.test.js +170 -0
  400. package/dist/tests/streaming/stream-eval.test.js.map +1 -0
  401. package/dist/tests/text-layer-v2/claim-graph.test.d.ts +2 -0
  402. package/dist/tests/text-layer-v2/claim-graph.test.d.ts.map +1 -0
  403. package/dist/tests/text-layer-v2/claim-graph.test.js +255 -0
  404. package/dist/tests/text-layer-v2/claim-graph.test.js.map +1 -0
  405. package/dist/tests/time-travel/snapshot.test.d.ts +2 -0
  406. package/dist/tests/time-travel/snapshot.test.d.ts.map +1 -0
  407. package/dist/tests/time-travel/snapshot.test.js +75 -0
  408. package/dist/tests/time-travel/snapshot.test.js.map +1 -0
  409. package/dist/tests/time-travel/store.test.d.ts +2 -0
  410. package/dist/tests/time-travel/store.test.d.ts.map +1 -0
  411. package/dist/tests/time-travel/store.test.js +242 -0
  412. package/dist/tests/time-travel/store.test.js.map +1 -0
  413. package/dist/tests/typecheck-core.test.d.ts +2 -0
  414. package/dist/tests/typecheck-core.test.d.ts.map +1 -0
  415. package/dist/tests/typecheck-core.test.js +339 -0
  416. package/dist/tests/typecheck-core.test.js.map +1 -0
  417. package/dist/text-layer/v2/claim-graph.d.ts +45 -0
  418. package/dist/text-layer/v2/claim-graph.d.ts.map +1 -0
  419. package/dist/text-layer/v2/claim-graph.js +270 -0
  420. package/dist/text-layer/v2/claim-graph.js.map +1 -0
  421. package/dist/text-layer/v2/index.d.ts +6 -0
  422. package/dist/text-layer/v2/index.d.ts.map +1 -0
  423. package/dist/text-layer/v2/index.js +10 -0
  424. package/dist/text-layer/v2/index.js.map +1 -0
  425. package/dist/text-layer/v2/types.d.ts +32 -0
  426. package/dist/text-layer/v2/types.d.ts.map +1 -0
  427. package/dist/text-layer/v2/types.js +11 -0
  428. package/dist/text-layer/v2/types.js.map +1 -0
  429. package/dist/time-travel/index.d.ts +4 -0
  430. package/dist/time-travel/index.d.ts.map +1 -0
  431. package/dist/time-travel/index.js +8 -0
  432. package/dist/time-travel/index.js.map +1 -0
  433. package/dist/time-travel/snapshot.d.ts +9 -0
  434. package/dist/time-travel/snapshot.d.ts.map +1 -0
  435. package/dist/time-travel/snapshot.js +24 -0
  436. package/dist/time-travel/snapshot.js.map +1 -0
  437. package/dist/time-travel/store.d.ts +14 -0
  438. package/dist/time-travel/store.d.ts.map +1 -0
  439. package/dist/time-travel/store.js +119 -0
  440. package/dist/time-travel/store.js.map +1 -0
  441. package/dist/time-travel/types.d.ts +50 -0
  442. package/dist/time-travel/types.d.ts.map +1 -0
  443. package/dist/time-travel/types.js +3 -0
  444. package/dist/time-travel/types.js.map +1 -0
  445. package/package.json +5 -1
@@ -0,0 +1,406 @@
1
+ "use strict";
2
+ // ============================================================
3
+ // ST LSP — Tests del language server v1
4
+ // ============================================================
5
+ Object.defineProperty(exports, "__esModule", { value: true });
6
+ const vitest_1 = require("vitest");
7
+ const server_1 = require("../../lsp/server");
8
+ const protocol_1 = require("../../lsp/protocol");
9
+ const types_1 = require("../../lsp/types");
10
+ function makeServer() {
11
+ const notifications = [];
12
+ const server = new server_1.STLanguageServer((message) => {
13
+ if (!('id' in message)) {
14
+ notifications.push({ method: message.method, params: message.params });
15
+ }
16
+ });
17
+ return { server, notifications };
18
+ }
19
+ function getDiagnostics(notifications, uri) {
20
+ const matching = notifications
21
+ .filter((n) => n.method === 'textDocument/publishDiagnostics')
22
+ .map((n) => n.params)
23
+ .filter((p) => p.uri === uri);
24
+ if (matching.length === 0)
25
+ return [];
26
+ return matching[matching.length - 1].diagnostics;
27
+ }
28
+ (0, vitest_1.describe)('STLanguageServer — initialize', () => {
29
+ (0, vitest_1.it)('responde con capabilities completas a initialize', () => {
30
+ const { server } = makeServer();
31
+ const response = server.dispatch({
32
+ jsonrpc: '2.0',
33
+ id: 1,
34
+ method: 'initialize',
35
+ params: { capabilities: {} },
36
+ });
37
+ (0, vitest_1.expect)(response).not.toBeNull();
38
+ (0, vitest_1.expect)(response.id).toBe(1);
39
+ const result = response.result;
40
+ (0, vitest_1.expect)(result.capabilities.hoverProvider).toBe(true);
41
+ (0, vitest_1.expect)(result.capabilities.definitionProvider).toBe(true);
42
+ (0, vitest_1.expect)(result.capabilities.completionProvider).toBeDefined();
43
+ (0, vitest_1.expect)(result.capabilities.documentSymbolProvider).toBe(true);
44
+ (0, vitest_1.expect)(result.capabilities.textDocumentSync).toBe(1); // Full
45
+ (0, vitest_1.expect)(result.serverInfo?.name).toBe('st-lsp');
46
+ (0, vitest_1.expect)(server.isInitialized()).toBe(true);
47
+ });
48
+ (0, vitest_1.it)('responde método-no-encontrado para requests desconocidos', () => {
49
+ const { server } = makeServer();
50
+ const response = server.dispatch({
51
+ jsonrpc: '2.0',
52
+ id: 99,
53
+ method: 'no/existe',
54
+ });
55
+ (0, vitest_1.expect)(response).not.toBeNull();
56
+ (0, vitest_1.expect)(response.error?.code).toBe(-32601);
57
+ });
58
+ });
59
+ (0, vitest_1.describe)('STLanguageServer — didOpen y publishDiagnostics', () => {
60
+ const uri = 'file:///valid.st';
61
+ (0, vitest_1.it)('publica diagnostics vacíos para un .st válido', () => {
62
+ const { server, notifications } = makeServer();
63
+ server.dispatch({
64
+ jsonrpc: '2.0',
65
+ method: 'textDocument/didOpen',
66
+ params: {
67
+ textDocument: {
68
+ uri,
69
+ languageId: 'st',
70
+ version: 1,
71
+ text: [
72
+ 'logic classical.propositional',
73
+ 'axiom a1 : P -> Q',
74
+ 'axiom a2 : P',
75
+ 'derive Q from {a1, a2}',
76
+ ].join('\n'),
77
+ },
78
+ },
79
+ });
80
+ const diags = getDiagnostics(notifications, uri);
81
+ (0, vitest_1.expect)(diags).toEqual([]);
82
+ });
83
+ (0, vitest_1.it)('publica diagnostics con al menos un error para sintaxis inválida', () => {
84
+ const { server, notifications } = makeServer();
85
+ server.dispatch({
86
+ jsonrpc: '2.0',
87
+ method: 'textDocument/didOpen',
88
+ params: {
89
+ textDocument: {
90
+ uri: 'file:///invalid.st',
91
+ languageId: 'st',
92
+ version: 1,
93
+ // Falta cierre de paréntesis
94
+ text: 'logic classical.propositional\naxiom a : (P -> Q',
95
+ },
96
+ },
97
+ });
98
+ const diags = getDiagnostics(notifications, 'file:///invalid.st');
99
+ (0, vitest_1.expect)(diags.length).toBeGreaterThan(0);
100
+ (0, vitest_1.expect)(diags.some((d) => d.severity === types_1.DiagnosticSeverity.Error)).toBe(true);
101
+ (0, vitest_1.expect)(diags.every((d) => d.source === 'st')).toBe(true);
102
+ });
103
+ (0, vitest_1.it)('actualiza diagnostics tras un didChange (Full sync)', () => {
104
+ const { server, notifications } = makeServer();
105
+ const docUri = 'file:///mut.st';
106
+ server.dispatch({
107
+ jsonrpc: '2.0',
108
+ method: 'textDocument/didOpen',
109
+ params: {
110
+ textDocument: {
111
+ uri: docUri,
112
+ languageId: 'st',
113
+ version: 1,
114
+ text: 'logic classical.propositional',
115
+ },
116
+ },
117
+ });
118
+ // Inicial: válido → 0 errors.
119
+ (0, vitest_1.expect)(getDiagnostics(notifications, docUri).filter((d) => d.severity === types_1.DiagnosticSeverity.Error)).toEqual([]);
120
+ server.dispatch({
121
+ jsonrpc: '2.0',
122
+ method: 'textDocument/didChange',
123
+ params: {
124
+ textDocument: { uri: docUri, version: 2 },
125
+ contentChanges: [{ text: 'logic classical.propositional\naxiom (' }],
126
+ },
127
+ });
128
+ const finalDiags = getDiagnostics(notifications, docUri);
129
+ (0, vitest_1.expect)(finalDiags.some((d) => d.severity === types_1.DiagnosticSeverity.Error)).toBe(true);
130
+ });
131
+ (0, vitest_1.it)('publica diagnostics vacíos al cerrar el documento', () => {
132
+ const { server, notifications } = makeServer();
133
+ const docUri = 'file:///close.st';
134
+ server.dispatch({
135
+ jsonrpc: '2.0',
136
+ method: 'textDocument/didOpen',
137
+ params: {
138
+ textDocument: {
139
+ uri: docUri,
140
+ languageId: 'st',
141
+ version: 1,
142
+ text: 'logic classical.propositional\naxiom (',
143
+ },
144
+ },
145
+ });
146
+ (0, vitest_1.expect)(getDiagnostics(notifications, docUri).length).toBeGreaterThan(0);
147
+ server.dispatch({
148
+ jsonrpc: '2.0',
149
+ method: 'textDocument/didClose',
150
+ params: { textDocument: { uri: docUri } },
151
+ });
152
+ (0, vitest_1.expect)(getDiagnostics(notifications, docUri)).toEqual([]);
153
+ });
154
+ });
155
+ (0, vitest_1.describe)('STLanguageServer — hover', () => {
156
+ (0, vitest_1.it)('devuelve MarkupContent markdown sobre un axioma conocido', () => {
157
+ const { server } = makeServer();
158
+ const uri = 'file:///hover.st';
159
+ const text = [
160
+ 'logic classical.propositional',
161
+ 'axiom regla : P -> Q', // line 2 (0-based: 1)
162
+ ].join('\n');
163
+ server.dispatch({
164
+ jsonrpc: '2.0',
165
+ method: 'textDocument/didOpen',
166
+ params: { textDocument: { uri, languageId: 'st', version: 1, text } },
167
+ });
168
+ // Posicionamos el cursor sobre la palabra "regla" en la línea 1 (0-based).
169
+ // "axiom regla" — la "r" de regla está en character 6 (0-based).
170
+ const response = server.dispatch({
171
+ jsonrpc: '2.0',
172
+ id: 10,
173
+ method: 'textDocument/hover',
174
+ params: { textDocument: { uri }, position: { line: 1, character: 7 } },
175
+ });
176
+ (0, vitest_1.expect)(response).not.toBeNull();
177
+ const hover = response.result;
178
+ (0, vitest_1.expect)(hover).not.toBeNull();
179
+ (0, vitest_1.expect)(hover.contents.kind).toBe('markdown');
180
+ (0, vitest_1.expect)(hover.contents.value).toMatch(/Axioma/);
181
+ (0, vitest_1.expect)(hover.contents.value).toMatch(/regla/);
182
+ });
183
+ (0, vitest_1.it)('hover sobre keyword devuelve documentación estática', () => {
184
+ const { server } = makeServer();
185
+ const uri = 'file:///kw.st';
186
+ const text = 'logic classical.propositional\nderive Q from {a1}';
187
+ server.dispatch({
188
+ jsonrpc: '2.0',
189
+ method: 'textDocument/didOpen',
190
+ params: { textDocument: { uri, languageId: 'st', version: 1, text } },
191
+ });
192
+ const response = server.dispatch({
193
+ jsonrpc: '2.0',
194
+ id: 11,
195
+ method: 'textDocument/hover',
196
+ params: { textDocument: { uri }, position: { line: 1, character: 1 } }, // sobre "derive"
197
+ });
198
+ const hover = response.result;
199
+ (0, vitest_1.expect)(hover).not.toBeNull();
200
+ (0, vitest_1.expect)(hover.contents.value.toLowerCase()).toContain('derive');
201
+ });
202
+ (0, vitest_1.it)('hover devuelve null si el documento no está abierto', () => {
203
+ const { server } = makeServer();
204
+ const response = server.dispatch({
205
+ jsonrpc: '2.0',
206
+ id: 12,
207
+ method: 'textDocument/hover',
208
+ params: { textDocument: { uri: 'file:///nope.st' }, position: { line: 0, character: 0 } },
209
+ });
210
+ (0, vitest_1.expect)(response.result).toBeNull();
211
+ });
212
+ });
213
+ (0, vitest_1.describe)('STLanguageServer — definition', () => {
214
+ (0, vitest_1.it)('devuelve location del axioma sobre go-to-definition', () => {
215
+ const { server } = makeServer();
216
+ const uri = 'file:///def.st';
217
+ const text = [
218
+ 'logic classical.propositional',
219
+ 'axiom premisa1 : P -> Q',
220
+ 'axiom premisa2 : P',
221
+ 'derive Q from {premisa1, premisa2}',
222
+ ].join('\n');
223
+ server.dispatch({
224
+ jsonrpc: '2.0',
225
+ method: 'textDocument/didOpen',
226
+ params: { textDocument: { uri, languageId: 'st', version: 1, text } },
227
+ });
228
+ // Cursor sobre "premisa1" en la línea del derive (line 3 0-based, char 16).
229
+ const response = server.dispatch({
230
+ jsonrpc: '2.0',
231
+ id: 20,
232
+ method: 'textDocument/definition',
233
+ params: { textDocument: { uri }, position: { line: 3, character: 17 } },
234
+ });
235
+ (0, vitest_1.expect)(response).not.toBeNull();
236
+ const loc = response.result;
237
+ (0, vitest_1.expect)(loc).not.toBeNull();
238
+ (0, vitest_1.expect)(loc.uri).toBe(uri);
239
+ // El axioma `premisa1` está en la línea 2 (1-based) → 1 (0-based).
240
+ (0, vitest_1.expect)(loc.range.start.line).toBe(1);
241
+ });
242
+ (0, vitest_1.it)('devuelve null si el símbolo no existe', () => {
243
+ const { server } = makeServer();
244
+ const uri = 'file:///nodef.st';
245
+ server.dispatch({
246
+ jsonrpc: '2.0',
247
+ method: 'textDocument/didOpen',
248
+ params: {
249
+ textDocument: {
250
+ uri,
251
+ languageId: 'st',
252
+ version: 1,
253
+ text: 'logic classical.propositional\n',
254
+ },
255
+ },
256
+ });
257
+ const response = server.dispatch({
258
+ jsonrpc: '2.0',
259
+ id: 21,
260
+ method: 'textDocument/definition',
261
+ params: { textDocument: { uri }, position: { line: 0, character: 1 } },
262
+ });
263
+ (0, vitest_1.expect)(response.result).toBeNull();
264
+ });
265
+ });
266
+ (0, vitest_1.describe)('STLanguageServer — completion', () => {
267
+ (0, vitest_1.it)('devuelve keywords ST en contexto vacío', () => {
268
+ const { server } = makeServer();
269
+ const response = server.dispatch({
270
+ jsonrpc: '2.0',
271
+ id: 30,
272
+ method: 'textDocument/completion',
273
+ params: {
274
+ textDocument: { uri: 'file:///c.st' },
275
+ position: { line: 0, character: 0 },
276
+ },
277
+ });
278
+ (0, vitest_1.expect)(response).not.toBeNull();
279
+ const completion = response.result;
280
+ (0, vitest_1.expect)(completion.isIncomplete).toBe(false);
281
+ const labels = new Set(completion.items.map((i) => i.label));
282
+ // Keywords clave que pedimos en el spec
283
+ (0, vitest_1.expect)(labels.has('derive')).toBe(true);
284
+ (0, vitest_1.expect)(labels.has('axiom')).toBe(true);
285
+ (0, vitest_1.expect)(labels.has('let')).toBe(true);
286
+ (0, vitest_1.expect)(labels.has('import')).toBe(true);
287
+ // Operadores Unicode
288
+ (0, vitest_1.expect)(labels.has('∧')).toBe(true);
289
+ (0, vitest_1.expect)(labels.has('∨')).toBe(true);
290
+ (0, vitest_1.expect)(labels.has('→')).toBe(true);
291
+ (0, vitest_1.expect)(labels.has('¬')).toBe(true);
292
+ (0, vitest_1.expect)(labels.has('↔')).toBe(true);
293
+ (0, vitest_1.expect)(labels.has('∀')).toBe(true);
294
+ (0, vitest_1.expect)(labels.has('∃')).toBe(true);
295
+ (0, vitest_1.expect)(labels.has('□')).toBe(true);
296
+ (0, vitest_1.expect)(labels.has('◇')).toBe(true);
297
+ });
298
+ (0, vitest_1.it)('marca snippets con InsertTextFormat=2 (Snippet)', () => {
299
+ const { server } = makeServer();
300
+ const response = server.dispatch({
301
+ jsonrpc: '2.0',
302
+ id: 31,
303
+ method: 'textDocument/completion',
304
+ params: { textDocument: { uri: 'file:///c.st' }, position: { line: 0, character: 0 } },
305
+ });
306
+ const completion = response.result;
307
+ const axiomItem = completion.items.find((i) => i.label === 'axiom');
308
+ (0, vitest_1.expect)(axiomItem).toBeDefined();
309
+ (0, vitest_1.expect)(axiomItem.insertTextFormat).toBe(2); // Snippet
310
+ const unicodeAnd = completion.items.find((i) => i.label === '∧');
311
+ (0, vitest_1.expect)(unicodeAnd.insertTextFormat).toBe(1); // PlainText
312
+ });
313
+ });
314
+ (0, vitest_1.describe)('STLanguageServer — documentSymbol', () => {
315
+ (0, vitest_1.it)('devuelve la lista de axiomas y teoremas del documento', () => {
316
+ const { server } = makeServer();
317
+ const uri = 'file:///sym.st';
318
+ const text = ['logic classical.propositional', 'axiom a1 : P', 'theorem t1 : P -> P'].join('\n');
319
+ server.dispatch({
320
+ jsonrpc: '2.0',
321
+ method: 'textDocument/didOpen',
322
+ params: { textDocument: { uri, languageId: 'st', version: 1, text } },
323
+ });
324
+ const response = server.dispatch({
325
+ jsonrpc: '2.0',
326
+ id: 40,
327
+ method: 'textDocument/documentSymbol',
328
+ params: { textDocument: { uri } },
329
+ });
330
+ const symbols = response.result;
331
+ const names = symbols.map((s) => s.name);
332
+ (0, vitest_1.expect)(names).toContain('a1');
333
+ (0, vitest_1.expect)(names).toContain('t1');
334
+ });
335
+ });
336
+ (0, vitest_1.describe)('STLanguageServer — lifecycle', () => {
337
+ (0, vitest_1.it)('shutdown marca el server como shutdown-requested', () => {
338
+ const { server } = makeServer();
339
+ const response = server.dispatch({
340
+ jsonrpc: '2.0',
341
+ id: 50,
342
+ method: 'shutdown',
343
+ });
344
+ (0, vitest_1.expect)(response.result).toBeNull();
345
+ (0, vitest_1.expect)(server.isShutdownRequested()).toBe(true);
346
+ });
347
+ (0, vitest_1.it)('didSave re-publica diagnostics del documento abierto', () => {
348
+ const { server, notifications } = makeServer();
349
+ const uri = 'file:///save.st';
350
+ server.dispatch({
351
+ jsonrpc: '2.0',
352
+ method: 'textDocument/didOpen',
353
+ params: {
354
+ textDocument: { uri, languageId: 'st', version: 1, text: 'logic classical.propositional' },
355
+ },
356
+ });
357
+ const before = notifications.filter((n) => n.method === 'textDocument/publishDiagnostics').length;
358
+ server.dispatch({
359
+ jsonrpc: '2.0',
360
+ method: 'textDocument/didSave',
361
+ params: { textDocument: { uri } },
362
+ });
363
+ const after = notifications.filter((n) => n.method === 'textDocument/publishDiagnostics').length;
364
+ (0, vitest_1.expect)(after).toBeGreaterThan(before);
365
+ });
366
+ });
367
+ (0, vitest_1.describe)('JSON-RPC framing', () => {
368
+ (0, vitest_1.it)('encode/decode round-trip de un response', () => {
369
+ const message = {
370
+ jsonrpc: '2.0',
371
+ id: 1,
372
+ method: 'initialize',
373
+ params: { capabilities: {} },
374
+ };
375
+ const encoded = (0, protocol_1.encodeMessage)(message);
376
+ (0, vitest_1.expect)(encoded.toString('utf8')).toMatch(/^Content-Length: \d+\r\n\r\n/);
377
+ const { messages, remainder } = (0, protocol_1.parseFrames)(encoded);
378
+ (0, vitest_1.expect)(messages.length).toBe(1);
379
+ (0, vitest_1.expect)(remainder.length).toBe(0);
380
+ const decoded = messages[0];
381
+ (0, vitest_1.expect)(decoded.method).toBe('initialize');
382
+ });
383
+ (0, vitest_1.it)('parsea múltiples mensajes concatenados en un solo buffer', () => {
384
+ const m1 = (0, protocol_1.encodeMessage)({
385
+ jsonrpc: '2.0',
386
+ id: 1,
387
+ method: 'initialize',
388
+ });
389
+ const m2 = (0, protocol_1.encodeMessage)({
390
+ jsonrpc: '2.0',
391
+ method: 'textDocument/didOpen',
392
+ params: {},
393
+ });
394
+ const { messages, remainder } = (0, protocol_1.parseFrames)(Buffer.concat([m1, m2]));
395
+ (0, vitest_1.expect)(messages.length).toBe(2);
396
+ (0, vitest_1.expect)(remainder.length).toBe(0);
397
+ });
398
+ (0, vitest_1.it)('deja remainder cuando un body llega parcial', () => {
399
+ const full = (0, protocol_1.encodeMessage)({ jsonrpc: '2.0', id: 1, method: 'x' });
400
+ const partial = full.slice(0, full.length - 5);
401
+ const { messages, remainder } = (0, protocol_1.parseFrames)(partial);
402
+ (0, vitest_1.expect)(messages.length).toBe(0);
403
+ (0, vitest_1.expect)(remainder.length).toBe(partial.length);
404
+ });
405
+ });
406
+ //# sourceMappingURL=server.test.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"server.test.js","sourceRoot":"","sources":["../../../src/tests/lsp/server.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,wCAAwC;AACxC,+DAA+D;;AAE/D,mCAA8C;AAE9C,6CAA0E;AAC1E,iDAAgE;AAChE,2CAQyB;AAOzB,SAAS,UAAU;IACjB,MAAM,aAAa,GAA2B,EAAE,CAAC;IACjD,MAAM,MAAM,GAAG,IAAI,yBAAgB,CAAC,CAAC,OAAwB,EAAE,EAAE;QAC/D,IAAI,CAAC,CAAC,IAAI,IAAI,OAAO,CAAC,EAAE,CAAC;YACvB,aAAa,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;QACzE,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC;AACnC,CAAC;AAED,SAAS,cAAc,CAAC,aAAqC,EAAE,GAAW;IACxE,MAAM,QAAQ,GAAG,aAAa;SAC3B,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,iCAAiC,CAAC;SAC7D,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAkC,CAAC;SAChD,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC;IAChC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACrC,OAAO,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC;AACnD,CAAC;AAED,IAAA,iBAAQ,EAAC,+BAA+B,EAAE,GAAG,EAAE;IAC7C,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,EAAE,MAAM,EAAE,GAAG,UAAU,EAAE,CAAC;QAChC,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC;YAC/B,OAAO,EAAE,KAAK;YACd,EAAE,EAAE,CAAC;YACL,MAAM,EAAE,YAAY;YACpB,MAAM,EAAE,EAAE,YAAY,EAAE,EAAE,EAAE;SAC7B,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAChC,IAAA,eAAM,EAAC,QAAS,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,MAAM,MAAM,GAAG,QAAS,CAAC,MAA0B,CAAC;QACpD,IAAA,eAAM,EAAC,MAAM,CAAC,YAAY,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrD,IAAA,eAAM,EAAC,MAAM,CAAC,YAAY,CAAC,kBAAkB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1D,IAAA,eAAM,EAAC,MAAM,CAAC,YAAY,CAAC,kBAAkB,CAAC,CAAC,WAAW,EAAE,CAAC;QAC7D,IAAA,eAAM,EAAC,MAAM,CAAC,YAAY,CAAC,sBAAsB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9D,IAAA,eAAM,EAAC,MAAM,CAAC,YAAY,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO;QAC7D,IAAA,eAAM,EAAC,MAAM,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,MAAM,CAAC,aAAa,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,EAAE,MAAM,EAAE,GAAG,UAAU,EAAE,CAAC;QAChC,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC;YAC/B,OAAO,EAAE,KAAK;YACd,EAAE,EAAE,EAAE;YACN,MAAM,EAAE,WAAW;SACpB,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAChC,IAAA,eAAM,EAAC,QAAS,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,iDAAiD,EAAE,GAAG,EAAE;IAC/D,MAAM,GAAG,GAAG,kBAAkB,CAAC;IAE/B,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,EAAE,MAAM,EAAE,aAAa,EAAE,GAAG,UAAU,EAAE,CAAC;QAC/C,MAAM,CAAC,QAAQ,CAAC;YACd,OAAO,EAAE,KAAK;YACd,MAAM,EAAE,sBAAsB;YAC9B,MAAM,EAAE;gBACN,YAAY,EAAE;oBACZ,GAAG;oBACH,UAAU,EAAE,IAAI;oBAChB,OAAO,EAAE,CAAC;oBACV,IAAI,EAAE;wBACJ,+BAA+B;wBAC/B,mBAAmB;wBACnB,cAAc;wBACd,wBAAwB;qBACzB,CAAC,IAAI,CAAC,IAAI,CAAC;iBACb;aACF;SACF,CAAC,CAAC;QACH,MAAM,KAAK,GAAG,cAAc,CAAC,aAAa,EAAE,GAAG,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC5B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,EAAE,MAAM,EAAE,aAAa,EAAE,GAAG,UAAU,EAAE,CAAC;QAC/C,MAAM,CAAC,QAAQ,CAAC;YACd,OAAO,EAAE,KAAK;YACd,MAAM,EAAE,sBAAsB;YAC9B,MAAM,EAAE;gBACN,YAAY,EAAE;oBACZ,GAAG,EAAE,oBAAoB;oBACzB,UAAU,EAAE,IAAI;oBAChB,OAAO,EAAE,CAAC;oBACV,6BAA6B;oBAC7B,IAAI,EAAE,kDAAkD;iBACzD;aACF;SACF,CAAC,CAAC;QACH,MAAM,KAAK,GAAG,cAAc,CAAC,aAAa,EAAE,oBAAoB,CAAC,CAAC;QAClE,IAAA,eAAM,EAAC,KAAK,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,0BAAkB,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9E,IAAA,eAAM,EAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,EAAE,MAAM,EAAE,aAAa,EAAE,GAAG,UAAU,EAAE,CAAC;QAC/C,MAAM,MAAM,GAAG,gBAAgB,CAAC;QAChC,MAAM,CAAC,QAAQ,CAAC;YACd,OAAO,EAAE,KAAK;YACd,MAAM,EAAE,sBAAsB;YAC9B,MAAM,EAAE;gBACN,YAAY,EAAE;oBACZ,GAAG,EAAE,MAAM;oBACX,UAAU,EAAE,IAAI;oBAChB,OAAO,EAAE,CAAC;oBACV,IAAI,EAAE,+BAA+B;iBACtC;aACF;SACF,CAAC,CAAC;QACH,8BAA8B;QAC9B,IAAA,eAAM,EACJ,cAAc,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,0BAAkB,CAAC,KAAK,CAAC,CAC7F,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAEd,MAAM,CAAC,QAAQ,CAAC;YACd,OAAO,EAAE,KAAK;YACd,MAAM,EAAE,wBAAwB;YAChC,MAAM,EAAE;gBACN,YAAY,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,EAAE;gBACzC,cAAc,EAAE,CAAC,EAAE,IAAI,EAAE,wCAAwC,EAAE,CAAC;aACrE;SACF,CAAC,CAAC;QACH,MAAM,UAAU,GAAG,cAAc,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC;QACzD,IAAA,eAAM,EAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,0BAAkB,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,EAAE,MAAM,EAAE,aAAa,EAAE,GAAG,UAAU,EAAE,CAAC;QAC/C,MAAM,MAAM,GAAG,kBAAkB,CAAC;QAClC,MAAM,CAAC,QAAQ,CAAC;YACd,OAAO,EAAE,KAAK;YACd,MAAM,EAAE,sBAAsB;YAC9B,MAAM,EAAE;gBACN,YAAY,EAAE;oBACZ,GAAG,EAAE,MAAM;oBACX,UAAU,EAAE,IAAI;oBAChB,OAAO,EAAE,CAAC;oBACV,IAAI,EAAE,wCAAwC;iBAC/C;aACF;SACF,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,cAAc,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QAExE,MAAM,CAAC,QAAQ,CAAC;YACd,OAAO,EAAE,KAAK;YACd,MAAM,EAAE,uBAAuB;YAC/B,MAAM,EAAE,EAAE,YAAY,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;SAC1C,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,cAAc,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,0BAA0B,EAAE,GAAG,EAAE;IACxC,IAAA,WAAE,EAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,EAAE,MAAM,EAAE,GAAG,UAAU,EAAE,CAAC;QAChC,MAAM,GAAG,GAAG,kBAAkB,CAAC;QAC/B,MAAM,IAAI,GAAG;YACX,+BAA+B;YAC/B,sBAAsB,EAAE,sBAAsB;SAC/C,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACb,MAAM,CAAC,QAAQ,CAAC;YACd,OAAO,EAAE,KAAK;YACd,MAAM,EAAE,sBAAsB;YAC9B,MAAM,EAAE,EAAE,YAAY,EAAE,EAAE,GAAG,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE;SACtE,CAAC,CAAC;QACH,2EAA2E;QAC3E,iEAAiE;QACjE,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC;YAC/B,OAAO,EAAE,KAAK;YACd,EAAE,EAAE,EAAE;YACN,MAAM,EAAE,oBAAoB;YAC5B,MAAM,EAAE,EAAE,YAAY,EAAE,EAAE,GAAG,EAAE,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,EAAE;SACvE,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAChC,MAAM,KAAK,GAAG,QAAS,CAAC,MAAsB,CAAC;QAC/C,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,KAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,KAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,KAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,EAAE,MAAM,EAAE,GAAG,UAAU,EAAE,CAAC;QAChC,MAAM,GAAG,GAAG,eAAe,CAAC;QAC5B,MAAM,IAAI,GAAG,mDAAmD,CAAC;QACjE,MAAM,CAAC,QAAQ,CAAC;YACd,OAAO,EAAE,KAAK;YACd,MAAM,EAAE,sBAAsB;YAC9B,MAAM,EAAE,EAAE,YAAY,EAAE,EAAE,GAAG,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE;SACtE,CAAC,CAAC;QACH,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC;YAC/B,OAAO,EAAE,KAAK;YACd,EAAE,EAAE,EAAE;YACN,MAAM,EAAE,oBAAoB;YAC5B,MAAM,EAAE,EAAE,YAAY,EAAE,EAAE,GAAG,EAAE,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,EAAE,EAAE,iBAAiB;SAC1F,CAAC,CAAC;QACH,MAAM,KAAK,GAAG,QAAS,CAAC,MAAsB,CAAC;QAC/C,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,KAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,EAAE,MAAM,EAAE,GAAG,UAAU,EAAE,CAAC;QAChC,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC;YAC/B,OAAO,EAAE,KAAK;YACd,EAAE,EAAE,EAAE;YACN,MAAM,EAAE,oBAAoB;YAC5B,MAAM,EAAE,EAAE,YAAY,EAAE,EAAE,GAAG,EAAE,iBAAiB,EAAE,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,EAAE;SAC1F,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,QAAS,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,CAAC;IACtC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,+BAA+B,EAAE,GAAG,EAAE;IAC7C,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,EAAE,MAAM,EAAE,GAAG,UAAU,EAAE,CAAC;QAChC,MAAM,GAAG,GAAG,gBAAgB,CAAC;QAC7B,MAAM,IAAI,GAAG;YACX,+BAA+B;YAC/B,yBAAyB;YACzB,oBAAoB;YACpB,oCAAoC;SACrC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACb,MAAM,CAAC,QAAQ,CAAC;YACd,OAAO,EAAE,KAAK;YACd,MAAM,EAAE,sBAAsB;YAC9B,MAAM,EAAE,EAAE,YAAY,EAAE,EAAE,GAAG,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE;SACtE,CAAC,CAAC;QACH,4EAA4E;QAC5E,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC;YAC/B,OAAO,EAAE,KAAK;YACd,EAAE,EAAE,EAAE;YACN,MAAM,EAAE,yBAAyB;YACjC,MAAM,EAAE,EAAE,YAAY,EAAE,EAAE,GAAG,EAAE,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,EAAE;SACxE,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAChC,MAAM,GAAG,GAAG,QAAS,CAAC,MAAyB,CAAC;QAChD,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC3B,IAAA,eAAM,EAAC,GAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC3B,mEAAmE;QACnE,IAAA,eAAM,EAAC,GAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,EAAE,MAAM,EAAE,GAAG,UAAU,EAAE,CAAC;QAChC,MAAM,GAAG,GAAG,kBAAkB,CAAC;QAC/B,MAAM,CAAC,QAAQ,CAAC;YACd,OAAO,EAAE,KAAK;YACd,MAAM,EAAE,sBAAsB;YAC9B,MAAM,EAAE;gBACN,YAAY,EAAE;oBACZ,GAAG;oBACH,UAAU,EAAE,IAAI;oBAChB,OAAO,EAAE,CAAC;oBACV,IAAI,EAAE,iCAAiC;iBACxC;aACF;SACF,CAAC,CAAC;QACH,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC;YAC/B,OAAO,EAAE,KAAK;YACd,EAAE,EAAE,EAAE;YACN,MAAM,EAAE,yBAAyB;YACjC,MAAM,EAAE,EAAE,YAAY,EAAE,EAAE,GAAG,EAAE,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,EAAE;SACvE,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,QAAS,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,CAAC;IACtC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,+BAA+B,EAAE,GAAG,EAAE;IAC7C,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,EAAE,MAAM,EAAE,GAAG,UAAU,EAAE,CAAC;QAChC,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC;YAC/B,OAAO,EAAE,KAAK;YACd,EAAE,EAAE,EAAE;YACN,MAAM,EAAE,yBAAyB;YACjC,MAAM,EAAE;gBACN,YAAY,EAAE,EAAE,GAAG,EAAE,cAAc,EAAE;gBACrC,QAAQ,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE;aACpC;SACF,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAChC,MAAM,UAAU,GAAG,QAAS,CAAC,MAA+D,CAAC;QAC7F,IAAA,eAAM,EAAC,UAAU,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5C,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;QAC7D,wCAAwC;QACxC,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxC,qBAAqB;QACrB,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,EAAE,MAAM,EAAE,GAAG,UAAU,EAAE,CAAC;QAChC,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC;YAC/B,OAAO,EAAE,KAAK;YACd,EAAE,EAAE,EAAE;YACN,MAAM,EAAE,yBAAyB;YACjC,MAAM,EAAE,EAAE,YAAY,EAAE,EAAE,GAAG,EAAE,cAAc,EAAE,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,EAAE;SACvF,CAAC,CAAC;QACH,MAAM,UAAU,GAAG,QAAS,CAAC,MAAwC,CAAC;QACtE,MAAM,SAAS,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,OAAO,CAAC,CAAC;QACpE,IAAA,eAAM,EAAC,SAAS,CAAC,CAAC,WAAW,EAAE,CAAC;QAChC,IAAA,eAAM,EAAC,SAAU,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU;QACvD,MAAM,UAAU,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,GAAG,CAAC,CAAC;QACjE,IAAA,eAAM,EAAC,UAAW,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY;IAC5D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,mCAAmC,EAAE,GAAG,EAAE;IACjD,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,EAAE,MAAM,EAAE,GAAG,UAAU,EAAE,CAAC;QAChC,MAAM,GAAG,GAAG,gBAAgB,CAAC;QAC7B,MAAM,IAAI,GAAG,CAAC,+BAA+B,EAAE,cAAc,EAAE,qBAAqB,CAAC,CAAC,IAAI,CACxF,IAAI,CACL,CAAC;QACF,MAAM,CAAC,QAAQ,CAAC;YACd,OAAO,EAAE,KAAK;YACd,MAAM,EAAE,sBAAsB;YAC9B,MAAM,EAAE,EAAE,YAAY,EAAE,EAAE,GAAG,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE;SACtE,CAAC,CAAC;QACH,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC;YAC/B,OAAO,EAAE,KAAK;YACd,EAAE,EAAE,EAAE;YACN,MAAM,EAAE,6BAA6B;YACrC,MAAM,EAAE,EAAE,YAAY,EAAE,EAAE,GAAG,EAAE,EAAE;SAClC,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,QAAS,CAAC,MAAiC,CAAC;QAC5D,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,EAAE,MAAM,EAAE,GAAG,UAAU,EAAE,CAAC;QAChC,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC;YAC/B,OAAO,EAAE,KAAK;YACd,EAAE,EAAE,EAAE;YACN,MAAM,EAAE,UAAU;SACnB,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,QAAS,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,mBAAmB,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,EAAE,MAAM,EAAE,aAAa,EAAE,GAAG,UAAU,EAAE,CAAC;QAC/C,MAAM,GAAG,GAAG,iBAAiB,CAAC;QAC9B,MAAM,CAAC,QAAQ,CAAC;YACd,OAAO,EAAE,KAAK;YACd,MAAM,EAAE,sBAAsB;YAC9B,MAAM,EAAE;gBACN,YAAY,EAAE,EAAE,GAAG,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,+BAA+B,EAAE;aAC3F;SACF,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,aAAa,CAAC,MAAM,CACjC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,iCAAiC,CACtD,CAAC,MAAM,CAAC;QACT,MAAM,CAAC,QAAQ,CAAC;YACd,OAAO,EAAE,KAAK;YACd,MAAM,EAAE,sBAAsB;YAC9B,MAAM,EAAE,EAAE,YAAY,EAAE,EAAE,GAAG,EAAE,EAAE;SAClC,CAAC,CAAC;QACH,MAAM,KAAK,GAAG,aAAa,CAAC,MAAM,CAChC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,iCAAiC,CACtD,CAAC,MAAM,CAAC;QACT,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,kBAAkB,EAAE,GAAG,EAAE;IAChC,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,OAAO,GAAiD;YAC5D,OAAO,EAAE,KAAK;YACd,EAAE,EAAE,CAAC;YACL,MAAM,EAAE,YAAY;YACpB,MAAM,EAAE,EAAE,YAAY,EAAE,EAAE,EAAE;SAC7B,CAAC;QACF,MAAM,OAAO,GAAG,IAAA,wBAAa,EAAC,OAAO,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,8BAA8B,CAAC,CAAC;QAEzE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,IAAA,sBAAW,EAAC,OAAO,CAAC,CAAC;QACrD,IAAA,eAAM,EAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,SAAS,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACjC,MAAM,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAwC,CAAC;QACnE,IAAA,eAAM,EAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,EAAE,GAAG,IAAA,wBAAa,EAAC;YACvB,OAAO,EAAE,KAAK;YACd,EAAE,EAAE,CAAC;YACL,MAAM,EAAE,YAAY;SACrB,CAAC,CAAC;QACH,MAAM,EAAE,GAAG,IAAA,wBAAa,EAAC;YACvB,OAAO,EAAE,KAAK;YACd,MAAM,EAAE,sBAAsB;YAC9B,MAAM,EAAE,EAAE;SACX,CAAC,CAAC;QACH,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,IAAA,sBAAW,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;QACrE,IAAA,eAAM,EAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,SAAS,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,IAAI,GAAG,IAAA,wBAAa,EAAC,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;QACnE,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QAC/C,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,IAAA,sBAAW,EAAC,OAAO,CAAC,CAAC;QACrD,IAAA,eAAM,EAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,SAAS,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
@@ -0,0 +1,2 @@
1
+ export {};
2
+ //# sourceMappingURL=cache.test.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"cache.test.d.ts","sourceRoot":"","sources":["../../../src/tests/memo/cache.test.ts"],"names":[],"mappings":""}