@stevenvo780/st-lang 4.10.0 → 4.12.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 (329) hide show
  1. package/dist/proof-systems/distributed-exchange/index.d.ts +101 -0
  2. package/dist/proof-systems/distributed-exchange/index.d.ts.map +1 -0
  3. package/dist/proof-systems/distributed-exchange/index.js +408 -0
  4. package/dist/proof-systems/distributed-exchange/index.js.map +1 -0
  5. package/dist/proof-systems/fol-prover-advanced/index.d.ts +7 -0
  6. package/dist/proof-systems/fol-prover-advanced/index.d.ts.map +1 -0
  7. package/dist/proof-systems/fol-prover-advanced/index.js +34 -0
  8. package/dist/proof-systems/fol-prover-advanced/index.js.map +1 -0
  9. package/dist/proof-systems/fol-prover-advanced/ordering.d.ts +34 -0
  10. package/dist/proof-systems/fol-prover-advanced/ordering.d.ts.map +1 -0
  11. package/dist/proof-systems/fol-prover-advanced/ordering.js +197 -0
  12. package/dist/proof-systems/fol-prover-advanced/ordering.js.map +1 -0
  13. package/dist/proof-systems/fol-prover-advanced/prover.d.ts +22 -0
  14. package/dist/proof-systems/fol-prover-advanced/prover.d.ts.map +1 -0
  15. package/dist/proof-systems/fol-prover-advanced/prover.js +219 -0
  16. package/dist/proof-systems/fol-prover-advanced/prover.js.map +1 -0
  17. package/dist/proof-systems/fol-prover-advanced/resolve.d.ts +43 -0
  18. package/dist/proof-systems/fol-prover-advanced/resolve.d.ts.map +1 -0
  19. package/dist/proof-systems/fol-prover-advanced/resolve.js +297 -0
  20. package/dist/proof-systems/fol-prover-advanced/resolve.js.map +1 -0
  21. package/dist/proof-systems/fol-prover-advanced/subsumption.d.ts +28 -0
  22. package/dist/proof-systems/fol-prover-advanced/subsumption.d.ts.map +1 -0
  23. package/dist/proof-systems/fol-prover-advanced/subsumption.js +172 -0
  24. package/dist/proof-systems/fol-prover-advanced/subsumption.js.map +1 -0
  25. package/dist/proof-systems/fol-prover-advanced/types.d.ts +68 -0
  26. package/dist/proof-systems/fol-prover-advanced/types.d.ts.map +1 -0
  27. package/dist/proof-systems/fol-prover-advanced/types.js +12 -0
  28. package/dist/proof-systems/fol-prover-advanced/types.js.map +1 -0
  29. package/dist/proof-systems/fol-prover-advanced/unify.d.ts +15 -0
  30. package/dist/proof-systems/fol-prover-advanced/unify.d.ts.map +1 -0
  31. package/dist/proof-systems/fol-prover-advanced/unify.js +144 -0
  32. package/dist/proof-systems/fol-prover-advanced/unify.js.map +1 -0
  33. package/dist/reasoning/combinatorics/basic-counts.d.ts +6 -0
  34. package/dist/reasoning/combinatorics/basic-counts.d.ts.map +1 -0
  35. package/dist/reasoning/combinatorics/basic-counts.js +82 -0
  36. package/dist/reasoning/combinatorics/basic-counts.js.map +1 -0
  37. package/dist/reasoning/combinatorics/bigint-helpers.d.ts +5 -0
  38. package/dist/reasoning/combinatorics/bigint-helpers.d.ts.map +1 -0
  39. package/dist/reasoning/combinatorics/bigint-helpers.js +8 -0
  40. package/dist/reasoning/combinatorics/bigint-helpers.js.map +1 -0
  41. package/dist/reasoning/combinatorics/burnside.d.ts +15 -0
  42. package/dist/reasoning/combinatorics/burnside.d.ts.map +1 -0
  43. package/dist/reasoning/combinatorics/burnside.js +91 -0
  44. package/dist/reasoning/combinatorics/burnside.js.map +1 -0
  45. package/dist/reasoning/combinatorics/generating-functions.d.ts +12 -0
  46. package/dist/reasoning/combinatorics/generating-functions.d.ts.map +1 -0
  47. package/dist/reasoning/combinatorics/generating-functions.js +67 -0
  48. package/dist/reasoning/combinatorics/generating-functions.js.map +1 -0
  49. package/dist/reasoning/combinatorics/generators.d.ts +5 -0
  50. package/dist/reasoning/combinatorics/generators.d.ts.map +1 -0
  51. package/dist/reasoning/combinatorics/generators.js +111 -0
  52. package/dist/reasoning/combinatorics/generators.js.map +1 -0
  53. package/dist/reasoning/combinatorics/inclusion-exclusion.d.ts +8 -0
  54. package/dist/reasoning/combinatorics/inclusion-exclusion.d.ts.map +1 -0
  55. package/dist/reasoning/combinatorics/inclusion-exclusion.js +45 -0
  56. package/dist/reasoning/combinatorics/inclusion-exclusion.js.map +1 -0
  57. package/dist/reasoning/combinatorics/index.d.ts +10 -0
  58. package/dist/reasoning/combinatorics/index.d.ts.map +1 -0
  59. package/dist/reasoning/combinatorics/index.js +44 -0
  60. package/dist/reasoning/combinatorics/index.js.map +1 -0
  61. package/dist/reasoning/combinatorics/partitions.d.ts +4 -0
  62. package/dist/reasoning/combinatorics/partitions.d.ts.map +1 -0
  63. package/dist/reasoning/combinatorics/partitions.js +90 -0
  64. package/dist/reasoning/combinatorics/partitions.js.map +1 -0
  65. package/dist/reasoning/combinatorics/permutations.d.ts +6 -0
  66. package/dist/reasoning/combinatorics/permutations.d.ts.map +1 -0
  67. package/dist/reasoning/combinatorics/permutations.js +124 -0
  68. package/dist/reasoning/combinatorics/permutations.js.map +1 -0
  69. package/dist/reasoning/combinatorics/set-partitions.d.ts +3 -0
  70. package/dist/reasoning/combinatorics/set-partitions.d.ts.map +1 -0
  71. package/dist/reasoning/combinatorics/set-partitions.js +46 -0
  72. package/dist/reasoning/combinatorics/set-partitions.js.map +1 -0
  73. package/dist/reasoning/combinatorics/special-numbers.d.ts +7 -0
  74. package/dist/reasoning/combinatorics/special-numbers.d.ts.map +1 -0
  75. package/dist/reasoning/combinatorics/special-numbers.js +128 -0
  76. package/dist/reasoning/combinatorics/special-numbers.js.map +1 -0
  77. package/dist/reasoning/constructive-analysis/cauchy.d.ts +51 -0
  78. package/dist/reasoning/constructive-analysis/cauchy.d.ts.map +1 -0
  79. package/dist/reasoning/constructive-analysis/cauchy.js +77 -0
  80. package/dist/reasoning/constructive-analysis/cauchy.js.map +1 -0
  81. package/dist/reasoning/constructive-analysis/compact.d.ts +35 -0
  82. package/dist/reasoning/constructive-analysis/compact.d.ts.map +1 -0
  83. package/dist/reasoning/constructive-analysis/compact.js +61 -0
  84. package/dist/reasoning/constructive-analysis/compact.js.map +1 -0
  85. package/dist/reasoning/constructive-analysis/continuity.d.ts +62 -0
  86. package/dist/reasoning/constructive-analysis/continuity.d.ts.map +1 -0
  87. package/dist/reasoning/constructive-analysis/continuity.js +112 -0
  88. package/dist/reasoning/constructive-analysis/continuity.js.map +1 -0
  89. package/dist/reasoning/constructive-analysis/index.d.ts +24 -0
  90. package/dist/reasoning/constructive-analysis/index.d.ts.map +1 -0
  91. package/dist/reasoning/constructive-analysis/index.js +36 -0
  92. package/dist/reasoning/constructive-analysis/index.js.map +1 -0
  93. package/dist/reasoning/constructive-analysis/integral.d.ts +31 -0
  94. package/dist/reasoning/constructive-analysis/integral.d.ts.map +1 -0
  95. package/dist/reasoning/constructive-analysis/integral.js +59 -0
  96. package/dist/reasoning/constructive-analysis/integral.js.map +1 -0
  97. package/dist/reasoning/constructive-analysis/ivt.d.ts +41 -0
  98. package/dist/reasoning/constructive-analysis/ivt.d.ts.map +1 -0
  99. package/dist/reasoning/constructive-analysis/ivt.js +115 -0
  100. package/dist/reasoning/constructive-analysis/ivt.js.map +1 -0
  101. package/dist/reasoning/constructive-reals/index.d.ts +23 -0
  102. package/dist/reasoning/constructive-reals/index.d.ts.map +1 -1
  103. package/dist/reasoning/constructive-reals/index.js +52 -1
  104. package/dist/reasoning/constructive-reals/index.js.map +1 -1
  105. package/dist/reasoning/graph-theory/index.d.ts +63 -0
  106. package/dist/reasoning/graph-theory/index.d.ts.map +1 -0
  107. package/dist/reasoning/graph-theory/index.js +1043 -0
  108. package/dist/reasoning/graph-theory/index.js.map +1 -0
  109. package/dist/reasoning/group-presentation/cayley.d.ts +8 -0
  110. package/dist/reasoning/group-presentation/cayley.d.ts.map +1 -0
  111. package/dist/reasoning/group-presentation/cayley.js +38 -0
  112. package/dist/reasoning/group-presentation/cayley.js.map +1 -0
  113. package/dist/reasoning/group-presentation/index.d.ts +8 -0
  114. package/dist/reasoning/group-presentation/index.d.ts.map +1 -0
  115. package/dist/reasoning/group-presentation/index.js +36 -0
  116. package/dist/reasoning/group-presentation/index.js.map +1 -0
  117. package/dist/reasoning/group-presentation/standard-groups.d.ts +6 -0
  118. package/dist/reasoning/group-presentation/standard-groups.d.ts.map +1 -0
  119. package/dist/reasoning/group-presentation/standard-groups.js +93 -0
  120. package/dist/reasoning/group-presentation/standard-groups.js.map +1 -0
  121. package/dist/reasoning/group-presentation/todd-coxeter.d.ts +10 -0
  122. package/dist/reasoning/group-presentation/todd-coxeter.d.ts.map +1 -0
  123. package/dist/reasoning/group-presentation/todd-coxeter.js +362 -0
  124. package/dist/reasoning/group-presentation/todd-coxeter.js.map +1 -0
  125. package/dist/reasoning/group-presentation/types.d.ts +7 -0
  126. package/dist/reasoning/group-presentation/types.d.ts.map +1 -0
  127. package/dist/reasoning/group-presentation/types.js +22 -0
  128. package/dist/reasoning/group-presentation/types.js.map +1 -0
  129. package/dist/reasoning/group-presentation/words.d.ts +10 -0
  130. package/dist/reasoning/group-presentation/words.d.ts.map +1 -0
  131. package/dist/reasoning/group-presentation/words.js +109 -0
  132. package/dist/reasoning/group-presentation/words.js.map +1 -0
  133. package/dist/reasoning/linear-algebra/index.d.ts +69 -0
  134. package/dist/reasoning/linear-algebra/index.d.ts.map +1 -0
  135. package/dist/reasoning/linear-algebra/index.js +859 -0
  136. package/dist/reasoning/linear-algebra/index.js.map +1 -0
  137. package/dist/reasoning/set-theory/hf-functions.d.ts +35 -0
  138. package/dist/reasoning/set-theory/hf-functions.d.ts.map +1 -0
  139. package/dist/reasoning/set-theory/hf-functions.js +147 -0
  140. package/dist/reasoning/set-theory/hf-functions.js.map +1 -0
  141. package/dist/reasoning/set-theory/hf-sets.d.ts +79 -0
  142. package/dist/reasoning/set-theory/hf-sets.d.ts.map +1 -0
  143. package/dist/reasoning/set-theory/hf-sets.js +338 -0
  144. package/dist/reasoning/set-theory/hf-sets.js.map +1 -0
  145. package/dist/reasoning/set-theory/index.d.ts +7 -0
  146. package/dist/reasoning/set-theory/index.d.ts.map +1 -0
  147. package/dist/reasoning/set-theory/index.js +44 -0
  148. package/dist/reasoning/set-theory/index.js.map +1 -0
  149. package/dist/reasoning/set-theory/zfc-axioms.d.ts +59 -0
  150. package/dist/reasoning/set-theory/zfc-axioms.d.ts.map +1 -0
  151. package/dist/reasoning/set-theory/zfc-axioms.js +245 -0
  152. package/dist/reasoning/set-theory/zfc-axioms.js.map +1 -0
  153. package/dist/tests/proof-systems/distributed-exchange/distributed-exchange.test.d.ts +2 -0
  154. package/dist/tests/proof-systems/distributed-exchange/distributed-exchange.test.d.ts.map +1 -0
  155. package/dist/tests/proof-systems/distributed-exchange/distributed-exchange.test.js +328 -0
  156. package/dist/tests/proof-systems/distributed-exchange/distributed-exchange.test.js.map +1 -0
  157. package/dist/tests/proof-systems/fol-prover-advanced/prover.test.d.ts +2 -0
  158. package/dist/tests/proof-systems/fol-prover-advanced/prover.test.d.ts.map +1 -0
  159. package/dist/tests/proof-systems/fol-prover-advanced/prover.test.js +253 -0
  160. package/dist/tests/proof-systems/fol-prover-advanced/prover.test.js.map +1 -0
  161. package/dist/tests/reasoning/combinatorics/combinatorics.test.d.ts +2 -0
  162. package/dist/tests/reasoning/combinatorics/combinatorics.test.d.ts.map +1 -0
  163. package/dist/tests/reasoning/combinatorics/combinatorics.test.js +256 -0
  164. package/dist/tests/reasoning/combinatorics/combinatorics.test.js.map +1 -0
  165. package/dist/tests/reasoning/constructive-analysis/constructive-analysis.test.d.ts +2 -0
  166. package/dist/tests/reasoning/constructive-analysis/constructive-analysis.test.d.ts.map +1 -0
  167. package/dist/tests/reasoning/constructive-analysis/constructive-analysis.test.js +174 -0
  168. package/dist/tests/reasoning/constructive-analysis/constructive-analysis.test.js.map +1 -0
  169. package/dist/tests/reasoning/graph-theory/graph-theory.test.d.ts +2 -0
  170. package/dist/tests/reasoning/graph-theory/graph-theory.test.d.ts.map +1 -0
  171. package/dist/tests/reasoning/graph-theory/graph-theory.test.js +363 -0
  172. package/dist/tests/reasoning/graph-theory/graph-theory.test.js.map +1 -0
  173. package/dist/tests/reasoning/group-presentation/group-presentation.test.d.ts +2 -0
  174. package/dist/tests/reasoning/group-presentation/group-presentation.test.d.ts.map +1 -0
  175. package/dist/tests/reasoning/group-presentation/group-presentation.test.js +229 -0
  176. package/dist/tests/reasoning/group-presentation/group-presentation.test.js.map +1 -0
  177. package/dist/tests/reasoning/linear-algebra/linear-algebra.test.d.ts +2 -0
  178. package/dist/tests/reasoning/linear-algebra/linear-algebra.test.d.ts.map +1 -0
  179. package/dist/tests/reasoning/linear-algebra/linear-algebra.test.js +369 -0
  180. package/dist/tests/reasoning/linear-algebra/linear-algebra.test.js.map +1 -0
  181. package/dist/tests/reasoning/set-theory/hf-functions.test.d.ts +2 -0
  182. package/dist/tests/reasoning/set-theory/hf-functions.test.d.ts.map +1 -0
  183. package/dist/tests/reasoning/set-theory/hf-functions.test.js +122 -0
  184. package/dist/tests/reasoning/set-theory/hf-functions.test.js.map +1 -0
  185. package/dist/tests/reasoning/set-theory/hf-sets.test.d.ts +2 -0
  186. package/dist/tests/reasoning/set-theory/hf-sets.test.d.ts.map +1 -0
  187. package/dist/tests/reasoning/set-theory/hf-sets.test.js +177 -0
  188. package/dist/tests/reasoning/set-theory/hf-sets.test.js.map +1 -0
  189. package/dist/tests/reasoning/set-theory/zfc-axioms.test.d.ts +2 -0
  190. package/dist/tests/reasoning/set-theory/zfc-axioms.test.d.ts.map +1 -0
  191. package/dist/tests/reasoning/set-theory/zfc-axioms.test.js +56 -0
  192. package/dist/tests/reasoning/set-theory/zfc-axioms.test.js.map +1 -0
  193. package/dist/tests/tooling/doc-gen/doc-gen.test.d.ts +2 -0
  194. package/dist/tests/tooling/doc-gen/doc-gen.test.d.ts.map +1 -0
  195. package/dist/tests/tooling/doc-gen/doc-gen.test.js +350 -0
  196. package/dist/tests/tooling/doc-gen/doc-gen.test.js.map +1 -0
  197. package/dist/tests/tooling/exporters/coq-v2/coq-v2-exporter.test.d.ts +2 -0
  198. package/dist/tests/tooling/exporters/coq-v2/coq-v2-exporter.test.d.ts.map +1 -0
  199. package/dist/tests/tooling/exporters/coq-v2/coq-v2-exporter.test.js +411 -0
  200. package/dist/tests/tooling/exporters/coq-v2/coq-v2-exporter.test.js.map +1 -0
  201. package/dist/tests/tooling/lemma-library/lemma-library.test.d.ts +2 -0
  202. package/dist/tests/tooling/lemma-library/lemma-library.test.d.ts.map +1 -0
  203. package/dist/tests/tooling/lemma-library/lemma-library.test.js +197 -0
  204. package/dist/tests/tooling/lemma-library/lemma-library.test.js.map +1 -0
  205. package/dist/tests/tooling/provenance/ledger.test.d.ts +2 -0
  206. package/dist/tests/tooling/provenance/ledger.test.d.ts.map +1 -0
  207. package/dist/tests/tooling/provenance/ledger.test.js +545 -0
  208. package/dist/tests/tooling/provenance/ledger.test.js.map +1 -0
  209. package/dist/tests/tooling/test-harness/test-harness.test.d.ts +2 -0
  210. package/dist/tests/tooling/test-harness/test-harness.test.d.ts.map +1 -0
  211. package/dist/tests/tooling/test-harness/test-harness.test.js +208 -0
  212. package/dist/tests/tooling/test-harness/test-harness.test.js.map +1 -0
  213. package/dist/tooling/doc-gen/extract.d.ts +13 -0
  214. package/dist/tooling/doc-gen/extract.d.ts.map +1 -0
  215. package/dist/tooling/doc-gen/extract.js +379 -0
  216. package/dist/tooling/doc-gen/extract.js.map +1 -0
  217. package/dist/tooling/doc-gen/generate.d.ts +9 -0
  218. package/dist/tooling/doc-gen/generate.d.ts.map +1 -0
  219. package/dist/tooling/doc-gen/generate.js +116 -0
  220. package/dist/tooling/doc-gen/generate.js.map +1 -0
  221. package/dist/tooling/doc-gen/index.d.ts +7 -0
  222. package/dist/tooling/doc-gen/index.d.ts.map +1 -0
  223. package/dist/tooling/doc-gen/index.js +39 -0
  224. package/dist/tooling/doc-gen/index.js.map +1 -0
  225. package/dist/tooling/doc-gen/jsdoc.d.ts +31 -0
  226. package/dist/tooling/doc-gen/jsdoc.d.ts.map +1 -0
  227. package/dist/tooling/doc-gen/jsdoc.js +140 -0
  228. package/dist/tooling/doc-gen/jsdoc.js.map +1 -0
  229. package/dist/tooling/doc-gen/render.d.ts +29 -0
  230. package/dist/tooling/doc-gen/render.d.ts.map +1 -0
  231. package/dist/tooling/doc-gen/render.js +206 -0
  232. package/dist/tooling/doc-gen/render.js.map +1 -0
  233. package/dist/tooling/doc-gen/types.d.ts +51 -0
  234. package/dist/tooling/doc-gen/types.d.ts.map +1 -0
  235. package/dist/tooling/doc-gen/types.js +10 -0
  236. package/dist/tooling/doc-gen/types.js.map +1 -0
  237. package/dist/tooling/exporters/coq-v2/index.d.ts +68 -0
  238. package/dist/tooling/exporters/coq-v2/index.d.ts.map +1 -0
  239. package/dist/tooling/exporters/coq-v2/index.js +692 -0
  240. package/dist/tooling/exporters/coq-v2/index.js.map +1 -0
  241. package/dist/tooling/lemma-library/apply.d.ts +9 -0
  242. package/dist/tooling/lemma-library/apply.d.ts.map +1 -0
  243. package/dist/tooling/lemma-library/apply.js +94 -0
  244. package/dist/tooling/lemma-library/apply.js.map +1 -0
  245. package/dist/tooling/lemma-library/arithmetic.d.ts +3 -0
  246. package/dist/tooling/lemma-library/arithmetic.d.ts.map +1 -0
  247. package/dist/tooling/lemma-library/arithmetic.js +176 -0
  248. package/dist/tooling/lemma-library/arithmetic.js.map +1 -0
  249. package/dist/tooling/lemma-library/firstorder.d.ts +3 -0
  250. package/dist/tooling/lemma-library/firstorder.d.ts.map +1 -0
  251. package/dist/tooling/lemma-library/firstorder.js +136 -0
  252. package/dist/tooling/lemma-library/firstorder.js.map +1 -0
  253. package/dist/tooling/lemma-library/index.d.ts +13 -0
  254. package/dist/tooling/lemma-library/index.d.ts.map +1 -0
  255. package/dist/tooling/lemma-library/index.js +32 -0
  256. package/dist/tooling/lemma-library/index.js.map +1 -0
  257. package/dist/tooling/lemma-library/library.d.ts +34 -0
  258. package/dist/tooling/lemma-library/library.d.ts.map +1 -0
  259. package/dist/tooling/lemma-library/library.js +126 -0
  260. package/dist/tooling/lemma-library/library.js.map +1 -0
  261. package/dist/tooling/lemma-library/modal.d.ts +3 -0
  262. package/dist/tooling/lemma-library/modal.d.ts.map +1 -0
  263. package/dist/tooling/lemma-library/modal.js +138 -0
  264. package/dist/tooling/lemma-library/modal.js.map +1 -0
  265. package/dist/tooling/lemma-library/propositional.d.ts +3 -0
  266. package/dist/tooling/lemma-library/propositional.d.ts.map +1 -0
  267. package/dist/tooling/lemma-library/propositional.js +265 -0
  268. package/dist/tooling/lemma-library/propositional.js.map +1 -0
  269. package/dist/tooling/lemma-library/set-theory.d.ts +3 -0
  270. package/dist/tooling/lemma-library/set-theory.d.ts.map +1 -0
  271. package/dist/tooling/lemma-library/set-theory.js +134 -0
  272. package/dist/tooling/lemma-library/set-theory.js.map +1 -0
  273. package/dist/tooling/lemma-library/standard.d.ts +3 -0
  274. package/dist/tooling/lemma-library/standard.d.ts.map +1 -0
  275. package/dist/tooling/lemma-library/standard.js +27 -0
  276. package/dist/tooling/lemma-library/standard.js.map +1 -0
  277. package/dist/tooling/lemma-library/tfidf.d.ts +5 -0
  278. package/dist/tooling/lemma-library/tfidf.d.ts.map +1 -0
  279. package/dist/tooling/lemma-library/tfidf.js +100 -0
  280. package/dist/tooling/lemma-library/tfidf.js.map +1 -0
  281. package/dist/tooling/lemma-library/tokenize.d.ts +2 -0
  282. package/dist/tooling/lemma-library/tokenize.d.ts.map +1 -0
  283. package/dist/tooling/lemma-library/tokenize.js +74 -0
  284. package/dist/tooling/lemma-library/tokenize.js.map +1 -0
  285. package/dist/tooling/lemma-library/types.d.ts +53 -0
  286. package/dist/tooling/lemma-library/types.d.ts.map +1 -0
  287. package/dist/tooling/lemma-library/types.js +10 -0
  288. package/dist/tooling/lemma-library/types.js.map +1 -0
  289. package/dist/tooling/provenance/index.d.ts +3 -0
  290. package/dist/tooling/provenance/index.d.ts.map +1 -0
  291. package/dist/tooling/provenance/index.js +16 -0
  292. package/dist/tooling/provenance/index.js.map +1 -0
  293. package/dist/tooling/provenance/ledger.d.ts +89 -0
  294. package/dist/tooling/provenance/ledger.d.ts.map +1 -0
  295. package/dist/tooling/provenance/ledger.js +439 -0
  296. package/dist/tooling/provenance/ledger.js.map +1 -0
  297. package/dist/tooling/provenance/types.d.ts +70 -0
  298. package/dist/tooling/provenance/types.d.ts.map +1 -0
  299. package/dist/tooling/provenance/types.js +14 -0
  300. package/dist/tooling/provenance/types.js.map +1 -0
  301. package/dist/tooling/test-harness/combinators.d.ts +14 -0
  302. package/dist/tooling/test-harness/combinators.d.ts.map +1 -0
  303. package/dist/tooling/test-harness/combinators.js +122 -0
  304. package/dist/tooling/test-harness/combinators.js.map +1 -0
  305. package/dist/tooling/test-harness/coverage.d.ts +3 -0
  306. package/dist/tooling/test-harness/coverage.d.ts.map +1 -0
  307. package/dist/tooling/test-harness/coverage.js +32 -0
  308. package/dist/tooling/test-harness/coverage.js.map +1 -0
  309. package/dist/tooling/test-harness/generators.d.ts +6 -0
  310. package/dist/tooling/test-harness/generators.d.ts.map +1 -0
  311. package/dist/tooling/test-harness/generators.js +66 -0
  312. package/dist/tooling/test-harness/generators.js.map +1 -0
  313. package/dist/tooling/test-harness/index.d.ts +7 -0
  314. package/dist/tooling/test-harness/index.d.ts.map +1 -0
  315. package/dist/tooling/test-harness/index.js +27 -0
  316. package/dist/tooling/test-harness/index.js.map +1 -0
  317. package/dist/tooling/test-harness/mutation.d.ts +4 -0
  318. package/dist/tooling/test-harness/mutation.d.ts.map +1 -0
  319. package/dist/tooling/test-harness/mutation.js +28 -0
  320. package/dist/tooling/test-harness/mutation.js.map +1 -0
  321. package/dist/tooling/test-harness/snapshot.d.ts +5 -0
  322. package/dist/tooling/test-harness/snapshot.d.ts.map +1 -0
  323. package/dist/tooling/test-harness/snapshot.js +86 -0
  324. package/dist/tooling/test-harness/snapshot.js.map +1 -0
  325. package/dist/tooling/test-harness/types.d.ts +32 -0
  326. package/dist/tooling/test-harness/types.d.ts.map +1 -0
  327. package/dist/tooling/test-harness/types.js +3 -0
  328. package/dist/tooling/test-harness/types.js.map +1 -0
  329. package/package.json +1 -1
