@proposit/proposit-core 0.8.9

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 (429) hide show
  1. package/README.md +1032 -0
  2. package/dist/cli/commands/analysis.d.ts +3 -0
  3. package/dist/cli/commands/analysis.d.ts.map +1 -0
  4. package/dist/cli/commands/analysis.js +504 -0
  5. package/dist/cli/commands/analysis.js.map +1 -0
  6. package/dist/cli/commands/arguments.d.ts +3 -0
  7. package/dist/cli/commands/arguments.d.ts.map +1 -0
  8. package/dist/cli/commands/arguments.js +187 -0
  9. package/dist/cli/commands/arguments.js.map +1 -0
  10. package/dist/cli/commands/claims.d.ts +3 -0
  11. package/dist/cli/commands/claims.d.ts.map +1 -0
  12. package/dist/cli/commands/claims.js +120 -0
  13. package/dist/cli/commands/claims.js.map +1 -0
  14. package/dist/cli/commands/diff.d.ts +3 -0
  15. package/dist/cli/commands/diff.d.ts.map +1 -0
  16. package/dist/cli/commands/diff.js +61 -0
  17. package/dist/cli/commands/diff.js.map +1 -0
  18. package/dist/cli/commands/expressions.d.ts +3 -0
  19. package/dist/cli/commands/expressions.d.ts.map +1 -0
  20. package/dist/cli/commands/expressions.js +344 -0
  21. package/dist/cli/commands/expressions.js.map +1 -0
  22. package/dist/cli/commands/graph.d.ts +13 -0
  23. package/dist/cli/commands/graph.d.ts.map +1 -0
  24. package/dist/cli/commands/graph.js +382 -0
  25. package/dist/cli/commands/graph.js.map +1 -0
  26. package/dist/cli/commands/meta.d.ts +3 -0
  27. package/dist/cli/commands/meta.d.ts.map +1 -0
  28. package/dist/cli/commands/meta.js +14 -0
  29. package/dist/cli/commands/meta.js.map +1 -0
  30. package/dist/cli/commands/parse.d.ts +3 -0
  31. package/dist/cli/commands/parse.d.ts.map +1 -0
  32. package/dist/cli/commands/parse.js +171 -0
  33. package/dist/cli/commands/parse.js.map +1 -0
  34. package/dist/cli/commands/premises.d.ts +3 -0
  35. package/dist/cli/commands/premises.d.ts.map +1 -0
  36. package/dist/cli/commands/premises.js +261 -0
  37. package/dist/cli/commands/premises.js.map +1 -0
  38. package/dist/cli/commands/render.d.ts +3 -0
  39. package/dist/cli/commands/render.d.ts.map +1 -0
  40. package/dist/cli/commands/render.js +109 -0
  41. package/dist/cli/commands/render.js.map +1 -0
  42. package/dist/cli/commands/repair.d.ts +3 -0
  43. package/dist/cli/commands/repair.d.ts.map +1 -0
  44. package/dist/cli/commands/repair.js +53 -0
  45. package/dist/cli/commands/repair.js.map +1 -0
  46. package/dist/cli/commands/roles.d.ts +3 -0
  47. package/dist/cli/commands/roles.d.ts.map +1 -0
  48. package/dist/cli/commands/roles.js +64 -0
  49. package/dist/cli/commands/roles.js.map +1 -0
  50. package/dist/cli/commands/sources.d.ts +3 -0
  51. package/dist/cli/commands/sources.d.ts.map +1 -0
  52. package/dist/cli/commands/sources.js +103 -0
  53. package/dist/cli/commands/sources.js.map +1 -0
  54. package/dist/cli/commands/validate.d.ts +3 -0
  55. package/dist/cli/commands/validate.d.ts.map +1 -0
  56. package/dist/cli/commands/validate.js +27 -0
  57. package/dist/cli/commands/validate.js.map +1 -0
  58. package/dist/cli/commands/variables.d.ts +3 -0
  59. package/dist/cli/commands/variables.d.ts.map +1 -0
  60. package/dist/cli/commands/variables.js +206 -0
  61. package/dist/cli/commands/variables.js.map +1 -0
  62. package/dist/cli/commands/version-show.d.ts +3 -0
  63. package/dist/cli/commands/version-show.d.ts.map +1 -0
  64. package/dist/cli/commands/version-show.js +31 -0
  65. package/dist/cli/commands/version-show.js.map +1 -0
  66. package/dist/cli/config.d.ts +8 -0
  67. package/dist/cli/config.d.ts.map +1 -0
  68. package/dist/cli/config.js +24 -0
  69. package/dist/cli/config.js.map +1 -0
  70. package/dist/cli/engine.d.ts +19 -0
  71. package/dist/cli/engine.d.ts.map +1 -0
  72. package/dist/cli/engine.js +173 -0
  73. package/dist/cli/engine.js.map +1 -0
  74. package/dist/cli/import.d.ts +22 -0
  75. package/dist/cli/import.d.ts.map +1 -0
  76. package/dist/cli/import.js +242 -0
  77. package/dist/cli/import.js.map +1 -0
  78. package/dist/cli/llm/index.d.ts +6 -0
  79. package/dist/cli/llm/index.d.ts.map +1 -0
  80. package/dist/cli/llm/index.js +26 -0
  81. package/dist/cli/llm/index.js.map +1 -0
  82. package/dist/cli/llm/openai.d.ts +4 -0
  83. package/dist/cli/llm/openai.d.ts.map +1 -0
  84. package/dist/cli/llm/openai.js +44 -0
  85. package/dist/cli/llm/openai.js.map +1 -0
  86. package/dist/cli/llm/types.d.ts +14 -0
  87. package/dist/cli/llm/types.d.ts.map +1 -0
  88. package/dist/cli/llm/types.js +2 -0
  89. package/dist/cli/llm/types.js.map +1 -0
  90. package/dist/cli/logging.d.ts +8 -0
  91. package/dist/cli/logging.d.ts.map +1 -0
  92. package/dist/cli/logging.js +23 -0
  93. package/dist/cli/logging.js.map +1 -0
  94. package/dist/cli/output/diff-renderer.d.ts +4 -0
  95. package/dist/cli/output/diff-renderer.d.ts.map +1 -0
  96. package/dist/cli/output/diff-renderer.js +89 -0
  97. package/dist/cli/output/diff-renderer.js.map +1 -0
  98. package/dist/cli/output.d.ts +6 -0
  99. package/dist/cli/output.d.ts.map +1 -0
  100. package/dist/cli/output.js +41 -0
  101. package/dist/cli/output.js.map +1 -0
  102. package/dist/cli/router.d.ts +14 -0
  103. package/dist/cli/router.d.ts.map +1 -0
  104. package/dist/cli/router.js +59 -0
  105. package/dist/cli/router.js.map +1 -0
  106. package/dist/cli/schemata.d.ts +74 -0
  107. package/dist/cli/schemata.d.ts.map +1 -0
  108. package/dist/cli/schemata.js +89 -0
  109. package/dist/cli/schemata.js.map +1 -0
  110. package/dist/cli/storage/analysis.d.ts +9 -0
  111. package/dist/cli/storage/analysis.d.ts.map +1 -0
  112. package/dist/cli/storage/analysis.js +108 -0
  113. package/dist/cli/storage/analysis.js.map +1 -0
  114. package/dist/cli/storage/arguments.d.ts +12 -0
  115. package/dist/cli/storage/arguments.d.ts.map +1 -0
  116. package/dist/cli/storage/arguments.js +80 -0
  117. package/dist/cli/storage/arguments.js.map +1 -0
  118. package/dist/cli/storage/libraries.d.ts +14 -0
  119. package/dist/cli/storage/libraries.d.ts.map +1 -0
  120. package/dist/cli/storage/libraries.js +80 -0
  121. package/dist/cli/storage/libraries.js.map +1 -0
  122. package/dist/cli/storage/premises.d.ts +9 -0
  123. package/dist/cli/storage/premises.d.ts.map +1 -0
  124. package/dist/cli/storage/premises.js +67 -0
  125. package/dist/cli/storage/premises.js.map +1 -0
  126. package/dist/cli/storage/roles.d.ts +4 -0
  127. package/dist/cli/storage/roles.d.ts.map +1 -0
  128. package/dist/cli/storage/roles.js +26 -0
  129. package/dist/cli/storage/roles.js.map +1 -0
  130. package/dist/cli/storage/variables.d.ts +4 -0
  131. package/dist/cli/storage/variables.d.ts.map +1 -0
  132. package/dist/cli/storage/variables.js +36 -0
  133. package/dist/cli/storage/variables.js.map +1 -0
  134. package/dist/cli.d.ts +3 -0
  135. package/dist/cli.d.ts.map +1 -0
  136. package/dist/cli.js +65 -0
  137. package/dist/cli.js.map +1 -0
  138. package/dist/extensions/basics/argument-parser.d.ts +12 -0
  139. package/dist/extensions/basics/argument-parser.d.ts.map +1 -0
  140. package/dist/extensions/basics/argument-parser.js +27 -0
  141. package/dist/extensions/basics/argument-parser.js.map +1 -0
  142. package/dist/extensions/basics/index.d.ts +4 -0
  143. package/dist/extensions/basics/index.d.ts.map +1 -0
  144. package/dist/extensions/basics/index.js +3 -0
  145. package/dist/extensions/basics/index.js.map +1 -0
  146. package/dist/extensions/basics/schemata.d.ts +35 -0
  147. package/dist/extensions/basics/schemata.d.ts.map +1 -0
  148. package/dist/extensions/basics/schemata.js +55 -0
  149. package/dist/extensions/basics/schemata.js.map +1 -0
  150. package/dist/extensions/ieee/formatting.d.ts +18 -0
  151. package/dist/extensions/ieee/formatting.d.ts.map +1 -0
  152. package/dist/extensions/ieee/formatting.js +57 -0
  153. package/dist/extensions/ieee/formatting.js.map +1 -0
  154. package/dist/extensions/ieee/index.d.ts +6 -0
  155. package/dist/extensions/ieee/index.d.ts.map +1 -0
  156. package/dist/extensions/ieee/index.js +6 -0
  157. package/dist/extensions/ieee/index.js.map +1 -0
  158. package/dist/extensions/ieee/references.d.ts +1379 -0
  159. package/dist/extensions/ieee/references.d.ts.map +1 -0
  160. package/dist/extensions/ieee/references.js +929 -0
  161. package/dist/extensions/ieee/references.js.map +1 -0
  162. package/dist/extensions/ieee/relaxed.d.ts +1371 -0
  163. package/dist/extensions/ieee/relaxed.d.ts.map +1 -0
  164. package/dist/extensions/ieee/relaxed.js +160 -0
  165. package/dist/extensions/ieee/relaxed.js.map +1 -0
  166. package/dist/extensions/ieee/segment-builder.d.ts +9 -0
  167. package/dist/extensions/ieee/segment-builder.d.ts.map +1 -0
  168. package/dist/extensions/ieee/segment-builder.js +98 -0
  169. package/dist/extensions/ieee/segment-builder.js.map +1 -0
  170. package/dist/extensions/ieee/segment-templates.d.ts +58 -0
  171. package/dist/extensions/ieee/segment-templates.d.ts.map +1 -0
  172. package/dist/extensions/ieee/segment-templates.js +1618 -0
  173. package/dist/extensions/ieee/segment-templates.js.map +1 -0
  174. package/dist/extensions/ieee/source.d.ts +434 -0
  175. package/dist/extensions/ieee/source.d.ts.map +1 -0
  176. package/dist/extensions/ieee/source.js +12 -0
  177. package/dist/extensions/ieee/source.js.map +1 -0
  178. package/dist/index.d.ts +10 -0
  179. package/dist/index.d.ts.map +1 -0
  180. package/dist/index.js +10 -0
  181. package/dist/index.js.map +1 -0
  182. package/dist/lib/consts.d.ts +21 -0
  183. package/dist/lib/consts.d.ts.map +1 -0
  184. package/dist/lib/consts.js +117 -0
  185. package/dist/lib/consts.js.map +1 -0
  186. package/dist/lib/core/argument-engine.d.ts +181 -0
  187. package/dist/lib/core/argument-engine.d.ts.map +1 -0
  188. package/dist/lib/core/argument-engine.js +1294 -0
  189. package/dist/lib/core/argument-engine.js.map +1 -0
  190. package/dist/lib/core/argument-library.d.ts +84 -0
  191. package/dist/lib/core/argument-library.d.ts.map +1 -0
  192. package/dist/lib/core/argument-library.js +122 -0
  193. package/dist/lib/core/argument-library.js.map +1 -0
  194. package/dist/lib/core/argument-validation.d.ts +74 -0
  195. package/dist/lib/core/argument-validation.d.ts.map +1 -0
  196. package/dist/lib/core/argument-validation.js +315 -0
  197. package/dist/lib/core/argument-validation.js.map +1 -0
  198. package/dist/lib/core/change-collector.d.ts +24 -0
  199. package/dist/lib/core/change-collector.d.ts.map +1 -0
  200. package/dist/lib/core/change-collector.js +63 -0
  201. package/dist/lib/core/change-collector.js.map +1 -0
  202. package/dist/lib/core/checksum.d.ts +15 -0
  203. package/dist/lib/core/checksum.d.ts.map +1 -0
  204. package/dist/lib/core/checksum.js +43 -0
  205. package/dist/lib/core/checksum.js.map +1 -0
  206. package/dist/lib/core/claim-library.d.ts +23 -0
  207. package/dist/lib/core/claim-library.d.ts.map +1 -0
  208. package/dist/lib/core/claim-library.js +21 -0
  209. package/dist/lib/core/claim-library.js.map +1 -0
  210. package/dist/lib/core/claim-source-library.d.ts +32 -0
  211. package/dist/lib/core/claim-source-library.d.ts.map +1 -0
  212. package/dist/lib/core/claim-source-library.js +193 -0
  213. package/dist/lib/core/claim-source-library.js.map +1 -0
  214. package/dist/lib/core/diff.d.ts +20 -0
  215. package/dist/lib/core/diff.d.ts.map +1 -0
  216. package/dist/lib/core/diff.js +260 -0
  217. package/dist/lib/core/diff.js.map +1 -0
  218. package/dist/lib/core/evaluation/argument-evaluation.d.ts +53 -0
  219. package/dist/lib/core/evaluation/argument-evaluation.d.ts.map +1 -0
  220. package/dist/lib/core/evaluation/argument-evaluation.js +535 -0
  221. package/dist/lib/core/evaluation/argument-evaluation.js.map +1 -0
  222. package/dist/lib/core/evaluation/grading.d.ts +28 -0
  223. package/dist/lib/core/evaluation/grading.d.ts.map +1 -0
  224. package/dist/lib/core/evaluation/grading.js +44 -0
  225. package/dist/lib/core/evaluation/grading.js.map +1 -0
  226. package/dist/lib/core/evaluation/kleene.d.ts +12 -0
  227. package/dist/lib/core/evaluation/kleene.d.ts.map +1 -0
  228. package/dist/lib/core/evaluation/kleene.js +29 -0
  229. package/dist/lib/core/evaluation/kleene.js.map +1 -0
  230. package/dist/lib/core/evaluation/validation.d.ts +10 -0
  231. package/dist/lib/core/evaluation/validation.d.ts.map +1 -0
  232. package/dist/lib/core/evaluation/validation.js +28 -0
  233. package/dist/lib/core/evaluation/validation.js.map +1 -0
  234. package/dist/lib/core/expression-manager.d.ts +278 -0
  235. package/dist/lib/core/expression-manager.d.ts.map +1 -0
  236. package/dist/lib/core/expression-manager.js +1622 -0
  237. package/dist/lib/core/expression-manager.js.map +1 -0
  238. package/dist/lib/core/fork-library.d.ts +26 -0
  239. package/dist/lib/core/fork-library.d.ts.map +1 -0
  240. package/dist/lib/core/fork-library.js +71 -0
  241. package/dist/lib/core/fork-library.js.map +1 -0
  242. package/dist/lib/core/fork-namespace.d.ts +32 -0
  243. package/dist/lib/core/fork-namespace.d.ts.map +1 -0
  244. package/dist/lib/core/fork-namespace.js +99 -0
  245. package/dist/lib/core/fork-namespace.js.map +1 -0
  246. package/dist/lib/core/fork.d.ts +30 -0
  247. package/dist/lib/core/fork.d.ts.map +1 -0
  248. package/dist/lib/core/fork.js +125 -0
  249. package/dist/lib/core/fork.js.map +1 -0
  250. package/dist/lib/core/interfaces/argument-engine.interfaces.d.ts +366 -0
  251. package/dist/lib/core/interfaces/argument-engine.interfaces.d.ts.map +1 -0
  252. package/dist/lib/core/interfaces/argument-engine.interfaces.js +2 -0
  253. package/dist/lib/core/interfaces/argument-engine.interfaces.js.map +1 -0
  254. package/dist/lib/core/interfaces/index.d.ts +5 -0
  255. package/dist/lib/core/interfaces/index.d.ts.map +1 -0
  256. package/dist/lib/core/interfaces/index.js +2 -0
  257. package/dist/lib/core/interfaces/index.js.map +1 -0
  258. package/dist/lib/core/interfaces/library.interfaces.d.ts +347 -0
  259. package/dist/lib/core/interfaces/library.interfaces.d.ts.map +1 -0
  260. package/dist/lib/core/interfaces/library.interfaces.js +2 -0
  261. package/dist/lib/core/interfaces/library.interfaces.js.map +1 -0
  262. package/dist/lib/core/interfaces/premise-engine.interfaces.d.ts +401 -0
  263. package/dist/lib/core/interfaces/premise-engine.interfaces.d.ts.map +1 -0
  264. package/dist/lib/core/interfaces/premise-engine.interfaces.js +2 -0
  265. package/dist/lib/core/interfaces/premise-engine.interfaces.js.map +1 -0
  266. package/dist/lib/core/interfaces/shared.interfaces.d.ts +28 -0
  267. package/dist/lib/core/interfaces/shared.interfaces.d.ts.map +1 -0
  268. package/dist/lib/core/interfaces/shared.interfaces.js +2 -0
  269. package/dist/lib/core/interfaces/shared.interfaces.js.map +1 -0
  270. package/dist/lib/core/invariant-violation-error.d.ts +10 -0
  271. package/dist/lib/core/invariant-violation-error.d.ts.map +1 -0
  272. package/dist/lib/core/invariant-violation-error.js +16 -0
  273. package/dist/lib/core/invariant-violation-error.js.map +1 -0
  274. package/dist/lib/core/parser/formula-gen.js +923 -0
  275. package/dist/lib/core/parser/formula.d.ts +24 -0
  276. package/dist/lib/core/parser/formula.d.ts.map +1 -0
  277. package/dist/lib/core/parser/formula.js +8 -0
  278. package/dist/lib/core/parser/formula.js.map +1 -0
  279. package/dist/lib/core/premise-engine.d.ts +122 -0
  280. package/dist/lib/core/premise-engine.d.ts.map +1 -0
  281. package/dist/lib/core/premise-engine.js +1362 -0
  282. package/dist/lib/core/premise-engine.js.map +1 -0
  283. package/dist/lib/core/proposit-core.d.ts +111 -0
  284. package/dist/lib/core/proposit-core.d.ts.map +1 -0
  285. package/dist/lib/core/proposit-core.js +365 -0
  286. package/dist/lib/core/proposit-core.js.map +1 -0
  287. package/dist/lib/core/relationships.d.ts +15 -0
  288. package/dist/lib/core/relationships.d.ts.map +1 -0
  289. package/dist/lib/core/relationships.js +319 -0
  290. package/dist/lib/core/relationships.js.map +1 -0
  291. package/dist/lib/core/source-library.d.ts +23 -0
  292. package/dist/lib/core/source-library.d.ts.map +1 -0
  293. package/dist/lib/core/source-library.js +21 -0
  294. package/dist/lib/core/source-library.js.map +1 -0
  295. package/dist/lib/core/variable-manager.d.ts +68 -0
  296. package/dist/lib/core/variable-manager.d.ts.map +1 -0
  297. package/dist/lib/core/variable-manager.js +200 -0
  298. package/dist/lib/core/variable-manager.js.map +1 -0
  299. package/dist/lib/core/versioned-library.d.ts +52 -0
  300. package/dist/lib/core/versioned-library.d.ts.map +1 -0
  301. package/dist/lib/core/versioned-library.js +192 -0
  302. package/dist/lib/core/versioned-library.js.map +1 -0
  303. package/dist/lib/index.d.ts +54 -0
  304. package/dist/lib/index.d.ts.map +1 -0
  305. package/dist/lib/index.js +39 -0
  306. package/dist/lib/index.js.map +1 -0
  307. package/dist/lib/parsing/argument-parser.d.ts +49 -0
  308. package/dist/lib/parsing/argument-parser.d.ts.map +1 -0
  309. package/dist/lib/parsing/argument-parser.js +403 -0
  310. package/dist/lib/parsing/argument-parser.js.map +1 -0
  311. package/dist/lib/parsing/clamp-max-lengths.d.ts +11 -0
  312. package/dist/lib/parsing/clamp-max-lengths.d.ts.map +1 -0
  313. package/dist/lib/parsing/clamp-max-lengths.js +56 -0
  314. package/dist/lib/parsing/clamp-max-lengths.js.map +1 -0
  315. package/dist/lib/parsing/index.d.ts +7 -0
  316. package/dist/lib/parsing/index.d.ts.map +1 -0
  317. package/dist/lib/parsing/index.js +4 -0
  318. package/dist/lib/parsing/index.js.map +1 -0
  319. package/dist/lib/parsing/prompt-builder.d.ts +11 -0
  320. package/dist/lib/parsing/prompt-builder.d.ts.map +1 -0
  321. package/dist/lib/parsing/prompt-builder.js +229 -0
  322. package/dist/lib/parsing/prompt-builder.js.map +1 -0
  323. package/dist/lib/parsing/schemata.d.ts +79 -0
  324. package/dist/lib/parsing/schemata.d.ts.map +1 -0
  325. package/dist/lib/parsing/schemata.js +92 -0
  326. package/dist/lib/parsing/schemata.js.map +1 -0
  327. package/dist/lib/parsing/types.d.ts +24 -0
  328. package/dist/lib/parsing/types.d.ts.map +1 -0
  329. package/dist/lib/parsing/types.js +2 -0
  330. package/dist/lib/parsing/types.js.map +1 -0
  331. package/dist/lib/schemata/analysis.d.ts +9 -0
  332. package/dist/lib/schemata/analysis.d.ts.map +1 -0
  333. package/dist/lib/schemata/analysis.js +13 -0
  334. package/dist/lib/schemata/analysis.js.map +1 -0
  335. package/dist/lib/schemata/argument.d.ts +14 -0
  336. package/dist/lib/schemata/argument.d.ts.map +1 -0
  337. package/dist/lib/schemata/argument.js +24 -0
  338. package/dist/lib/schemata/argument.js.map +1 -0
  339. package/dist/lib/schemata/claim.d.ts +9 -0
  340. package/dist/lib/schemata/claim.d.ts.map +1 -0
  341. package/dist/lib/schemata/claim.js +18 -0
  342. package/dist/lib/schemata/claim.js.map +1 -0
  343. package/dist/lib/schemata/fork.d.ts +76 -0
  344. package/dist/lib/schemata/fork.d.ts.map +1 -0
  345. package/dist/lib/schemata/fork.js +55 -0
  346. package/dist/lib/schemata/fork.js.map +1 -0
  347. package/dist/lib/schemata/import.d.ts +33 -0
  348. package/dist/lib/schemata/import.d.ts.map +1 -0
  349. package/dist/lib/schemata/import.js +18 -0
  350. package/dist/lib/schemata/import.js.map +1 -0
  351. package/dist/lib/schemata/index.d.ts +8 -0
  352. package/dist/lib/schemata/index.d.ts.map +1 -0
  353. package/dist/lib/schemata/index.js +8 -0
  354. package/dist/lib/schemata/index.js.map +1 -0
  355. package/dist/lib/schemata/propositional.d.ts +142 -0
  356. package/dist/lib/schemata/propositional.d.ts.map +1 -0
  357. package/dist/lib/schemata/propositional.js +120 -0
  358. package/dist/lib/schemata/propositional.js.map +1 -0
  359. package/dist/lib/schemata/shared.d.ts +41 -0
  360. package/dist/lib/schemata/shared.d.ts.map +1 -0
  361. package/dist/lib/schemata/shared.js +66 -0
  362. package/dist/lib/schemata/shared.js.map +1 -0
  363. package/dist/lib/schemata/source.d.ts +18 -0
  364. package/dist/lib/schemata/source.d.ts.map +1 -0
  365. package/dist/lib/schemata/source.js +35 -0
  366. package/dist/lib/schemata/source.js.map +1 -0
  367. package/dist/lib/types/checksum.d.ts +20 -0
  368. package/dist/lib/types/checksum.d.ts.map +1 -0
  369. package/dist/lib/types/checksum.js +2 -0
  370. package/dist/lib/types/checksum.js.map +1 -0
  371. package/dist/lib/types/diff.d.ts +60 -0
  372. package/dist/lib/types/diff.d.ts.map +1 -0
  373. package/dist/lib/types/diff.js +2 -0
  374. package/dist/lib/types/diff.js.map +1 -0
  375. package/dist/lib/types/evaluation.d.ts +164 -0
  376. package/dist/lib/types/evaluation.d.ts.map +1 -0
  377. package/dist/lib/types/evaluation.js +2 -0
  378. package/dist/lib/types/evaluation.js.map +1 -0
  379. package/dist/lib/types/fork.d.ts +25 -0
  380. package/dist/lib/types/fork.d.ts.map +1 -0
  381. package/dist/lib/types/fork.js +2 -0
  382. package/dist/lib/types/fork.js.map +1 -0
  383. package/dist/lib/types/grammar.d.ts +38 -0
  384. package/dist/lib/types/grammar.d.ts.map +1 -0
  385. package/dist/lib/types/grammar.js +11 -0
  386. package/dist/lib/types/grammar.js.map +1 -0
  387. package/dist/lib/types/mutation.d.ts +31 -0
  388. package/dist/lib/types/mutation.d.ts.map +1 -0
  389. package/dist/lib/types/mutation.js +2 -0
  390. package/dist/lib/types/mutation.js.map +1 -0
  391. package/dist/lib/types/reactive.d.ts +14 -0
  392. package/dist/lib/types/reactive.d.ts.map +1 -0
  393. package/dist/lib/types/reactive.js +2 -0
  394. package/dist/lib/types/reactive.js.map +1 -0
  395. package/dist/lib/types/relationships.d.ts +36 -0
  396. package/dist/lib/types/relationships.d.ts.map +1 -0
  397. package/dist/lib/types/relationships.js +2 -0
  398. package/dist/lib/types/relationships.js.map +1 -0
  399. package/dist/lib/types/validation.d.ts +47 -0
  400. package/dist/lib/types/validation.d.ts.map +1 -0
  401. package/dist/lib/types/validation.js +43 -0
  402. package/dist/lib/types/validation.js.map +1 -0
  403. package/dist/lib/utils/changeset.d.ts +124 -0
  404. package/dist/lib/utils/changeset.d.ts.map +1 -0
  405. package/dist/lib/utils/changeset.js +221 -0
  406. package/dist/lib/utils/changeset.js.map +1 -0
  407. package/dist/lib/utils/collections.d.ts +12 -0
  408. package/dist/lib/utils/collections.d.ts.map +1 -0
  409. package/dist/lib/utils/collections.js +24 -0
  410. package/dist/lib/utils/collections.js.map +1 -0
  411. package/dist/lib/utils/default-map.d.ts +17 -0
  412. package/dist/lib/utils/default-map.d.ts.map +1 -0
  413. package/dist/lib/utils/default-map.js +33 -0
  414. package/dist/lib/utils/default-map.js.map +1 -0
  415. package/dist/lib/utils/lookup.d.ts +47 -0
  416. package/dist/lib/utils/lookup.d.ts.map +1 -0
  417. package/dist/lib/utils/lookup.js +62 -0
  418. package/dist/lib/utils/lookup.js.map +1 -0
  419. package/dist/lib/utils/position.d.ts +12 -0
  420. package/dist/lib/utils/position.d.ts.map +1 -0
  421. package/dist/lib/utils/position.js +13 -0
  422. package/dist/lib/utils/position.js.map +1 -0
  423. package/package.json +82 -0
  424. package/skills/proposit-core/SKILL.md +35 -0
  425. package/skills/proposit-core/docs/api-usage.md +442 -0
  426. package/skills/proposit-core/docs/architecture.md +256 -0
  427. package/skills/proposit-core/docs/cli.md +304 -0
  428. package/skills/proposit-core/docs/testing.md +281 -0
  429. package/skills/proposit-core/docs/types-schemas.md +648 -0
