@stevenvo780/st-lang 4.0.1 → 4.2.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 (393) hide show
  1. package/dist/belief-revision/agm.d.ts +76 -0
  2. package/dist/belief-revision/agm.d.ts.map +1 -0
  3. package/dist/belief-revision/agm.js +249 -0
  4. package/dist/belief-revision/agm.js.map +1 -0
  5. package/dist/belief-revision/index.d.ts +6 -0
  6. package/dist/belief-revision/index.d.ts.map +1 -0
  7. package/dist/belief-revision/index.js +33 -0
  8. package/dist/belief-revision/index.js.map +1 -0
  9. package/dist/belief-revision/parser.d.ts +16 -0
  10. package/dist/belief-revision/parser.d.ts.map +1 -0
  11. package/dist/belief-revision/parser.js +199 -0
  12. package/dist/belief-revision/parser.js.map +1 -0
  13. package/dist/belief-revision/sat.d.ts +19 -0
  14. package/dist/belief-revision/sat.d.ts.map +1 -0
  15. package/dist/belief-revision/sat.js +90 -0
  16. package/dist/belief-revision/sat.js.map +1 -0
  17. package/dist/belief-revision/types.d.ts +51 -0
  18. package/dist/belief-revision/types.d.ts.map +1 -0
  19. package/dist/belief-revision/types.js +10 -0
  20. package/dist/belief-revision/types.js.map +1 -0
  21. package/dist/curry-howard/index.d.ts +7 -0
  22. package/dist/curry-howard/index.d.ts.map +1 -0
  23. package/dist/curry-howard/index.js +46 -0
  24. package/dist/curry-howard/index.js.map +1 -0
  25. package/dist/curry-howard/infer.d.ts +9 -0
  26. package/dist/curry-howard/infer.d.ts.map +1 -0
  27. package/dist/curry-howard/infer.js +129 -0
  28. package/dist/curry-howard/infer.js.map +1 -0
  29. package/dist/curry-howard/proof.d.ts +7 -0
  30. package/dist/curry-howard/proof.d.ts.map +1 -0
  31. package/dist/curry-howard/proof.js +282 -0
  32. package/dist/curry-howard/proof.js.map +1 -0
  33. package/dist/curry-howard/reduce.d.ts +7 -0
  34. package/dist/curry-howard/reduce.d.ts.map +1 -0
  35. package/dist/curry-howard/reduce.js +266 -0
  36. package/dist/curry-howard/reduce.js.map +1 -0
  37. package/dist/curry-howard/types.d.ts +91 -0
  38. package/dist/curry-howard/types.d.ts.map +1 -0
  39. package/dist/curry-howard/types.js +149 -0
  40. package/dist/curry-howard/types.js.map +1 -0
  41. package/dist/fol-prover-equality/demodulate.d.ts +29 -0
  42. package/dist/fol-prover-equality/demodulate.d.ts.map +1 -0
  43. package/dist/fol-prover-equality/demodulate.js +197 -0
  44. package/dist/fol-prover-equality/demodulate.js.map +1 -0
  45. package/dist/fol-prover-equality/index.d.ts +8 -0
  46. package/dist/fol-prover-equality/index.d.ts.map +1 -0
  47. package/dist/fol-prover-equality/index.js +24 -0
  48. package/dist/fol-prover-equality/index.js.map +1 -0
  49. package/dist/fol-prover-equality/paramodulate.d.ts +46 -0
  50. package/dist/fol-prover-equality/paramodulate.d.ts.map +1 -0
  51. package/dist/fol-prover-equality/paramodulate.js +159 -0
  52. package/dist/fol-prover-equality/paramodulate.js.map +1 -0
  53. package/dist/fol-prover-equality/prove.d.ts +7 -0
  54. package/dist/fol-prover-equality/prove.d.ts.map +1 -0
  55. package/dist/fol-prover-equality/prove.js +307 -0
  56. package/dist/fol-prover-equality/prove.js.map +1 -0
  57. package/dist/fol-prover-equality/term-utils.d.ts +43 -0
  58. package/dist/fol-prover-equality/term-utils.d.ts.map +1 -0
  59. package/dist/fol-prover-equality/term-utils.js +230 -0
  60. package/dist/fol-prover-equality/term-utils.js.map +1 -0
  61. package/dist/fol-prover-equality/types.d.ts +20 -0
  62. package/dist/fol-prover-equality/types.d.ts.map +1 -0
  63. package/dist/fol-prover-equality/types.js +5 -0
  64. package/dist/fol-prover-equality/types.js.map +1 -0
  65. package/dist/index.d.ts +4 -0
  66. package/dist/index.d.ts.map +1 -1
  67. package/dist/index.js +18 -1
  68. package/dist/index.js.map +1 -1
  69. package/dist/profiles/ctl/check.d.ts +13 -0
  70. package/dist/profiles/ctl/check.d.ts.map +1 -0
  71. package/dist/profiles/ctl/check.js +359 -0
  72. package/dist/profiles/ctl/check.js.map +1 -0
  73. package/dist/profiles/ctl/index.d.ts +5 -0
  74. package/dist/profiles/ctl/index.d.ts.map +1 -0
  75. package/dist/profiles/ctl/index.js +23 -0
  76. package/dist/profiles/ctl/index.js.map +1 -0
  77. package/dist/profiles/ctl/types.d.ts +74 -0
  78. package/dist/profiles/ctl/types.d.ts.map +1 -0
  79. package/dist/profiles/ctl/types.js +53 -0
  80. package/dist/profiles/ctl/types.js.map +1 -0
  81. package/dist/profiles/ctl/witness.d.ts +20 -0
  82. package/dist/profiles/ctl/witness.d.ts.map +1 -0
  83. package/dist/profiles/ctl/witness.js +149 -0
  84. package/dist/profiles/ctl/witness.js.map +1 -0
  85. package/dist/profiles/default-logic/entailment.d.ts +14 -0
  86. package/dist/profiles/default-logic/entailment.d.ts.map +1 -0
  87. package/dist/profiles/default-logic/entailment.js +36 -0
  88. package/dist/profiles/default-logic/entailment.js.map +1 -0
  89. package/dist/profiles/default-logic/extensions.d.ts +35 -0
  90. package/dist/profiles/default-logic/extensions.d.ts.map +1 -0
  91. package/dist/profiles/default-logic/extensions.js +276 -0
  92. package/dist/profiles/default-logic/extensions.js.map +1 -0
  93. package/dist/profiles/default-logic/index.d.ts +5 -0
  94. package/dist/profiles/default-logic/index.d.ts.map +1 -0
  95. package/dist/profiles/default-logic/index.js +33 -0
  96. package/dist/profiles/default-logic/index.js.map +1 -0
  97. package/dist/profiles/default-logic/types.d.ts +29 -0
  98. package/dist/profiles/default-logic/types.d.ts.map +1 -0
  99. package/dist/profiles/default-logic/types.js +25 -0
  100. package/dist/profiles/default-logic/types.js.map +1 -0
  101. package/dist/profiles/description-logic/index.d.ts +5 -0
  102. package/dist/profiles/description-logic/index.d.ts.map +1 -0
  103. package/dist/profiles/description-logic/index.js +39 -0
  104. package/dist/profiles/description-logic/index.js.map +1 -0
  105. package/dist/profiles/description-logic/nnf.d.ts +13 -0
  106. package/dist/profiles/description-logic/nnf.d.ts.map +1 -0
  107. package/dist/profiles/description-logic/nnf.js +123 -0
  108. package/dist/profiles/description-logic/nnf.js.map +1 -0
  109. package/dist/profiles/description-logic/tableau.d.ts +27 -0
  110. package/dist/profiles/description-logic/tableau.d.ts.map +1 -0
  111. package/dist/profiles/description-logic/tableau.js +491 -0
  112. package/dist/profiles/description-logic/tableau.js.map +1 -0
  113. package/dist/profiles/description-logic/types.d.ts +45 -0
  114. package/dist/profiles/description-logic/types.d.ts.map +1 -0
  115. package/dist/profiles/description-logic/types.js +71 -0
  116. package/dist/profiles/description-logic/types.js.map +1 -0
  117. package/dist/profiles/hybrid-logic/index.d.ts +5 -0
  118. package/dist/profiles/hybrid-logic/index.d.ts.map +1 -0
  119. package/dist/profiles/hybrid-logic/index.js +34 -0
  120. package/dist/profiles/hybrid-logic/index.js.map +1 -0
  121. package/dist/profiles/hybrid-logic/sat.d.ts +15 -0
  122. package/dist/profiles/hybrid-logic/sat.d.ts.map +1 -0
  123. package/dist/profiles/hybrid-logic/sat.js +142 -0
  124. package/dist/profiles/hybrid-logic/sat.js.map +1 -0
  125. package/dist/profiles/hybrid-logic/semantics.d.ts +20 -0
  126. package/dist/profiles/hybrid-logic/semantics.d.ts.map +1 -0
  127. package/dist/profiles/hybrid-logic/semantics.js +107 -0
  128. package/dist/profiles/hybrid-logic/semantics.js.map +1 -0
  129. package/dist/profiles/hybrid-logic/types.d.ts +78 -0
  130. package/dist/profiles/hybrid-logic/types.d.ts.map +1 -0
  131. package/dist/profiles/hybrid-logic/types.js +107 -0
  132. package/dist/profiles/hybrid-logic/types.js.map +1 -0
  133. package/dist/profiles/ltl-sat/index.d.ts +4 -0
  134. package/dist/profiles/ltl-sat/index.d.ts.map +1 -0
  135. package/dist/profiles/ltl-sat/index.js +40 -0
  136. package/dist/profiles/ltl-sat/index.js.map +1 -0
  137. package/dist/profiles/ltl-sat/sat.d.ts +8 -0
  138. package/dist/profiles/ltl-sat/sat.d.ts.map +1 -0
  139. package/dist/profiles/ltl-sat/sat.js +140 -0
  140. package/dist/profiles/ltl-sat/sat.js.map +1 -0
  141. package/dist/profiles/ltl-sat/tableau.d.ts +19 -0
  142. package/dist/profiles/ltl-sat/tableau.d.ts.map +1 -0
  143. package/dist/profiles/ltl-sat/tableau.js +358 -0
  144. package/dist/profiles/ltl-sat/tableau.js.map +1 -0
  145. package/dist/profiles/ltl-sat/types.d.ts +52 -0
  146. package/dist/profiles/ltl-sat/types.d.ts.map +1 -0
  147. package/dist/profiles/ltl-sat/types.js +101 -0
  148. package/dist/profiles/ltl-sat/types.js.map +1 -0
  149. package/dist/profiles/sequent-g3/index.d.ts +5 -0
  150. package/dist/profiles/sequent-g3/index.d.ts.map +1 -0
  151. package/dist/profiles/sequent-g3/index.js +23 -0
  152. package/dist/profiles/sequent-g3/index.js.map +1 -0
  153. package/dist/profiles/sequent-g3/latex.d.ts +7 -0
  154. package/dist/profiles/sequent-g3/latex.d.ts.map +1 -0
  155. package/dist/profiles/sequent-g3/latex.js +107 -0
  156. package/dist/profiles/sequent-g3/latex.js.map +1 -0
  157. package/dist/profiles/sequent-g3/normalize.d.ts +15 -0
  158. package/dist/profiles/sequent-g3/normalize.d.ts.map +1 -0
  159. package/dist/profiles/sequent-g3/normalize.js +121 -0
  160. package/dist/profiles/sequent-g3/normalize.js.map +1 -0
  161. package/dist/profiles/sequent-g3/prover.d.ts +16 -0
  162. package/dist/profiles/sequent-g3/prover.d.ts.map +1 -0
  163. package/dist/profiles/sequent-g3/prover.js +348 -0
  164. package/dist/profiles/sequent-g3/prover.js.map +1 -0
  165. package/dist/profiles/sequent-g3/types.d.ts +30 -0
  166. package/dist/profiles/sequent-g3/types.d.ts.map +1 -0
  167. package/dist/profiles/sequent-g3/types.js +16 -0
  168. package/dist/profiles/sequent-g3/types.js.map +1 -0
  169. package/dist/runtime/countermodel-min/index.d.ts +3 -0
  170. package/dist/runtime/countermodel-min/index.d.ts.map +1 -0
  171. package/dist/runtime/countermodel-min/index.js +9 -0
  172. package/dist/runtime/countermodel-min/index.js.map +1 -0
  173. package/dist/runtime/countermodel-min/minimize.d.ts +17 -0
  174. package/dist/runtime/countermodel-min/minimize.d.ts.map +1 -0
  175. package/dist/runtime/countermodel-min/minimize.js +0 -0
  176. package/dist/runtime/countermodel-min/minimize.js.map +1 -0
  177. package/dist/runtime/countermodel-min/types.d.ts +40 -0
  178. package/dist/runtime/countermodel-min/types.d.ts.map +1 -0
  179. package/dist/runtime/countermodel-min/types.js +6 -0
  180. package/dist/runtime/countermodel-min/types.js.map +1 -0
  181. package/dist/runtime/mus/extract.d.ts +34 -0
  182. package/dist/runtime/mus/extract.d.ts.map +1 -0
  183. package/dist/runtime/mus/extract.js +243 -0
  184. package/dist/runtime/mus/extract.js.map +1 -0
  185. package/dist/runtime/mus/index.d.ts +4 -0
  186. package/dist/runtime/mus/index.d.ts.map +1 -0
  187. package/dist/runtime/mus/index.js +12 -0
  188. package/dist/runtime/mus/index.js.map +1 -0
  189. package/dist/runtime/mus/quickxplain.d.ts +10 -0
  190. package/dist/runtime/mus/quickxplain.d.ts.map +1 -0
  191. package/dist/runtime/mus/quickxplain.js +100 -0
  192. package/dist/runtime/mus/quickxplain.js.map +1 -0
  193. package/dist/runtime/mus/types.d.ts +59 -0
  194. package/dist/runtime/mus/types.d.ts.map +1 -0
  195. package/dist/runtime/mus/types.js +20 -0
  196. package/dist/runtime/mus/types.js.map +1 -0
  197. package/dist/solver/cdcl-v2-incremental/index.d.ts +3 -0
  198. package/dist/solver/cdcl-v2-incremental/index.d.ts.map +1 -0
  199. package/dist/solver/cdcl-v2-incremental/index.js +16 -0
  200. package/dist/solver/cdcl-v2-incremental/index.js.map +1 -0
  201. package/dist/solver/cdcl-v2-incremental/solver.d.ts +83 -0
  202. package/dist/solver/cdcl-v2-incremental/solver.d.ts.map +1 -0
  203. package/dist/solver/cdcl-v2-incremental/solver.js +727 -0
  204. package/dist/solver/cdcl-v2-incremental/solver.js.map +1 -0
  205. package/dist/solver/cdcl-v2-incremental/types.d.ts +47 -0
  206. package/dist/solver/cdcl-v2-incremental/types.d.ts.map +1 -0
  207. package/dist/solver/cdcl-v2-incremental/types.js +13 -0
  208. package/dist/solver/cdcl-v2-incremental/types.js.map +1 -0
  209. package/dist/tests/belief-revision/agm.test.d.ts +2 -0
  210. package/dist/tests/belief-revision/agm.test.d.ts.map +1 -0
  211. package/dist/tests/belief-revision/agm.test.js +173 -0
  212. package/dist/tests/belief-revision/agm.test.js.map +1 -0
  213. package/dist/tests/countermodel-min/minimize.test.d.ts +2 -0
  214. package/dist/tests/countermodel-min/minimize.test.d.ts.map +1 -0
  215. package/dist/tests/countermodel-min/minimize.test.js +241 -0
  216. package/dist/tests/countermodel-min/minimize.test.js.map +1 -0
  217. package/dist/tests/coverage-95/api-and-interpreter-e2e.test.d.ts +2 -0
  218. package/dist/tests/coverage-95/api-and-interpreter-e2e.test.d.ts.map +1 -0
  219. package/dist/tests/coverage-95/api-and-interpreter-e2e.test.js +255 -0
  220. package/dist/tests/coverage-95/api-and-interpreter-e2e.test.js.map +1 -0
  221. package/dist/tests/coverage-95/argumentation.test.d.ts +2 -0
  222. package/dist/tests/coverage-95/argumentation.test.d.ts.map +1 -0
  223. package/dist/tests/coverage-95/argumentation.test.js +105 -0
  224. package/dist/tests/coverage-95/argumentation.test.js.map +1 -0
  225. package/dist/tests/coverage-95/arithmetic.test.d.ts +2 -0
  226. package/dist/tests/coverage-95/arithmetic.test.d.ts.map +1 -0
  227. package/dist/tests/coverage-95/arithmetic.test.js +139 -0
  228. package/dist/tests/coverage-95/arithmetic.test.js.map +1 -0
  229. package/dist/tests/coverage-95/belnap.test.d.ts +2 -0
  230. package/dist/tests/coverage-95/belnap.test.d.ts.map +1 -0
  231. package/dist/tests/coverage-95/belnap.test.js +145 -0
  232. package/dist/tests/coverage-95/belnap.test.js.map +1 -0
  233. package/dist/tests/coverage-95/cdcl-v2-solver.test.d.ts +2 -0
  234. package/dist/tests/coverage-95/cdcl-v2-solver.test.d.ts.map +1 -0
  235. package/dist/tests/coverage-95/cdcl-v2-solver.test.js +61 -0
  236. package/dist/tests/coverage-95/cdcl-v2-solver.test.js.map +1 -0
  237. package/dist/tests/coverage-95/classical-propositional-direct.test.d.ts +2 -0
  238. package/dist/tests/coverage-95/classical-propositional-direct.test.d.ts.map +1 -0
  239. package/dist/tests/coverage-95/classical-propositional-direct.test.js +175 -0
  240. package/dist/tests/coverage-95/classical-propositional-direct.test.js.map +1 -0
  241. package/dist/tests/coverage-95/compat.test.d.ts +2 -0
  242. package/dist/tests/coverage-95/compat.test.d.ts.map +1 -0
  243. package/dist/tests/coverage-95/compat.test.js +82 -0
  244. package/dist/tests/coverage-95/compat.test.js.map +1 -0
  245. package/dist/tests/coverage-95/examples-runner.test.d.ts +2 -0
  246. package/dist/tests/coverage-95/examples-runner.test.d.ts.map +1 -0
  247. package/dist/tests/coverage-95/examples-runner.test.js +34 -0
  248. package/dist/tests/coverage-95/examples-runner.test.js.map +1 -0
  249. package/dist/tests/coverage-95/first-order.test.d.ts +2 -0
  250. package/dist/tests/coverage-95/first-order.test.d.ts.map +1 -0
  251. package/dist/tests/coverage-95/first-order.test.js +138 -0
  252. package/dist/tests/coverage-95/first-order.test.js.map +1 -0
  253. package/dist/tests/coverage-95/fol-prover.test.d.ts +2 -0
  254. package/dist/tests/coverage-95/fol-prover.test.d.ts.map +1 -0
  255. package/dist/tests/coverage-95/fol-prover.test.js +228 -0
  256. package/dist/tests/coverage-95/fol-prover.test.js.map +1 -0
  257. package/dist/tests/coverage-95/interpreter-commands.test.d.ts +2 -0
  258. package/dist/tests/coverage-95/interpreter-commands.test.d.ts.map +1 -0
  259. package/dist/tests/coverage-95/interpreter-commands.test.js +332 -0
  260. package/dist/tests/coverage-95/interpreter-commands.test.js.map +1 -0
  261. package/dist/tests/coverage-95/lsp-server.test.d.ts +2 -0
  262. package/dist/tests/coverage-95/lsp-server.test.d.ts.map +1 -0
  263. package/dist/tests/coverage-95/lsp-server.test.js +181 -0
  264. package/dist/tests/coverage-95/lsp-server.test.js.map +1 -0
  265. package/dist/tests/coverage-95/modal-tableau-profiles.test.d.ts +2 -0
  266. package/dist/tests/coverage-95/modal-tableau-profiles.test.d.ts.map +1 -0
  267. package/dist/tests/coverage-95/modal-tableau-profiles.test.js +157 -0
  268. package/dist/tests/coverage-95/modal-tableau-profiles.test.js.map +1 -0
  269. package/dist/tests/coverage-95/parallel-sat.test.d.ts +2 -0
  270. package/dist/tests/coverage-95/parallel-sat.test.d.ts.map +1 -0
  271. package/dist/tests/coverage-95/parallel-sat.test.js +42 -0
  272. package/dist/tests/coverage-95/parallel-sat.test.js.map +1 -0
  273. package/dist/tests/coverage-95/parser-extra.test.d.ts +2 -0
  274. package/dist/tests/coverage-95/parser-extra.test.d.ts.map +1 -0
  275. package/dist/tests/coverage-95/parser-extra.test.js +210 -0
  276. package/dist/tests/coverage-95/parser-extra.test.js.map +1 -0
  277. package/dist/tests/coverage-95/propositional-utilities.test.d.ts +2 -0
  278. package/dist/tests/coverage-95/propositional-utilities.test.d.ts.map +1 -0
  279. package/dist/tests/coverage-95/propositional-utilities.test.js +281 -0
  280. package/dist/tests/coverage-95/propositional-utilities.test.js.map +1 -0
  281. package/dist/tests/coverage-95/protocol-handler.test.d.ts +2 -0
  282. package/dist/tests/coverage-95/protocol-handler.test.d.ts.map +1 -0
  283. package/dist/tests/coverage-95/protocol-handler.test.js +275 -0
  284. package/dist/tests/coverage-95/protocol-handler.test.js.map +1 -0
  285. package/dist/tests/coverage-95/smt-mock-backend.test.d.ts +2 -0
  286. package/dist/tests/coverage-95/smt-mock-backend.test.d.ts.map +1 -0
  287. package/dist/tests/coverage-95/smt-mock-backend.test.js +201 -0
  288. package/dist/tests/coverage-95/smt-mock-backend.test.js.map +1 -0
  289. package/dist/tests/coverage-95/smt-serializer.test.d.ts +2 -0
  290. package/dist/tests/coverage-95/smt-serializer.test.d.ts.map +1 -0
  291. package/dist/tests/coverage-95/smt-serializer.test.js +143 -0
  292. package/dist/tests/coverage-95/smt-serializer.test.js.map +1 -0
  293. package/dist/tests/coverage-95/smt-subprocess.test.d.ts +2 -0
  294. package/dist/tests/coverage-95/smt-subprocess.test.d.ts.map +1 -0
  295. package/dist/tests/coverage-95/smt-subprocess.test.js +96 -0
  296. package/dist/tests/coverage-95/smt-subprocess.test.js.map +1 -0
  297. package/dist/tests/coverage-95/tableau-engine.test.d.ts +2 -0
  298. package/dist/tests/coverage-95/tableau-engine.test.d.ts.map +1 -0
  299. package/dist/tests/coverage-95/tableau-engine.test.js +125 -0
  300. package/dist/tests/coverage-95/tableau-engine.test.js.map +1 -0
  301. package/dist/tests/coverage-95/temporal-ltl.test.d.ts +2 -0
  302. package/dist/tests/coverage-95/temporal-ltl.test.d.ts.map +1 -0
  303. package/dist/tests/coverage-95/temporal-ltl.test.js +94 -0
  304. package/dist/tests/coverage-95/temporal-ltl.test.js.map +1 -0
  305. package/dist/tests/coverage-95/typecheck-checker.test.d.ts +2 -0
  306. package/dist/tests/coverage-95/typecheck-checker.test.d.ts.map +1 -0
  307. package/dist/tests/coverage-95/typecheck-checker.test.js +191 -0
  308. package/dist/tests/coverage-95/typecheck-checker.test.js.map +1 -0
  309. package/dist/tests/coverage-95/undecidability-detector.test.d.ts +2 -0
  310. package/dist/tests/coverage-95/undecidability-detector.test.d.ts.map +1 -0
  311. package/dist/tests/coverage-95/undecidability-detector.test.js +149 -0
  312. package/dist/tests/coverage-95/undecidability-detector.test.js.map +1 -0
  313. package/dist/tests/coverage-95/visitor.test.d.ts +2 -0
  314. package/dist/tests/coverage-95/visitor.test.d.ts.map +1 -0
  315. package/dist/tests/coverage-95/visitor.test.js +140 -0
  316. package/dist/tests/coverage-95/visitor.test.js.map +1 -0
  317. package/dist/tests/ctl/check.test.d.ts +2 -0
  318. package/dist/tests/ctl/check.test.d.ts.map +1 -0
  319. package/dist/tests/ctl/check.test.js +337 -0
  320. package/dist/tests/ctl/check.test.js.map +1 -0
  321. package/dist/tests/curry-howard/infer.test.d.ts +2 -0
  322. package/dist/tests/curry-howard/infer.test.d.ts.map +1 -0
  323. package/dist/tests/curry-howard/infer.test.js +93 -0
  324. package/dist/tests/curry-howard/infer.test.js.map +1 -0
  325. package/dist/tests/curry-howard/proof.test.d.ts +2 -0
  326. package/dist/tests/curry-howard/proof.test.d.ts.map +1 -0
  327. package/dist/tests/curry-howard/proof.test.js +105 -0
  328. package/dist/tests/curry-howard/proof.test.js.map +1 -0
  329. package/dist/tests/curry-howard/reduce.test.d.ts +2 -0
  330. package/dist/tests/curry-howard/reduce.test.d.ts.map +1 -0
  331. package/dist/tests/curry-howard/reduce.test.js +109 -0
  332. package/dist/tests/curry-howard/reduce.test.js.map +1 -0
  333. package/dist/tests/default-logic/extensions.test.d.ts +2 -0
  334. package/dist/tests/default-logic/extensions.test.d.ts.map +1 -0
  335. package/dist/tests/default-logic/extensions.test.js +323 -0
  336. package/dist/tests/default-logic/extensions.test.js.map +1 -0
  337. package/dist/tests/description-logic/alc.test.d.ts +2 -0
  338. package/dist/tests/description-logic/alc.test.d.ts.map +1 -0
  339. package/dist/tests/description-logic/alc.test.js +253 -0
  340. package/dist/tests/description-logic/alc.test.js.map +1 -0
  341. package/dist/tests/fol-prover-equality/prove.test.d.ts +2 -0
  342. package/dist/tests/fol-prover-equality/prove.test.d.ts.map +1 -0
  343. package/dist/tests/fol-prover-equality/prove.test.js +179 -0
  344. package/dist/tests/fol-prover-equality/prove.test.js.map +1 -0
  345. package/dist/tests/hybrid-logic/semantics.test.d.ts +2 -0
  346. package/dist/tests/hybrid-logic/semantics.test.d.ts.map +1 -0
  347. package/dist/tests/hybrid-logic/semantics.test.js +169 -0
  348. package/dist/tests/hybrid-logic/semantics.test.js.map +1 -0
  349. package/dist/tests/ltl-sat/sat.test.d.ts +2 -0
  350. package/dist/tests/ltl-sat/sat.test.d.ts.map +1 -0
  351. package/dist/tests/ltl-sat/sat.test.js +160 -0
  352. package/dist/tests/ltl-sat/sat.test.js.map +1 -0
  353. package/dist/tests/mus/extract.test.d.ts +2 -0
  354. package/dist/tests/mus/extract.test.d.ts.map +1 -0
  355. package/dist/tests/mus/extract.test.js +352 -0
  356. package/dist/tests/mus/extract.test.js.map +1 -0
  357. package/dist/tests/sat-v2-incremental/basic.test.d.ts +2 -0
  358. package/dist/tests/sat-v2-incremental/basic.test.d.ts.map +1 -0
  359. package/dist/tests/sat-v2-incremental/basic.test.js +352 -0
  360. package/dist/tests/sat-v2-incremental/basic.test.js.map +1 -0
  361. package/dist/tests/sequent-g3/prover.test.d.ts +2 -0
  362. package/dist/tests/sequent-g3/prover.test.d.ts.map +1 -0
  363. package/dist/tests/sequent-g3/prover.test.js +205 -0
  364. package/dist/tests/sequent-g3/prover.test.js.map +1 -0
  365. package/dist/tests/text-layer-v2/mdx-bridge/mdx-bridge.test.d.ts +2 -0
  366. package/dist/tests/text-layer-v2/mdx-bridge/mdx-bridge.test.d.ts.map +1 -0
  367. package/dist/tests/text-layer-v2/mdx-bridge/mdx-bridge.test.js +200 -0
  368. package/dist/tests/text-layer-v2/mdx-bridge/mdx-bridge.test.js.map +1 -0
  369. package/dist/text-layer/v2/index.d.ts +2 -0
  370. package/dist/text-layer/v2/index.d.ts.map +1 -1
  371. package/dist/text-layer/v2/index.js +7 -1
  372. package/dist/text-layer/v2/index.js.map +1 -1
  373. package/dist/text-layer/v2/mdx-bridge/diff.d.ts +13 -0
  374. package/dist/text-layer/v2/mdx-bridge/diff.d.ts.map +1 -0
  375. package/dist/text-layer/v2/mdx-bridge/diff.js +69 -0
  376. package/dist/text-layer/v2/mdx-bridge/diff.js.map +1 -0
  377. package/dist/text-layer/v2/mdx-bridge/index.d.ts +14 -0
  378. package/dist/text-layer/v2/mdx-bridge/index.d.ts.map +1 -0
  379. package/dist/text-layer/v2/mdx-bridge/index.js +21 -0
  380. package/dist/text-layer/v2/mdx-bridge/index.js.map +1 -0
  381. package/dist/text-layer/v2/mdx-bridge/parser.d.ts +33 -0
  382. package/dist/text-layer/v2/mdx-bridge/parser.d.ts.map +1 -0
  383. package/dist/text-layer/v2/mdx-bridge/parser.js +192 -0
  384. package/dist/text-layer/v2/mdx-bridge/parser.js.map +1 -0
  385. package/dist/text-layer/v2/mdx-bridge/serializer.d.ts +17 -0
  386. package/dist/text-layer/v2/mdx-bridge/serializer.d.ts.map +1 -0
  387. package/dist/text-layer/v2/mdx-bridge/serializer.js +69 -0
  388. package/dist/text-layer/v2/mdx-bridge/serializer.js.map +1 -0
  389. package/dist/text-layer/v2/mdx-bridge/types.d.ts +53 -0
  390. package/dist/text-layer/v2/mdx-bridge/types.d.ts.map +1 -0
  391. package/dist/text-layer/v2/mdx-bridge/types.js +19 -0
  392. package/dist/text-layer/v2/mdx-bridge/types.js.map +1 -0
  393. package/package.json +1 -1