@@ -0,0 +1,122 @@
1
+ "use strict";
2
+ Object.defineProperty(exports, "__esModule", { value: true });
3
+ exports.crossProduct = crossProduct;
4
+ exports.parameterize = parameterize;
5
+ exports.filter = filter;
6
+ exports.filterByTags = filterByTags;
7
+ exports.tag = tag;
8
+ exports.makeSuite = makeSuite;
9
+ function caseTags(c) {
10
+ return c.tags ?? [];
11
+ }
12
+ function hasAnyTag(c, wanted) {
13
+ if (wanted.length === 0)
14
+ return true;
15
+ const tags = caseTags(c);
16
+ for (const t of wanted) {
17
+ if (tags.includes(t))
18
+ return true;
19
+ }
20
+ return false;
21
+ }
22
+ function tagsMatchMode(a, b, mode) {
23
+ if (mode === 'cartesian')
24
+ return true;
25
+ if (mode === 'union') {
26
+ if (a.length === 0 && b.length === 0)
27
+ return true;
28
+ return true;
29
+ }
30
+ if (a.length === 0 || b.length === 0)
31
+ return false;
32
+ for (const t of a) {
33
+ if (b.includes(t))
34
+ return true;
35
+ }
36
+ return false;
37
+ }
38
+ function crossProduct(s1, s2, opts) {
39
+ const mode = opts?.combine ?? 'cartesian';
40
+ const filterTags = opts?.filterTags ?? [];
41
+ const cases = [];
42
+ for (const ca of s1.cases) {
43
+ for (const cb of s2.cases) {
44
+ if (!tagsMatchMode(caseTags(ca), caseTags(cb), mode))
45
+ continue;
46
+ const mergedTags = Array.from(new Set([...caseTags(ca), ...caseTags(cb)]));
47
+ if (filterTags.length > 0) {
48
+ let hit = false;
49
+ for (const t of filterTags) {
50
+ if (mergedTags.includes(t)) {
51
+ hit = true;
52
+ break;
53
+ }
54
+ }
55
+ if (!hit)
56
+ continue;
57
+ }
58
+ cases.push({
59
+ name: `${ca.name} × ${cb.name}`,
60
+ input: { a: ca.input, b: cb.input },
61
+ tags: mergedTags.length > 0 ? mergedTags : undefined
62
+ });
63
+ }
64
+ }
65
+ return { name: `${s1.name} × ${s2.name}`, cases };
66
+ }
67
+ function parameterize(suite, params) {
68
+ const cases = [];
69
+ for (let i = 0; i < suite.cases.length; i += 1) {
70
+ const c = suite.cases[i];
71
+ if (!c)
72
+ continue;
73
+ for (let j = 0; j < params.length; j += 1) {
74
+ const p = params[j];
75
+ cases.push({
76
+ name: `${c.name} [param=${formatParam(p)}]`,
77
+ input: { input: c.input, param: p },
78
+ tags: c.tags
79
+ });
80
+ }
81
+ }
82
+ return { name: `${suite.name} ⊗ params`, cases };
83
+ }
84
+ function formatParam(p) {
85
+ if (p === null)
86
+ return 'null';
87
+ if (p === undefined)
88
+ return 'undefined';
89
+ if (typeof p === 'string')
90
+ return p;
91
+ if (typeof p === 'number' || typeof p === 'boolean')
92
+ return String(p);
93
+ try {
94
+ return JSON.stringify(p);
95
+ }
96
+ catch {
97
+ return '[unserializable]';
98
+ }
99
+ }
100
+ function filter(suite, pred) {
101
+ return {
102
+ name: suite.name,
103
+ cases: suite.cases.filter(pred)
104
+ };
105
+ }
106
+ function filterByTags(suite, tags) {
107
+ return filter(suite, (c) => hasAnyTag(c, tags));
108
+ }
109
+ function tag(suite, tagFn) {
110
+ return {
111
+ name: suite.name,
112
+ cases: suite.cases.map((c) => {
113
+ const extra = tagFn(c);
114
+ const merged = Array.from(new Set([...(c.tags ?? []), ...extra]));
115
+ return { ...c, tags: merged.length > 0 ? merged : undefined };
116
+ })
117
+ };
118
+ }
119
+ function makeSuite(name, cases) {
120
+ return { name, cases };
121
+ }
122
+ //# sourceMappingURL=combinators.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"combinators.js","sourceRoot":"","sources":["../../../src/tooling/test-harness/combinators.ts"],"names":[],"mappings":";;AAqCA,oCAgCC;AAED,oCAkBC;AAcD,wBAQC;AAED,oCAKC;AAED,kBAYC;AAED,8BAKC;AApID,SAAS,QAAQ,CAAI,CAAc;IACjC,OAAO,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC;AACtB,CAAC;AAED,SAAS,SAAS,CAAI,CAAc,EAAE,MAAgB;IACpD,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACrC,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;IACzB,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,IAAI,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC;IACpC,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,aAAa,CACpB,CAAW,EACX,CAAW,EACX,IAAiB;IAEjB,IAAI,IAAI,KAAK,WAAW;QAAE,OAAO,IAAI,CAAC;IACtC,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;QACrB,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QAClD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACnD,KAAK,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QAClB,IAAI,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC;IACjC,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAgB,YAAY,CAC1B,EAAiB,EACjB,EAAiB,EACjB,IAA0B;IAE1B,MAAM,IAAI,GAAgB,IAAI,EAAE,OAAO,IAAI,WAAW,CAAC;IACvD,MAAM,UAAU,GAAG,IAAI,EAAE,UAAU,IAAI,EAAE,CAAC;IAC1C,MAAM,KAAK,GAAiC,EAAE,CAAC;IAC/C,KAAK,MAAM,EAAE,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC;QAC1B,KAAK,MAAM,EAAE,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC;YAC1B,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC;gBAAE,SAAS;YAC/D,MAAM,UAAU,GAAG,KAAK,CAAC,IAAI,CAC3B,IAAI,GAAG,CAAC,CAAC,GAAG,QAAQ,CAAC,EAAE,CAAC,EAAE,GAAG,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,CAC5C,CAAC;YACF,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC1B,IAAI,GAAG,GAAG,KAAK,CAAC;gBAChB,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;oBAC3B,IAAI,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;wBAC3B,GAAG,GAAG,IAAI,CAAC;wBACX,MAAM;oBACR,CAAC;gBACH,CAAC;gBACD,IAAI,CAAC,GAAG;oBAAE,SAAS;YACrB,CAAC;YACD,KAAK,CAAC,IAAI,CAAC;gBACT,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI,MAAM,EAAE,CAAC,IAAI,EAAE;gBAC/B,KAAK,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,KAAK,EAAE;gBACnC,IAAI,EAAE,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS;aACrD,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,CAAC;AACpD,CAAC;AAED,SAAgB,YAAY,CAC1B,KAAmB,EACnB,MAAW;IAEX,MAAM,KAAK,GAAuC,EAAE,CAAC;IACrD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/C,MAAM,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACzB,IAAI,CAAC,CAAC;YAAE,SAAS;QACjB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1C,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAM,CAAC;YACzB,KAAK,CAAC,IAAI,CAAC;gBACT,IAAI,EAAE,GAAG,CAAC,CAAC,IAAI,WAAW,WAAW,CAAC,CAAC,CAAC,GAAG;gBAC3C,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE;gBACnC,IAAI,EAAE,CAAC,CAAC,IAAI;aACb,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC,IAAI,WAAW,EAAE,KAAK,EAAE,CAAC;AACnD,CAAC;AAED,SAAS,WAAW,CAAC,CAAU;IAC7B,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC;IAC9B,IAAI,CAAC,KAAK,SAAS;QAAE,OAAO,WAAW,CAAC;IACxC,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,CAAC,CAAC;IACpC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC;IACtE,IAAI,CAAC;QACH,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAC3B,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,kBAAkB,CAAC;IAC5B,CAAC;AACH,CAAC;AAED,SAAgB,MAAM,CACpB,KAAmB,EACnB,IAAiC;IAEjC,OAAO;QACL,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC;KAChC,CAAC;AACJ,CAAC;AAED,SAAgB,YAAY,CAC1B,KAAmB,EACnB,IAAc;IAEd,OAAO,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;AAClD,CAAC;AAED,SAAgB,GAAG,CACjB,KAAmB,EACnB,KAAmC;IAEnC,OAAO;QACL,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YAC3B,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;YACvB,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;YAClE,OAAO,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC;QAChE,CAAC,CAAC;KACH,CAAC;AACJ,CAAC;AAED,SAAgB,SAAS,CACvB,IAAY,EACZ,KAAoB;IAEpB,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AACzB,CAAC"}
@@ -0,0 +1,3 @@
1
+ import type { CoverageReport, TestCase, TestSuite } from './types';
2
+ export declare function runWithCoverage<T>(suite: TestSuite<T>, runner: (c: TestCase<T>) => Promise<boolean>): Promise<CoverageReport>;
3
+ //# sourceMappingURL=coverage.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"coverage.d.ts","sourceRoot":"","sources":["../../../src/tooling/test-harness/coverage.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,SAAS,CAAC;AAEnE,wBAAsB,eAAe,CAAC,CAAC,EACrC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,EACnB,MAAM,EAAE,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,OAAO,CAAC,GAC3C,OAAO,CAAC,cAAc,CAAC,CA0BzB"}
@@ -0,0 +1,32 @@
1
+ "use strict";
2
+ Object.defineProperty(exports, "__esModule", { value: true });
3
+ exports.runWithCoverage = runWithCoverage;
4
+ async function runWithCoverage(suite, runner) {
5
+ let passing = 0;
6
+ let failing = 0;
7
+ let errored = 0;
8
+ const tagDistribution = new Map();
9
+ for (const c of suite.cases) {
10
+ for (const t of c.tags ?? []) {
11
+ tagDistribution.set(t, (tagDistribution.get(t) ?? 0) + 1);
12
+ }
13
+ try {
14
+ const ok = await runner(c);
15
+ if (ok)
16
+ passing += 1;
17
+ else
18
+ failing += 1;
19
+ }
20
+ catch {
21
+ errored += 1;
22
+ }
23
+ }
24
+ return {
25
+ totalCases: suite.cases.length,
26
+ passing,
27
+ failing,
28
+ errored,
29
+ tagDistribution
30
+ };
31
+ }
32
+ //# sourceMappingURL=coverage.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"coverage.js","sourceRoot":"","sources":["../../../src/tooling/test-harness/coverage.ts"],"names":[],"mappings":";;AAEA,0CA6BC;AA7BM,KAAK,UAAU,eAAe,CACnC,KAAmB,EACnB,MAA4C;IAE5C,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,MAAM,eAAe,GAAG,IAAI,GAAG,EAAkB,CAAC;IAElD,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC5B,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,IAAI,EAAE,EAAE,CAAC;YAC7B,eAAe,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC5D,CAAC;QACD,IAAI,CAAC;YACH,MAAM,EAAE,GAAG,MAAM,MAAM,CAAC,CAAC,CAAC,CAAC;YAC3B,IAAI,EAAE;gBAAE,OAAO,IAAI,CAAC,CAAC;;gBAChB,OAAO,IAAI,CAAC,CAAC;QACpB,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,IAAI,CAAC,CAAC;QACf,CAAC;IACH,CAAC;IAED,OAAO;QACL,UAAU,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM;QAC9B,OAAO;QACP,OAAO;QACP,OAAO;QACP,eAAe;KAChB,CAAC;AACJ,CAAC"}
@@ -0,0 +1,6 @@
1
+ export declare function nats(max: number): Generator<number>;
2
+ export declare function range(start: number, end: number, step?: number): Generator<number>;
3
+ export declare function randomInts(seed: number, count: number, max: number): Generator<number>;
4
+ export declare function take<T>(gen: Iterable<T>, n: number): T[];
5
+ export declare function toArray<T>(gen: Iterable<T>): T[];
6
+ //# sourceMappingURL=generators.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"generators.d.ts","sourceRoot":"","sources":["../../../src/tooling/test-harness/generators.ts"],"names":[],"mappings":"AAAA,wBAAiB,IAAI,CAAC,GAAG,EAAE,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC,CAMpD;AAED,wBAAiB,KAAK,CACpB,KAAK,EAAE,MAAM,EACb,GAAG,EAAE,MAAM,EACX,IAAI,CAAC,EAAE,MAAM,GACZ,SAAS,CAAC,MAAM,CAAC,CAYnB;AAaD,wBAAiB,UAAU,CACzB,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,MAAM,EACb,GAAG,EAAE,MAAM,GACV,SAAS,CAAC,MAAM,CAAC,CAOnB;AAED,wBAAgB,IAAI,CAAC,CAAC,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,GAAG,CAAC,EAAE,CAUxD;AAED,wBAAgB,OAAO,CAAC,CAAC,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAEhD"}
@@ -0,0 +1,66 @@
1
+ "use strict";
2
+ Object.defineProperty(exports, "__esModule", { value: true });
3
+ exports.nats = nats;
4
+ exports.range = range;
5
+ exports.randomInts = randomInts;
6
+ exports.take = take;
7
+ exports.toArray = toArray;
8
+ function* nats(max) {
9
+ if (!Number.isFinite(max) || max < 0)
10
+ return;
11
+ const cap = Math.floor(max);
12
+ for (let i = 0; i <= cap; i += 1) {
13
+ yield i;
14
+ }
15
+ }
16
+ function* range(start, end, step) {
17
+ const s = step ?? 1;
18
+ if (s === 0 || !Number.isFinite(s))
19
+ return;
20
+ if (s > 0) {
21
+ for (let i = start; i < end; i += s) {
22
+ yield i;
23
+ }
24
+ }
25
+ else {
26
+ for (let i = start; i > end; i += s) {
27
+ yield i;
28
+ }
29
+ }
30
+ }
31
+ function mulberry32(seed) {
32
+ let a = seed >>> 0;
33
+ return () => {
34
+ a = (a + 0x6d2b79f5) >>> 0;
35
+ let t = a;
36
+ t = Math.imul(t ^ (t >>> 15), t | 1);
37
+ t ^= t + Math.imul(t ^ (t >>> 7), t | 61);
38
+ return ((t ^ (t >>> 14)) >>> 0) / 4294967296;
39
+ };
40
+ }
41
+ function* randomInts(seed, count, max) {
42
+ if (count <= 0)
43
+ return;
44
+ const rng = mulberry32(seed);
45
+ const cap = Math.max(1, Math.floor(max));
46
+ for (let i = 0; i < count; i += 1) {
47
+ yield Math.floor(rng() * cap);
48
+ }
49
+ }
50
+ function take(gen, n) {
51
+ const out = [];
52
+ if (n <= 0)
53
+ return out;
54
+ let i = 0;
55
+ for (const v of gen) {
56
+ if (i >= n)
57
+ break;
58
+ out.push(v);
59
+ i += 1;
60
+ }
61
+ return out;
62
+ }
63
+ function toArray(gen) {
64
+ return Array.from(gen);
65
+ }
66
+ //# sourceMappingURL=generators.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"generators.js","sourceRoot":"","sources":["../../../src/tooling/test-harness/generators.ts"],"names":[],"mappings":";;AAAA,oBAMC;AAED,sBAgBC;AAaD,gCAWC;AAED,oBAUC;AAED,0BAEC;AAhED,QAAe,CAAC,CAAC,IAAI,CAAC,GAAW;IAC/B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,GAAG,GAAG,CAAC;QAAE,OAAO;IAC7C,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC5B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACjC,MAAM,CAAC,CAAC;IACV,CAAC;AACH,CAAC;AAED,QAAe,CAAC,CAAC,KAAK,CACpB,KAAa,EACb,GAAW,EACX,IAAa;IAEb,MAAM,CAAC,GAAG,IAAI,IAAI,CAAC,CAAC;IACpB,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;QAAE,OAAO;IAC3C,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QACV,KAAK,IAAI,CAAC,GAAG,KAAK,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YACpC,MAAM,CAAC,CAAC;QACV,CAAC;IACH,CAAC;SAAM,CAAC;QACN,KAAK,IAAI,CAAC,GAAG,KAAK,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YACpC,MAAM,CAAC,CAAC;QACV,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,UAAU,CAAC,IAAY;IAC9B,IAAI,CAAC,GAAG,IAAI,KAAK,CAAC,CAAC;IACnB,OAAO,GAAG,EAAE;QACV,CAAC,GAAG,CAAC,CAAC,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;QAC3B,IAAI,CAAC,GAAG,CAAC,CAAC;QACV,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACrC,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC;QAC1C,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,UAAU,CAAC;IAC/C,CAAC,CAAC;AACJ,CAAC;AAED,QAAe,CAAC,CAAC,UAAU,CACzB,IAAY,EACZ,KAAa,EACb,GAAW;IAEX,IAAI,KAAK,IAAI,CAAC;QAAE,OAAO;IACvB,MAAM,GAAG,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IAC7B,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;IACzC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAClC,MAAM,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC;IAChC,CAAC;AACH,CAAC;AAED,SAAgB,IAAI,CAAI,GAAgB,EAAE,CAAS;IACjD,MAAM,GAAG,GAAQ,EAAE,CAAC;IACpB,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,GAAG,CAAC;IACvB,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,KAAK,MAAM,CAAC,IAAI,GAAG,EAAE,CAAC;QACpB,IAAI,CAAC,IAAI,CAAC;YAAE,MAAM;QAClB,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACZ,CAAC,IAAI,CAAC,CAAC;IACT,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAgB,OAAO,CAAI,GAAgB;IACzC,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACzB,CAAC"}
@@ -0,0 +1,7 @@
1
+ export type { CombineMode, CoverageReport, CrossProductOptions, Snapshot, SnapshotComparison, TestCase, TestSuite } from './types';
2
+ export { crossProduct, filter, filterByTags, makeSuite, parameterize, tag } from './combinators';
3
+ export { nats, randomInts, range, take, toArray } from './generators';
4
+ export { runWithCoverage } from './coverage';
5
+ export { compareSnapshot, snapshotHash, takeSnapshot } from './snapshot';
6
+ export { mutateBoolean, mutateNumber, mutateString } from './mutation';
7
+ //# sourceMappingURL=index.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/tooling/test-harness/index.ts"],"names":[],"mappings":"AAAA,YAAY,EACV,WAAW,EACX,cAAc,EACd,mBAAmB,EACnB,QAAQ,EACR,kBAAkB,EAClB,QAAQ,EACR,SAAS,EACV,MAAM,SAAS,CAAC;AAEjB,OAAO,EACL,YAAY,EACZ,MAAM,EACN,YAAY,EACZ,SAAS,EACT,YAAY,EACZ,GAAG,EACJ,MAAM,eAAe,CAAC;AAEvB,OAAO,EACL,IAAI,EACJ,UAAU,EACV,KAAK,EACL,IAAI,EACJ,OAAO,EACR,MAAM,cAAc,CAAC;AAEtB,OAAO,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAE7C,OAAO,EACL,eAAe,EACf,YAAY,EACZ,YAAY,EACb,MAAM,YAAY,CAAC;AAEpB,OAAO,EACL,aAAa,EACb,YAAY,EACZ,YAAY,EACb,MAAM,YAAY,CAAC"}
@@ -0,0 +1,27 @@
1
+ "use strict";
2
+ Object.defineProperty(exports, "__esModule", { value: true });
3
+ exports.mutateString = exports.mutateNumber = exports.mutateBoolean = exports.takeSnapshot = exports.snapshotHash = exports.compareSnapshot = exports.runWithCoverage = exports.toArray = exports.take = exports.range = exports.randomInts = exports.nats = exports.tag = exports.parameterize = exports.makeSuite = exports.filterByTags = exports.filter = exports.crossProduct = void 0;
4
+ var combinators_1 = require("./combinators");
5
+ Object.defineProperty(exports, "crossProduct", { enumerable: true, get: function () { return combinators_1.crossProduct; } });
6
+ Object.defineProperty(exports, "filter", { enumerable: true, get: function () { return combinators_1.filter; } });
7
+ Object.defineProperty(exports, "filterByTags", { enumerable: true, get: function () { return combinators_1.filterByTags; } });
8
+ Object.defineProperty(exports, "makeSuite", { enumerable: true, get: function () { return combinators_1.makeSuite; } });
9
+ Object.defineProperty(exports, "parameterize", { enumerable: true, get: function () { return combinators_1.parameterize; } });
10
+ Object.defineProperty(exports, "tag", { enumerable: true, get: function () { return combinators_1.tag; } });
11
+ var generators_1 = require("./generators");
12
+ Object.defineProperty(exports, "nats", { enumerable: true, get: function () { return generators_1.nats; } });
13
+ Object.defineProperty(exports, "randomInts", { enumerable: true, get: function () { return generators_1.randomInts; } });
14
+ Object.defineProperty(exports, "range", { enumerable: true, get: function () { return generators_1.range; } });
15
+ Object.defineProperty(exports, "take", { enumerable: true, get: function () { return generators_1.take; } });
16
+ Object.defineProperty(exports, "toArray", { enumerable: true, get: function () { return generators_1.toArray; } });
17
+ var coverage_1 = require("./coverage");
18
+ Object.defineProperty(exports, "runWithCoverage", { enumerable: true, get: function () { return coverage_1.runWithCoverage; } });
19
+ var snapshot_1 = require("./snapshot");
20
+ Object.defineProperty(exports, "compareSnapshot", { enumerable: true, get: function () { return snapshot_1.compareSnapshot; } });
21
+ Object.defineProperty(exports, "snapshotHash", { enumerable: true, get: function () { return snapshot_1.snapshotHash; } });
22
+ Object.defineProperty(exports, "takeSnapshot", { enumerable: true, get: function () { return snapshot_1.takeSnapshot; } });
23
+ var mutation_1 = require("./mutation");
24
+ Object.defineProperty(exports, "mutateBoolean", { enumerable: true, get: function () { return mutation_1.mutateBoolean; } });
25
+ Object.defineProperty(exports, "mutateNumber", { enumerable: true, get: function () { return mutation_1.mutateNumber; } });
26
+ Object.defineProperty(exports, "mutateString", { enumerable: true, get: function () { return mutation_1.mutateString; } });
27
+ //# sourceMappingURL=index.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/tooling/test-harness/index.ts"],"names":[],"mappings":";;;AAUA,6CAOuB;AANrB,2GAAA,YAAY,OAAA;AACZ,qGAAA,MAAM,OAAA;AACN,2GAAA,YAAY,OAAA;AACZ,wGAAA,SAAS,OAAA;AACT,2GAAA,YAAY,OAAA;AACZ,kGAAA,GAAG,OAAA;AAGL,2CAMsB;AALpB,kGAAA,IAAI,OAAA;AACJ,wGAAA,UAAU,OAAA;AACV,mGAAA,KAAK,OAAA;AACL,kGAAA,IAAI,OAAA;AACJ,qGAAA,OAAO,OAAA;AAGT,uCAA6C;AAApC,2GAAA,eAAe,OAAA;AAExB,uCAIoB;AAHlB,2GAAA,eAAe,OAAA;AACf,wGAAA,YAAY,OAAA;AACZ,wGAAA,YAAY,OAAA;AAGd,uCAIoB;AAHlB,yGAAA,aAAa,OAAA;AACb,wGAAA,YAAY,OAAA;AACZ,wGAAA,YAAY,OAAA"}
@@ -0,0 +1,4 @@
1
+ export declare function mutateNumber(n: number): number[];
2
+ export declare function mutateString(s: string): string[];
3
+ export declare function mutateBoolean(b: boolean): boolean[];
4
+ //# sourceMappingURL=mutation.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"mutation.d.ts","sourceRoot":"","sources":["../../../src/tooling/test-harness/mutation.ts"],"names":[],"mappings":"AAAA,wBAAgB,YAAY,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,EAAE,CAEhD;AAED,wBAAgB,YAAY,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,EAAE,CAchD;AAED,wBAAgB,aAAa,CAAC,CAAC,EAAE,OAAO,GAAG,OAAO,EAAE,CAEnD"}
@@ -0,0 +1,28 @@
1
+ "use strict";
2
+ Object.defineProperty(exports, "__esModule", { value: true });
3
+ exports.mutateNumber = mutateNumber;
4
+ exports.mutateString = mutateString;
5
+ exports.mutateBoolean = mutateBoolean;
6
+ function mutateNumber(n) {
7
+ return [n + 1, n - 1, 0, -n, 2 * n];
8
+ }
9
+ function mutateString(s) {
10
+ const out = [];
11
+ out.push('');
12
+ out.push(`${s} `);
13
+ if (s.length > 0) {
14
+ out.push(s.slice(0, -1));
15
+ out.push(s.slice(1));
16
+ out.push(s.toUpperCase() === s ? s.toLowerCase() : s.toUpperCase());
17
+ }
18
+ else {
19
+ out.push('x');
20
+ out.push('xx');
21
+ out.push('X');
22
+ }
23
+ return out;
24
+ }
25
+ function mutateBoolean(b) {
26
+ return [!b];
27
+ }
28
+ //# sourceMappingURL=mutation.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"mutation.js","sourceRoot":"","sources":["../../../src/tooling/test-harness/mutation.ts"],"names":[],"mappings":";;AAAA,oCAEC;AAED,oCAcC;AAED,sCAEC;AAtBD,SAAgB,YAAY,CAAC,CAAS;IACpC,OAAO,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;AACtC,CAAC;AAED,SAAgB,YAAY,CAAC,CAAS;IACpC,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACb,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAClB,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjB,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACzB,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QACrB,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;IACtE,CAAC;SAAM,CAAC;QACN,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACd,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACf,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAgB,aAAa,CAAC,CAAU;IACtC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;AACd,CAAC"}
@@ -0,0 +1,5 @@
1
+ import type { Snapshot, SnapshotComparison } from './types';
2
+ export declare function snapshotHash(input: unknown, output: unknown): string;
3
+ export declare function takeSnapshot(input: unknown, output: unknown): Snapshot;
4
+ export declare function compareSnapshot(snap: Snapshot, current: unknown): SnapshotComparison;
5
+ //# sourceMappingURL=snapshot.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"snapshot.d.ts","sourceRoot":"","sources":["../../../src/tooling/test-harness/snapshot.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,kBAAkB,EAAE,MAAM,SAAS,CAAC;AAuD5D,wBAAgB,YAAY,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,GAAG,MAAM,CAEpE;AAED,wBAAgB,YAAY,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,GAAG,QAAQ,CAMtE;AAED,wBAAgB,eAAe,CAC7B,IAAI,EAAE,QAAQ,EACd,OAAO,EAAE,OAAO,GACf,kBAAkB,CAUpB"}
@@ -0,0 +1,86 @@
1
+ "use strict";
2
+ Object.defineProperty(exports, "__esModule", { value: true });
3
+ exports.snapshotHash = snapshotHash;
4
+ exports.takeSnapshot = takeSnapshot;
5
+ exports.compareSnapshot = compareSnapshot;
6
+ function stableStringify(value) {
7
+ const seen = new WeakSet();
8
+ const walk = (v) => {
9
+ if (v === null)
10
+ return null;
11
+ if (typeof v === 'undefined')
12
+ return '__undefined__';
13
+ if (typeof v === 'bigint')
14
+ return `__bigint__:${v.toString()}`;
15
+ if (typeof v === 'function')
16
+ return `__fn__:${v.name || 'anon'}`;
17
+ if (typeof v === 'symbol')
18
+ return `__sym__:${v.toString()}`;
19
+ if (typeof v !== 'object')
20
+ return v;
21
+ if (seen.has(v))
22
+ return '__cycle__';
23
+ seen.add(v);
24
+ if (Array.isArray(v)) {
25
+ return v.map(walk);
26
+ }
27
+ if (v instanceof Map) {
28
+ const entries = [];
29
+ for (const [k, val] of v.entries())
30
+ entries.push([k, val]);
31
+ entries.sort((a, b) => {
32
+ const ka = String(a[0]);
33
+ const kb = String(b[0]);
34
+ return ka < kb ? -1 : ka > kb ? 1 : 0;
35
+ });
36
+ return { __map__: entries.map(([k, val]) => [walk(k), walk(val)]) };
37
+ }
38
+ if (v instanceof Set) {
39
+ const arr = Array.from(v.values()).map(walk);
40
+ arr.sort((a, b) => {
41
+ const sa = JSON.stringify(a);
42
+ const sb = JSON.stringify(b);
43
+ return sa < sb ? -1 : sa > sb ? 1 : 0;
44
+ });
45
+ return { __set__: arr };
46
+ }
47
+ const obj = v;
48
+ const keys = Object.keys(obj).sort();
49
+ const out = {};
50
+ for (const k of keys) {
51
+ out[k] = walk(obj[k]);
52
+ }
53
+ return out;
54
+ };
55
+ return JSON.stringify(walk(value));
56
+ }
57
+ function fnv1a(s) {
58
+ let h = 0x811c9dc5;
59
+ for (let i = 0; i < s.length; i += 1) {
60
+ h ^= s.charCodeAt(i);
61
+ h = (h + ((h << 1) + (h << 4) + (h << 7) + (h << 8) + (h << 24))) >>> 0;
62
+ }
63
+ return h.toString(16).padStart(8, '0');
64
+ }
65
+ function snapshotHash(input, output) {
66
+ return fnv1a(`${stableStringify(input)}|${stableStringify(output)}`);
67
+ }
68
+ function takeSnapshot(input, output) {
69
+ return {
70
+ input,
71
+ output,
72
+ hash: snapshotHash(input, output)
73
+ };
74
+ }
75
+ function compareSnapshot(snap, current) {
76
+ const expected = stableStringify(snap.output);
77
+ const actual = stableStringify(current);
78
+ if (expected === actual) {
79
+ return { match: true };
80
+ }
81
+ return {
82
+ match: false,
83
+ diff: `expected: ${expected}\nactual: ${actual}`
84
+ };
85
+ }
86
+ //# sourceMappingURL=snapshot.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"snapshot.js","sourceRoot":"","sources":["../../../src/tooling/test-harness/snapshot.ts"],"names":[],"mappings":";;AAuDA,oCAEC;AAED,oCAMC;AAED,0CAaC;AA9ED,SAAS,eAAe,CAAC,KAAc;IACrC,MAAM,IAAI,GAAG,IAAI,OAAO,EAAU,CAAC;IACnC,MAAM,IAAI,GAAG,CAAC,CAAU,EAAW,EAAE;QACnC,IAAI,CAAC,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC5B,IAAI,OAAO,CAAC,KAAK,WAAW;YAAE,OAAO,eAAe,CAAC;QACrD,IAAI,OAAO,CAAC,KAAK,QAAQ;YAAE,OAAO,cAAc,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC;QAC/D,IAAI,OAAO,CAAC,KAAK,UAAU;YAAE,OAAO,UAAU,CAAC,CAAC,IAAI,IAAI,MAAM,EAAE,CAAC;QACjE,IAAI,OAAO,CAAC,KAAK,QAAQ;YAAE,OAAO,WAAW,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC;QAC5D,IAAI,OAAO,CAAC,KAAK,QAAQ;YAAE,OAAO,CAAC,CAAC;QACpC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAW,CAAC;YAAE,OAAO,WAAW,CAAC;QAC9C,IAAI,CAAC,GAAG,CAAC,CAAW,CAAC,CAAC;QACtB,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;YACrB,OAAO,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACrB,CAAC;QACD,IAAI,CAAC,YAAY,GAAG,EAAE,CAAC;YACrB,MAAM,OAAO,GAA8B,EAAE,CAAC;YAC9C,KAAK,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE;gBAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;YAC3D,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;gBACpB,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBACxB,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBACxB,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACxC,CAAC,CAAC,CAAC;YACH,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QACtE,CAAC;QACD,IAAI,CAAC,YAAY,GAAG,EAAE,CAAC;YACrB,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC7C,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;gBAChB,MAAM,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;gBAC7B,MAAM,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;gBAC7B,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACxC,CAAC,CAAC,CAAC;YACH,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;QAC1B,CAAC;QACD,MAAM,GAAG,GAAG,CAA4B,CAAC;QACzC,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;QACrC,MAAM,GAAG,GAA4B,EAAE,CAAC;QACxC,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;YACrB,GAAG,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACxB,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;IACF,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;AACrC,CAAC;AAED,SAAS,KAAK,CAAC,CAAS;IACtB,IAAI,CAAC,GAAG,UAAU,CAAC;IACnB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACrC,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QACrB,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IAC1E,CAAC;IACD,OAAO,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;AACzC,CAAC;AAED,SAAgB,YAAY,CAAC,KAAc,EAAE,MAAe;IAC1D,OAAO,KAAK,CAAC,GAAG,eAAe,CAAC,KAAK,CAAC,IAAI,eAAe,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;AACvE,CAAC;AAED,SAAgB,YAAY,CAAC,KAAc,EAAE,MAAe;IAC1D,OAAO;QACL,KAAK;QACL,MAAM;QACN,IAAI,EAAE,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC;KAClC,CAAC;AACJ,CAAC;AAED,SAAgB,eAAe,CAC7B,IAAc,EACd,OAAgB;IAEhB,MAAM,QAAQ,GAAG,eAAe,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC9C,MAAM,MAAM,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;IACxC,IAAI,QAAQ,KAAK,MAAM,EAAE,CAAC;QACxB,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IACzB,CAAC;IACD,OAAO;QACL,KAAK,EAAE,KAAK;QACZ,IAAI,EAAE,aAAa,QAAQ,eAAe,MAAM,EAAE;KACnD,CAAC;AACJ,CAAC"}
@@ -0,0 +1,32 @@
1
+ export interface TestCase<T> {
2
+ name: string;
3
+ input: T;
4
+ expected?: unknown;
5
+ tags?: string[];
6
+ }
7
+ export interface TestSuite<T> {
8
+ name: string;
9
+ cases: TestCase<T>[];
10
+ }
11
+ export type CombineMode = 'union' | 'intersect' | 'cartesian';
12
+ export interface CrossProductOptions {
13
+ combine: CombineMode;
14
+ filterTags?: string[];
15
+ }
16
+ export interface CoverageReport {
17
+ totalCases: number;
18
+ passing: number;
19
+ failing: number;
20
+ errored: number;
21
+ tagDistribution: Map<string, number>;
22
+ }
23
+ export interface Snapshot {
24
+ input: unknown;
25
+ output: unknown;
26
+ hash: string;
27
+ }
28
+ export interface SnapshotComparison {
29
+ match: boolean;
30
+ diff?: string;
31
+ }
32
+ //# sourceMappingURL=types.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/tooling/test-harness/types.ts"],"names":[],"mappings":"AAAA,MAAM,WAAW,QAAQ,CAAC,CAAC;IACzB,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,CAAC,CAAC;IACT,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;CACjB;AAED,MAAM,WAAW,SAAS,CAAC,CAAC;IAC1B,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;CACtB;AAED,MAAM,MAAM,WAAW,GAAG,OAAO,GAAG,WAAW,GAAG,WAAW,CAAC;AAE9D,MAAM,WAAW,mBAAmB;IAClC,OAAO,EAAE,WAAW,CAAC;IACrB,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;CACvB;AAED,MAAM,WAAW,cAAc;IAC7B,UAAU,EAAE,MAAM,CAAC;IACnB,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;IAChB,eAAe,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACtC;AAED,MAAM,WAAW,QAAQ;IACvB,KAAK,EAAE,OAAO,CAAC;IACf,MAAM,EAAE,OAAO,CAAC;IAChB,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,kBAAkB;IACjC,KAAK,EAAE,OAAO,CAAC;IACf,IAAI,CAAC,EAAE,MAAM,CAAC;CACf"}
@@ -0,0 +1,3 @@
1
+ "use strict";
2
+ Object.defineProperty(exports, "__esModule", { value: true });
3
+ //# sourceMappingURL=types.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/tooling/test-harness/types.ts"],"names":[],"mappings":""}
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@stevenvo780/st-lang",
3
- "version": "4.10.0",
3
+ "version": "4.12.0",
4
4
  "description": "ST — Lenguaje ejecutable con nucleo logico y capa textual. Motor multi-perfil (11 lógicas), derivaciones, tablas de verdad, contramodelos, aliases modales, Belnap 4-valores y capa textual para formalización de documentos.",
5
5
  "main": "dist/index.js",
6
6
  "types": "dist/index.d.ts",