@@ -0,0 +1 @@
1
+ {"version":3,"file":"premise-engine.js","sourceRoot":"","sources":["../../../src/lib/core/premise-engine.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,iBAAiB,EACjB,iBAAiB,EACjB,cAAc,GAQjB,MAAM,sBAAsB,CAAA;AAC7B,OAAO,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAA;AACpD,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAA;AAC/E,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAA;AAUtE,OAAO,EACH,SAAS,EACT,SAAS,EACT,aAAa,EACb,SAAS,EACT,QAAQ,GACX,MAAM,wBAAwB,CAAA;AAC/B,OAAO,EACH,uBAAuB,EACvB,cAAc,EACd,oBAAoB,GACvB,MAAM,4BAA4B,CAAA;AACnC,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AAKrC,OAAO,EACH,sBAAsB,EACtB,+BAA+B,EAC/B,8BAA8B,GACjC,MAAM,wBAAwB,CAAA;AAE/B,OAAO,EACH,iBAAiB,GAEpB,MAAM,sBAAsB,CAAA;AAE7B,OAAO,EACH,uBAAuB,EACvB,uBAAuB,EACvB,uBAAuB,GAC1B,MAAM,cAAc,CAAA;AACrB,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AACvD,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,eAAe,CAAA;AAC3D,OAAO,EAAE,uBAAuB,EAAE,MAAM,gCAAgC,CAAA;AAOxE,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAA;AAC3D,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AAuBvD,MAAM,OAAO,aAAa;IAiBd,OAAO,CAA6B;IACpC,gBAAgB,CAAoB;IACpC,SAAS,CAAuB;IAChC,WAAW,CAA0B;IACrC,uBAAuB,CAAiC;IACxD,QAAQ,CAAyB;IACjC,cAAc,CAAsB;IACpC,aAAa,GAAG,IAAI,CAAA;IACpB,kBAAkB,CAAoB;IACtC,wBAAwB,CAA2B;IACnD,sBAAsB,CAAoB;IAC1C,eAAe,CAAsB;IACrC,UAAU,CAAc;IACxB,QAAQ,CAAa;IACrB,gBAAgB,CAGZ;IACJ,sBAAsB,CAAkC;IACxD,mBAAmB,CAAoB;IACvC,wBAAwB,CAAmC;IAC3D,gBAAgB,GAAG,KAAK,CAAA;IAEhC,YACI,OAAoC,EACpC,IAIC,EACD,MAA4B;QAE5B,IAAI,CAAC,OAAO,GAAG,EAAE,GAAG,OAAO,EAAE,CAAA;QAC7B,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAA;QAC7B,IAAI,CAAC,cAAc,GAAG,MAAM,EAAE,cAAc,CAAA;QAC5C,IAAI,CAAC,gBAAgB,GAAG,SAAS,CAAA;QACjC,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,CAAA;QAC/B,IAAI,CAAC,WAAW,GAAG,IAAI,iBAAiB,CAAQ,MAAM,CAAC,CAAA;QACvD,IAAI,CAAC,uBAAuB,GAAG,IAAI,UAAU,CAAC,GAAG,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC,CAAA;QAC9D,IAAI,CAAC,eAAe,GAAG,IAAI,CAAC,eAAe,CAAA;QAC3C,IAAI,CAAC,UAAU,GAAG,MAAM,EAAE,UAAU,IAAI,iBAAiB,CAAA;IAC7D,CAAC;IAEM,WAAW,CAAC,QAAkC;QACjD,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAA;IAC5B,CAAC;IAEM,mBAAmB,CACtB,KAAuE;QAEvE,IAAI,CAAC,gBAAgB,GAAG,KAAK,CAAA;IACjC,CAAC;IAEM,yBAAyB,CAC5B,KAAoD;QAEpD,IAAI,CAAC,sBAAsB,GAAG,KAAK,CAAA;IACvC,CAAC;IAEM,sBAAsB,CACzB,QAAyC;QAEzC,IAAI,CAAC,mBAAmB,GAAG,QAAQ,CAAA;IACvC,CAAC;IAEM,2BAA2B,CAC9B,QAAwD;QAExD,IAAI,CAAC,wBAAwB,GAAG,QAAQ,CAAA;IAC5C,CAAC;IAEO,eAAe;QACnB,MAAM,sBAAsB,GAAuB,EAAE,CAAA;QACrD,IAAI,IAAI,CAAC,eAAe,EAAE,CAAC;YACvB,KAAK,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,IAAI,IAAI,CAAC,eAAe,EAAE,CAAC;gBACrD,IAAI,SAAS,KAAK,IAAI,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC;oBAChC,sBAAsB,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAA;gBACpD,CAAC;YACL,CAAC;QACL,CAAC;QACD,OAAO;YACH,WAAW,EAAE,EAAE,GAAG,IAAI,CAAC,OAAO,EAAE;YAChC,gBAAgB,EAAE,IAAI,CAAC,gBAAgB;YACvC,kBAAkB,EAAE,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE;YAC/C,sBAAsB;SACzB,CAAA;IACL,CAAC;IAEO,0BAA0B,CAC9B,IAAkD;QAElD,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,WAA0C,CAAA;QAC9D,IAAI,CAAC,gBAAgB,GAAG,IAAI,CAAC,gBAAgB,CAAA;QAC7C,IAAI,CAAC,WAAW,GAAG,iBAAiB,CAAC,YAAY,CAC7C,IAAI,CAAC,kBAAuD,CAC/D,CAAA;QACD,mCAAmC;QACnC,IAAI,IAAI,CAAC,eAAe,EAAE,CAAC;YACvB,KAAK,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,eAAe,CAAC,EAAE,CAAC;gBAC1D,IAAI,SAAS,KAAK,IAAI,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC;oBAChC,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;gBACvC,CAAC;YACL,CAAC;YACD,KAAK,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,IAAI,IAAI,CAAC,sBAAsB,EAAE,CAAC;gBAC5D,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,CAAA;YAC/C,CAAC;QACL,CAAC;QACD,IAAI,CAAC,oBAAoB,EAAE,CAAA;IAC/B,CAAC;IAES,cAAc,CAAI,EAAW;QACnC,IAAI,IAAI,CAAC,gBAAgB,EAAE,CAAC;YACxB,OAAO,EAAE,EAAE,CAAA;QACf,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,eAAe,EAAE,CAAA;QACnC,IAAI,CAAC,gBAAgB,GAAG,IAAI,CAAA;QAC5B,IAAI,CAAC;YACD,MAAM,MAAM,GAAG,EAAE,EAAE,CAAA;YACnB,MAAM,UAAU,GACZ,IAAI,CAAC,wBAAwB,EAAE,EAAE,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAA;YACxD,IAAI,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC;gBACjB,IAAI,CAAC,0BAA0B,CAAC,IAAI,CAAC,CAAA;gBACrC,MAAM,IAAI,uBAAuB,CAAC,UAAU,CAAC,UAAU,CAAC,CAAA;YAC5D,CAAC;YACD,OAAO,MAAM,CAAA;QACjB,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACT,IAAI,CAAC,CAAC,CAAC,YAAY,uBAAuB,CAAC,EAAE,CAAC;gBAC1C,IAAI,CAAC,0BAA0B,CAAC,IAAI,CAAC,CAAA;YACzC,CAAC;YACD,MAAM,CAAC,CAAA;QACX,CAAC;gBAAS,CAAC;YACP,IAAI,CAAC,gBAAgB,GAAG,KAAK,CAAA;QACjC,CAAC;IACL,CAAC;IAEM,8BAA8B,CACjC,UAAkB;QAElB,OAAO,IAAI,CAAC,cAAc,CAAC,GAAG,EAAE;YAC5B,MAAM,aAAa,GAAG,IAAI,CAAC,uBAAuB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;YAClE,IAAI,aAAa,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;gBAC3B,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAA;YACtC,CAAC;YAED,MAAM,SAAS,GAAG,IAAI,eAAe,EAA+B,CAAA;YAEpE,qEAAqE;YACrE,MAAM,aAAa,GAAG,IAAI,CAAC,QAAQ,CAAA;YACnC,IAAI,CAAC,QAAQ,GAAG,SAAS,CAAA;YACzB,IAAI,CAAC;gBACD,sEAAsE;gBACtE,MAAM,OAAO,GAAY,EAAE,CAAA;gBAC3B,KAAK,MAAM,MAAM,IAAI,CAAC,GAAG,aAAa,CAAC,EAAE,CAAC;oBACtC,4DAA4D;oBAC5D,4DAA4D;oBAC5D,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,MAAM,CAAC;wBAAE,SAAQ;oBAErD,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,IAAI,CAAC,gBAAgB,CAC7C,MAAM,EACN,IAAI,CACP,CAAA;oBACD,IAAI,MAAM;wBAAE,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;oBAChC,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC;wBACtB,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,WAAW,CAAC,OAAO,EAAE,CAAC;4BAC1C,SAAS,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAA;wBAClC,CAAC;oBACL,CAAC;gBACL,CAAC;gBAED,+DAA+D;gBAC/D,oEAAoE;gBACpE,MAAM,OAAO,GAAG,SAAS,CAAC,WAAW,EAAE,CAAA;gBACvC,IAAI,CAAC,mBAAmB,CAAC,OAAO,CAAC,CAAA;gBAEjC,iDAAiD;gBACjD,IAAI,CAAC,QAAQ,GAAG,aAAa,CAAA;gBAC7B,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBACrB,IAAI,CAAC,QAAQ,EAAE,EAAE,CAAA;gBACrB,CAAC;gBAED,OAAO;oBACH,MAAM,EAAE,OAAO;oBACf,OAAO;iBACV,CAAA;YACL,CAAC;YAAC,OAAO,CAAC,EAAE,CAAC;gBACT,IAAI,CAAC,QAAQ,GAAG,aAAa,CAAA;gBAC7B,MAAM,CAAC,CAAA;YACX,CAAC;QACL,CAAC,CAAC,CAAA;IACN,CAAC;IAEM,aAAa,CAChB,UAAmC;QAEnC,OAAO,IAAI,CAAC,cAAc,CAAC,GAAG,EAAE;YAC5B,IAAI,CAAC,uBAAuB,CACxB,UAAU,CAAC,UAAU,EACrB,UAAU,CAAC,eAAe,CAC7B,CAAA;YACD,IAAI,CAAC,6BAA6B,CAAC,UAAU,CAAC,CAAA;YAE9C,IAAI,UAAU,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;gBAC/B,IAAI,IAAI,CAAC,gBAAgB,KAAK,SAAS,EAAE,CAAC;oBACtC,MAAM,IAAI,KAAK,CACX,YAAY,IAAI,CAAC,OAAO,CAAC,EAAE,kCAAkC,CAChE,CAAA;gBACL,CAAC;YACL,CAAC;iBAAM,CAAC;gBACJ,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;oBACvD,MAAM,IAAI,KAAK,CACX,sBAAsB,UAAU,CAAC,QAAQ,mCAAmC,CAC/E,CAAA;gBACL,CAAC;YACL,CAAC;YAED,MAAM,SAAS,GAAG,IAAI,eAAe,EAA+B,CAAA;YACpE,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,SAAS,CAAC,CAAA;YACxC,IAAI,CAAC;gBACD,iEAAiE;gBACjE,kDAAkD;gBAClD,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,UAAU,CAAC,CAAA;gBAE1C,IAAI,UAAU,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;oBAC/B,IAAI,CAAC,gBAAgB,GAAG,UAAU,CAAC,EAAE,CAAA;gBACzC,CAAC;gBACD,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;oBACjC,IAAI,CAAC,uBAAuB;yBACvB,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC;yBAC1B,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,CAAA;gBAC3B,CAAC;gBAED,MAAM,OAAO,GAAG,IAAI,CAAC,0BAA0B,CAAC,SAAS,CAAC,CAAA;gBAC1D,OAAO;oBACH,MAAM,EAAE,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,UAAU,CAAC,EAAE,CAAE;oBACtD,OAAO;iBACV,CAAA;YACL,CAAC;oBAAS,CAAC;gBACP,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,IAAI,CAAC,CAAA;YACvC,CAAC;QACL,CAAC,CAAC,CAAA;IACN,CAAC;IAEM,gBAAgB,CACnB,QAAuB,EACvB,UAA6C;QAE7C,OAAO,IAAI,CAAC,cAAc,CAAC,GAAG,EAAE;YAC5B,IAAI,CAAC,uBAAuB,CACxB,UAAU,CAAC,UAAU,EACrB,UAAU,CAAC,eAAe,CAC7B,CAAA;YACD,IAAI,CAAC,6BAA6B,CAAC,UAAU,CAAC,CAAA;YAE9C,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;gBACpB,IAAI,IAAI,CAAC,gBAAgB,KAAK,SAAS,EAAE,CAAC;oBACtC,MAAM,IAAI,KAAK,CACX,YAAY,IAAI,CAAC,OAAO,CAAC,EAAE,kCAAkC,CAChE,CAAA;gBACL,CAAC;YACL,CAAC;iBAAM,CAAC;gBACJ,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,QAAQ,CAAC,EAAE,CAAC;oBAC5C,MAAM,IAAI,KAAK,CACX,sBAAsB,QAAQ,mCAAmC,CACpE,CAAA;gBACL,CAAC;YACL,CAAC;YAED,MAAM,SAAS,GAAG,IAAI,eAAe,EAA+B,CAAA;YACpE,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,SAAS,CAAC,CAAA;YACxC,IAAI,CAAC;gBACD,IAAI,CAAC,WAAW,CAAC,gBAAgB,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAA;gBAEvD,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;oBACjC,IAAI,CAAC,uBAAuB;yBACvB,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC;yBAC1B,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,CAAA;gBAC3B,CAAC;gBAED,MAAM,OAAO,GAAG,IAAI,CAAC,0BAA0B,CAAC,SAAS,CAAC,CAAA;gBAC1D,OAAO;oBACH,MAAM,EAAE,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,UAAU,CAAC,EAAE,CAAE;oBACtD,OAAO;iBACV,CAAA;YACL,CAAC;oBAAS,CAAC;gBACP,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,IAAI,CAAC,CAAA;YACvC,CAAC;QACL,CAAC,CAAC,CAAA;IACN,CAAC;IAEM,qBAAqB,CACxB,SAAiB,EACjB,gBAAoC,EACpC,UAA6C;QAE7C,OAAO,IAAI,CAAC,cAAc,CAAC,GAAG,EAAE;YAC5B,IAAI,CAAC,uBAAuB,CACxB,UAAU,CAAC,UAAU,EACrB,UAAU,CAAC,eAAe,CAC7B,CAAA;YACD,IAAI,CAAC,6BAA6B,CAAC,UAAU,CAAC,CAAA;YAE9C,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,SAAS,CAAC,EAAE,CAAC;gBAC7C,MAAM,IAAI,KAAK,CACX,eAAe,SAAS,8BAA8B,CACzD,CAAA;YACL,CAAC;YAED,MAAM,SAAS,GAAG,IAAI,eAAe,EAA+B,CAAA;YACpE,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,SAAS,CAAC,CAAA;YACxC,IAAI,CAAC;gBACD,IAAI,CAAC,WAAW,CAAC,qBAAqB,CAClC,SAAS,EACT,gBAAgB,EAChB,UAAU,CACb,CAAA;gBAED,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;oBACjC,IAAI,CAAC,uBAAuB;yBACvB,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC;yBAC1B,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,CAAA;gBAC3B,CAAC;gBAED,MAAM,OAAO,GAAG,IAAI,CAAC,0BAA0B,CAAC,SAAS,CAAC,CAAA;gBAC1D,OAAO;oBACH,MAAM,EAAE,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,UAAU,CAAC,EAAE,CAAE;oBACtD,OAAO;iBACV,CAAA;YACL,CAAC;oBAAS,CAAC;gBACP,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,IAAI,CAAC,CAAA;YACvC,CAAC;QACL,CAAC,CAAC,CAAA;IACN,CAAC;IAEM,gBAAgB,CACnB,YAAoB,EACpB,OAA0B;QAE1B,OAAO,IAAI,CAAC,cAAc,CAAC,GAAG,EAAE;YAC5B,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,YAAY,CAAC,CAAA;YAC7D,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACZ,MAAM,IAAI,KAAK,CACX,eAAe,YAAY,2BAA2B,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,CAC5E,CAAA;YACL,CAAC;YAED,IAAI,OAAO,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;gBACnC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;oBAClD,MAAM,IAAI,KAAK,CACX,wBAAwB,YAAY,uCAAuC,OAAO,CAAC,UAAU,IAAI,CACpG,CAAA;gBACL,CAAC;YACL,CAAC;YAED,MAAM,SAAS,GAAG,IAAI,eAAe,EAA+B,CAAA;YACpE,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,SAAS,CAAC,CAAA;YACxC,IAAI,CAAC;gBACD,MAAM,aAAa,GACf,QAAQ,CAAC,IAAI,KAAK,UAAU;oBACxB,CAAC,CAAC,QAAQ,CAAC,UAAU;oBACrB,CAAC,CAAC,SAAS,CAAA;gBAEnB,MAAM,OAAO,GAAG,IAAI,CAAC,WAAW,CAAC,gBAAgB,CAC7C,YAAY,EACZ,OAAO,CACV,CAAA;gBAED,IACI,OAAO,CAAC,UAAU,KAAK,SAAS;oBAChC,aAAa,KAAK,SAAS;oBAC3B,aAAa,KAAK,OAAO,CAAC,UAAU,EACtC,CAAC;oBACC,IAAI,CAAC,uBAAuB;yBACvB,GAAG,CAAC,aAAa,CAAC;wBACnB,EAAE,MAAM,CAAC,YAAY,CAAC,CAAA;oBAC1B,IAAI,CAAC,uBAAuB;yBACvB,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC;yBACvB,GAAG,CAAC,YAAY,CAAC,CAAA;gBAC1B,CAAC;gBAED,MAAM,SAAS,GAAG,IAAI,CAAC,sBAAsB,CAAC,SAAS,CAAC,CAAA;gBACxD,IAAI,SAAS,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;oBACtC,IAAI,CAAC,SAAS,EAAE,CAAA;oBAChB,IAAI,CAAC,QAAQ,EAAE,EAAE,CAAA;gBACrB,CAAC;gBAED,IAAI,CAAC,mBAAmB,CAAC,SAAS,CAAC,CAAA;gBACnC,OAAO;oBACH,MAAM,EAAE,OAAO;oBACf,OAAO,EAAE,SAAS;iBACrB,CAAA;YACL,CAAC;oBAAS,CAAC;gBACP,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,IAAI,CAAC,CAAA;YACvC,CAAC;QACL,CAAC,CAAC,CAAA;IACN,CAAC;IAEM,gBAAgB,CACnB,YAAoB,EACpB,aAAsB;QAEtB,OAAO,IAAI,CAAC,cAAc,CAAC,GAAG,EAAE;YAC5B,uDAAuD;YACvD,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,YAAY,CAAC,CAAA;YAE7D,MAAM,SAAS,GAAG,IAAI,eAAe,EAA+B,CAAA;YACpE,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,SAAS,CAAC,CAAA;YACxC,IAAI,CAAC;gBACD,IAAI,CAAC,QAAQ,EAAE,CAAC;oBACZ,OAAO;wBACH,MAAM,EAAE,SAAS;wBACjB,OAAO,EAAE,SAAS,CAAC,WAAW,EAAE;qBACnC,CAAA;gBACL,CAAC;gBAED,IAAI,aAAa,EAAE,CAAC;oBAChB,0DAA0D;oBAC1D,qEAAqE;oBACrE,mEAAmE;oBACnE,MAAM,OAAO,GAAG,IAAI,CAAC,cAAc,CAAC,YAAY,CAAC,CAAA;oBAEjD,IAAI,CAAC,WAAW,CAAC,gBAAgB,CAAC,YAAY,EAAE,IAAI,CAAC,CAAA;oBAErD,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;wBACzB,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;4BAC3B,IAAI,CAAC,uBAAuB;iCACvB,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC;gCACrB,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;wBACzB,CAAC;oBACL,CAAC;gBACL,CAAC;qBAAM,CAAC;oBACJ,wDAAwD;oBACxD,kDAAkD;oBAClD,IAAI,QAAQ,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;wBAC/B,IAAI,CAAC,uBAAuB;6BACvB,GAAG,CAAC,QAAQ,CAAC,UAAU,CAAC;4BACzB,EAAE,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAA;oBAC7B,CAAC;oBAED,IAAI,CAAC,WAAW,CAAC,gBAAgB,CAAC,YAAY,EAAE,KAAK,CAAC,CAAA;gBAC1D,CAAC;gBAED,MAAM,OAAO,GAAG,IAAI,CAAC,0BAA0B,CAAC,SAAS,CAAC,CAAA;gBAC1D,OAAO;oBACH,MAAM,EAAE,QAAQ;oBAChB,OAAO;iBACV,CAAA;YACL,CAAC;oBAAS,CAAC;gBACP,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,IAAI,CAAC,CAAA;YACvC,CAAC;QACL,CAAC,CAAC,CAAA;IACN,CAAC;IAEM,gBAAgB,CACnB,UAAmC,EACnC,UAAmB,EACnB,WAAoB;QAEpB,OAAO,IAAI,CAAC,cAAc,CAAC,GAAG,EAAE;YAC5B,IAAI,CAAC,uBAAuB,CACxB,UAAU,CAAC,UAAU,EACrB,UAAU,CAAC,eAAe,CAC7B,CAAA;YACD,IAAI,CAAC,6BAA6B,CAAC,UAAU,CAAC,CAAA;YAE9C,MAAM,SAAS,GAAG,IAAI,eAAe,EAA+B,CAAA;YACpE,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,SAAS,CAAC,CAAA;YACxC,IAAI,CAAC;gBACD,IAAI,CAAC,WAAW,CAAC,gBAAgB,CAC7B,UAAU,EACV,UAAU,EACV,WAAW,CACd,CAAA;gBAED,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;oBACjC,IAAI,CAAC,uBAAuB;yBACvB,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC;yBAC1B,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,CAAA;gBAC3B,CAAC;gBAED,MAAM,OAAO,GAAG,IAAI,CAAC,0BAA0B,CAAC,SAAS,CAAC,CAAA;gBAC1D,OAAO;oBACH,MAAM,EAAE,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,UAAU,CAAC,EAAE,CAAE;oBACtD,OAAO;iBACV,CAAA;YACL,CAAC;oBAAS,CAAC;gBACP,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,IAAI,CAAC,CAAA;YACvC,CAAC;QACL,CAAC,CAAC,CAAA;IACN,CAAC;IAEM,cAAc,CACjB,QAA2C,EAC3C,UAA6C,EAC7C,UAAmB,EACnB,WAAoB;QAEpB,OAAO,IAAI,CAAC,cAAc,CAAC,GAAG,EAAE;YAC5B,IAAI,CAAC,uBAAuB,CACxB,QAAQ,CAAC,UAAU,EACnB,QAAQ,CAAC,eAAe,CAC3B,CAAA;YACD,IAAI,CAAC,uBAAuB,CACxB,UAAU,CAAC,UAAU,EACrB,UAAU,CAAC,eAAe,CAC7B,CAAA;YACD,IAAI,CAAC,6BAA6B,CAAC,UAAU,CAAC,CAAA;YAE9C,MAAM,SAAS,GAAG,IAAI,eAAe,EAA+B,CAAA;YACpE,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,SAAS,CAAC,CAAA;YACxC,IAAI,CAAC;gBACD,IAAI,CAAC,WAAW,CAAC,cAAc,CAC3B,QAAQ,EACR,UAAU,EACV,UAAU,EACV,WAAW,CACd,CAAA;gBAED,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;oBACjC,IAAI,CAAC,uBAAuB;yBACvB,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC;yBAC1B,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,CAAA;gBAC3B,CAAC;gBAED,MAAM,OAAO,GAAG,IAAI,CAAC,0BAA0B,CAAC,SAAS,CAAC,CAAA;gBAC1D,OAAO;oBACH,MAAM,EAAE,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,QAAQ,CAAC,EAAE,CAAE;oBACpD,OAAO;iBACV,CAAA;YACL,CAAC;oBAAS,CAAC;gBACP,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,IAAI,CAAC,CAAA;YACvC,CAAC;QACL,CAAC,CAAC,CAAA;IACN,CAAC;IAED;;;;OAIG;IACI,oBAAoB;QAOvB,OAAO,IAAI,CAAC,cAAc,CAAC,GAAG,EAAE;YAC5B,MAAM,SAAS,GAAG,IAAI,eAAe,EAA+B,CAAA;YACpE,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,SAAS,CAAC,CAAA;YACxC,IAAI,CAAC;gBACD,IAAI,CAAC,WAAW,CAAC,SAAS,EAAE,CAAA;gBAC5B,MAAM,OAAO,GAAG,IAAI,CAAC,0BAA0B,CAAC,SAAS,CAAC,CAAA;gBAC1D,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,CAAA;YACzC,CAAC;oBAAS,CAAC;gBACP,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,IAAI,CAAC,CAAA;YACvC,CAAC;QACL,CAAC,CAAC,CAAA;IACN,CAAC;IAEM,cAAc,CACjB,YAAoB,EACpB,WAA4B;QAE5B,OAAO,IAAI,CAAC,cAAc,CAAC,GAAG,EAAE;YAC5B,MAAM,MAAM,GAAG,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,YAAY,CAAC,CAAA;YAC3D,IAAI,CAAC,MAAM,EAAE,CAAC;gBACV,MAAM,IAAI,KAAK,CACX,eAAe,YAAY,8BAA8B,CAC5D,CAAA;YACL,CAAC;YAED,IAAI,CAAC,uBAAuB,CACxB,MAAM,CAAC,UAAU,EACjB,MAAM,CAAC,eAAe,CACzB,CAAA;YAED,MAAM,SAAS,GAAG,IAAI,eAAe,EAA+B,CAAA;YACpE,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,SAAS,CAAC,CAAA;YACxC,IAAI,CAAC;gBACD,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ;oBAC1B,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,MAAM,CAAC,QAAQ,CAAC;oBACjD,CAAC,CAAC,SAAS,CAAA;gBAEf,2CAA2C;gBAC3C,MAAM,WAAW,GACb,MAAM,EAAE,IAAI,KAAK,UAAU,IAAI,MAAM,CAAC,QAAQ,KAAK,KAAK,CAAA;gBAE5D,uDAAuD;gBACvD,MAAM,WAAW,GACb,MAAM,EAAE,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,QAAQ;oBACzC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,MAAM,CAAC,QAAQ,CAAC;oBACjD,CAAC,CAAC,SAAS,CAAA;gBACnB,MAAM,aAAa,GACf,MAAM,EAAE,IAAI,KAAK,SAAS;oBAC1B,WAAW,EAAE,IAAI,KAAK,UAAU;oBAChC,WAAW,CAAC,QAAQ,KAAK,KAAK,CAAA;gBAElC,IAAI,WAAW,IAAI,aAAa,EAAE,CAAC;oBAC/B,IAAI,aAAa,EAAE,CAAC;wBAChB,uCAAuC;wBACvC,wDAAwD;wBACxD,gDAAgD;wBAChD,IAAI,CAAC,WAAW,CAAC,gBAAgB,CAAC,WAAW,CAAC,EAAE,EAAE,KAAK,CAAC,CAAA;oBAC5D,CAAC;yBAAM,CAAC;wBACJ,0DAA0D;wBAC1D,IAAI,CAAC,WAAW,CAAC,gBAAgB,CAAC,MAAM,CAAC,EAAE,EAAE,KAAK,CAAC,CAAA;oBACvD,CAAC;oBAED,MAAM,OAAO,GAAG,IAAI,CAAC,0BAA0B,CAAC,SAAS,CAAC,CAAA;oBAC1D,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,CAAA;gBACpC,CAAC;qBAAM,CAAC;oBACJ,0DAA0D;oBAC1D,wDAAwD;oBACxD,8CAA8C;oBAC9C,MAAM,YAAY,GACd,MAAM,CAAC,IAAI,KAAK,UAAU,IAAI,MAAM,CAAC,QAAQ,KAAK,KAAK,CAAA;oBAE3D,IAAI,SAAiB,CAAA;oBAErB,IAAI,YAAY,EAAE,CAAC;wBACf,+BAA+B;wBAC/B,MAAM,WAAW,GAAG;4BAChB,GAAG,WAAW;4BACd,EAAE,EAAE,IAAI,CAAC,UAAU,EAAE;4BACrB,UAAU,EAAE,MAAM,CAAC,UAAU;4BAC7B,eAAe,EAAE,MAAM,CAAC,eAAe;4BACvC,SAAS,EAAE,MAAM,CAAC,SAAS;4BAC3B,IAAI,EAAE,SAAS;4BACf,QAAQ,EAAE,MAAM,CAAC,QAAQ;4BACzB,QAAQ,EAAE,MAAM,CAAC,QAAQ;yBACD,CAAA;wBAC5B,IAAI,CAAC,WAAW,CAAC,gBAAgB,CAC7B,WAAW,EACX,YAAY,CACf,CAAA;wBAED,MAAM,OAAO,GAAG;4BACZ,GAAG,WAAW;4BACd,EAAE,EAAE,IAAI,CAAC,UAAU,EAAE;4BACrB,UAAU,EAAE,MAAM,CAAC,UAAU;4BAC7B,eAAe,EAAE,MAAM,CAAC,eAAe;4BACvC,SAAS,EAAE,MAAM,CAAC,SAAS;4BAC3B,IAAI,EAAE,UAAU;4BAChB,QAAQ,EAAE,KAAK;4BACf,QAAQ,EAAE,MAAM,CAAC,QAAQ;4BACzB,QAAQ,EAAE,MAAM,CAAC,QAAQ;yBACD,CAAA;wBAC5B,IAAI,CAAC,WAAW,CAAC,gBAAgB,CAC7B,OAAO,EACP,WAAW,CAAC,EAAE,CACjB,CAAA;wBACD,SAAS,GAAG,OAAO,CAAC,EAAE,CAAA;oBAC1B,CAAC;yBAAM,CAAC;wBACJ,sCAAsC;wBACtC,MAAM,OAAO,GAAG;4BACZ,GAAG,WAAW;4BACd,EAAE,EAAE,IAAI,CAAC,UAAU,EAAE;4BACrB,UAAU,EAAE,MAAM,CAAC,UAAU;4BAC7B,eAAe,EAAE,MAAM,CAAC,eAAe;4BACvC,SAAS,EAAE,MAAM,CAAC,SAAS;4BAC3B,IAAI,EAAE,UAAU;4BAChB,QAAQ,EAAE,KAAK;4BACf,QAAQ,EAAE,MAAM,CAAC,QAAQ;4BACzB,QAAQ,EAAE,MAAM,CAAC,QAAQ;yBACD,CAAA;wBAE5B,IAAI,CAAC,WAAW,CAAC,gBAAgB,CAAC,OAAO,EAAE,YAAY,CAAC,CAAA;wBACxD,SAAS,GAAG,OAAO,CAAC,EAAE,CAAA;oBAC1B,CAAC;oBAED,MAAM,OAAO,GAAG,IAAI,CAAC,0BAA0B,CAAC,SAAS,CAAC,CAAA;oBAC1D,OAAO;wBACH,MAAM,EAAE,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,SAAS,CAAE;wBAClD,OAAO;qBACV,CAAA;gBACL,CAAC;YACL,CAAC;oBAAS,CAAC;gBACP,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,IAAI,CAAC,CAAA;YACvC,CAAC;QACL,CAAC,CAAC,CAAA;IACN,CAAC;IAEM,cAAc,CACjB,YAAoB,EACpB,WAAqC,EACrC,aAAsB,EACtB,aAAsB,EACtB,WAA4B;QAE5B,OAAO,IAAI,CAAC,cAAc,CAAC,GAAG,EAAE;YAC5B,MAAM,MAAM,GAAG,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,YAAY,CAAC,CAAA;YAC3D,IAAI,CAAC,MAAM,EAAE,CAAC;gBACV,MAAM,IAAI,KAAK,CACX,eAAe,YAAY,8BAA8B,CAC5D,CAAA;YACL,CAAC;YACD,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBAC7B,MAAM,IAAI,KAAK,CACX,eAAe,YAAY,2CAA2C,MAAM,CAAC,IAAI,KAAK,CACzF,CAAA;YACL,CAAC;YACD,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,IAAI,MAAM,CAAC,QAAQ,KAAK,KAAK,EAAE,CAAC;gBAC1D,MAAM,IAAI,KAAK,CACX,6DAA6D,CAChE,CAAA;YACL,CAAC;YAED,IAAI,CAAC,uBAAuB,CACxB,MAAM,CAAC,UAAU,EACjB,MAAM,CAAC,eAAe,CACzB,CAAA;YAED,wCAAwC;YACxC,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,IAAI,MAAM,CAAC,QAAQ,KAAK,WAAW,EAAE,CAAC;gBAChE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,CAAA;YAC1C,CAAC;YAED,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,mBAAmB,CAAC,YAAY,CAAC,CAAA;YACnE,MAAM,UAAU,GAAG,QAAQ,CAAC,MAAM,CAAA;YAElC,MAAM,SAAS,GAAG,IAAI,eAAe,EAA+B,CAAA;YACpE,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,SAAS,CAAC,CAAA;YACxC,IAAI,CAAC;gBACD,IAAI,UAAU,IAAI,CAAC,EAAE,CAAC;oBAClB,iEAAiE;oBACjE,6DAA6D;oBAC7D,+DAA+D;oBAC/D,qBAAqB;oBACrB,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ;wBAC1B,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,MAAM,CAAC,QAAQ,CAAC;wBACjD,CAAC,CAAC,SAAS,CAAA;oBACf,IAAI,WAA8B,CAAA;oBAClC,IAAI,UAAU,GAAG,CAAC,EAAE,CAAC;wBACjB,uEAAuE;wBACvE,IAAI,MAAM,EAAE,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;4BAChD,MAAM,WAAW,GAAG,IAAI,CAAC,WAAW,CAAC,aAAa,CAC9C,MAAM,CAAC,QAAQ,CAClB,CAAA;4BACD,IACI,WAAW,EAAE,IAAI,KAAK,UAAU;gCAChC,WAAW,CAAC,QAAQ,KAAK,WAAW,EACtC,CAAC;gCACC,WAAW,GAAG,WAAW,CAAA;4BAC7B,CAAC;wBACL,CAAC;6BAAM,IACH,MAAM,EAAE,IAAI,KAAK,UAAU;4BAC3B,MAAM,CAAC,QAAQ,KAAK,WAAW,EACjC,CAAC;4BACC,WAAW,GAAG,MAAM,CAAA;wBACxB,CAAC;oBACL,CAAC;oBAED,IAAI,WAAW,EAAE,CAAC;wBACd,gBAAgB;wBAChB,uEAAuE;wBACvE,mEAAmE;wBACnE,sDAAsD;wBAEtD,0DAA0D;wBAC1D,MAAM,iBAAiB,GACnB,MAAM,EAAE,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAA;wBAEnD,oCAAoC;wBACpC,MAAM,YAAY,GAAG,iBAAiB;4BAClC,CAAC,CAAC,iBAAiB,CAAC,QAAQ;4BAC5B,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAA;wBAErB,gFAAgF;wBAChF,MAAM,aAAa,GACf,IAAI,CAAC,WAAW,CAAC,mBAAmB,CAAC,WAAW,CAAC,EAAE,CAAC,CAAA;wBAExD,uDAAuD;wBACvD,MAAM,SAAS,GAAG,aAAa,CAAC,SAAS,CACrC,CAAC,CAAC,EAAE,EAAE,CACF,CAAC,CAAC,EAAE,KAAK,CAAC,iBAAiB,EAAE,EAAE,IAAI,YAAY,CAAC,CACvD,CAAA;wBACD,MAAM,WAAW,GAAG,aAAa,CAAC,SAAS,GAAG,CAAC,CAAC,CAAA;wBAChD,MAAM,YAAY,GAAG,WAAW;4BAC5B,CAAC,CAAC,WAAW,CAAC,QAAQ;4BACtB,CAAC,CAAC,YAAY,CAAA;wBAElB,sBAAsB;wBACtB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;4BACvC,MAAM,aAAa,GACf,CAAC,KAAK,CAAC;gCACH,CAAC,CAAC,YAAY;gCACd,CAAC,CAAC,QAAQ,CACJ,CAAC,KAAK,CAAC;oCACH,CAAC,CAAC,YAAY;oCACd,CAAC,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,EAC9B,YAAY,CACf,CAAA;4BACX,IAAI,CAAC,WAAW,CAAC,kBAAkB,CAC/B,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,EACd,WAAW,CAAC,EAAE,EACd,aAAa,CAChB,CAAA;wBACL,CAAC;wBAED,uDAAuD;wBACvD,IAAI,CAAC,WAAW,CAAC,gBAAgB,CAAC,YAAY,CAAC,CAAA;wBAE/C,gEAAgE;wBAChE,IAAI,iBAAiB,EAAE,CAAC;4BACpB,IAAI,CAAC,WAAW,CAAC,gBAAgB,CAC7B,iBAAiB,CAAC,EAAE,CACvB,CAAA;wBACL,CAAC;wBAED,MAAM,OAAO,GACT,IAAI,CAAC,0BAA0B,CAAC,SAAS,CAAC,CAAA;wBAC9C,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,CAAA;oBACpC,CAAC;yBAAM,CAAC;wBACJ,wBAAwB;wBACxB,IAAI,CAAC,WAAW,CAAC,kBAAkB,CAC/B,YAAY,EACZ,WAAW,CACd,CAAA;wBAED,MAAM,OAAO,GACT,IAAI,CAAC,0BAA0B,CAAC,SAAS,CAAC,CAAA;wBAC9C,OAAO;4BACH,MAAM,EAAE,IAAI,CAAC,WAAW,CAAC,aAAa,CAClC,YAAY,CACd;4BACF,OAAO;yBACV,CAAA;oBACL,CAAC;gBACL,CAAC;qBAAM,CAAC;oBACJ,8BAA8B;oBAC9B,IAAI,CAAC,aAAa,IAAI,CAAC,aAAa,EAAE,CAAC;wBACnC,MAAM,IAAI,KAAK,CACX,aAAa,YAAY,SAAS,UAAU,qEAAqE,CACpH,CAAA;oBACL,CAAC;oBAED,0DAA0D;oBAC1D,MAAM,WAAW,GACb,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,aAAa,CAAC,CAAA;oBACjD,MAAM,WAAW,GACb,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,aAAa,CAAC,CAAA;oBACjD,IAAI,CAAC,WAAW,IAAI,WAAW,CAAC,QAAQ,KAAK,YAAY,EAAE,CAAC;wBACxD,MAAM,IAAI,KAAK,CACX,eAAe,aAAa,iCAAiC,YAAY,IAAI,CAChF,CAAA;oBACL,CAAC;oBACD,IAAI,CAAC,WAAW,IAAI,WAAW,CAAC,QAAQ,KAAK,YAAY,EAAE,CAAC;wBACxD,MAAM,IAAI,KAAK,CACX,eAAe,aAAa,iCAAiC,YAAY,IAAI,CAChF,CAAA;oBACL,CAAC;oBAED,sEAAsE;oBACtE,MAAM,eAAe,GAAG,IAAI,CAAC,GAAG,CAC5B,WAAW,CAAC,QAAQ,EACpB,WAAW,CAAC,QAAQ,CACvB,CAAA;oBAED,+DAA+D;oBAC/D,6DAA6D;oBAC7D,2DAA2D;oBAC3D,MAAM,SAAS,GAAG,IAAI,CAAC,UAAU,EAAE,CAAA;oBACnC,MAAM,OAAO,GAAG,IAAI,CAAC,UAAU,EAAE,CAAA;oBAEjC,6DAA6D;oBAC7D,6DAA6D;oBAC7D,8DAA8D;oBAC9D,iBAAiB;oBACjB,MAAM,UAAU,GACZ,WAAW,CAAC,QAAQ,IAAI,WAAW,CAAC,QAAQ;wBACxC,CAAC,CAAC,WAAW;wBACb,CAAC,CAAC,WAAW,CAAA;oBACrB,MAAM,WAAW,GACb,WAAW,CAAC,QAAQ,IAAI,WAAW,CAAC,QAAQ;wBACxC,CAAC,CAAC,WAAW;wBACb,CAAC,CAAC,WAAW,CAAA;oBAErB,6DAA6D;oBAC7D,qCAAqC;oBACrC,IAAI,CAAC,WAAW,CAAC,kBAAkB,CAC/B,UAAU,CAAC,EAAE,EACb,IAAI,EACJ,UAAU,CAAC,QAAQ,CACtB,CAAA;oBACD,IAAI,CAAC,WAAW,CAAC,kBAAkB,CAC/B,WAAW,CAAC,EAAE,EACd,IAAI,EACJ,WAAW,CAAC,QAAQ,CACvB,CAAA;oBAED,mDAAmD;oBACnD,MAAM,WAAW,GAAG;wBAChB,GAAG,WAAW;wBACd,EAAE,EAAE,SAAS;wBACb,UAAU,EAAE,MAAM,CAAC,UAAU;wBAC7B,eAAe,EAAE,MAAM,CAAC,eAAe;wBACvC,SAAS,EAAE,MAAM,CAAC,SAAS;wBAC3B,IAAI,EAAE,SAAS;wBACf,QAAQ,EAAE,YAAY;wBACtB,QAAQ,EAAE,eAAe;qBACD,CAAA;oBAC5B,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,WAAW,CAAC,CAAA;oBAE3C,6CAA6C;oBAC7C,MAAM,SAAS,GAAG;wBACd,GAAG,WAAW;wBACd,EAAE,EAAE,OAAO;wBACX,UAAU,EAAE,MAAM,CAAC,UAAU;wBAC7B,eAAe,EAAE,MAAM,CAAC,eAAe;wBACvC,SAAS,EAAE,MAAM,CAAC,SAAS;wBAC3B,IAAI,EAAE,UAAU;wBAChB,QAAQ,EAAE,WAAW;wBACrB,QAAQ,EAAE,SAAS;wBACnB,QAAQ,EAAE,gBAAgB;qBACF,CAAA;oBAC5B,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,SAAS,CAAC,CAAA;oBAEzC,uDAAuD;oBACvD,IAAI,CAAC,WAAW,CAAC,kBAAkB,CAC/B,UAAU,CAAC,EAAE,EACb,OAAO,EACP,gBAAgB,CACnB,CAAA;oBACD,IAAI,CAAC,WAAW,CAAC,kBAAkB,CAC/B,WAAW,CAAC,EAAE,EACd,OAAO,EACP,QAAQ,CAAC,gBAAgB,EAAE,YAAY,CAAC,CAC3C,CAAA;oBAED,MAAM,OAAO,GAAG,IAAI,CAAC,0BAA0B,CAAC,SAAS,CAAC,CAAA;oBAC1D,OAAO;wBACH,MAAM,EAAE,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,OAAO,CAAE;wBAChD,OAAO;qBACV,CAAA;gBACL,CAAC;YACL,CAAC;oBAAS,CAAC;gBACP,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,IAAI,CAAC,CAAA;YACvC,CAAC;QACL,CAAC,CAAC,CAAA;IACN,CAAC;IAEM,aAAa,CAAC,EAAU;QAC3B,OAAO,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,EAAE,CAAC,CAAA;IAC7C,CAAC;IAEM,KAAK;QACR,OAAO,IAAI,CAAC,OAAO,CAAC,EAAE,CAAA;IAC1B,CAAC;IAEM,SAAS;QACZ,MAAM,EACF,EAAE,EAAE,GAAG,EACP,UAAU,EAAE,WAAW,EACvB,eAAe,EAAE,gBAAgB,EACjC,QAAQ,EAAE,SAAS,EACnB,kBAAkB,EAAE,mBAAmB,EACvC,gBAAgB,EAAE,iBAAiB,EACnC,GAAG,MAAM,EACZ,GAAG,IAAI,CAAC,OAAkC,CAAA;QAC3C,OAAO,EAAE,GAAG,MAAM,EAAE,CAAA;IACxB,CAAC;IAEM,SAAS,CACZ,MAA+B;QAQ/B,OAAO,IAAI,CAAC,cAAc,CAAC,GAAG,EAAE;YAC5B,6CAA6C;YAC7C,MAAM,EACF,EAAE,EACF,UAAU,EACV,eAAe,EACf,QAAQ,EACR,kBAAkB,EAClB,gBAAgB,GACnB,GAAG,IAAI,CAAC,OAAkC,CAAA;YAC3C,IAAI,CAAC,OAAO,GAAG;gBACX,GAAG,MAAM;gBACT,EAAE;gBACF,UAAU;gBACV,eAAe;gBACf,GAAG,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC/C,GAAG,CAAC,kBAAkB,KAAK,SAAS;oBAChC,CAAC,CAAC,EAAE,kBAAkB,EAAE;oBACxB,CAAC,CAAC,EAAE,CAAC;gBACT,GAAG,CAAC,gBAAgB,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,gBAAgB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aACnC,CAAA;YAChC,IAAI,CAAC,SAAS,EAAE,CAAA;YAChB,IAAI,CAAC,QAAQ,EAAE,EAAE,CAAA;YACjB,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,SAAS,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAA;QACpD,CAAC,CAAC,CAAA;IACN,CAAC;IAEM,mBAAmB;QACtB,OAAO,IAAI,CAAC,gBAAgB,CAAA;IAChC,CAAC;IAEM,iBAAiB;QACpB,IAAI,IAAI,CAAC,gBAAgB,KAAK,SAAS,EAAE,CAAC;YACtC,OAAO,SAAS,CAAA;QACpB,CAAC;QACD,OAAO,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAA;IAChE,CAAC;IAEM,YAAY;QACf,OAAO,cAAc,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC,CAAA;IACnD,CAAC;IAEM,cAAc;QACjB,OAAO,cAAc,CAAC,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,CAAC,CAAA;IACrD,CAAC;IAEM,mBAAmB,CAAC,QAAuB;QAC9C,OAAO,IAAI,CAAC,WAAW,CAAC,mBAAmB,CAAC,QAAQ,CAAC,CAAA;IACzD,CAAC;IAEM,WAAW;QACd,MAAM,IAAI,GAAG,IAAI,CAAC,iBAAiB,EAAE,CAAA;QACrC,OAAO,CACH,IAAI,EAAE,IAAI,KAAK,UAAU;YACzB,CAAC,IAAI,CAAC,QAAQ,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,CAAC,CAC3D,CAAA;IACL,CAAC;IAEM,YAAY;QACf,OAAO,CAAC,IAAI,CAAC,WAAW,EAAE,CAAA;IAC9B,CAAC;IAEM,oBAAoB;QACvB,MAAM,MAAM,GAA2B,EAAE,CAAA;QACzC,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAA;QAExD,IAAI,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC1C,MAAM,CAAC,IAAI,CACP,cAAc,CAAC;gBACX,IAAI,EAAE,eAAe;gBACrB,OAAO,EAAE,YAAY,IAAI,CAAC,OAAO,CAAC,EAAE,mCAAmC;gBACvE,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE;aAC7B,CAAC,CACL,CAAA;YACD,OAAO,oBAAoB,CAAC,MAAM,CAAC,CAAA;QACvC,CAAC;QAED,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACrB,MAAM,CAAC,IAAI,CACP,cAAc,CAAC;gBACX,IAAI,EAAE,sBAAsB;gBAC5B,OAAO,EAAE,YAAY,IAAI,CAAC,OAAO,CAAC,EAAE,2CAA2C;gBAC/E,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE;aAC7B,CAAC,CACL,CAAA;QACL,CAAC;QAED,IAAI,IAAI,CAAC,gBAAgB,KAAK,SAAS,EAAE,CAAC;YACtC,MAAM,CAAC,IAAI,CACP,cAAc,CAAC;gBACX,IAAI,EAAE,sBAAsB;gBAC5B,OAAO,EAAE,YAAY,IAAI,CAAC,OAAO,CAAC,EAAE,uCAAuC;gBAC3E,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE;aAC7B,CAAC,CACL,CAAA;QACL,CAAC;aAAM,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,IAAI,CAAC,gBAAgB,CAAC,EAAE,CAAC;YAChE,MAAM,CAAC,IAAI,CACP,cAAc,CAAC;gBACX,IAAI,EAAE,uBAAuB;gBAC7B,OAAO,EAAE,YAAY,IAAI,CAAC,OAAO,CAAC,EAAE,uBAAuB,IAAI,CAAC,gBAAgB,mBAAmB;gBACnG,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE;gBAC1B,YAAY,EAAE,IAAI,CAAC,gBAAgB;aACtC,CAAC,CACL,CAAA;QACL,CAAC;aAAM,IAAI,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC,gBAAgB,EAAE,CAAC;YAC3D,MAAM,CAAC,IAAI,CACP,cAAc,CAAC;gBACX,IAAI,EAAE,uBAAuB;gBAC7B,OAAO,EAAE,YAAY,IAAI,CAAC,OAAO,CAAC,EAAE,uBAAuB,IAAI,CAAC,gBAAgB,iCAAiC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI;gBAChI,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE;gBAC1B,YAAY,EAAE,IAAI,CAAC,gBAAgB;aACtC,CAAC,CACL,CAAA;QACL,CAAC;QAED,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,EAAE,CAAC;YAC5C,IACI,IAAI,CAAC,IAAI,KAAK,UAAU;gBACxB,CAAC,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,EAC9C,CAAC;gBACC,MAAM,CAAC,IAAI,CACP,cAAc,CAAC;oBACX,IAAI,EAAE,0BAA0B;oBAChC,OAAO,EAAE,eAAe,IAAI,CAAC,EAAE,qCAAqC,IAAI,CAAC,UAAU,IAAI;oBACvF,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE;oBAC1B,YAAY,EAAE,IAAI,CAAC,EAAE;oBACrB,UAAU,EAAE,IAAI,CAAC,UAAU;iBAC9B,CAAC,CACL,CAAA;YACL,CAAC;YAED,IACI,IAAI,CAAC,IAAI,KAAK,UAAU;gBACxB,IAAI,CAAC,sBAAsB,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,EAChD,CAAC;gBACC,MAAM,CAAC,IAAI,CAAC;oBACR,IAAI,EAAE,0BAA0B;oBAChC,QAAQ,EAAE,SAAS;oBACnB,OAAO,EAAE,aAAa,IAAI,CAAC,UAAU,iDAAiD;oBACtF,YAAY,EAAE,IAAI,CAAC,EAAE;iBACxB,CAAC,CAAA;YACN,CAAC;YAED,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBACtD,SAAQ;YACZ,CAAC;YAED,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;YAE9D,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBAC1B,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBACxB,MAAM,CAAC,IAAI,CACP,cAAc,CAAC;wBACX,IAAI,EAAE,0BAA0B;wBAChC,OAAO,EAAE,uBAAuB,IAAI,CAAC,EAAE,sCAAsC,QAAQ,CAAC,MAAM,GAAG;wBAC/F,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE;wBAC1B,YAAY,EAAE,IAAI,CAAC,EAAE;qBACxB,CAAC,CACL,CAAA;gBACL,CAAC;gBACD,SAAQ;YACZ,CAAC;YAED,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACnD,MAAM,CAAC,IAAI,CACP,cAAc,CAAC;oBACX,IAAI,EAAE,0BAA0B;oBAChC,OAAO,EAAE,aAAa,IAAI,CAAC,EAAE,4CAA4C,QAAQ,CAAC,MAAM,GAAG;oBAC3F,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE;oBAC1B,YAAY,EAAE,IAAI,CAAC,EAAE;iBACxB,CAAC,CACL,CAAA;YACL,CAAC;YAED,IACI,CAAC,IAAI,CAAC,QAAQ,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,CAAC;gBACxD,QAAQ,CAAC,MAAM,KAAK,CAAC,EACvB,CAAC;gBACC,MAAM,CAAC,IAAI,CACP,cAAc,CAAC;oBACX,IAAI,EAAE,0BAA0B;oBAChC,OAAO,EAAE,aAAa,IAAI,CAAC,EAAE,MAAM,IAAI,CAAC,QAAQ,yCAAyC,QAAQ,CAAC,MAAM,GAAG;oBAC3G,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE;oBAC1B,YAAY,EAAE,IAAI,CAAC,EAAE;iBACxB,CAAC,CACL,CAAA;YACL,CAAC;YAED,IACI,CAAC,IAAI,CAAC,QAAQ,KAAK,KAAK,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,CAAC;gBACnD,QAAQ,CAAC,MAAM,GAAG,CAAC,EACrB,CAAC;gBACC,MAAM,CAAC,IAAI,CACP,cAAc,CAAC;oBACX,IAAI,EAAE,0BAA0B;oBAChC,OAAO,EAAE,aAAa,IAAI,CAAC,EAAE,MAAM,IAAI,CAAC,QAAQ,0CAA0C,QAAQ,CAAC,MAAM,GAAG;oBAC5G,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE;oBAC1B,YAAY,EAAE,IAAI,CAAC,EAAE;iBACxB,CAAC,CACL,CAAA;YACL,CAAC;YAED,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,EAAE,CAAC;gBACzD,MAAM,cAAc,GAAG,IAAI,GAAG,CAC1B,QAAQ,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAC1C,CAAA;gBACD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,cAAc,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;oBACrD,MAAM,CAAC,IAAI,CACP,cAAc,CAAC;wBACX,IAAI,EAAE,+BAA+B;wBACrC,OAAO,EAAE,aAAa,IAAI,CAAC,EAAE,MAAM,IAAI,CAAC,QAAQ,yDAAyD;wBACzG,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE;wBAC1B,YAAY,EAAE,IAAI,CAAC,EAAE;qBACxB,CAAC,CACL,CAAA;gBACL,CAAC;YACL,CAAC;QACL,CAAC;QAED,OAAO,oBAAoB,CAAC,MAAM,CAAC,CAAA;IACvC,CAAC;IAEM,QAAQ,CACX,UAAqC,EACrC,OAIC;QAED,MAAM,UAAU,GAAG,IAAI,CAAC,oBAAoB,EAAE,CAAA;QAC9C,IAAI,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC;YACjB,MAAM,IAAI,KAAK,CACX,YAAY,IAAI,CAAC,OAAO,CAAC,EAAE,uBAAuB,UAAU,CAAC,MAAM;iBAC9D,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC;iBAC1B,IAAI,CAAC,IAAI,CAAC,EAAE,CACpB,CAAA;QACL,CAAC;QAED,MAAM,gBAAgB,GAAG,IAAI,CAAC,gBAAiB,CAAA;QAC/C,MAAM,qBAAqB,GAAG,YAAY,CACtC,IAAI,CAAC,WAAW;aACX,OAAO,EAAE;aACT,MAAM,CACH,CACI,IAAI,EAIN,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CAChC;aACA,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CACtC,CAAA;QAED,IAAI,OAAO,EAAE,iBAAiB,IAAI,OAAO,EAAE,oBAAoB,EAAE,CAAC;YAC9D,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,qBAAqB,CAAC,CAAA;YACvD,MAAM,WAAW,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,MAAM,CACxD,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC,UAAU,CAAC,CACpD,CAAA;YACD,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACzB,MAAM,IAAI,KAAK,CACX,yDAAyD,IAAI,CAAC,OAAO,CAAC,EAAE,MAAM,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACzG,CAAA;YACL,CAAC;QACL,CAAC;QAED,MAAM,gBAAgB,GAAwC,EAAE,CAAA;QAChE,MAAM,kBAAkB,GAAG,CACvB,YAAoB,EACD,EAAE;YACrB,MAAM,UAAU,GAAG,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,YAAY,CAAC,CAAA;YAC/D,IAAI,CAAC,UAAU,EAAE,CAAC;gBACd,MAAM,IAAI,KAAK,CAAC,eAAe,YAAY,kBAAkB,CAAC,CAAA;YAClE,CAAC;YAED,MAAM,aAAa,GAAG,UAAU,CAAC,mBAAmB,CAAC,UAAU,CAAC,EAAE,CAAC,CAAA;YACnE,IAAI,aAAa,KAAK,UAAU,EAAE,CAAC;gBAC/B,gBAAgB,CAAC,UAAU,CAAC,EAAE,CAAC,GAAG,KAAK,CAAA;gBACvC,OAAO,KAAK,CAAA;YAChB,CAAC;YAED,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBACjC,IAAI,KAA0B,CAAA;gBAC9B,IAAI,OAAO,EAAE,QAAQ,EAAE,CAAC;oBACpB,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,WAAW,CACvC,UAAU,CAAC,UAAU,CACxB,CAAA;oBACD,IACI,QAAQ;wBACR,cAAc,CAAC,QAAQ,CAAC;wBACxB,CAAC,iBAAiB,CAAC,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,EAAY,CAAC,EAC1D,CAAC;wBACC,KAAK,GAAG,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,UAAU,CAAC,CAAA;oBACnD,CAAC;yBAAM,CAAC;wBACJ,KAAK;4BACD,UAAU,CAAC,SAAS,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,IAAI,CAAA;oBAC3D,CAAC;gBACL,CAAC;qBAAM,CAAC;oBACJ,KAAK,GAAG,UAAU,CAAC,SAAS,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,IAAI,CAAA;gBAC/D,CAAC;gBACD,gBAAgB,CAAC,UAAU,CAAC,EAAE,CAAC,GAAG,KAAK,CAAA;gBACvC,OAAO,KAAK,CAAA;YAChB,CAAC;YAED,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,mBAAmB,CAAC,UAAU,CAAC,EAAE,CAAC,CAAA;YACpE,IAAI,KAA0B,CAAA;YAE9B,IAAI,UAAU,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBAChC,KAAK,GAAG,kBAAkB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;gBAC1C,gBAAgB,CAAC,UAAU,CAAC,EAAE,CAAC,GAAG,KAAK,CAAA;gBACvC,OAAO,KAAK,CAAA;YAChB,CAAC;YAED,QAAQ,UAAU,CAAC,QAAQ,EAAE,CAAC;gBAC1B,KAAK,KAAK;oBACN,KAAK,GAAG,SAAS,CAAC,kBAAkB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;oBACrD,MAAK;gBACT,KAAK,KAAK;oBACN,KAAK,GAAG,QAAQ,CAAC,MAAM,CACnB,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CACX,SAAS,CAAC,GAAG,EAAE,kBAAkB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,EAChD,IAAI,CACP,CAAA;oBACD,MAAK;gBACT,KAAK,IAAI;oBACL,KAAK,GAAG,QAAQ,CAAC,MAAM,CACnB,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CACX,QAAQ,CAAC,GAAG,EAAE,kBAAkB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,EAC/C,KAAK,CACR,CAAA;oBACD,MAAK;gBACT,KAAK,SAAS,CAAC,CAAC,CAAC;oBACb,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAA;oBACxB,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAA;oBACzB,KAAK,GAAG,aAAa,CACjB,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC,EAC3B,kBAAkB,CAAC,KAAK,CAAC,EAAE,CAAC,CAC/B,CAAA;oBACD,MAAK;gBACT,CAAC;gBACD,KAAK,KAAK,CAAC,CAAC,CAAC;oBACT,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAA;oBACxB,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAA;oBACzB,KAAK,GAAG,SAAS,CACb,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC,EAC3B,kBAAkB,CAAC,KAAK,CAAC,EAAE,CAAC,CAC/B,CAAA;oBACD,MAAK;gBACT,CAAC;YACL,CAAC;YAED,gBAAgB,CAAC,UAAU,CAAC,EAAE,CAAC,GAAG,KAAK,CAAA;YACvC,OAAO,KAAK,CAAA;QAChB,CAAC,CAAA;QAED,MAAM,SAAS,GAAG,kBAAkB,CAAC,gBAAgB,CAAC,CAAA;QACtD,MAAM,cAAc,GAAwC,EAAE,CAAA;QAC9D,KAAK,MAAM,UAAU,IAAI,qBAAqB,EAAE,CAAC;YAC7C,IAAI,OAAO,EAAE,QAAQ,EAAE,CAAC;gBACpB,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,UAAU,CAAC,CAAA;gBACvD,IAAI,QAAQ,IAAI,cAAc,CAAC,QAAQ,CAAC,EAAE,CAAC;oBACvC,cAAc,CAAC,UAAU,CAAC,GAAG,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAA;oBACzD,SAAQ;gBACZ,CAAC;YACL,CAAC;YACD,cAAc,CAAC,UAAU,CAAC;gBACtB,UAAU,CAAC,SAAS,CAAC,UAAU,CAAC,IAAI,IAAI,CAAA;QAChD,CAAC;QAED,IAAI,mBAAgE,CAAA;QACpE,IACI,IAAI,CAAC,WAAW,EAAE;YAClB,UAAU,CAAC,mBAAmB,CAAC,gBAAgB,CAAC,KAAK,UAAU,EACjE,CAAC;YACC,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,gBAAgB,CAAC,CAAA;YAC7D,IAAI,IAAI,EAAE,IAAI,KAAK,UAAU,EAAE,CAAC;gBAC5B,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;gBAC9D,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAA;gBACxB,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAA;gBACzB,IAAI,IAAI,IAAI,KAAK,EAAE,CAAC;oBAChB,MAAM,SAAS,GAAG,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;oBAC3C,MAAM,UAAU,GAAG,gBAAgB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;oBAC7C,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;wBAC9B,mBAAmB,GAAG;4BAClB,IAAI,EAAE,SAAS;4BACf,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE;4BAC1B,gBAAgB;4BAChB,SAAS;4BACT,UAAU;4BACV,SAAS;4BACT,cAAc,EAAE,SAAS;4BACzB,cAAc,EAAE,UAAU;4BAC1B,eAAe,EAAE,SAAS,CAAC,SAAS,CAAC;4BACrC,KAAK,EAAE,SAAS;4BAChB,YAAY,EAAE,SAAS,CAAC,SAAS,EAAE,UAAU,CAAC;yBACjD,CAAA;oBACL,CAAC;yBAAM,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,EAAE,CAAC;wBACjC,MAAM,WAAW,GAAG,uBAAuB,CACvC,SAAS,EACT,UAAU,CACb,CAAA;wBACD,MAAM,WAAW,GAAG,uBAAuB,CACvC,UAAU,EACV,SAAS,CACZ,CAAA;wBACD,mBAAmB,GAAG;4BAClB,IAAI,EAAE,KAAK;4BACX,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE;4BAC1B,gBAAgB;4BAChB,SAAS;4BACT,UAAU;4BACV,SAAS;4BACT,WAAW;4BACX,WAAW;4BACX,aAAa,EAAE,SAAS,CAAC,SAAS,EAAE,UAAU,CAAC;4BAC/C,cAAc,EAAE,SAAS,CACrB,SAAS,CAAC,SAAS,CAAC,EACpB,SAAS,CAAC,UAAU,CAAC,CACxB;yBACJ,CAAA;oBACL,CAAC;gBACL,CAAC;YACL,CAAC;QACL,CAAC;QAED,OAAO;YACH,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE;YAC1B,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,YAAY;YAC5D,gBAAgB;YAChB,SAAS;YACT,gBAAgB;YAChB,cAAc;YACd,mBAAmB;SACtB,CAAA;IACL,CAAC;IAEM,eAAe;QAClB,IAAI,IAAI,CAAC,gBAAgB,KAAK,SAAS,EAAE,CAAC;YACtC,OAAO,EAAE,CAAA;QACb,CAAC;QACD,OAAO,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAA;IACvD,CAAC;IAEM,wBAAwB;QAC3B,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAA;QAC7B,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,EAAE,CAAC;YAC5C,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBAC3B,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;YAC5B,CAAC;QACL,CAAC;QACD,OAAO,GAAG,CAAA;IACd,CAAC;IAEM,aAAa;QAChB,IAAI,CAAC,cAAc,EAAE,CAAA;QACrB,OAAO;YACH,GAAG,IAAI,CAAC,OAAO;YACf,QAAQ,EAAE,IAAI,CAAC,kBAAmB;YAClC,kBAAkB,EAAE,IAAI,CAAC,wBAAyB;YAClD,gBAAgB,EAAE,IAAI,CAAC,sBAAuB;SACrC,CAAA;IACjB,CAAC;IAEM,QAAQ;QACX,IAAI,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,kBAAkB,KAAK,SAAS,EAAE,CAAC;YAC9D,IAAI,CAAC,cAAc,EAAE,CAAA;QACzB,CAAC;QACD,OAAO,IAAI,CAAC,kBAAmB,CAAA;IACnC,CAAC;IAEM,kBAAkB;QACrB,IAAI,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,wBAAwB,KAAK,SAAS,EAAE,CAAC;YACpE,IAAI,CAAC,cAAc,EAAE,CAAA;QACzB,CAAC;QACD,OAAO,IAAI,CAAC,wBAAyB,CAAA;IACzC,CAAC;IAEM,gBAAgB;QACnB,IAAI,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,sBAAsB,KAAK,SAAS,EAAE,CAAC;YAClE,IAAI,CAAC,cAAc,EAAE,CAAA;QACzB,CAAC;QACD,OAAO,IAAI,CAAC,sBAAuB,CAAA;IACvC,CAAC;IAEM,qBAAqB,CAAC,KAAoB;QAC7C,OAAO,IAAI,CAAC,kBAAkB,EAAE,CAAA;IACpC,CAAC;IAEM,cAAc;QACjB,IAAI,CAAC,WAAW,CAAC,wBAAwB,EAAE,CAAA;QAE3C,MAAM,aAAa,GACf,IAAI,CAAC,cAAc,EAAE,aAAa;YAClC,uBAAuB,CAAC,aAAc,CAAA;QAC1C,IAAI,CAAC,kBAAkB,GAAG,cAAc,CACpC,IAAI,CAAC,OAA6C,EAClD,aAAa,CAChB,CAAA;QAED,MAAM,MAAM,GAAG,IAAI,CAAC,gBAAgB,CAAA;QACpC,IAAI,MAAM,EAAE,CAAC;YACT,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,MAAM,CAAC,CAAA;YACvD,IAAI,CAAC,wBAAwB,GAAG,QAAQ;gBACpC,CAAC,CAAC,QAAQ,CAAC,gBAAgB;gBAC3B,CAAC,CAAC,IAAI,CAAA;QACd,CAAC;aAAM,CAAC;YACJ,IAAI,CAAC,wBAAwB,GAAG,IAAI,CAAA;QACxC,CAAC;QAED,IAAI,CAAC,sBAAsB;YACvB,IAAI,CAAC,wBAAwB,KAAK,IAAI;gBAClC,CAAC,CAAC,IAAI,CAAC,kBAAkB;gBACzB,CAAC,CAAC,WAAW,CACP,IAAI,CAAC,kBAAkB,GAAG,IAAI,CAAC,wBAAwB,CAC1D,CAAA;QAEX,IAAI,CAAC,aAAa,GAAG,KAAK,CAAA;IAC9B,CAAC;IAEM,QAAQ;QACX,MAAM,UAAU,GAA0B,EAAE,CAAA;QAC5C,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,EAAE,CAAA;QAEjC,sEAAsE;QACtE,MAAM,WAAW,GAAG,IAAI,CAAC,aAAa,EAAE,CAAA;QACxC,IACI,CAAC,KAAK,CAAC,KAAK,CACR,iBAAiB,EACjB,WAAsC,CACzC,EACH,CAAC;YACC,UAAU,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,sBAAsB;gBAC5B,OAAO,EAAE,YAAY,SAAS,0CAA0C;gBACxE,UAAU,EAAE,SAAS;gBACrB,QAAQ,EAAE,SAAS;gBACnB,SAAS;aACZ,CAAC,CAAA;QACN,CAAC;QAED,kEAAkE;QAClE,MAAM,UAAU,GAAG,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,CAAA;QAC9C,KAAK,MAAM,CAAC,IAAI,UAAU,CAAC,UAAU,EAAE,CAAC;YACpC,UAAU,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,EAAE,SAAS,EAAE,CAAC,CAAA;QACxC,CAAC;QAED,iCAAiC;QACjC,IAAI,IAAI,CAAC,gBAAgB,KAAK,SAAS,EAAE,CAAC;YACtC,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,aAAa,CAC3C,IAAI,CAAC,gBAAgB,CACxB,CAAA;YACD,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACZ,UAAU,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,+BAA+B;oBACrC,OAAO,EAAE,YAAY,SAAS,uBAAuB,IAAI,CAAC,gBAAgB,uCAAuC;oBACjH,UAAU,EAAE,SAAS;oBACrB,QAAQ,EAAE,SAAS;oBACnB,SAAS;iBACZ,CAAC,CAAA;YACN,CAAC;iBAAM,IAAI,QAAQ,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;gBACpC,UAAU,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,+BAA+B;oBACrC,OAAO,EAAE,YAAY,SAAS,uBAAuB,IAAI,CAAC,gBAAgB,4BAA4B,QAAQ,CAAC,QAAQ,IAAI;oBAC3H,UAAU,EAAE,SAAS;oBACrB,QAAQ,EAAE,SAAS;oBACnB,SAAS;iBACZ,CAAC,CAAA;YACN,CAAC;QACL,CAAC;QAED,8DAA8D;QAC9D,uEAAuE;QACvE,IAAI,IAAI,CAAC,mBAAmB,EAAE,CAAC;YAC3B,MAAM,WAAW,GAAG,IAAI,CAAC,mBAAmB,EAAE,CAAA;YAC9C,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,EAAE,CAAC;gBAC5C,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;oBAC3B,MAAM,OAAO,GACT,IAAuD,CAAA;oBAC3D,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;wBACvC,UAAU,CAAC,IAAI,CAAC;4BACZ,IAAI,EAAE,8BAA8B;4BACpC,OAAO,EAAE,eAAe,IAAI,CAAC,EAAE,iBAAiB,SAAS,uCAAuC,OAAO,CAAC,UAAU,IAAI;4BACtH,UAAU,EAAE,YAAY;4BACxB,QAAQ,EAAE,IAAI,CAAC,EAAE;4BACjB,SAAS;yBACZ,CAAC,CAAA;oBACN,CAAC;gBACL,CAAC;YACL,CAAC;QACL,CAAC;QAED,OAAO;YACH,EAAE,EAAE,UAAU,CAAC,MAAM,KAAK,CAAC;YAC3B,UAAU;SACb,CAAA;IACL,CAAC;IAED,4EAA4E;IAC5E,kBAAkB;IAClB,4EAA4E;IAE5E;;;;OAIG;IACI,eAAe,CAAC,WAAsC;QACzD,IAAI,CAAC,WAAW,CAAC,eAAe,CAAC,WAAW,CAAC,CAAA;QAE7C,sDAAsD;QACtD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,EAAE,CAAC;YAC5C,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;gBACzB,IAAI,CAAC,gBAAgB,GAAG,IAAI,CAAC,EAAE,CAAA;YACnC,CAAC;YACD,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBAC3B,IAAI,CAAC,uBAAuB,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;YAClE,CAAC;YACD,IAAI,IAAI,CAAC,eAAe,EAAE,CAAC;gBACvB,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;YACtD,CAAC;QACL,CAAC;QACD,IAAI,CAAC,SAAS,EAAE,CAAA;IACpB,CAAC;IAEM,SAAS;QACZ,IAAI,CAAC,aAAa,GAAG,IAAI,CAAA;IAC7B,CAAC;IAED;;;OAGG;IACK,oBAAoB;QACxB,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAA;QACxD,IAAI,CAAC,gBAAgB,GAAG,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAA;IACxC,CAAC;IAEO,cAAc,CAAC,MAAc;QACjC,MAAM,MAAM,GAAY,EAAE,CAAA;QAC1B,MAAM,KAAK,GAAG,CAAC,MAAM,CAAC,CAAA;QACtB,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACtB,MAAM,EAAE,GAAG,KAAK,CAAC,GAAG,EAAG,CAAA;YACvB,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,EAAE,CAAC,CAAA;YAC/C,IAAI,CAAC,IAAI;gBAAE,SAAQ;YACnB,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YACjB,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,WAAW,CAAC,mBAAmB,CAAC,EAAE,CAAC,EAAE,CAAC;gBAC3D,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;YACxB,CAAC;QACL,CAAC;QACD,OAAO,MAAM,CAAA;IACjB,CAAC;IAEO,uBAAuB,CAC3B,UAAkB,EAClB,eAAuB;QAEvB,IAAI,UAAU,KAAK,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;YAClC,MAAM,IAAI,KAAK,CACX,sBAAsB,UAAU,wCAAwC,IAAI,CAAC,QAAQ,CAAC,EAAE,IAAI,CAC/F,CAAA;QACL,CAAC;QACD,IAAI,eAAe,KAAK,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC;YAC5C,MAAM,IAAI,KAAK,CACX,2BAA2B,eAAe,6CAA6C,IAAI,CAAC,QAAQ,CAAC,OAAO,IAAI,CACnH,CAAA;QACL,CAAC;IACL,CAAC;IAEO,6BAA6B,CACjC,UAAuE;QAEvE,IACI,UAAU,CAAC,IAAI,KAAK,UAAU;YAC9B,CAAC,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,UAAU,CAAC,UAAU,CAAC,EACpD,CAAC;YACC,MAAM,IAAI,KAAK,CACX,wBAAwB,UAAU,CAAC,EAAE,uCAAuC,UAAU,CAAC,UAAU,IAAI,CACxG,CAAA;QACL,CAAC;QAED,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,gBAAgB,EAAE,CAAC;YAC1D,IAAI,IAAI,CAAC,gBAAgB,CAAC,UAAU,CAAC,UAAU,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC;gBAChE,MAAM,IAAI,KAAK,CACX,+BAA+B,UAAU,CAAC,UAAU,uDAAuD,CAC9G,CAAA;YACL,CAAC;QACL,CAAC;IACL,CAAC;IAEO,gBAAgB,CAAC,YAAoB;QACzC,MAAM,UAAU,GAAG,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,YAAY,CAAC,CAAA;QAC/D,IAAI,CAAC,UAAU,EAAE,CAAC;YACd,MAAM,IAAI,KAAK,CAAC,eAAe,YAAY,kBAAkB,CAAC,CAAA;QAClE,CAAC;QAED,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YACjC,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,UAAU,CAAC,UAAU,CAAC,CAAA;YAClE,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACZ,MAAM,IAAI,KAAK,CACX,aAAa,UAAU,CAAC,UAAU,qBAAqB,YAAY,kBAAkB,CACxF,CAAA;YACL,CAAC;YACD,OAAO,QAAQ,CAAC,MAAM,CAAA;QAC1B,CAAC;QAED,IAAI,UAAU,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAChC,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,mBAAmB,CAAC,UAAU,CAAC,EAAE,CAAC,CAAA;YACpE,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACxB,OAAO,KAAK,CAAA;YAChB,CAAC;YACD,OAAO,IAAI,IAAI,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAA;QACvD,CAAC;QAED,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,mBAAmB,CAAC,UAAU,CAAC,EAAE,CAAC,CAAA;QACpE,IAAI,UAAU,CAAC,QAAQ,KAAK,KAAK,EAAE,CAAC;YAChC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACxB,OAAO,GAAG,IAAI,CAAC,cAAc,CAAC,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAA;YAC5D,CAAC;YACD,OAAO,GAAG,IAAI,CAAC,cAAc,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAA;QAClG,CAAC;QAED,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxB,OAAO,KAAK,CAAA;QAChB,CAAC;QAED,MAAM,gBAAgB,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAC5C,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,EAAE,CAAC,CAClC,CAAA;QACD,OAAO,IAAI,gBAAgB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,cAAc,CAAC,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAA;IACxF,CAAC;IAEO,cAAc,CAAC,QAAkC;QACrD,QAAQ,QAAQ,EAAE,CAAC;YACf,KAAK,KAAK;gBACN,OAAO,GAAG,CAAA;YACd,KAAK,IAAI;gBACL,OAAO,GAAG,CAAA;YACd,KAAK,SAAS;gBACV,OAAO,GAAG,CAAA;YACd,KAAK,KAAK;gBACN,OAAO,GAAG,CAAA;YACd,KAAK,KAAK;gBACN,OAAO,GAAG,CAAA;QAClB,CAAC;IACL,CAAC;IAEM,QAAQ;QACX,IAAI,CAAC,cAAc,EAAE,CAAA;QACrB,MAAM,YAAY,GAAG,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,CAAA;QAChD,OAAO;YACH,OAAO,EAAE;gBACL,GAAG,IAAI,CAAC,OAAO;gBACf,QAAQ,EAAE,IAAI,CAAC,kBAAmB;gBAClC,kBAAkB,EAAE,IAAI,CAAC,wBAAyB;gBAClD,gBAAgB,EAAE,IAAI,CAAC,sBAAuB;aACjD;YACD,gBAAgB,EAAE,IAAI,CAAC,gBAAgB;YACvC,WAAW,EAAE,YAAY;YACzB,MAAM,EAAE;gBACJ,GAAG,YAAY,CAAC,MAAM;gBACtB,cAAc,EAAE,uBAAuB,CAAC,IAAI,CAAC,cAAc,CAAC;aACxC;SAC3B,CAAA;IACL,CAAC;IAED,uEAAuE;IAChE,MAAM,CAAC,YAAY,CAOtB,QAAiD,EACjD,QAAiC,EACjC,SAAgC,EAChC,eAAqC,EACrC,aAA8B,EAC9B,UAAyB;QAEzB,oEAAoE;QACpE,6DAA6D;QAC7D,MAAM,gBAAgB,GAClB,QAAQ,CAAC,MAAM;YACX,CAAC,CAAC;gBACI,GAAG,QAAQ,CAAC,MAAM;gBAClB,cAAc,EAAE,uBAAuB,CACnC,QAAQ,CAAC,MAAM,CAAC,cAAc,CACjC;gBACD,UAAU,EAAE,UAAU,IAAI,QAAQ,CAAC,MAAM,CAAC,UAAU;aACvD;YACH,CAAC,CAAC,UAAU;gBACV,CAAC,CAAC,EAAE,UAAU,EAAE;gBAChB,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAA;QAC3B,MAAM,EAAE,GAAG,IAAI,aAAa,CACxB,QAAQ,CAAC,OAAO,EAChB,EAAE,QAAQ,EAAE,SAAS,EAAE,eAAe,EAAE,EACxC,gBAAgB,CACnB,CAAA;QACD,wCAAwC;QACxC,EAAE,CAAC,WAAW,GAAG,iBAAiB,CAAC,YAAY,CAC3C,QAAQ,CAAC,WAAW,EACpB,aAAa,EACb,UAAU,CACb,CAAA;QACD,yCAAyC;QACzC,EAAE,CAAC,gBAAgB,GAAG,QAAQ,CAAC,gBAAgB,CAAA;QAC/C,4CAA4C;QAC5C,EAAE,CAAC,oBAAoB,EAAE,CAAA;QACzB,mDAAmD;QACnD,IAAI,eAAe,EAAE,CAAC;YAClB,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,WAAW,CAAC,OAAO,EAAE,EAAE,CAAC;gBAC1C,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,EAAE,CAAC,CAAA;YAC5C,CAAC;QACL,CAAC;QACD,OAAO,EAAE,CAAA;IACb,CAAC;IAED;;;;;OAKG;IACK,0BAA0B,CAC9B,SAAuD;QAEvD,IAAI,CAAC,oBAAoB,EAAE,CAAA;QAC3B,IAAI,CAAC,SAAS,EAAE,CAAA;QAChB,MAAM,OAAO,GAAG,IAAI,CAAC,sBAAsB,CAAC,SAAS,CAAC,CAAA;QACtD,IAAI,CAAC,mBAAmB,CAAC,OAAO,CAAC,CAAA;QACjC,IAAI,CAAC,QAAQ,EAAE,EAAE,CAAA;QACjB,OAAO,OAAO,CAAA;IAClB,CAAC;IAEO,sBAAsB,CAC1B,SAAuD;QAEvD,iDAAiD;QACjD,MAAM,qBAAqB,GAAG,IAAI,CAAC,sBAAsB,IAAI,IAAI,CAAA;QAEjE,IAAI,CAAC,WAAW,CAAC,wBAAwB,EAAE,CAAA;QAC3C,MAAM,OAAO,GAAG,SAAS,CAAC,WAAW,EAAE,CAAA;QACvC,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC;YACtB,OAAO,CAAC,WAAW,CAAC,KAAK,GAAG,OAAO,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,CACrD,CAAC,IAAI,EAAE,EAAE;gBACL,MAAM,OAAO,GAAG,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;gBACvD,OAAO,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,OAAO,EAAE,CAAC,CAAC,CAAC,IAAI,CAAA;YAC1C,CAAC,CACJ,CAAA;YACD,OAAO,CAAC,WAAW,CAAC,QAAQ,GAAG,OAAO,CAAC,WAAW,CAAC,QAAQ,CAAC,GAAG,CAC3D,CAAC,IAAI,EAAE,EAAE;gBACL,MAAM,OAAO,GAAG,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;gBACvD,OAAO,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,OAAO,EAAE,CAAC,CAAC,CAAC,IAAI,CAAA;YAC1C,CAAC,CACJ,CAAA;QACL,CAAC;QAED,oDAAoD;QACpD,IAAI,CAAC,cAAc,EAAE,CAAA;QACrB,IAAI,IAAI,CAAC,sBAAsB,KAAK,qBAAqB,EAAE,CAAC;YACxD,OAAO,CAAC,QAAQ,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAA;YAC7D,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC,CAAA;QACxD,CAAC;QAED,OAAO,OAAO,CAAA;IAClB,CAAC;IAEO,mBAAmB,CACvB,OAAoD;QAEpD,IAAI,CAAC,IAAI,CAAC,eAAe,IAAI,CAAC,OAAO,CAAC,WAAW;YAAE,OAAM;QACzD,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC;YAC3C,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;QACtD,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,WAAW,CAAC,OAAO,EAAE,CAAC;YAC7C,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;QACxC,CAAC;IACL,CAAC;IAEO,oBAAoB;QACxB,IAAI,CAAC,uBAAuB,GAAG,IAAI,UAAU,CAAC,GAAG,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC,CAAA;QAC9D,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,EAAE,CAAC;YAC5C,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBAC3B,IAAI,CAAC,uBAAuB,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;YAClE,CAAC;QACL,CAAC;IACL,CAAC;CACJ"}
@@ -0,0 +1,111 @@
1
+ import type { TCoreArgument, TCorePremise, TCorePropositionalExpression, TCorePropositionalVariable } from "../schemata/index.js";
2
+ import type { TCoreClaim } from "../schemata/claim.js";
3
+ import type { TCoreClaimSourceAssociation, TCoreSource } from "../schemata/source.js";
4
+ import type { TCoreArgumentForkRecord, TCorePremiseForkRecord, TCoreExpressionForkRecord, TCoreVariableForkRecord, TCoreClaimForkRecord, TCoreSourceForkRecord } from "../schemata/fork.js";
5
+ import type { TPropositCoreSnapshot, TPropositCoreConfig } from "./interfaces/library.interfaces.js";
6
+ import type { TInvariantValidationResult } from "../types/validation.js";
7
+ import type { TForkArgumentOptions, TForkRemapTable } from "../types/fork.js";
8
+ import type { TCoreArgumentDiff, TCoreDiffOptions } from "../types/diff.js";
9
+ import { ClaimLibrary } from "./claim-library.js";
10
+ import { SourceLibrary } from "./source-library.js";
11
+ import { ClaimSourceLibrary } from "./claim-source-library.js";
12
+ import { ArgumentLibrary } from "./argument-library.js";
13
+ import { ArgumentEngine } from "./argument-engine.js";
14
+ import { ForkLibrary } from "./fork-library.js";
15
+ /**
16
+ * Options for constructing a `PropositCore` instance. Accepts optional
17
+ * pre-constructed library instances and/or shared configuration. When a
18
+ * library instance is provided, it is used directly; otherwise a new one
19
+ * is constructed using the shared config.
20
+ */
21
+ export type TPropositCoreOptions<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TSource extends TCoreSource = TCoreSource, TClaim extends TCoreClaim = TCoreClaim, TAssoc extends TCoreClaimSourceAssociation = TCoreClaimSourceAssociation, TArgFork extends TCoreArgumentForkRecord = TCoreArgumentForkRecord, TPremiseFork extends TCorePremiseForkRecord = TCorePremiseForkRecord, TExprFork extends TCoreExpressionForkRecord = TCoreExpressionForkRecord, TVarFork extends TCoreVariableForkRecord = TCoreVariableForkRecord, TClaimFork extends TCoreClaimForkRecord = TCoreClaimForkRecord, TSourceFork extends TCoreSourceForkRecord = TCoreSourceForkRecord> = TPropositCoreConfig & {
22
+ /** Pre-constructed claim library instance. */
23
+ claimLibrary?: ClaimLibrary<TClaim>;
24
+ /** Pre-constructed source library instance. */
25
+ sourceLibrary?: SourceLibrary<TSource>;
26
+ /** Pre-constructed claim-source association library instance. */
27
+ claimSourceLibrary?: ClaimSourceLibrary<TAssoc>;
28
+ /** Pre-constructed fork library instance. */
29
+ forkLibrary?: ForkLibrary<TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork, TSourceFork>;
30
+ /** Pre-constructed argument library instance. */
31
+ argumentLibrary?: ArgumentLibrary<TArg, TPremise, TExpr, TVar, TSource, TClaim, TAssoc>;
32
+ };
33
+ /**
34
+ * Top-level orchestrator for the proposit-core system. Owns all five
35
+ * libraries (claims, sources, claim-source associations, forks, arguments)
36
+ * and provides unified snapshot/restore and validation.
37
+ *
38
+ * Construction order follows dependency order:
39
+ * claims -> sources -> claimSources -> forks -> arguments.
40
+ */
41
+ export declare class PropositCore<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TSource extends TCoreSource = TCoreSource, TClaim extends TCoreClaim = TCoreClaim, TAssoc extends TCoreClaimSourceAssociation = TCoreClaimSourceAssociation, TArgFork extends TCoreArgumentForkRecord = TCoreArgumentForkRecord, TPremiseFork extends TCorePremiseForkRecord = TCorePremiseForkRecord, TExprFork extends TCoreExpressionForkRecord = TCoreExpressionForkRecord, TVarFork extends TCoreVariableForkRecord = TCoreVariableForkRecord, TClaimFork extends TCoreClaimForkRecord = TCoreClaimForkRecord, TSourceFork extends TCoreSourceForkRecord = TCoreSourceForkRecord> {
42
+ readonly claims: ClaimLibrary<TClaim>;
43
+ readonly sources: SourceLibrary<TSource>;
44
+ readonly claimSources: ClaimSourceLibrary<TAssoc>;
45
+ readonly forks: ForkLibrary<TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork, TSourceFork>;
46
+ readonly arguments: ArgumentLibrary<TArg, TPremise, TExpr, TVar, TSource, TClaim, TAssoc>;
47
+ protected generateId: () => string;
48
+ constructor(options?: TPropositCoreOptions<TArg, TPremise, TExpr, TVar, TSource, TClaim, TAssoc, TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork, TSourceFork>);
49
+ /**
50
+ * Returns a serializable snapshot of the entire PropositCore state,
51
+ * including all libraries.
52
+ */
53
+ snapshot(): TPropositCoreSnapshot<TArg, TPremise, TExpr, TVar, TSource, TClaim, TAssoc, TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork, TSourceFork>;
54
+ /**
55
+ * Restores a `PropositCore` instance from a snapshot. Libraries are
56
+ * restored in dependency order: claims -> sources -> claimSources ->
57
+ * forks -> arguments.
58
+ *
59
+ * @param snapshot - The serialized PropositCore snapshot.
60
+ * @param config - Optional shared configuration for the restored instance.
61
+ * @returns A fully restored `PropositCore` instance.
62
+ */
63
+ static fromSnapshot<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TSource extends TCoreSource = TCoreSource, TClaim extends TCoreClaim = TCoreClaim, TAssoc extends TCoreClaimSourceAssociation = TCoreClaimSourceAssociation, TArgFork extends TCoreArgumentForkRecord = TCoreArgumentForkRecord, TPremiseFork extends TCorePremiseForkRecord = TCorePremiseForkRecord, TExprFork extends TCoreExpressionForkRecord = TCoreExpressionForkRecord, TVarFork extends TCoreVariableForkRecord = TCoreVariableForkRecord, TClaimFork extends TCoreClaimForkRecord = TCoreClaimForkRecord, TSourceFork extends TCoreSourceForkRecord = TCoreSourceForkRecord>(snapshot: TPropositCoreSnapshot<TArg, TPremise, TExpr, TVar, TSource, TClaim, TAssoc, TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork, TSourceFork>, config?: TPropositCoreConfig): PropositCore<TArg, TPremise, TExpr, TVar, TSource, TClaim, TAssoc, TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork, TSourceFork>;
64
+ /**
65
+ * Runs invariant validation across all managed libraries and merges
66
+ * the results.
67
+ *
68
+ * @returns A combined validation result.
69
+ */
70
+ validate(): TInvariantValidationResult;
71
+ /**
72
+ * Forks an argument, cloning its referenced claims, sources, and
73
+ * claim-source associations, then remaps variable claim references to
74
+ * point at the cloned claims. Creates fork records in all six
75
+ * namespaces.
76
+ *
77
+ * @param argumentId - The ID of the argument to fork.
78
+ * @param newArgumentId - The ID for the forked argument. Defaults to `this.generateId()`.
79
+ * @param options - Optional fork configuration and extras for fork records.
80
+ * @returns The forked engine, remap tables, and the argument fork record.
81
+ */
82
+ forkArgument(argumentId: string, newArgumentId?: string, options?: TForkArgumentOptions & {
83
+ forkId?: string;
84
+ argumentForkExtras?: Partial<Omit<TArgFork, keyof TCoreArgumentForkRecord>>;
85
+ premiseForkExtras?: Partial<Omit<TPremiseFork, keyof TCorePremiseForkRecord>>;
86
+ expressionForkExtras?: Partial<Omit<TExprFork, keyof TCoreExpressionForkRecord>>;
87
+ variableForkExtras?: Partial<Omit<TVarFork, keyof TCoreVariableForkRecord>>;
88
+ claimForkExtras?: Partial<Omit<TClaimFork, keyof TCoreClaimForkRecord>>;
89
+ sourceForkExtras?: Partial<Omit<TSourceFork, keyof TCoreSourceForkRecord>>;
90
+ }): {
91
+ engine: ArgumentEngine<TArg, TPremise, TExpr, TVar, TSource, TClaim, TAssoc>;
92
+ remapTable: TForkRemapTable;
93
+ claimRemap: Map<string, string>;
94
+ sourceRemap: Map<string, string>;
95
+ argumentFork: TArgFork;
96
+ };
97
+ /**
98
+ * Computes a structural diff between two arguments managed by this
99
+ * `PropositCore` instance. Automatically injects fork-aware entity
100
+ * matchers derived from the fork records stored in `this.forks`.
101
+ * Caller-provided matchers in `options` take precedence over the
102
+ * fork-aware defaults.
103
+ *
104
+ * @param argumentIdA - The ID of the "before" argument.
105
+ * @param argumentIdB - The ID of the "after" argument.
106
+ * @param options - Optional diff configuration and comparator overrides.
107
+ * @returns A structural diff between the two arguments.
108
+ */
109
+ diffArguments(argumentIdA: string, argumentIdB: string, options?: TCoreDiffOptions<TArg, TVar, TPremise, TExpr>): TCoreArgumentDiff<TArg, TVar, TPremise, TExpr>;
110
+ }
111
+ //# sourceMappingURL=proposit-core.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"proposit-core.d.ts","sourceRoot":"","sources":["../../../src/lib/core/proposit-core.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACR,aAAa,EACb,YAAY,EACZ,4BAA4B,EAC5B,0BAA0B,EAC7B,MAAM,sBAAsB,CAAA;AAC7B,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAA;AACtD,OAAO,KAAK,EACR,2BAA2B,EAC3B,WAAW,EACd,MAAM,uBAAuB,CAAA;AAC9B,OAAO,KAAK,EACR,uBAAuB,EACvB,sBAAsB,EACtB,yBAAyB,EACzB,uBAAuB,EACvB,oBAAoB,EACpB,qBAAqB,EACxB,MAAM,qBAAqB,CAAA;AAC5B,OAAO,KAAK,EACR,qBAAqB,EACrB,mBAAmB,EACtB,MAAM,oCAAoC,CAAA;AAC3C,OAAO,KAAK,EACR,0BAA0B,EAE7B,MAAM,wBAAwB,CAAA;AAC/B,OAAO,KAAK,EAAE,oBAAoB,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAA;AAC7E,OAAO,KAAK,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAA;AAE3E,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AACjD,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AACnD,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAA;AAC9D,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AACvD,OAAO,EAAE,cAAc,EAAqB,MAAM,sBAAsB,CAAA;AACxE,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAA;AAI/C;;;;;GAKG;AACH,MAAM,MAAM,oBAAoB,CAC5B,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,OAAO,SAAS,WAAW,GAAG,WAAW,EACzC,MAAM,SAAS,UAAU,GAAG,UAAU,EACtC,MAAM,SAAS,2BAA2B,GAAG,2BAA2B,EACxE,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,YAAY,SAAS,sBAAsB,GAAG,sBAAsB,EACpE,SAAS,SAAS,yBAAyB,GAAG,yBAAyB,EACvE,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,UAAU,SAAS,oBAAoB,GAAG,oBAAoB,EAC9D,WAAW,SAAS,qBAAqB,GAAG,qBAAqB,IACjE,mBAAmB,GAAG;IACtB,8CAA8C;IAC9C,YAAY,CAAC,EAAE,YAAY,CAAC,MAAM,CAAC,CAAA;IACnC,+CAA+C;IAC/C,aAAa,CAAC,EAAE,aAAa,CAAC,OAAO,CAAC,CAAA;IACtC,iEAAiE;IACjE,kBAAkB,CAAC,EAAE,kBAAkB,CAAC,MAAM,CAAC,CAAA;IAC/C,6CAA6C;IAC7C,WAAW,CAAC,EAAE,WAAW,CACrB,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,UAAU,EACV,WAAW,CACd,CAAA;IACD,iDAAiD;IACjD,eAAe,CAAC,EAAE,eAAe,CAC7B,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,OAAO,EACP,MAAM,EACN,MAAM,CACT,CAAA;CACJ,CAAA;AAED;;;;;;;GAOG;AACH,qBAAa,YAAY,CACrB,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,OAAO,SAAS,WAAW,GAAG,WAAW,EACzC,MAAM,SAAS,UAAU,GAAG,UAAU,EACtC,MAAM,SAAS,2BAA2B,GAAG,2BAA2B,EACxE,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,YAAY,SAAS,sBAAsB,GAAG,sBAAsB,EACpE,SAAS,SAAS,yBAAyB,GAAG,yBAAyB,EACvE,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,UAAU,SAAS,oBAAoB,GAAG,oBAAoB,EAC9D,WAAW,SAAS,qBAAqB,GAAG,qBAAqB;IAEjE,SAAgB,MAAM,EAAE,YAAY,CAAC,MAAM,CAAC,CAAA;IAC5C,SAAgB,OAAO,EAAE,aAAa,CAAC,OAAO,CAAC,CAAA;IAC/C,SAAgB,YAAY,EAAE,kBAAkB,CAAC,MAAM,CAAC,CAAA;IACxD,SAAgB,KAAK,EAAE,WAAW,CAC9B,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,UAAU,EACV,WAAW,CACd,CAAA;IACD,SAAgB,SAAS,EAAE,eAAe,CACtC,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,OAAO,EACP,MAAM,EACN,MAAM,CACT,CAAA;IACD,SAAS,CAAC,UAAU,EAAE,MAAM,MAAM,CAAA;gBAG9B,OAAO,CAAC,EAAE,oBAAoB,CAC1B,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,OAAO,EACP,MAAM,EACN,MAAM,EACN,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,UAAU,EACV,WAAW,CACd;IA2DL;;;OAGG;IACI,QAAQ,IAAI,qBAAqB,CACpC,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,OAAO,EACP,MAAM,EACN,MAAM,EACN,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,UAAU,EACV,WAAW,CACd;IAUD;;;;;;;;OAQG;WACW,YAAY,CACtB,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GACtC,4BAA4B,EAChC,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,OAAO,SAAS,WAAW,GAAG,WAAW,EACzC,MAAM,SAAS,UAAU,GAAG,UAAU,EACtC,MAAM,SAAS,2BAA2B,GACtC,2BAA2B,EAC/B,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,YAAY,SAAS,sBAAsB,GAAG,sBAAsB,EACpE,SAAS,SAAS,yBAAyB,GAAG,yBAAyB,EACvE,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,UAAU,SAAS,oBAAoB,GAAG,oBAAoB,EAC9D,WAAW,SAAS,qBAAqB,GAAG,qBAAqB,EAEjE,QAAQ,EAAE,qBAAqB,CAC3B,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,OAAO,EACP,MAAM,EACN,MAAM,EACN,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,UAAU,EACV,WAAW,CACd,EACD,MAAM,CAAC,EAAE,mBAAmB,GAC7B,YAAY,CACX,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,OAAO,EACP,MAAM,EACN,MAAM,EACN,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,UAAU,EACV,WAAW,CACd;IA8ED;;;;;OAKG;IACI,QAAQ,IAAI,0BAA0B;IAW7C;;;;;;;;;;OAUG;IACI,YAAY,CACf,UAAU,EAAE,MAAM,EAClB,aAAa,CAAC,EAAE,MAAM,EACtB,OAAO,CAAC,EAAE,oBAAoB,GAAG;QAC7B,MAAM,CAAC,EAAE,MAAM,CAAA;QACf,kBAAkB,CAAC,EAAE,OAAO,CACxB,IAAI,CAAC,QAAQ,EAAE,MAAM,uBAAuB,CAAC,CAChD,CAAA;QACD,iBAAiB,CAAC,EAAE,OAAO,CACvB,IAAI,CAAC,YAAY,EAAE,MAAM,sBAAsB,CAAC,CACnD,CAAA;QACD,oBAAoB,CAAC,EAAE,OAAO,CAC1B,IAAI,CAAC,SAAS,EAAE,MAAM,yBAAyB,CAAC,CACnD,CAAA;QACD,kBAAkB,CAAC,EAAE,OAAO,CACxB,IAAI,CAAC,QAAQ,EAAE,MAAM,uBAAuB,CAAC,CAChD,CAAA;QACD,eAAe,CAAC,EAAE,OAAO,CACrB,IAAI,CAAC,UAAU,EAAE,MAAM,oBAAoB,CAAC,CAC/C,CAAA;QACD,gBAAgB,CAAC,EAAE,OAAO,CACtB,IAAI,CAAC,WAAW,EAAE,MAAM,qBAAqB,CAAC,CACjD,CAAA;KACJ,GACF;QACC,MAAM,EAAE,cAAc,CAClB,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,OAAO,EACP,MAAM,EACN,MAAM,CACT,CAAA;QACD,UAAU,EAAE,eAAe,CAAA;QAC3B,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;QAC/B,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;QAChC,YAAY,EAAE,QAAQ,CAAA;KACzB;IAiQD;;;;;;;;;;;OAWG;IACI,aAAa,CAChB,WAAW,EAAE,MAAM,EACnB,WAAW,EAAE,MAAM,EACnB,OAAO,CAAC,EAAE,gBAAgB,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,GACxD,iBAAiB,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC;CAiCpD"}
@@ -0,0 +1,365 @@
1
+ import { isClaimBound } from "../schemata/propositional.js";
2
+ import { ClaimLibrary } from "./claim-library.js";
3
+ import { SourceLibrary } from "./source-library.js";
4
+ import { ClaimSourceLibrary } from "./claim-source-library.js";
5
+ import { ArgumentLibrary } from "./argument-library.js";
6
+ import { ArgumentEngine, defaultGenerateId } from "./argument-engine.js";
7
+ import { ForkLibrary } from "./fork-library.js";
8
+ import { forkArgumentEngine } from "./fork.js";
9
+ import { diffArguments as standaloneDiffArguments } from "./diff.js";
10
+ /**
11
+ * Top-level orchestrator for the proposit-core system. Owns all five
12
+ * libraries (claims, sources, claim-source associations, forks, arguments)
13
+ * and provides unified snapshot/restore and validation.
14
+ *
15
+ * Construction order follows dependency order:
16
+ * claims -> sources -> claimSources -> forks -> arguments.
17
+ */
18
+ export class PropositCore {
19
+ claims;
20
+ sources;
21
+ claimSources;
22
+ forks;
23
+ arguments;
24
+ generateId;
25
+ constructor(options) {
26
+ this.generateId = options?.generateId ?? defaultGenerateId;
27
+ const checksumOpts = options?.checksumConfig
28
+ ? { checksumConfig: options.checksumConfig }
29
+ : undefined;
30
+ // Dependency order: claims -> sources -> claimSources -> forks -> arguments
31
+ this.claims =
32
+ options?.claimLibrary ?? new ClaimLibrary(checksumOpts);
33
+ this.sources =
34
+ options?.sourceLibrary ?? new SourceLibrary(checksumOpts);
35
+ this.claimSources =
36
+ options?.claimSourceLibrary ??
37
+ new ClaimSourceLibrary(this.claims, this.sources, checksumOpts);
38
+ this.forks =
39
+ options?.forkLibrary ??
40
+ new ForkLibrary();
41
+ this.arguments =
42
+ options?.argumentLibrary ??
43
+ new ArgumentLibrary({
44
+ claimLibrary: this.claims,
45
+ sourceLibrary: this.sources,
46
+ claimSourceLibrary: this.claimSources,
47
+ }, {
48
+ checksumConfig: options?.checksumConfig,
49
+ positionConfig: options?.positionConfig,
50
+ grammarConfig: options?.grammarConfig,
51
+ generateId: this.generateId,
52
+ });
53
+ }
54
+ /**
55
+ * Returns a serializable snapshot of the entire PropositCore state,
56
+ * including all libraries.
57
+ */
58
+ snapshot() {
59
+ return {
60
+ arguments: this.arguments.snapshot(),
61
+ claims: this.claims.snapshot(),
62
+ sources: this.sources.snapshot(),
63
+ claimSources: this.claimSources.snapshot(),
64
+ forks: this.forks.snapshot(),
65
+ };
66
+ }
67
+ /**
68
+ * Restores a `PropositCore` instance from a snapshot. Libraries are
69
+ * restored in dependency order: claims -> sources -> claimSources ->
70
+ * forks -> arguments.
71
+ *
72
+ * @param snapshot - The serialized PropositCore snapshot.
73
+ * @param config - Optional shared configuration for the restored instance.
74
+ * @returns A fully restored `PropositCore` instance.
75
+ */
76
+ static fromSnapshot(snapshot, config) {
77
+ const checksumOpts = config?.checksumConfig
78
+ ? { checksumConfig: config.checksumConfig }
79
+ : undefined;
80
+ // Dependency order: claims -> sources -> claimSources -> forks -> arguments
81
+ const claims = ClaimLibrary.fromSnapshot(snapshot.claims, checksumOpts);
82
+ const sources = SourceLibrary.fromSnapshot(snapshot.sources, checksumOpts);
83
+ const claimSources = ClaimSourceLibrary.fromSnapshot(snapshot.claimSources, claims, sources, checksumOpts);
84
+ const forks = ForkLibrary.fromSnapshot(snapshot.forks);
85
+ const restoredArguments = ArgumentLibrary.fromSnapshot(snapshot.arguments, {
86
+ claimLibrary: claims,
87
+ sourceLibrary: sources,
88
+ claimSourceLibrary: claimSources,
89
+ }, {
90
+ checksumConfig: config?.checksumConfig,
91
+ positionConfig: config?.positionConfig,
92
+ grammarConfig: config?.grammarConfig,
93
+ generateId: config?.generateId,
94
+ });
95
+ const core = new PropositCore({
96
+ claimLibrary: claims,
97
+ sourceLibrary: sources,
98
+ claimSourceLibrary: claimSources,
99
+ forkLibrary: forks,
100
+ argumentLibrary: restoredArguments,
101
+ });
102
+ core.generateId = config?.generateId ?? defaultGenerateId;
103
+ return core;
104
+ }
105
+ /**
106
+ * Runs invariant validation across all managed libraries and merges
107
+ * the results.
108
+ *
109
+ * @returns A combined validation result.
110
+ */
111
+ validate() {
112
+ const violations = [
113
+ ...this.claims.validate().violations,
114
+ ...this.sources.validate().violations,
115
+ ...this.claimSources.validate().violations,
116
+ ...this.forks.validate().violations,
117
+ ...this.arguments.validate().violations,
118
+ ];
119
+ return { ok: violations.length === 0, violations };
120
+ }
121
+ /**
122
+ * Forks an argument, cloning its referenced claims, sources, and
123
+ * claim-source associations, then remaps variable claim references to
124
+ * point at the cloned claims. Creates fork records in all six
125
+ * namespaces.
126
+ *
127
+ * @param argumentId - The ID of the argument to fork.
128
+ * @param newArgumentId - The ID for the forked argument. Defaults to `this.generateId()`.
129
+ * @param options - Optional fork configuration and extras for fork records.
130
+ * @returns The forked engine, remap tables, and the argument fork record.
131
+ */
132
+ forkArgument(argumentId, newArgumentId, options) {
133
+ // Step 1: Retrieve source engine
134
+ const engine = this.arguments.get(argumentId);
135
+ if (!engine) {
136
+ throw new Error(`Argument "${argumentId}" not found in ArgumentLibrary.`);
137
+ }
138
+ // Step 2: canFork guard
139
+ if (!engine.canFork()) {
140
+ throw new Error(`Forking argument "${argumentId}" is not allowed.`);
141
+ }
142
+ const sourceArg = engine.getArgument();
143
+ const resolvedNewArgumentId = newArgumentId ?? this.generateId();
144
+ const forkId = options?.forkId ?? this.generateId();
145
+ // Build expressionId → premiseId map from source engine snapshot
146
+ const sourceSnap = engine.snapshot();
147
+ const exprToPremiseMap = new Map();
148
+ for (const ps of sourceSnap.premises) {
149
+ for (const expr of ps.expressions.expressions) {
150
+ exprToPremiseMap.set(expr.id, ps.premise.id);
151
+ }
152
+ }
153
+ // Step 3: Clone claims
154
+ const claimRemap = new Map();
155
+ const claimVersionMap = new Map();
156
+ const variables = engine.getVariables();
157
+ const uniqueClaimIds = new Set();
158
+ for (const v of variables) {
159
+ if (isClaimBound(v)) {
160
+ uniqueClaimIds.add(v.claimId);
161
+ }
162
+ }
163
+ for (const originalClaimId of uniqueClaimIds) {
164
+ const currentClaim = this.claims.getCurrent(originalClaimId);
165
+ if (!currentClaim) {
166
+ throw new Error(`Claim "${originalClaimId}" not found in ClaimLibrary.`);
167
+ }
168
+ claimVersionMap.set(originalClaimId, currentClaim.version);
169
+ const newClaimId = this.generateId();
170
+ const { id: _id, version: _v, frozen: _f, checksum: _c, ...claimData } = currentClaim;
171
+ this.claims.create({
172
+ ...claimData,
173
+ id: newClaimId,
174
+ });
175
+ claimRemap.set(originalClaimId, newClaimId);
176
+ }
177
+ // Step 4: Clone sources
178
+ const sourceRemap = new Map();
179
+ const sourceVersionMap = new Map();
180
+ const uniqueSourceIds = new Set();
181
+ for (const originalClaimId of uniqueClaimIds) {
182
+ const associations = this.claimSources.getForClaim(originalClaimId);
183
+ for (const assoc of associations) {
184
+ uniqueSourceIds.add(assoc.sourceId);
185
+ }
186
+ }
187
+ for (const originalSourceId of uniqueSourceIds) {
188
+ const currentSource = this.sources.getCurrent(originalSourceId);
189
+ if (!currentSource) {
190
+ throw new Error(`Source "${originalSourceId}" not found in SourceLibrary.`);
191
+ }
192
+ sourceVersionMap.set(originalSourceId, currentSource.version);
193
+ const newSourceId = this.generateId();
194
+ const { id: _id, version: _v, frozen: _f, checksum: _c, ...sourceData } = currentSource;
195
+ this.sources.create({
196
+ ...sourceData,
197
+ id: newSourceId,
198
+ });
199
+ sourceRemap.set(originalSourceId, newSourceId);
200
+ }
201
+ // Step 5: Clone associations
202
+ for (const originalClaimId of uniqueClaimIds) {
203
+ const associations = this.claimSources.getForClaim(originalClaimId);
204
+ for (const assoc of associations) {
205
+ const clonedClaimId = claimRemap.get(originalClaimId);
206
+ const clonedSourceId = sourceRemap.get(assoc.sourceId);
207
+ if (clonedSourceId) {
208
+ this.claimSources.add({
209
+ id: this.generateId(),
210
+ claimId: clonedClaimId,
211
+ claimVersion: 0,
212
+ sourceId: clonedSourceId,
213
+ sourceVersion: 0,
214
+ });
215
+ }
216
+ }
217
+ }
218
+ // Step 6: Fork engine
219
+ const { engine: forkedEngine, remapTable } = forkArgumentEngine(engine, resolvedNewArgumentId, {
220
+ claimLibrary: this.claims,
221
+ sourceLibrary: this.sources,
222
+ claimSourceLibrary: this.claimSources,
223
+ }, {
224
+ ...options,
225
+ generateId: options?.generateId ?? this.generateId,
226
+ });
227
+ // Step 7: Remap claim references
228
+ const snap = forkedEngine.snapshot();
229
+ snap.variables.variables = snap.variables.variables.map((v) => {
230
+ if (isClaimBound(v)) {
231
+ const clonedClaimId = claimRemap.get(v.claimId);
232
+ if (clonedClaimId) {
233
+ return {
234
+ ...v,
235
+ claimId: clonedClaimId,
236
+ claimVersion: 0,
237
+ };
238
+ }
239
+ }
240
+ return v;
241
+ });
242
+ const finalEngine = ArgumentEngine.fromSnapshot(snap, this.claims, this.sources, this.claimSources, snap.config?.grammarConfig, "ignore", this.generateId);
243
+ // Step 8: Register engine
244
+ this.arguments.register(finalEngine);
245
+ // Step 9: Create fork records
246
+ // Argument fork record
247
+ const argumentFork = this.forks.arguments.create({
248
+ entityId: resolvedNewArgumentId,
249
+ forkedFromEntityId: sourceArg.id,
250
+ forkedFromArgumentId: sourceArg.id,
251
+ forkedFromArgumentVersion: sourceArg.version,
252
+ forkId,
253
+ ...options?.argumentForkExtras,
254
+ });
255
+ // Premise fork records
256
+ for (const [oldPremiseId, newPremiseId] of remapTable.premises) {
257
+ this.forks.premises.create({
258
+ entityId: newPremiseId,
259
+ forkedFromEntityId: oldPremiseId,
260
+ forkedFromArgumentId: sourceArg.id,
261
+ forkedFromArgumentVersion: sourceArg.version,
262
+ forkId,
263
+ ...options?.premiseForkExtras,
264
+ });
265
+ }
266
+ // Expression fork records
267
+ for (const [oldExprId, newExprId] of remapTable.expressions) {
268
+ this.forks.expressions.create({
269
+ entityId: newExprId,
270
+ forkedFromEntityId: oldExprId,
271
+ forkedFromArgumentId: sourceArg.id,
272
+ forkedFromArgumentVersion: sourceArg.version,
273
+ forkId,
274
+ forkedFromPremiseId: exprToPremiseMap.get(oldExprId),
275
+ ...options?.expressionForkExtras,
276
+ });
277
+ }
278
+ // Variable fork records
279
+ for (const [oldVarId, newVarId] of remapTable.variables) {
280
+ this.forks.variables.create({
281
+ entityId: newVarId,
282
+ forkedFromEntityId: oldVarId,
283
+ forkedFromArgumentId: sourceArg.id,
284
+ forkedFromArgumentVersion: sourceArg.version,
285
+ forkId,
286
+ ...options?.variableForkExtras,
287
+ });
288
+ }
289
+ // Claim fork records
290
+ for (const [originalClaimId, clonedClaimId] of claimRemap) {
291
+ this.forks.claims.create({
292
+ entityId: clonedClaimId,
293
+ forkedFromEntityId: originalClaimId,
294
+ forkedFromArgumentId: sourceArg.id,
295
+ forkedFromArgumentVersion: sourceArg.version,
296
+ forkId,
297
+ forkedFromEntityVersion: claimVersionMap.get(originalClaimId),
298
+ ...options?.claimForkExtras,
299
+ });
300
+ }
301
+ // Source fork records
302
+ for (const [originalSourceId, clonedSourceId] of sourceRemap) {
303
+ this.forks.sources.create({
304
+ entityId: clonedSourceId,
305
+ forkedFromEntityId: originalSourceId,
306
+ forkedFromArgumentId: sourceArg.id,
307
+ forkedFromArgumentVersion: sourceArg.version,
308
+ forkId,
309
+ forkedFromEntityVersion: sourceVersionMap.get(originalSourceId),
310
+ ...options?.sourceForkExtras,
311
+ });
312
+ }
313
+ // Step 10: Return
314
+ return {
315
+ engine: finalEngine,
316
+ remapTable,
317
+ claimRemap,
318
+ sourceRemap,
319
+ argumentFork,
320
+ };
321
+ }
322
+ /**
323
+ * Computes a structural diff between two arguments managed by this
324
+ * `PropositCore` instance. Automatically injects fork-aware entity
325
+ * matchers derived from the fork records stored in `this.forks`.
326
+ * Caller-provided matchers in `options` take precedence over the
327
+ * fork-aware defaults.
328
+ *
329
+ * @param argumentIdA - The ID of the "before" argument.
330
+ * @param argumentIdB - The ID of the "after" argument.
331
+ * @param options - Optional diff configuration and comparator overrides.
332
+ * @returns A structural diff between the two arguments.
333
+ */
334
+ diffArguments(argumentIdA, argumentIdB, options) {
335
+ const engineA = this.arguments.get(argumentIdA);
336
+ if (!engineA) {
337
+ throw new Error(`Argument "${argumentIdA}" not found.`);
338
+ }
339
+ const engineB = this.arguments.get(argumentIdB);
340
+ if (!engineB) {
341
+ throw new Error(`Argument "${argumentIdB}" not found.`);
342
+ }
343
+ // Build fork-aware matchers from fork records
344
+ const forkPremiseMatcher = (a, b) => {
345
+ const record = this.forks.premises.get(b.id);
346
+ return record?.forkedFromEntityId === a.id;
347
+ };
348
+ const forkVariableMatcher = (a, b) => {
349
+ const record = this.forks.variables.get(b.id);
350
+ return record?.forkedFromEntityId === a.id;
351
+ };
352
+ const forkExpressionMatcher = (a, b) => {
353
+ const record = this.forks.expressions.get(b.id);
354
+ return record?.forkedFromEntityId === a.id;
355
+ };
356
+ // Caller-provided matchers override fork-aware matchers
357
+ return standaloneDiffArguments(engineA, engineB, {
358
+ ...options,
359
+ premiseMatcher: options?.premiseMatcher ?? forkPremiseMatcher,
360
+ variableMatcher: options?.variableMatcher ?? forkVariableMatcher,
361
+ expressionMatcher: options?.expressionMatcher ?? forkExpressionMatcher,
362
+ });
363
+ }
364
+ }
365
+ //# sourceMappingURL=proposit-core.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"proposit-core.js","sourceRoot":"","sources":["../../../src/lib/core/proposit-core.ts"],"names":[],"mappings":"AA6BA,OAAO,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAA;AAC3D,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AACjD,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AACnD,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAA;AAC9D,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AACvD,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAA;AACxE,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAA;AAC/C,OAAO,EAAE,kBAAkB,EAAE,MAAM,WAAW,CAAA;AAC9C,OAAO,EAAE,aAAa,IAAI,uBAAuB,EAAE,MAAM,WAAW,CAAA;AAkDpE;;;;;;;GAOG;AACH,MAAM,OAAO,YAAY;IAeL,MAAM,CAAsB;IAC5B,OAAO,CAAwB;IAC/B,YAAY,CAA4B;IACxC,KAAK,CAOpB;IACe,SAAS,CAQxB;IACS,UAAU,CAAc;IAElC,YACI,OAcC;QAED,IAAI,CAAC,UAAU,GAAG,OAAO,EAAE,UAAU,IAAI,iBAAiB,CAAA;QAE1D,MAAM,YAAY,GAAG,OAAO,EAAE,cAAc;YACxC,CAAC,CAAC,EAAE,cAAc,EAAE,OAAO,CAAC,cAAc,EAAE;YAC5C,CAAC,CAAC,SAAS,CAAA;QAEf,4EAA4E;QAC5E,IAAI,CAAC,MAAM;YACP,OAAO,EAAE,YAAY,IAAI,IAAI,YAAY,CAAS,YAAY,CAAC,CAAA;QAEnE,IAAI,CAAC,OAAO;YACR,OAAO,EAAE,aAAa,IAAI,IAAI,aAAa,CAAU,YAAY,CAAC,CAAA;QAEtE,IAAI,CAAC,YAAY;YACb,OAAO,EAAE,kBAAkB;gBAC3B,IAAI,kBAAkB,CAClB,IAAI,CAAC,MAAM,EACX,IAAI,CAAC,OAAO,EACZ,YAAY,CACf,CAAA;QAEL,IAAI,CAAC,KAAK;YACN,OAAO,EAAE,WAAW;gBACpB,IAAI,WAAW,EAOZ,CAAA;QAEP,IAAI,CAAC,SAAS;YACV,OAAO,EAAE,eAAe;gBACxB,IAAI,eAAe,CASf;oBACI,YAAY,EAAE,IAAI,CAAC,MAAM;oBACzB,aAAa,EAAE,IAAI,CAAC,OAAO;oBAC3B,kBAAkB,EAAE,IAAI,CAAC,YAAY;iBACxC,EACD;oBACI,cAAc,EAAE,OAAO,EAAE,cAAc;oBACvC,cAAc,EAAE,OAAO,EAAE,cAAc;oBACvC,aAAa,EAAE,OAAO,EAAE,aAAa;oBACrC,UAAU,EAAE,IAAI,CAAC,UAAU;iBAC9B,CACJ,CAAA;IACT,CAAC;IAED;;;OAGG;IACI,QAAQ;QAeX,OAAO;YACH,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE;YACpC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE;YAC9B,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE;YAChC,YAAY,EAAE,IAAI,CAAC,YAAY,CAAC,QAAQ,EAAE;YAC1C,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE;SAC/B,CAAA;IACL,CAAC;IAED;;;;;;;;OAQG;IACI,MAAM,CAAC,YAAY,CAiBtB,QAcC,EACD,MAA4B;QAgB5B,MAAM,YAAY,GAAG,MAAM,EAAE,cAAc;YACvC,CAAC,CAAC,EAAE,cAAc,EAAE,MAAM,CAAC,cAAc,EAAE;YAC3C,CAAC,CAAC,SAAS,CAAA;QAEf,4EAA4E;QAC5E,MAAM,MAAM,GAAG,YAAY,CAAC,YAAY,CACpC,QAAQ,CAAC,MAAM,EACf,YAAY,CACf,CAAA;QACD,MAAM,OAAO,GAAG,aAAa,CAAC,YAAY,CACtC,QAAQ,CAAC,OAAO,EAChB,YAAY,CACf,CAAA;QACD,MAAM,YAAY,GAAG,kBAAkB,CAAC,YAAY,CAChD,QAAQ,CAAC,YAAY,EACrB,MAAM,EACN,OAAO,EACP,YAAY,CACf,CAAA;QACD,MAAM,KAAK,GAAG,WAAW,CAAC,YAAY,CAOpC,QAAQ,CAAC,KAAK,CAAC,CAAA;QACjB,MAAM,iBAAiB,GAAG,eAAe,CAAC,YAAY,CASlD,QAAQ,CAAC,SAAS,EAClB;YACI,YAAY,EAAE,MAAM;YACpB,aAAa,EAAE,OAAO;YACtB,kBAAkB,EAAE,YAAY;SACnC,EACD;YACI,cAAc,EAAE,MAAM,EAAE,cAAc;YACtC,cAAc,EAAE,MAAM,EAAE,cAAc;YACtC,aAAa,EAAE,MAAM,EAAE,aAAa;YACpC,UAAU,EAAE,MAAM,EAAE,UAAU;SACjC,CACJ,CAAA;QAED,MAAM,IAAI,GAAG,IAAI,YAAY,CAc3B;YACE,YAAY,EAAE,MAAM;YACpB,aAAa,EAAE,OAAO;YACtB,kBAAkB,EAAE,YAAY;YAChC,WAAW,EAAE,KAAK;YAClB,eAAe,EAAE,iBAAiB;SACrC,CAAC,CAAA;QAEF,IAAI,CAAC,UAAU,GAAG,MAAM,EAAE,UAAU,IAAI,iBAAiB,CAAA;QAEzD,OAAO,IAAI,CAAA;IACf,CAAC;IAED;;;;;OAKG;IACI,QAAQ;QACX,MAAM,UAAU,GAA0B;YACtC,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,UAAU;YACpC,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,UAAU;YACrC,GAAG,IAAI,CAAC,YAAY,CAAC,QAAQ,EAAE,CAAC,UAAU;YAC1C,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC,UAAU;YACnC,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,CAAC,UAAU;SAC1C,CAAA;QACD,OAAO,EAAE,EAAE,EAAE,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,UAAU,EAAE,CAAA;IACtD,CAAC;IAED;;;;;;;;;;OAUG;IACI,YAAY,CACf,UAAkB,EAClB,aAAsB,EACtB,OAoBC;QAgBD,iCAAiC;QACjC,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;QAC7C,IAAI,CAAC,MAAM,EAAE,CAAC;YACV,MAAM,IAAI,KAAK,CACX,aAAa,UAAU,iCAAiC,CAC3D,CAAA;QACL,CAAC;QAED,wBAAwB;QACxB,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC;YACpB,MAAM,IAAI,KAAK,CAAC,qBAAqB,UAAU,mBAAmB,CAAC,CAAA;QACvE,CAAC;QAED,MAAM,SAAS,GAAG,MAAM,CAAC,WAAW,EAAE,CAAA;QACtC,MAAM,qBAAqB,GAAG,aAAa,IAAI,IAAI,CAAC,UAAU,EAAE,CAAA;QAChE,MAAM,MAAM,GAAG,OAAO,EAAE,MAAM,IAAI,IAAI,CAAC,UAAU,EAAE,CAAA;QAEnD,iEAAiE;QACjE,MAAM,UAAU,GAAG,MAAM,CAAC,QAAQ,EAAE,CAAA;QACpC,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAkB,CAAA;QAClD,KAAK,MAAM,EAAE,IAAI,UAAU,CAAC,QAAQ,EAAE,CAAC;YACnC,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,WAAW,CAAC,WAAW,EAAE,CAAC;gBAC5C,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;YAChD,CAAC;QACL,CAAC;QAED,uBAAuB;QACvB,MAAM,UAAU,GAAG,IAAI,GAAG,EAAkB,CAAA;QAC5C,MAAM,eAAe,GAAG,IAAI,GAAG,EAAkB,CAAA;QACjD,MAAM,SAAS,GAAG,MAAM,CAAC,YAAY,EAAE,CAAA;QACvC,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAA;QACxC,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;YACxB,IAAI,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC;gBAClB,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAA;YACjC,CAAC;QACL,CAAC;QACD,KAAK,MAAM,eAAe,IAAI,cAAc,EAAE,CAAC;YAC3C,MAAM,YAAY,GAAG,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,eAAe,CAAC,CAAA;YAC5D,IAAI,CAAC,YAAY,EAAE,CAAC;gBAChB,MAAM,IAAI,KAAK,CACX,UAAU,eAAe,8BAA8B,CAC1D,CAAA;YACL,CAAC;YACD,eAAe,CAAC,GAAG,CAAC,eAAe,EAAE,YAAY,CAAC,OAAO,CAAC,CAAA;YAC1D,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,EAAE,CAAA;YACpC,MAAM,EACF,EAAE,EAAE,GAAG,EACP,OAAO,EAAE,EAAE,EACX,MAAM,EAAE,EAAE,EACV,QAAQ,EAAE,EAAE,EACZ,GAAG,SAAS,EACf,GAAG,YAAuC,CAAA;YAC3C,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;gBACf,GAAG,SAAS;gBACZ,EAAE,EAAE,UAAU;aACkC,CAAC,CAAA;YACrD,UAAU,CAAC,GAAG,CAAC,eAAe,EAAE,UAAU,CAAC,CAAA;QAC/C,CAAC;QAED,wBAAwB;QACxB,MAAM,WAAW,GAAG,IAAI,GAAG,EAAkB,CAAA;QAC7C,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAkB,CAAA;QAClD,MAAM,eAAe,GAAG,IAAI,GAAG,EAAU,CAAA;QACzC,KAAK,MAAM,eAAe,IAAI,cAAc,EAAE,CAAC;YAC3C,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC,WAAW,CAAC,eAAe,CAAC,CAAA;YACnE,KAAK,MAAM,KAAK,IAAI,YAAY,EAAE,CAAC;gBAC/B,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAA;YACvC,CAAC;QACL,CAAC;QACD,KAAK,MAAM,gBAAgB,IAAI,eAAe,EAAE,CAAC;YAC7C,MAAM,aAAa,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,gBAAgB,CAAC,CAAA;YAC/D,IAAI,CAAC,aAAa,EAAE,CAAC;gBACjB,MAAM,IAAI,KAAK,CACX,WAAW,gBAAgB,+BAA+B,CAC7D,CAAA;YACL,CAAC;YACD,gBAAgB,CAAC,GAAG,CAAC,gBAAgB,EAAE,aAAa,CAAC,OAAO,CAAC,CAAA;YAC7D,MAAM,WAAW,GAAG,IAAI,CAAC,UAAU,EAAE,CAAA;YACrC,MAAM,EACF,EAAE,EAAE,GAAG,EACP,OAAO,EAAE,EAAE,EACX,MAAM,EAAE,EAAE,EACV,QAAQ,EAAE,EAAE,EACZ,GAAG,UAAU,EAChB,GAAG,aAAwC,CAAA;YAC5C,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;gBAChB,GAAG,UAAU;gBACb,EAAE,EAAE,WAAW;aACkC,CAAC,CAAA;YACtD,WAAW,CAAC,GAAG,CAAC,gBAAgB,EAAE,WAAW,CAAC,CAAA;QAClD,CAAC;QAED,6BAA6B;QAC7B,KAAK,MAAM,eAAe,IAAI,cAAc,EAAE,CAAC;YAC3C,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC,WAAW,CAAC,eAAe,CAAC,CAAA;YACnE,KAAK,MAAM,KAAK,IAAI,YAAY,EAAE,CAAC;gBAC/B,MAAM,aAAa,GAAG,UAAU,CAAC,GAAG,CAAC,eAAe,CAAE,CAAA;gBACtD,MAAM,cAAc,GAAG,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAA;gBACtD,IAAI,cAAc,EAAE,CAAC;oBACjB,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC;wBAClB,EAAE,EAAE,IAAI,CAAC,UAAU,EAAE;wBACrB,OAAO,EAAE,aAAa;wBACtB,YAAY,EAAE,CAAC;wBACf,QAAQ,EAAE,cAAc;wBACxB,aAAa,EAAE,CAAC;qBACS,CAAC,CAAA;gBAClC,CAAC;YACL,CAAC;QACL,CAAC;QAED,sBAAsB;QACtB,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,UAAU,EAAE,GAAG,kBAAkB,CAS3D,MAAM,EACN,qBAAqB,EACrB;YACI,YAAY,EAAE,IAAI,CAAC,MAAM;YACzB,aAAa,EAAE,IAAI,CAAC,OAAO;YAC3B,kBAAkB,EAAE,IAAI,CAAC,YAAY;SACxC,EACD;YACI,GAAG,OAAO;YACV,UAAU,EAAE,OAAO,EAAE,UAAU,IAAI,IAAI,CAAC,UAAU;SACrD,CACJ,CAAA;QAED,iCAAiC;QACjC,MAAM,IAAI,GAAG,YAAY,CAAC,QAAQ,EAAE,CAAA;QACpC,IAAI,CAAC,SAAS,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YAC1D,IAAI,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC;gBAClB,MAAM,aAAa,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAA;gBAC/C,IAAI,aAAa,EAAE,CAAC;oBAChB,OAAO;wBACH,GAAG,CAAC;wBACJ,OAAO,EAAE,aAAa;wBACtB,YAAY,EAAE,CAAC;qBACN,CAAA;gBACjB,CAAC;YACL,CAAC;YACD,OAAO,CAAC,CAAA;QACZ,CAAC,CAAC,CAAA;QAEF,MAAM,WAAW,GAAG,cAAc,CAAC,YAAY,CAS3C,IAAI,EACJ,IAAI,CAAC,MAAM,EACX,IAAI,CAAC,OAAO,EACZ,IAAI,CAAC,YAAY,EACjB,IAAI,CAAC,MAAM,EAAE,aAAa,EAC1B,QAAQ,EACR,IAAI,CAAC,UAAU,CAClB,CAAA;QAED,0BAA0B;QAC1B,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAA;QAEpC,8BAA8B;QAE9B,uBAAuB;QACvB,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC;YAC7C,QAAQ,EAAE,qBAAqB;YAC/B,kBAAkB,EAAE,SAAS,CAAC,EAAE;YAChC,oBAAoB,EAAE,SAAS,CAAC,EAAE;YAClC,yBAAyB,EAAE,SAAS,CAAC,OAAO;YAC5C,MAAM;YACN,GAAG,OAAO,EAAE,kBAAkB;SACrB,CAAC,CAAA;QAEd,uBAAuB;QACvB,KAAK,MAAM,CAAC,YAAY,EAAE,YAAY,CAAC,IAAI,UAAU,CAAC,QAAQ,EAAE,CAAC;YAC7D,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC;gBACvB,QAAQ,EAAE,YAAY;gBACtB,kBAAkB,EAAE,YAAY;gBAChC,oBAAoB,EAAE,SAAS,CAAC,EAAE;gBAClC,yBAAyB,EAAE,SAAS,CAAC,OAAO;gBAC5C,MAAM;gBACN,GAAG,OAAO,EAAE,iBAAiB;aAChB,CAAC,CAAA;QACtB,CAAC;QAED,0BAA0B;QAC1B,KAAK,MAAM,CAAC,SAAS,EAAE,SAAS,CAAC,IAAI,UAAU,CAAC,WAAW,EAAE,CAAC;YAC1D,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC;gBAC1B,QAAQ,EAAE,SAAS;gBACnB,kBAAkB,EAAE,SAAS;gBAC7B,oBAAoB,EAAE,SAAS,CAAC,EAAE;gBAClC,yBAAyB,EAAE,SAAS,CAAC,OAAO;gBAC5C,MAAM;gBACN,mBAAmB,EAAE,gBAAgB,CAAC,GAAG,CAAC,SAAS,CAAE;gBACrD,GAAG,OAAO,EAAE,oBAAoB;aACtB,CAAC,CAAA;QACnB,CAAC;QAED,wBAAwB;QACxB,KAAK,MAAM,CAAC,QAAQ,EAAE,QAAQ,CAAC,IAAI,UAAU,CAAC,SAAS,EAAE,CAAC;YACtD,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC;gBACxB,QAAQ,EAAE,QAAQ;gBAClB,kBAAkB,EAAE,QAAQ;gBAC5B,oBAAoB,EAAE,SAAS,CAAC,EAAE;gBAClC,yBAAyB,EAAE,SAAS,CAAC,OAAO;gBAC5C,MAAM;gBACN,GAAG,OAAO,EAAE,kBAAkB;aACrB,CAAC,CAAA;QAClB,CAAC;QAED,qBAAqB;QACrB,KAAK,MAAM,CAAC,eAAe,EAAE,aAAa,CAAC,IAAI,UAAU,EAAE,CAAC;YACxD,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;gBACrB,QAAQ,EAAE,aAAa;gBACvB,kBAAkB,EAAE,eAAe;gBACnC,oBAAoB,EAAE,SAAS,CAAC,EAAE;gBAClC,yBAAyB,EAAE,SAAS,CAAC,OAAO;gBAC5C,MAAM;gBACN,uBAAuB,EAAE,eAAe,CAAC,GAAG,CAAC,eAAe,CAAE;gBAC9D,GAAG,OAAO,EAAE,eAAe;aAChB,CAAC,CAAA;QACpB,CAAC;QAED,sBAAsB;QACtB,KAAK,MAAM,CAAC,gBAAgB,EAAE,cAAc,CAAC,IAAI,WAAW,EAAE,CAAC;YAC3D,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;gBACtB,QAAQ,EAAE,cAAc;gBACxB,kBAAkB,EAAE,gBAAgB;gBACpC,oBAAoB,EAAE,SAAS,CAAC,EAAE;gBAClC,yBAAyB,EAAE,SAAS,CAAC,OAAO;gBAC5C,MAAM;gBACN,uBAAuB,EACnB,gBAAgB,CAAC,GAAG,CAAC,gBAAgB,CAAE;gBAC3C,GAAG,OAAO,EAAE,gBAAgB;aAChB,CAAC,CAAA;QACrB,CAAC;QAED,kBAAkB;QAClB,OAAO;YACH,MAAM,EAAE,WAAW;YACnB,UAAU;YACV,UAAU;YACV,WAAW;YACX,YAAY;SACf,CAAA;IACL,CAAC;IAED;;;;;;;;;;;OAWG;IACI,aAAa,CAChB,WAAmB,EACnB,WAAmB,EACnB,OAAuD;QAEvD,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,WAAW,CAAC,CAAA;QAC/C,IAAI,CAAC,OAAO,EAAE,CAAC;YACX,MAAM,IAAI,KAAK,CAAC,aAAa,WAAW,cAAc,CAAC,CAAA;QAC3D,CAAC;QACD,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,WAAW,CAAC,CAAA;QAC/C,IAAI,CAAC,OAAO,EAAE,CAAC;YACX,MAAM,IAAI,KAAK,CAAC,aAAa,WAAW,cAAc,CAAC,CAAA;QAC3D,CAAC;QAED,8CAA8C;QAC9C,MAAM,kBAAkB,GAAG,CAAC,CAAW,EAAE,CAAW,EAAW,EAAE;YAC7D,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;YAC5C,OAAO,MAAM,EAAE,kBAAkB,KAAK,CAAC,CAAC,EAAE,CAAA;QAC9C,CAAC,CAAA;QACD,MAAM,mBAAmB,GAAG,CAAC,CAAO,EAAE,CAAO,EAAW,EAAE;YACtD,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;YAC7C,OAAO,MAAM,EAAE,kBAAkB,KAAK,CAAC,CAAC,EAAE,CAAA;QAC9C,CAAC,CAAA;QACD,MAAM,qBAAqB,GAAG,CAAC,CAAQ,EAAE,CAAQ,EAAW,EAAE;YAC1D,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;YAC/C,OAAO,MAAM,EAAE,kBAAkB,KAAK,CAAC,CAAC,EAAE,CAAA;QAC9C,CAAC,CAAA;QAED,wDAAwD;QACxD,OAAO,uBAAuB,CAAC,OAAO,EAAE,OAAO,EAAE;YAC7C,GAAG,OAAO;YACV,cAAc,EAAE,OAAO,EAAE,cAAc,IAAI,kBAAkB;YAC7D,eAAe,EAAE,OAAO,EAAE,eAAe,IAAI,mBAAmB;YAChE,iBAAiB,EACb,OAAO,EAAE,iBAAiB,IAAI,qBAAqB;SAC1D,CAAC,CAAA;IACN,CAAC;CACJ"}
@@ -0,0 +1,15 @@
1
+ import type { ArgumentEngine } from "./argument-engine.js";
2
+ import type { PremiseEngine } from "./premise-engine.js";
3
+ import type { TCorePremiseProfile, TCorePremiseRelationshipAnalysis } from "../types/relationships.js";
4
+ /**
5
+ * Builds a profile of a premise's variable appearances, recording each
6
+ * variable's side (antecedent/consequent) and polarity (positive/negative).
7
+ */
8
+ export declare function buildPremiseProfile(premise: PremiseEngine): TCorePremiseProfile;
9
+ /**
10
+ * Analyzes how every other premise in the argument relates to the focused
11
+ * premise, classifying each as supporting, contradicting, restricting,
12
+ * downstream, or unrelated.
13
+ */
14
+ export declare function analyzePremiseRelationships(engine: ArgumentEngine, focusedPremiseId: string): TCorePremiseRelationshipAnalysis;
15
+ //# sourceMappingURL=relationships.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"relationships.d.ts","sourceRoot":"","sources":["../../../src/lib/core/relationships.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AAC1D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AACxD,OAAO,KAAK,EAER,mBAAmB,EAGnB,gCAAgC,EAEnC,MAAM,2BAA2B,CAAA;AAuClC;;;GAGG;AACH,wBAAgB,mBAAmB,CAC/B,OAAO,EAAE,aAAa,GACvB,mBAAmB,CAyBrB;AAwPD;;;;GAIG;AACH,wBAAgB,2BAA2B,CACvC,MAAM,EAAE,cAAc,EACtB,gBAAgB,EAAE,MAAM,GACzB,gCAAgC,CAyHlC"}