@@ -0,0 +1,200 @@
1
+ "use strict";
2
+ Object.defineProperty(exports, "__esModule", { value: true });
3
+ const vitest_1 = require("vitest");
4
+ const v2_1 = require("../../../text-layer/v2");
5
+ const mk = (id, formula = `F_${id}`, profile = 'classical.propositional', dependencies = []) => ({ id, formula, profile, dependencies });
6
+ (0, vitest_1.describe)('mdxToClaims — comment style', () => {
7
+ (0, vitest_1.it)('extrae 2 claims comment-style con ids correctos', () => {
8
+ const mdx = [
9
+ '# Documento',
10
+ 'Aquí afirmo que <!-- st:claim id="c1" profile="classical.propositional" formula="A->B" --> es válido.',
11
+ '',
12
+ 'Y también que <!-- st:claim id="c2" profile="classical.propositional" formula="B->C" deps="c1" --> sigue.',
13
+ ].join('\n');
14
+ const claims = (0, v2_1.mdxToClaims)(mdx);
15
+ (0, vitest_1.expect)(claims).toHaveLength(2);
16
+ (0, vitest_1.expect)(claims.map((c) => c.id)).toEqual(['c1', 'c2']);
17
+ (0, vitest_1.expect)(claims[0]?.formula).toBe('A->B');
18
+ (0, vitest_1.expect)(claims[1]?.dependencies).toEqual(['c1']);
19
+ (0, vitest_1.expect)(claims[0]?.profile).toBe('classical.propositional');
20
+ });
21
+ (0, vitest_1.it)('soporta comillas simples y sin comillas en atributos', () => {
22
+ const mdx = `<!-- st:claim id='c1' profile=classical formula="A&B" -->`;
23
+ const claims = (0, v2_1.mdxToClaims)(mdx);
24
+ (0, vitest_1.expect)(claims).toHaveLength(1);
25
+ (0, vitest_1.expect)(claims[0]?.id).toBe('c1');
26
+ (0, vitest_1.expect)(claims[0]?.profile).toBe('classical');
27
+ (0, vitest_1.expect)(claims[0]?.formula).toBe('A&B');
28
+ });
29
+ });
30
+ (0, vitest_1.describe)('mdxToClaims — fence style', () => {
31
+ (0, vitest_1.it)('extrae 3 claims fence-style', () => {
32
+ const mdx = [
33
+ '# Doc',
34
+ '',
35
+ '```st-claim id=c1 profile=classical.propositional',
36
+ 'A -> B',
37
+ '```',
38
+ '',
39
+ 'Prosa intermedia.',
40
+ '',
41
+ '```st-claim id=c2 profile=classical.propositional deps=c1',
42
+ '(A -> B) & A',
43
+ '```',
44
+ '',
45
+ '```st-claim id=c3 profile=classical.propositional deps=c1,c2',
46
+ 'B',
47
+ '```',
48
+ ].join('\n');
49
+ const claims = (0, v2_1.mdxToClaims)(mdx);
50
+ (0, vitest_1.expect)(claims).toHaveLength(3);
51
+ (0, vitest_1.expect)(claims.map((c) => c.id)).toEqual(['c1', 'c2', 'c3']);
52
+ (0, vitest_1.expect)(claims[2]?.dependencies).toEqual(['c1', 'c2']);
53
+ (0, vitest_1.expect)(claims[1]?.formula).toBe('(A -> B) & A');
54
+ });
55
+ (0, vitest_1.it)('preserva formula multi-línea en fence', () => {
56
+ const mdx = ['```st-claim id=c1 profile=p', 'A & B', '& C', '```'].join('\n');
57
+ const claims = (0, v2_1.mdxToClaims)(mdx);
58
+ (0, vitest_1.expect)(claims).toHaveLength(1);
59
+ (0, vitest_1.expect)(claims[0]?.formula).toBe('A & B\n& C');
60
+ });
61
+ });
62
+ (0, vitest_1.describe)('mdxToClaims — edge cases', () => {
63
+ (0, vitest_1.it)('MDX sin claims devuelve array vacío', () => {
64
+ (0, vitest_1.expect)((0, v2_1.mdxToClaims)('# Solo prosa\n\nNada aquí.')).toEqual([]);
65
+ (0, vitest_1.expect)((0, v2_1.mdxToClaims)('')).toEqual([]);
66
+ });
67
+ (0, vitest_1.it)('ignora bloque malformado sin id y acumula warning', () => {
68
+ const mdx = [
69
+ '<!-- st:claim profile="p" formula="A" -->', // sin id
70
+ '<!-- st:claim id="ok" profile="p" formula="B" -->',
71
+ ].join('\n');
72
+ const { claims, warnings } = (0, v2_1.mdxToClaimsDetailed)(mdx);
73
+ (0, vitest_1.expect)(claims).toHaveLength(1);
74
+ (0, vitest_1.expect)(claims[0]?.id).toBe('ok');
75
+ (0, vitest_1.expect)(warnings).toHaveLength(1);
76
+ (0, vitest_1.expect)(warnings[0]?.message).toMatch(/sin id/);
77
+ });
78
+ (0, vitest_1.it)('ignora fence sin profile y acumula warning', () => {
79
+ const mdx = ['```st-claim id=c1', 'A', '```'].join('\n');
80
+ const { claims, warnings } = (0, v2_1.mdxToClaimsDetailed)(mdx);
81
+ (0, vitest_1.expect)(claims).toHaveLength(0);
82
+ (0, vitest_1.expect)(warnings).toHaveLength(1);
83
+ (0, vitest_1.expect)(warnings[0]?.message).toMatch(/sin profile/);
84
+ });
85
+ (0, vitest_1.it)('ignora claim duplicada y acumula warning', () => {
86
+ const mdx = [
87
+ '<!-- st:claim id="c1" profile="p" formula="A" -->',
88
+ '<!-- st:claim id="c1" profile="p" formula="B" -->',
89
+ ].join('\n');
90
+ const { claims, warnings } = (0, v2_1.mdxToClaimsDetailed)(mdx);
91
+ (0, vitest_1.expect)(claims).toHaveLength(1);
92
+ (0, vitest_1.expect)(claims[0]?.formula).toBe('A');
93
+ (0, vitest_1.expect)(warnings.some((w) => /duplicado/.test(w.message))).toBe(true);
94
+ });
95
+ (0, vitest_1.it)('no lanza con MDX completamente roto', () => {
96
+ (0, vitest_1.expect)(() => (0, v2_1.mdxToClaims)('<!-- st:claim incompleto')).not.toThrow();
97
+ (0, vitest_1.expect)(() => (0, v2_1.mdxToClaims)('```st-claim sin-cierre\nA')).not.toThrow();
98
+ });
99
+ (0, vitest_1.it)('rawBlock preserva el texto original del bloque', () => {
100
+ const block = '<!-- st:claim id="c1" profile="p" formula="A" -->';
101
+ const claims = (0, v2_1.mdxToClaims)(`pre ${block} post`);
102
+ (0, vitest_1.expect)(claims[0]?.rawBlock).toBe(block);
103
+ });
104
+ });
105
+ (0, vitest_1.describe)('claimsToMDX', () => {
106
+ (0, vitest_1.it)('emite formato fence por default', () => {
107
+ const out = (0, v2_1.claimsToMDX)([mk('c1', 'A->B')]);
108
+ (0, vitest_1.expect)(out).toContain('```st-claim');
109
+ (0, vitest_1.expect)(out).toContain('id=c1');
110
+ (0, vitest_1.expect)(out).toContain('A->B');
111
+ (0, vitest_1.expect)(out.trim().endsWith('```')).toBe(true);
112
+ });
113
+ (0, vitest_1.it)('emite formato comment cuando se pide', () => {
114
+ const out = (0, v2_1.claimsToMDX)([mk('c1', 'A->B')], { template: 'comment' });
115
+ (0, vitest_1.expect)(out).toContain('<!-- st:claim');
116
+ (0, vitest_1.expect)(out).toContain('id="c1"');
117
+ (0, vitest_1.expect)(out).toContain('formula="A->B"');
118
+ (0, vitest_1.expect)(out).toContain('-->');
119
+ });
120
+ (0, vitest_1.it)('serializa dependencies como csv', () => {
121
+ const out = (0, v2_1.claimsToMDX)([mk('c2', 'B', 'p', ['c1', 'c0'])], { template: 'comment' });
122
+ (0, vitest_1.expect)(out).toContain('deps="c1,c0"');
123
+ });
124
+ (0, vitest_1.it)('omite deps cuando está vacío', () => {
125
+ const out = (0, v2_1.claimsToMDX)([mk('c1', 'A')], { template: 'comment' });
126
+ (0, vitest_1.expect)(out).not.toContain('deps=');
127
+ });
128
+ });
129
+ (0, vitest_1.describe)('round-trip claimsToMDX → mdxToClaims', () => {
130
+ const sample = [
131
+ mk('c1', 'A -> B', 'classical.propositional', []),
132
+ mk('c2', '(A -> B) & A', 'classical.propositional', ['c1']),
133
+ mk('c3', 'B', 'classical.propositional', ['c1', 'c2']),
134
+ ];
135
+ (0, vitest_1.it)('preserva claims con template fence', () => {
136
+ const mdx = (0, v2_1.claimsToMDX)(sample, { template: 'fence' });
137
+ const parsed = (0, v2_1.mdxToClaims)(mdx).map(v2_1.stripMDXMetadata);
138
+ (0, vitest_1.expect)(parsed).toEqual(sample);
139
+ });
140
+ (0, vitest_1.it)('preserva claims con template comment', () => {
141
+ const mdx = (0, v2_1.claimsToMDX)(sample, { template: 'comment' });
142
+ const parsed = (0, v2_1.mdxToClaims)(mdx).map(v2_1.stripMDXMetadata);
143
+ (0, vitest_1.expect)(parsed).toEqual(sample);
144
+ });
145
+ });
146
+ (0, vitest_1.describe)('diffMDX', () => {
147
+ (0, vitest_1.it)('detecta add, modify y remove correctamente', () => {
148
+ const before = (0, v2_1.claimsToMDX)([mk('c1', 'A', 'p', []), mk('c2', 'B', 'p', ['c1']), mk('c3', 'C', 'p', [])], { template: 'fence' });
149
+ const after = (0, v2_1.claimsToMDX)([
150
+ mk('c1', 'A', 'p', []), // sin cambios
151
+ mk('c2', 'B & X', 'p', ['c1']), // modificada
152
+ // c3 eliminada
153
+ mk('c4', 'D', 'p', ['c1']), // añadida
154
+ ], { template: 'fence' });
155
+ const delta = (0, v2_1.diffMDX)(before, after);
156
+ (0, vitest_1.expect)(delta.added.map((c) => c.id)).toEqual(['c4']);
157
+ (0, vitest_1.expect)(delta.removed).toEqual(['c3']);
158
+ (0, vitest_1.expect)(delta.modified.map((m) => m.id)).toEqual(['c2']);
159
+ (0, vitest_1.expect)(delta.modified[0]?.before.formula).toBe('B');
160
+ (0, vitest_1.expect)(delta.modified[0]?.after.formula).toBe('B & X');
161
+ });
162
+ (0, vitest_1.it)('cambio en profile cuenta como modified', () => {
163
+ const before = (0, v2_1.claimsToMDX)([mk('c1', 'A', 'classical.propositional', [])]);
164
+ const after = (0, v2_1.claimsToMDX)([mk('c1', 'A', 'intuitionistic.propositional', [])]);
165
+ const delta = (0, v2_1.diffMDX)(before, after);
166
+ (0, vitest_1.expect)(delta.modified).toHaveLength(1);
167
+ (0, vitest_1.expect)(delta.added).toEqual([]);
168
+ (0, vitest_1.expect)(delta.removed).toEqual([]);
169
+ });
170
+ (0, vitest_1.it)('cambio en dependencies cuenta como modified', () => {
171
+ const before = (0, v2_1.claimsToMDX)([mk('c1', 'A', 'p', ['x'])]);
172
+ const after = (0, v2_1.claimsToMDX)([mk('c1', 'A', 'p', ['x', 'y'])]);
173
+ const delta = (0, v2_1.diffMDX)(before, after);
174
+ (0, vitest_1.expect)(delta.modified).toHaveLength(1);
175
+ (0, vitest_1.expect)(delta.modified[0]?.after.dependencies).toEqual(['x', 'y']);
176
+ });
177
+ (0, vitest_1.it)('orden de dependencies no cuenta como modified', () => {
178
+ const before = (0, v2_1.claimsToMDX)([mk('c1', 'A', 'p', ['x', 'y'])]);
179
+ const after = (0, v2_1.claimsToMDX)([mk('c1', 'A', 'p', ['y', 'x'])]);
180
+ const delta = (0, v2_1.diffMDX)(before, after);
181
+ (0, vitest_1.expect)(delta.modified).toEqual([]);
182
+ });
183
+ (0, vitest_1.it)('MDX idéntico → delta vacío', () => {
184
+ const mdx = (0, v2_1.claimsToMDX)([mk('c1', 'A', 'p', []), mk('c2', 'B', 'p', ['c1'])]);
185
+ (0, vitest_1.expect)((0, v2_1.diffMDX)(mdx, mdx)).toEqual({ added: [], removed: [], modified: [] });
186
+ });
187
+ (0, vitest_1.it)('mezcla comment y fence en mismo MDX', () => {
188
+ const mdx = [
189
+ '<!-- st:claim id="c1" profile="p" formula="A" -->',
190
+ '',
191
+ '```st-claim id=c2 profile=p deps=c1',
192
+ 'B',
193
+ '```',
194
+ ].join('\n');
195
+ const claims = (0, v2_1.mdxToClaims)(mdx);
196
+ (0, vitest_1.expect)(claims).toHaveLength(2);
197
+ (0, vitest_1.expect)(claims.map((c) => c.id)).toEqual(['c1', 'c2']);
198
+ });
199
+ });
200
+ //# sourceMappingURL=mdx-bridge.test.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"mdx-bridge.test.js","sourceRoot":"","sources":["../../../../src/tests/text-layer-v2/mdx-bridge/mdx-bridge.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAE9C,+CAOgC;AAEhC,MAAM,EAAE,GAAG,CACT,EAAU,EACV,OAAO,GAAG,KAAK,EAAE,EAAE,EACnB,OAAO,GAAG,yBAAyB,EACnC,eAAyB,EAAE,EACpB,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,YAAY,EAAE,CAAC,CAAC;AAErD,IAAA,iBAAQ,EAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,GAAG,GAAG;YACV,aAAa;YACb,uGAAuG;YACvG,EAAE;YACF,2GAA2G;SAC5G,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAEb,MAAM,MAAM,GAAG,IAAA,gBAAW,EAAC,GAAG,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,GAAG,GAAG,2DAA2D,CAAC;QACxE,MAAM,MAAM,GAAG,IAAA,gBAAW,EAAC,GAAG,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,GAAG,GAAG;YACV,OAAO;YACP,EAAE;YACF,mDAAmD;YACnD,QAAQ;YACR,KAAK;YACL,EAAE;YACF,mBAAmB;YACnB,EAAE;YACF,2DAA2D;YAC3D,cAAc;YACd,KAAK;YACL,EAAE;YACF,8DAA8D;YAC9D,GAAG;YACH,KAAK;SACN,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAEb,MAAM,MAAM,GAAG,IAAA,gBAAW,EAAC,GAAG,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;QAC5D,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,GAAG,GAAG,CAAC,6BAA6B,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9E,MAAM,MAAM,GAAG,IAAA,gBAAW,EAAC,GAAG,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,0BAA0B,EAAE,GAAG,EAAE;IACxC,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,IAAA,eAAM,EAAC,IAAA,gBAAW,EAAC,4BAA4B,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC9D,IAAA,eAAM,EAAC,IAAA,gBAAW,EAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,GAAG,GAAG;YACV,2CAA2C,EAAE,SAAS;YACtD,mDAAmD;SACpD,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACb,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,IAAA,wBAAmB,EAAC,GAAG,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,GAAG,GAAG,CAAC,mBAAmB,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzD,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,IAAA,wBAAmB,EAAC,GAAG,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,GAAG,GAAG;YACV,mDAAmD;YACnD,mDAAmD;SACpD,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACb,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,IAAA,wBAAmB,EAAC,GAAG,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,gBAAW,EAAC,0BAA0B,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;QACpE,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,gBAAW,EAAC,2BAA2B,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;IACvE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,KAAK,GAAG,mDAAmD,CAAC;QAClE,MAAM,MAAM,GAAG,IAAA,gBAAW,EAAC,OAAO,KAAK,OAAO,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,aAAa,EAAE,GAAG,EAAE;IAC3B,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,GAAG,GAAG,IAAA,gBAAW,EAAC,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,GAAG,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,GAAG,GAAG,IAAA,gBAAW,EAAC,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,EAAE,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,CAAC;QACrE,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,GAAG,GAAG,IAAA,gBAAW,EAAC,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,CAAC;QACrF,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,GAAG,GAAG,IAAA,gBAAW,EAAC,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,EAAE,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,CAAC;QAClE,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,sCAAsC,EAAE,GAAG,EAAE;IACpD,MAAM,MAAM,GAAY;QACtB,EAAE,CAAC,IAAI,EAAE,QAAQ,EAAE,yBAAyB,EAAE,EAAE,CAAC;QACjD,EAAE,CAAC,IAAI,EAAE,cAAc,EAAE,yBAAyB,EAAE,CAAC,IAAI,CAAC,CAAC;QAC3D,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,yBAAyB,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;KACvD,CAAC;IAEF,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,GAAG,GAAG,IAAA,gBAAW,EAAC,MAAM,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC;QACvD,MAAM,MAAM,GAAG,IAAA,gBAAW,EAAC,GAAG,CAAC,CAAC,GAAG,CAAC,qBAAgB,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,GAAG,GAAG,IAAA,gBAAW,EAAC,MAAM,EAAE,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,CAAC;QACzD,MAAM,MAAM,GAAG,IAAA,gBAAW,EAAC,GAAG,CAAC,CAAC,GAAG,CAAC,qBAAgB,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,SAAS,EAAE,GAAG,EAAE;IACvB,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,MAAM,GAAG,IAAA,gBAAW,EACxB,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,EAC5E,EAAE,QAAQ,EAAE,OAAO,EAAE,CACtB,CAAC;QACF,MAAM,KAAK,GAAG,IAAA,gBAAW,EACvB;YACE,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,cAAc;YACtC,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,aAAa;YAC7C,eAAe;YACf,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,UAAU;SACvC,EACD,EAAE,QAAQ,EAAE,OAAO,EAAE,CACtB,CAAC;QAEF,MAAM,KAAK,GAAG,IAAA,YAAO,EAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QACrD,IAAA,eAAM,EAAC,KAAK,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,MAAM,GAAG,IAAA,gBAAW,EAAC,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,yBAAyB,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;QAC3E,MAAM,KAAK,GAAG,IAAA,gBAAW,EAAC,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,8BAA8B,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;QAC/E,MAAM,KAAK,GAAG,IAAA,YAAO,EAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,KAAK,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,KAAK,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,MAAM,GAAG,IAAA,gBAAW,EAAC,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACxD,MAAM,KAAK,GAAG,IAAA,gBAAW,EAAC,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5D,MAAM,KAAK,GAAG,IAAA,YAAO,EAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,MAAM,GAAG,IAAA,gBAAW,EAAC,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7D,MAAM,KAAK,GAAG,IAAA,gBAAW,EAAC,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5D,MAAM,KAAK,GAAG,IAAA,YAAO,EAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,GAAG,GAAG,IAAA,gBAAW,EAAC,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9E,IAAA,eAAM,EAAC,IAAA,YAAO,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,CAAC;IAC9E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,GAAG,GAAG;YACV,mDAAmD;YACnD,EAAE;YACF,qCAAqC;YACrC,GAAG;YACH,KAAK;SACN,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACb,MAAM,MAAM,GAAG,IAAA,gBAAW,EAAC,GAAG,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
@@ -3,4 +3,6 @@
3
3
  */
4
4
  export type { Claim, ClaimValidation, ClaimSource, ClaimEvaluator } from './types';
5
5
  export { ClaimGraph, CycleError } from './claim-graph';
6
+ export { mdxToClaims, mdxToClaimsDetailed, claimsToMDX, diffMDX, stripMDXMetadata, } from './mdx-bridge';
7
+ export type { MDXClaim, MDXClaimTemplate, ClaimsToMDXOptions, MDXDelta, MDXParseWarning, MDXParseResult, } from './mdx-bridge';
6
8
  //# sourceMappingURL=index.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/text-layer/v2/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,YAAY,EAAE,KAAK,EAAE,eAAe,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,SAAS,CAAC;AACnF,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC"}
1
+ {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/text-layer/v2/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,YAAY,EAAE,KAAK,EAAE,eAAe,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,SAAS,CAAC;AACnF,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AACvD,OAAO,EACL,WAAW,EACX,mBAAmB,EACnB,WAAW,EACX,OAAO,EACP,gBAAgB,GACjB,MAAM,cAAc,CAAC;AACtB,YAAY,EACV,QAAQ,EACR,gBAAgB,EAChB,kBAAkB,EAClB,QAAQ,EACR,eAAe,EACf,cAAc,GACf,MAAM,cAAc,CAAC"}
@@ -3,8 +3,14 @@
3
3
  * ST Text Layer 2.0 — entry point.
4
4
  */
5
5
  Object.defineProperty(exports, "__esModule", { value: true });
6
- exports.CycleError = exports.ClaimGraph = void 0;
6
+ exports.stripMDXMetadata = exports.diffMDX = exports.claimsToMDX = exports.mdxToClaimsDetailed = exports.mdxToClaims = exports.CycleError = exports.ClaimGraph = void 0;
7
7
  var claim_graph_1 = require("./claim-graph");
8
8
  Object.defineProperty(exports, "ClaimGraph", { enumerable: true, get: function () { return claim_graph_1.ClaimGraph; } });
9
9
  Object.defineProperty(exports, "CycleError", { enumerable: true, get: function () { return claim_graph_1.CycleError; } });
10
+ var mdx_bridge_1 = require("./mdx-bridge");
11
+ Object.defineProperty(exports, "mdxToClaims", { enumerable: true, get: function () { return mdx_bridge_1.mdxToClaims; } });
12
+ Object.defineProperty(exports, "mdxToClaimsDetailed", { enumerable: true, get: function () { return mdx_bridge_1.mdxToClaimsDetailed; } });
13
+ Object.defineProperty(exports, "claimsToMDX", { enumerable: true, get: function () { return mdx_bridge_1.claimsToMDX; } });
14
+ Object.defineProperty(exports, "diffMDX", { enumerable: true, get: function () { return mdx_bridge_1.diffMDX; } });
15
+ Object.defineProperty(exports, "stripMDXMetadata", { enumerable: true, get: function () { return mdx_bridge_1.stripMDXMetadata; } });
10
16
  //# sourceMappingURL=index.js.map
@@ -1 +1 @@
1
- {"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/text-layer/v2/index.ts"],"names":[],"mappings":";AAAA;;GAEG;;;AAGH,6CAAuD;AAA9C,yGAAA,UAAU,OAAA;AAAE,yGAAA,UAAU,OAAA"}
1
+ {"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/text-layer/v2/index.ts"],"names":[],"mappings":";AAAA;;GAEG;;;AAGH,6CAAuD;AAA9C,yGAAA,UAAU,OAAA;AAAE,yGAAA,UAAU,OAAA;AAC/B,2CAMsB;AALpB,yGAAA,WAAW,OAAA;AACX,iHAAA,mBAAmB,OAAA;AACnB,yGAAA,WAAW,OAAA;AACX,qGAAA,OAAO,OAAA;AACP,8GAAA,gBAAgB,OAAA"}
@@ -0,0 +1,13 @@
1
+ /**
2
+ * MDX diff — detecta qué claims cambiaron entre dos versiones de un MDX.
3
+ *
4
+ * Algoritmo:
5
+ * 1. Parsear ambas versiones a Claim[] (ignorando bloques malformados).
6
+ * 2. Indexar por id.
7
+ * 3. added = ids en `after` que no estaban en `before`.
8
+ * removed = ids en `before` que ya no están en `after`.
9
+ * modified = ids en ambos cuyos campos lógicos difieren.
10
+ */
11
+ import type { MDXDelta } from './types';
12
+ export declare const diffMDX: (before: string, after: string) => MDXDelta;
13
+ //# sourceMappingURL=diff.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"diff.d.ts","sourceRoot":"","sources":["../../../../src/text-layer/v2/mdx-bridge/diff.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAKH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AAqBxC,eAAO,MAAM,OAAO,GAAI,QAAQ,MAAM,EAAE,OAAO,MAAM,KAAG,QAgCvD,CAAC"}
@@ -0,0 +1,69 @@
1
+ "use strict";
2
+ /**
3
+ * MDX diff — detecta qué claims cambiaron entre dos versiones de un MDX.
4
+ *
5
+ * Algoritmo:
6
+ * 1. Parsear ambas versiones a Claim[] (ignorando bloques malformados).
7
+ * 2. Indexar por id.
8
+ * 3. added = ids en `after` que no estaban en `before`.
9
+ * removed = ids en `before` que ya no están en `after`.
10
+ * modified = ids en ambos cuyos campos lógicos difieren.
11
+ */
12
+ Object.defineProperty(exports, "__esModule", { value: true });
13
+ exports.diffMDX = void 0;
14
+ const parser_1 = require("./parser");
15
+ const sortedDeps = (deps) => [...deps].sort();
16
+ /**
17
+ * Compara dos Claim por igualdad lógica (id, formula, profile, dependencies
18
+ * como conjunto). Ignora `source` y campos extra.
19
+ */
20
+ const claimsEqual = (a, b) => {
21
+ if (a.id !== b.id)
22
+ return false;
23
+ if (a.formula !== b.formula)
24
+ return false;
25
+ if (a.profile !== b.profile)
26
+ return false;
27
+ const da = sortedDeps(a.dependencies);
28
+ const db = sortedDeps(b.dependencies);
29
+ if (da.length !== db.length)
30
+ return false;
31
+ for (let i = 0; i < da.length; i++) {
32
+ if (da[i] !== db[i])
33
+ return false;
34
+ }
35
+ return true;
36
+ };
37
+ const diffMDX = (before, after) => {
38
+ const beforeClaims = (0, parser_1.mdxToClaims)(before).map(parser_1.stripMDXMetadata);
39
+ const afterClaims = (0, parser_1.mdxToClaims)(after).map(parser_1.stripMDXMetadata);
40
+ const beforeById = new Map();
41
+ for (const c of beforeClaims)
42
+ beforeById.set(c.id, c);
43
+ const afterById = new Map();
44
+ for (const c of afterClaims)
45
+ afterById.set(c.id, c);
46
+ const added = [];
47
+ const removed = [];
48
+ const modified = [];
49
+ for (const [id, afterC] of afterById) {
50
+ const beforeC = beforeById.get(id);
51
+ if (!beforeC) {
52
+ added.push(afterC);
53
+ }
54
+ else if (!claimsEqual(beforeC, afterC)) {
55
+ modified.push({ id, before: beforeC, after: afterC });
56
+ }
57
+ }
58
+ for (const id of beforeById.keys()) {
59
+ if (!afterById.has(id))
60
+ removed.push(id);
61
+ }
62
+ // Determinismo por id.
63
+ added.sort((a, b) => a.id.localeCompare(b.id));
64
+ removed.sort();
65
+ modified.sort((a, b) => a.id.localeCompare(b.id));
66
+ return { added, removed, modified };
67
+ };
68
+ exports.diffMDX = diffMDX;
69
+ //# sourceMappingURL=diff.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"diff.js","sourceRoot":"","sources":["../../../../src/text-layer/v2/mdx-bridge/diff.ts"],"names":[],"mappings":";AAAA;;;;;;;;;GASG;;;AAIH,qCAAyD;AAGzD,MAAM,UAAU,GAAG,CAAC,IAAuB,EAAY,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;AAE3E;;;GAGG;AACH,MAAM,WAAW,GAAG,CAAC,CAAQ,EAAE,CAAQ,EAAW,EAAE;IAClD,IAAI,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE;QAAE,OAAO,KAAK,CAAC;IAChC,IAAI,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,OAAO;QAAE,OAAO,KAAK,CAAC;IAC1C,IAAI,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,OAAO;QAAE,OAAO,KAAK,CAAC;IAC1C,MAAM,EAAE,GAAG,UAAU,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;IACtC,MAAM,EAAE,GAAG,UAAU,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;IACtC,IAAI,EAAE,CAAC,MAAM,KAAK,EAAE,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IAC1C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACnC,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;IACpC,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEK,MAAM,OAAO,GAAG,CAAC,MAAc,EAAE,KAAa,EAAY,EAAE;IACjE,MAAM,YAAY,GAAG,IAAA,oBAAW,EAAC,MAAM,CAAC,CAAC,GAAG,CAAC,yBAAgB,CAAC,CAAC;IAC/D,MAAM,WAAW,GAAG,IAAA,oBAAW,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,yBAAgB,CAAC,CAAC;IAE7D,MAAM,UAAU,GAAG,IAAI,GAAG,EAAiB,CAAC;IAC5C,KAAK,MAAM,CAAC,IAAI,YAAY;QAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IACtD,MAAM,SAAS,GAAG,IAAI,GAAG,EAAiB,CAAC;IAC3C,KAAK,MAAM,CAAC,IAAI,WAAW;QAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IAEpD,MAAM,KAAK,GAAY,EAAE,CAAC;IAC1B,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,QAAQ,GAAuD,EAAE,CAAC;IAExE,KAAK,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QACrC,MAAM,OAAO,GAAG,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACnC,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACrB,CAAC;aAAM,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,MAAM,CAAC,EAAE,CAAC;YACzC,QAAQ,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;QACxD,CAAC;IACH,CAAC;IAED,KAAK,MAAM,EAAE,IAAI,UAAU,CAAC,IAAI,EAAE,EAAE,CAAC;QACnC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC3C,CAAC;IAED,uBAAuB;IACvB,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC/C,OAAO,CAAC,IAAI,EAAE,CAAC;IACf,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAElD,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;AACtC,CAAC,CAAC;AAhCW,QAAA,OAAO,WAgClB"}
@@ -0,0 +1,14 @@
1
+ /**
2
+ * ST Text Layer 2.0 — MDX bridge.
3
+ *
4
+ * Conversión bidireccional Claim[] ↔ MDX con diff de cambios.
5
+ *
6
+ * mdxToClaims(mdx) → MDXClaim[]
7
+ * claimsToMDX(claims, opts?) → string
8
+ * diffMDX(before, after) → MDXDelta
9
+ */
10
+ export { mdxToClaims, mdxToClaimsDetailed, stripMDXMetadata } from './parser';
11
+ export { claimsToMDX } from './serializer';
12
+ export { diffMDX } from './diff';
13
+ export type { MDXClaim, MDXClaimTemplate, ClaimsToMDXOptions, MDXDelta, MDXParseWarning, MDXParseResult, } from './types';
14
+ //# sourceMappingURL=index.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/text-layer/v2/mdx-bridge/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,WAAW,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,MAAM,UAAU,CAAC;AAC9E,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAC3C,OAAO,EAAE,OAAO,EAAE,MAAM,QAAQ,CAAC;AACjC,YAAY,EACV,QAAQ,EACR,gBAAgB,EAChB,kBAAkB,EAClB,QAAQ,EACR,eAAe,EACf,cAAc,GACf,MAAM,SAAS,CAAC"}
@@ -0,0 +1,21 @@
1
+ "use strict";
2
+ /**
3
+ * ST Text Layer 2.0 — MDX bridge.
4
+ *
5
+ * Conversión bidireccional Claim[] ↔ MDX con diff de cambios.
6
+ *
7
+ * mdxToClaims(mdx) → MDXClaim[]
8
+ * claimsToMDX(claims, opts?) → string
9
+ * diffMDX(before, after) → MDXDelta
10
+ */
11
+ Object.defineProperty(exports, "__esModule", { value: true });
12
+ exports.diffMDX = exports.claimsToMDX = exports.stripMDXMetadata = exports.mdxToClaimsDetailed = exports.mdxToClaims = void 0;
13
+ var parser_1 = require("./parser");
14
+ Object.defineProperty(exports, "mdxToClaims", { enumerable: true, get: function () { return parser_1.mdxToClaims; } });
15
+ Object.defineProperty(exports, "mdxToClaimsDetailed", { enumerable: true, get: function () { return parser_1.mdxToClaimsDetailed; } });
16
+ Object.defineProperty(exports, "stripMDXMetadata", { enumerable: true, get: function () { return parser_1.stripMDXMetadata; } });
17
+ var serializer_1 = require("./serializer");
18
+ Object.defineProperty(exports, "claimsToMDX", { enumerable: true, get: function () { return serializer_1.claimsToMDX; } });
19
+ var diff_1 = require("./diff");
20
+ Object.defineProperty(exports, "diffMDX", { enumerable: true, get: function () { return diff_1.diffMDX; } });
21
+ //# sourceMappingURL=index.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/text-layer/v2/mdx-bridge/index.ts"],"names":[],"mappings":";AAAA;;;;;;;;GAQG;;;AAEH,mCAA8E;AAArE,qGAAA,WAAW,OAAA;AAAE,6GAAA,mBAAmB,OAAA;AAAE,0GAAA,gBAAgB,OAAA;AAC3D,2CAA2C;AAAlC,yGAAA,WAAW,OAAA;AACpB,+BAAiC;AAAxB,+FAAA,OAAO,OAAA"}
@@ -0,0 +1,33 @@
1
+ /**
2
+ * MDX → Claim[] parser.
3
+ *
4
+ * Reconoce dos formatos en cualquier orden y en cualquier posición del
5
+ * documento (dentro de prosa, dentro de listas, etc):
6
+ *
7
+ * - HTML comment style:
8
+ * <!-- st:claim id="c1" profile="p" formula="A->B" deps="c0,c2" -->
9
+ *
10
+ * - Fenced code block style:
11
+ * ```st-claim id=c1 profile=p deps=c0
12
+ * A->B
13
+ * ```
14
+ *
15
+ * Bloques malformados (sin id, sin profile, sin formula, etc.) se ignoran
16
+ * acumulando un warning. NUNCA lanza.
17
+ */
18
+ import type { Claim } from '../types';
19
+ import type { MDXClaim, MDXParseResult } from './types';
20
+ /**
21
+ * Versión "rica" — devuelve también warnings. La API pública delega aquí.
22
+ */
23
+ export declare const mdxToClaimsDetailed: (mdx: string) => MDXParseResult;
24
+ /**
25
+ * MDX → Claim[]. Tolera bloques malformados ignorándolos.
26
+ */
27
+ export declare const mdxToClaims: (mdx: string) => MDXClaim[];
28
+ /**
29
+ * Helper interno: convierte MDXClaim a Claim "pelado" (sin rawBlock/source).
30
+ * Útil para diff que sólo compara campos lógicos.
31
+ */
32
+ export declare const stripMDXMetadata: (claim: MDXClaim) => Claim;
33
+ //# sourceMappingURL=parser.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"parser.d.ts","sourceRoot":"","sources":["../../../../src/text-layer/v2/mdx-bridge/parser.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,UAAU,CAAC;AAEtC,OAAO,KAAK,EAAE,QAAQ,EAAE,cAAc,EAAmB,MAAM,SAAS,CAAC;AAkGzE;;GAEG;AACH,eAAO,MAAM,mBAAmB,GAAI,KAAK,MAAM,KAAG,cAoEjD,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,WAAW,GAAI,KAAK,MAAM,KAAG,QAAQ,EAEjD,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,gBAAgB,GAAI,OAAO,QAAQ,KAAG,KAQlD,CAAC"}
@@ -0,0 +1,192 @@
1
+ "use strict";
2
+ /**
3
+ * MDX → Claim[] parser.
4
+ *
5
+ * Reconoce dos formatos en cualquier orden y en cualquier posición del
6
+ * documento (dentro de prosa, dentro de listas, etc):
7
+ *
8
+ * - HTML comment style:
9
+ * <!-- st:claim id="c1" profile="p" formula="A->B" deps="c0,c2" -->
10
+ *
11
+ * - Fenced code block style:
12
+ * ```st-claim id=c1 profile=p deps=c0
13
+ * A->B
14
+ * ```
15
+ *
16
+ * Bloques malformados (sin id, sin profile, sin formula, etc.) se ignoran
17
+ * acumulando un warning. NUNCA lanza.
18
+ */
19
+ Object.defineProperty(exports, "__esModule", { value: true });
20
+ exports.stripMDXMetadata = exports.mdxToClaims = exports.mdxToClaimsDetailed = void 0;
21
+ const COMMENT_RE = /<!--\s*st:claim\s+([^]*?)-->/g;
22
+ // Fence: ```st-claim [opts]\n...body...\n```
23
+ // Tolerante con espacios y con el cierre exacto de 3 backticks.
24
+ const FENCE_RE = /```st-claim([^\n]*)\n([\s\S]*?)\n```/g;
25
+ const truncate = (s, max = 80) => s.length > max ? s.slice(0, max - 3) + '...' : s;
26
+ /**
27
+ * Parsea una lista de atributos clave=valor. Soporta:
28
+ * - id="c1" o id='c1' (con comillas)
29
+ * - id=c1 (sin comillas, hasta whitespace)
30
+ * - claves repetidas: la última gana
31
+ *
32
+ * Devuelve un mapa case-sensitive.
33
+ */
34
+ const parseAttrs = (raw) => {
35
+ const attrs = {};
36
+ // Pattern por iteración: key=value-con-o-sin-quotes
37
+ const re = /([a-zA-Z_][\w-]*)\s*=\s*(?:"([^"]*)"|'([^']*)'|([^\s"'`<>]+))/g;
38
+ let m;
39
+ while ((m = re.exec(raw)) !== null) {
40
+ const key = m[1];
41
+ if (key === undefined)
42
+ continue;
43
+ const value = m[2] ?? m[3] ?? m[4] ?? '';
44
+ attrs[key] = value;
45
+ }
46
+ return attrs;
47
+ };
48
+ const parseDeps = (raw) => {
49
+ if (!raw)
50
+ return [];
51
+ return raw
52
+ .split(',')
53
+ .map((s) => s.trim())
54
+ .filter((s) => s.length > 0);
55
+ };
56
+ const buildClaim = (attrs, formula, rawBlock, offset) => {
57
+ const id = attrs.id?.trim();
58
+ const profile = attrs.profile?.trim();
59
+ const trimmedFormula = formula.trim();
60
+ if (!id) {
61
+ return {
62
+ ok: false,
63
+ warning: {
64
+ offset,
65
+ message: 'st:claim sin id',
66
+ snippet: truncate(rawBlock),
67
+ },
68
+ };
69
+ }
70
+ if (!profile) {
71
+ return {
72
+ ok: false,
73
+ warning: {
74
+ offset,
75
+ message: `st:claim '${id}' sin profile`,
76
+ snippet: truncate(rawBlock),
77
+ },
78
+ };
79
+ }
80
+ if (!trimmedFormula) {
81
+ return {
82
+ ok: false,
83
+ warning: {
84
+ offset,
85
+ message: `st:claim '${id}' sin formula`,
86
+ snippet: truncate(rawBlock),
87
+ },
88
+ };
89
+ }
90
+ const dependencies = parseDeps(attrs.deps ?? attrs.dependencies);
91
+ const claim = {
92
+ id,
93
+ formula: trimmedFormula,
94
+ profile,
95
+ dependencies,
96
+ rawBlock,
97
+ };
98
+ // Source location (offset en el MDX original). docId queda vacío — el
99
+ // caller puede inyectarlo si necesita persistir.
100
+ claim.source = { docId: '', offset };
101
+ return { ok: true, claim };
102
+ };
103
+ /**
104
+ * Versión "rica" — devuelve también warnings. La API pública delega aquí.
105
+ */
106
+ const mdxToClaimsDetailed = (mdx) => {
107
+ const claims = [];
108
+ const warnings = [];
109
+ const seenIds = new Set();
110
+ // Reset stateful regex flags per call (defensa porque /g mantiene lastIndex).
111
+ COMMENT_RE.lastIndex = 0;
112
+ FENCE_RE.lastIndex = 0;
113
+ // 1) Comentarios HTML
114
+ let cm;
115
+ while ((cm = COMMENT_RE.exec(mdx)) !== null) {
116
+ const rawBlock = cm[0];
117
+ const attrRaw = cm[1] ?? '';
118
+ const offset = cm.index;
119
+ const attrs = parseAttrs(attrRaw);
120
+ // En comment-style, la fórmula viene en el atributo `formula`.
121
+ const formula = attrs.formula ?? '';
122
+ const built = buildClaim(attrs, formula, rawBlock, offset);
123
+ if (!built.ok) {
124
+ warnings.push(built.warning);
125
+ continue;
126
+ }
127
+ if (seenIds.has(built.claim.id)) {
128
+ warnings.push({
129
+ offset,
130
+ message: `st:claim id duplicado: '${built.claim.id}'`,
131
+ snippet: truncate(rawBlock),
132
+ });
133
+ continue;
134
+ }
135
+ seenIds.add(built.claim.id);
136
+ claims.push(built.claim);
137
+ }
138
+ // 2) Code fences ```st-claim
139
+ let fm;
140
+ while ((fm = FENCE_RE.exec(mdx)) !== null) {
141
+ const rawBlock = fm[0];
142
+ const attrRaw = fm[1] ?? '';
143
+ const body = fm[2] ?? '';
144
+ const offset = fm.index;
145
+ const attrs = parseAttrs(attrRaw);
146
+ const built = buildClaim(attrs, body, rawBlock, offset);
147
+ if (!built.ok) {
148
+ warnings.push(built.warning);
149
+ continue;
150
+ }
151
+ if (seenIds.has(built.claim.id)) {
152
+ warnings.push({
153
+ offset,
154
+ message: `st:claim id duplicado: '${built.claim.id}'`,
155
+ snippet: truncate(rawBlock),
156
+ });
157
+ continue;
158
+ }
159
+ seenIds.add(built.claim.id);
160
+ claims.push(built.claim);
161
+ }
162
+ // Orden estable por offset (mezcla comments + fences en orden de aparición).
163
+ claims.sort((a, b) => {
164
+ const ao = a.source?.offset ?? 0;
165
+ const bo = b.source?.offset ?? 0;
166
+ return ao - bo;
167
+ });
168
+ return { claims, warnings };
169
+ };
170
+ exports.mdxToClaimsDetailed = mdxToClaimsDetailed;
171
+ /**
172
+ * MDX → Claim[]. Tolera bloques malformados ignorándolos.
173
+ */
174
+ const mdxToClaims = (mdx) => {
175
+ return (0, exports.mdxToClaimsDetailed)(mdx).claims;
176
+ };
177
+ exports.mdxToClaims = mdxToClaims;
178
+ /**
179
+ * Helper interno: convierte MDXClaim a Claim "pelado" (sin rawBlock/source).
180
+ * Útil para diff que sólo compara campos lógicos.
181
+ */
182
+ const stripMDXMetadata = (claim) => {
183
+ const { id, formula, profile, dependencies } = claim;
184
+ return {
185
+ id,
186
+ formula,
187
+ profile,
188
+ dependencies: [...dependencies],
189
+ };
190
+ };
191
+ exports.stripMDXMetadata = stripMDXMetadata;
192
+ //# sourceMappingURL=parser.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"parser.js","sourceRoot":"","sources":["../../../../src/text-layer/v2/mdx-bridge/parser.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;GAgBG;;;AAMH,MAAM,UAAU,GAAG,+BAA+B,CAAC;AACnD,6CAA6C;AAC7C,gEAAgE;AAChE,MAAM,QAAQ,GAAG,uCAAuC,CAAC;AAEzD,MAAM,QAAQ,GAAG,CAAC,CAAS,EAAE,GAAG,GAAG,EAAE,EAAU,EAAE,CAC/C,CAAC,CAAC,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;AAEnD;;;;;;;GAOG;AACH,MAAM,UAAU,GAAG,CAAC,GAAW,EAA0B,EAAE;IACzD,MAAM,KAAK,GAA2B,EAAE,CAAC;IACzC,oDAAoD;IACpD,MAAM,EAAE,GAAG,gEAAgE,CAAC;IAC5E,IAAI,CAAyB,CAAC;IAC9B,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;QACnC,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACjB,IAAI,GAAG,KAAK,SAAS;YAAE,SAAS;QAChC,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACzC,KAAK,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;IACrB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,SAAS,GAAG,CAAC,GAAuB,EAAY,EAAE;IACtD,IAAI,CAAC,GAAG;QAAE,OAAO,EAAE,CAAC;IACpB,OAAO,GAAG;SACP,KAAK,CAAC,GAAG,CAAC;SACV,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;SACpB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;AACjC,CAAC,CAAC;AAEF,MAAM,UAAU,GAAG,CACjB,KAA6B,EAC7B,OAAe,EACf,QAAgB,EAChB,MAAc,EAC2D,EAAE;IAC3E,MAAM,EAAE,GAAG,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC;IAC5B,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC;IACtC,MAAM,cAAc,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC;IAEtC,IAAI,CAAC,EAAE,EAAE,CAAC;QACR,OAAO;YACL,EAAE,EAAE,KAAK;YACT,OAAO,EAAE;gBACP,MAAM;gBACN,OAAO,EAAE,iBAAiB;gBAC1B,OAAO,EAAE,QAAQ,CAAC,QAAQ,CAAC;aAC5B;SACF,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO;YACL,EAAE,EAAE,KAAK;YACT,OAAO,EAAE;gBACP,MAAM;gBACN,OAAO,EAAE,aAAa,EAAE,eAAe;gBACvC,OAAO,EAAE,QAAQ,CAAC,QAAQ,CAAC;aAC5B;SACF,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,cAAc,EAAE,CAAC;QACpB,OAAO;YACL,EAAE,EAAE,KAAK;YACT,OAAO,EAAE;gBACP,MAAM;gBACN,OAAO,EAAE,aAAa,EAAE,eAAe;gBACvC,OAAO,EAAE,QAAQ,CAAC,QAAQ,CAAC;aAC5B;SACF,CAAC;IACJ,CAAC;IAED,MAAM,YAAY,GAAG,SAAS,CAAC,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,YAAY,CAAC,CAAC;IAEjE,MAAM,KAAK,GAAa;QACtB,EAAE;QACF,OAAO,EAAE,cAAc;QACvB,OAAO;QACP,YAAY;QACZ,QAAQ;KACT,CAAC;IAEF,sEAAsE;IACtE,iDAAiD;IACjD,KAAK,CAAC,MAAM,GAAG,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC;IAErC,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AAC7B,CAAC,CAAC;AAEF;;GAEG;AACI,MAAM,mBAAmB,GAAG,CAAC,GAAW,EAAkB,EAAE;IACjE,MAAM,MAAM,GAAe,EAAE,CAAC;IAC9B,MAAM,QAAQ,GAAsB,EAAE,CAAC;IACvC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAElC,8EAA8E;IAC9E,UAAU,CAAC,SAAS,GAAG,CAAC,CAAC;IACzB,QAAQ,CAAC,SAAS,GAAG,CAAC,CAAC;IAEvB,sBAAsB;IACtB,IAAI,EAA0B,CAAC;IAC/B,OAAO,CAAC,EAAE,GAAG,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;QAC5C,MAAM,QAAQ,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QACvB,MAAM,OAAO,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC5B,MAAM,MAAM,GAAG,EAAE,CAAC,KAAK,CAAC;QACxB,MAAM,KAAK,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC;QAClC,+DAA+D;QAC/D,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,IAAI,EAAE,CAAC;QACpC,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;QAC3D,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC;YACd,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YAC7B,SAAS;QACX,CAAC;QACD,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC;YAChC,QAAQ,CAAC,IAAI,CAAC;gBACZ,MAAM;gBACN,OAAO,EAAE,2BAA2B,KAAK,CAAC,KAAK,CAAC,EAAE,GAAG;gBACrD,OAAO,EAAE,QAAQ,CAAC,QAAQ,CAAC;aAC5B,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC5B,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAC3B,CAAC;IAED,6BAA6B;IAC7B,IAAI,EAA0B,CAAC;IAC/B,OAAO,CAAC,EAAE,GAAG,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;QAC1C,MAAM,QAAQ,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QACvB,MAAM,OAAO,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC5B,MAAM,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACzB,MAAM,MAAM,GAAG,EAAE,CAAC,KAAK,CAAC;QACxB,MAAM,KAAK,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC;QAClC,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;QACxD,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC;YACd,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YAC7B,SAAS;QACX,CAAC;QACD,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC;YAChC,QAAQ,CAAC,IAAI,CAAC;gBACZ,MAAM;gBACN,OAAO,EAAE,2BAA2B,KAAK,CAAC,KAAK,CAAC,EAAE,GAAG;gBACrD,OAAO,EAAE,QAAQ,CAAC,QAAQ,CAAC;aAC5B,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC5B,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAC3B,CAAC;IAED,6EAA6E;IAC7E,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACnB,MAAM,EAAE,GAAG,CAAC,CAAC,MAAM,EAAE,MAAM,IAAI,CAAC,CAAC;QACjC,MAAM,EAAE,GAAG,CAAC,CAAC,MAAM,EAAE,MAAM,IAAI,CAAC,CAAC;QACjC,OAAO,EAAE,GAAG,EAAE,CAAC;IACjB,CAAC,CAAC,CAAC;IAEH,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;AAC9B,CAAC,CAAC;AApEW,QAAA,mBAAmB,uBAoE9B;AAEF;;GAEG;AACI,MAAM,WAAW,GAAG,CAAC,GAAW,EAAc,EAAE;IACrD,OAAO,IAAA,2BAAmB,EAAC,GAAG,CAAC,CAAC,MAAM,CAAC;AACzC,CAAC,CAAC;AAFW,QAAA,WAAW,eAEtB;AAEF;;;GAGG;AACI,MAAM,gBAAgB,GAAG,CAAC,KAAe,EAAS,EAAE;IACzD,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,YAAY,EAAE,GAAG,KAAK,CAAC;IACrD,OAAO;QACL,EAAE;QACF,OAAO;QACP,OAAO;QACP,YAAY,EAAE,CAAC,GAAG,YAAY,CAAC;KAChC,CAAC;AACJ,CAAC,CAAC;AARW,QAAA,gBAAgB,oBAQ3B"}