modality-ts 0.0.8 → 0.0.10

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 (615) hide show
  1. package/README.md +9 -7
  2. package/dist/check/diagnostics/bounds.d.ts +4 -0
  3. package/dist/check/diagnostics/bounds.d.ts.map +1 -0
  4. package/dist/check/diagnostics/bounds.js +25 -0
  5. package/dist/check/diagnostics/bounds.js.map +1 -0
  6. package/dist/check/diagnostics/vacuity.d.ts +3 -0
  7. package/dist/check/diagnostics/vacuity.d.ts.map +1 -0
  8. package/dist/check/diagnostics/vacuity.js +22 -0
  9. package/dist/check/diagnostics/vacuity.js.map +1 -0
  10. package/dist/check/engine/check-model.d.ts +4 -0
  11. package/dist/check/engine/check-model.d.ts.map +1 -0
  12. package/dist/check/engine/check-model.js +162 -0
  13. package/dist/check/engine/check-model.js.map +1 -0
  14. package/dist/check/engine/initial-states.d.ts +3 -0
  15. package/dist/check/engine/initial-states.d.ts.map +1 -0
  16. package/dist/check/engine/initial-states.js +11 -0
  17. package/dist/check/engine/initial-states.js.map +1 -0
  18. package/dist/check/engine/model-api.d.ts +4 -0
  19. package/dist/check/engine/model-api.d.ts.map +1 -0
  20. package/dist/check/engine/model-api.js +15 -0
  21. package/dist/check/engine/model-api.js.map +1 -0
  22. package/dist/check/engine/mounts.d.ts +3 -0
  23. package/dist/check/engine/mounts.d.ts.map +1 -0
  24. package/dist/check/engine/mounts.js +13 -0
  25. package/dist/check/engine/mounts.js.map +1 -0
  26. package/dist/check/engine/stabilize.d.ts +3 -0
  27. package/dist/check/engine/stabilize.d.ts.map +1 -0
  28. package/dist/check/engine/stabilize.js +82 -0
  29. package/dist/check/engine/stabilize.js.map +1 -0
  30. package/dist/check/engine/state-utils.d.ts +12 -0
  31. package/dist/check/engine/state-utils.d.ts.map +1 -0
  32. package/dist/check/engine/state-utils.js +30 -0
  33. package/dist/check/engine/state-utils.js.map +1 -0
  34. package/dist/check/engine/transitions.d.ts +4 -0
  35. package/dist/check/engine/transitions.d.ts.map +1 -0
  36. package/dist/check/engine/transitions.js +15 -0
  37. package/dist/check/engine/transitions.js.map +1 -0
  38. package/dist/check/index.d.ts +14 -0
  39. package/dist/check/index.d.ts.map +1 -0
  40. package/dist/check/index.js +13 -0
  41. package/dist/check/index.js.map +1 -0
  42. package/dist/check/properties/checked-state.d.ts +3 -0
  43. package/dist/check/properties/checked-state.d.ts.map +1 -0
  44. package/dist/check/properties/checked-state.js +21 -0
  45. package/dist/check/properties/checked-state.js.map +1 -0
  46. package/dist/check/properties/finalize.d.ts +4 -0
  47. package/dist/check/properties/finalize.d.ts.map +1 -0
  48. package/dist/check/properties/finalize.js +71 -0
  49. package/dist/check/properties/finalize.js.map +1 -0
  50. package/dist/check/properties/leads-to.d.ts +8 -0
  51. package/dist/check/properties/leads-to.d.ts.map +1 -0
  52. package/dist/check/properties/leads-to.js +69 -0
  53. package/dist/check/properties/leads-to.js.map +1 -0
  54. package/dist/check/properties/observe.d.ts +5 -0
  55. package/dist/check/properties/observe.d.ts.map +1 -0
  56. package/dist/check/properties/observe.js +56 -0
  57. package/dist/check/properties/observe.js.map +1 -0
  58. package/dist/check/properties/reachable-from.d.ts +8 -0
  59. package/dist/check/properties/reachable-from.d.ts.map +1 -0
  60. package/dist/check/properties/reachable-from.js +19 -0
  61. package/dist/check/properties/reachable-from.js.map +1 -0
  62. package/dist/check/runtime/domains.d.ts +5 -0
  63. package/dist/check/runtime/domains.d.ts.map +1 -0
  64. package/dist/check/runtime/domains.js +53 -0
  65. package/dist/check/runtime/domains.js.map +1 -0
  66. package/dist/check/runtime/effects.d.ts +9 -0
  67. package/dist/check/runtime/effects.d.ts.map +1 -0
  68. package/dist/check/runtime/effects.js +86 -0
  69. package/dist/check/runtime/effects.js.map +1 -0
  70. package/dist/check/runtime/expr.d.ts +7 -0
  71. package/dist/check/runtime/expr.d.ts.map +1 -0
  72. package/dist/check/runtime/expr.js +49 -0
  73. package/dist/check/runtime/expr.js.map +1 -0
  74. package/dist/check/runtime/navigation.d.ts +7 -0
  75. package/dist/check/runtime/navigation.d.ts.map +1 -0
  76. package/dist/check/runtime/navigation.js +60 -0
  77. package/dist/check/runtime/navigation.js.map +1 -0
  78. package/dist/check/runtime/opaque.d.ts +3 -0
  79. package/dist/check/runtime/opaque.d.ts.map +1 -0
  80. package/dist/check/runtime/opaque.js +72 -0
  81. package/dist/check/runtime/opaque.js.map +1 -0
  82. package/dist/check/runtime/paths.d.ts +4 -0
  83. package/dist/check/runtime/paths.d.ts.map +1 -0
  84. package/dist/check/runtime/paths.js +28 -0
  85. package/dist/check/runtime/paths.js.map +1 -0
  86. package/dist/check/runtime/pending.d.ts +9 -0
  87. package/dist/check/runtime/pending.d.ts.map +1 -0
  88. package/dist/check/runtime/pending.js +5 -0
  89. package/dist/check/runtime/pending.js.map +1 -0
  90. package/dist/check/runtime/tokens.d.ts +7 -0
  91. package/dist/check/runtime/tokens.d.ts.map +1 -0
  92. package/dist/check/runtime/tokens.js +36 -0
  93. package/dist/check/runtime/tokens.js.map +1 -0
  94. package/dist/check/slicing/slice-model.d.ts +5 -0
  95. package/dist/check/slicing/slice-model.d.ts.map +1 -0
  96. package/dist/check/slicing/slice-model.js +48 -0
  97. package/dist/check/slicing/slice-model.js.map +1 -0
  98. package/dist/check/traces/step-facts.d.ts +3 -0
  99. package/dist/check/traces/step-facts.d.ts.map +1 -0
  100. package/dist/check/traces/step-facts.js +35 -0
  101. package/dist/check/traces/step-facts.js.map +1 -0
  102. package/dist/check/traces/trace.d.ts +8 -0
  103. package/dist/check/traces/trace.d.ts.map +1 -0
  104. package/dist/check/traces/trace.js +42 -0
  105. package/dist/check/traces/trace.js.map +1 -0
  106. package/dist/{checker/search/index.d.ts → check/types.d.ts} +16 -6
  107. package/dist/check/types.d.ts.map +1 -0
  108. package/dist/{kernel/ir → check}/types.js.map +1 -1
  109. package/dist/cli/check.d.ts +3 -0
  110. package/dist/cli/check.d.ts.map +1 -0
  111. package/dist/cli/check.js +2 -0
  112. package/dist/cli/check.js.map +1 -0
  113. package/dist/cli/ci.d.ts.map +1 -0
  114. package/dist/cli/ci.js.map +1 -0
  115. package/dist/{modality → cli}/cli.d.ts.map +1 -1
  116. package/dist/{modality → cli}/cli.js +183 -50
  117. package/dist/cli/cli.js.map +1 -0
  118. package/dist/cli/codegen/model.d.ts +3 -0
  119. package/dist/cli/codegen/model.d.ts.map +1 -0
  120. package/dist/{modality → cli}/codegen/model.js +18 -10
  121. package/dist/cli/codegen/model.js.map +1 -0
  122. package/dist/{modality → cli}/codegen/replay-test.d.ts +1 -1
  123. package/dist/cli/codegen/replay-test.d.ts.map +1 -0
  124. package/dist/{modality → cli}/codegen/replay-test.js +12 -12
  125. package/dist/cli/codegen/replay-test.js.map +1 -0
  126. package/dist/cli/conform.d.ts +3 -0
  127. package/dist/cli/conform.d.ts.map +1 -0
  128. package/dist/cli/conform.js +2 -0
  129. package/dist/cli/conform.js.map +1 -0
  130. package/dist/cli/defaults.d.ts +13 -0
  131. package/dist/cli/defaults.d.ts.map +1 -0
  132. package/dist/cli/defaults.js +57 -0
  133. package/dist/cli/defaults.js.map +1 -0
  134. package/dist/cli/export-tla.d.ts +3 -0
  135. package/dist/cli/export-tla.d.ts.map +1 -0
  136. package/dist/cli/export-tla.js +2 -0
  137. package/dist/cli/export-tla.js.map +1 -0
  138. package/dist/{modality → cli}/extract.d.ts +1 -1
  139. package/dist/cli/extract.d.ts.map +1 -0
  140. package/dist/cli/extract.js.map +1 -0
  141. package/dist/{modality → cli}/features/check/command.d.ts +3 -2
  142. package/dist/cli/features/check/command.d.ts.map +1 -0
  143. package/dist/{modality → cli}/features/check/command.js +67 -27
  144. package/dist/cli/features/check/command.js.map +1 -0
  145. package/dist/cli/features/check/index.d.ts +3 -0
  146. package/dist/cli/features/check/index.d.ts.map +1 -0
  147. package/dist/cli/features/check/index.js +2 -0
  148. package/dist/cli/features/check/index.js.map +1 -0
  149. package/dist/cli/features/ci/command.d.ts.map +1 -0
  150. package/dist/{modality → cli}/features/ci/command.js +66 -26
  151. package/dist/cli/features/ci/command.js.map +1 -0
  152. package/dist/cli/features/ci/index.d.ts.map +1 -0
  153. package/dist/cli/features/ci/index.js.map +1 -0
  154. package/dist/{modality → cli}/features/conform/command.d.ts +1 -1
  155. package/dist/cli/features/conform/command.d.ts.map +1 -0
  156. package/dist/{modality → cli}/features/conform/command.js +67 -25
  157. package/dist/cli/features/conform/command.js.map +1 -0
  158. package/dist/cli/features/conform/index.d.ts.map +1 -0
  159. package/dist/cli/features/conform/index.js.map +1 -0
  160. package/dist/{modality → cli}/features/export/command.d.ts +1 -1
  161. package/dist/cli/features/export/command.d.ts.map +1 -0
  162. package/dist/{modality → cli}/features/export/command.js +72 -27
  163. package/dist/cli/features/export/command.js.map +1 -0
  164. package/dist/{modality → cli}/features/export/index.d.ts +2 -2
  165. package/dist/cli/features/export/index.d.ts.map +1 -0
  166. package/dist/cli/features/export/index.js +2 -0
  167. package/dist/cli/features/export/index.js.map +1 -0
  168. package/dist/{modality → cli}/features/extract/command.d.ts +5 -4
  169. package/dist/cli/features/extract/command.d.ts.map +1 -0
  170. package/dist/{modality → cli}/features/extract/command.js +295 -82
  171. package/dist/cli/features/extract/command.js.map +1 -0
  172. package/dist/{modality → cli}/features/extract/index.d.ts +1 -1
  173. package/dist/cli/features/extract/index.d.ts.map +1 -0
  174. package/dist/cli/features/extract/index.js.map +1 -0
  175. package/dist/cli/features/init/command.d.ts +9 -0
  176. package/dist/cli/features/init/command.d.ts.map +1 -0
  177. package/dist/cli/features/init/command.js +23 -0
  178. package/dist/cli/features/init/command.js.map +1 -0
  179. package/dist/cli/features/init/index.d.ts +3 -0
  180. package/dist/cli/features/init/index.d.ts.map +1 -0
  181. package/dist/cli/features/init/index.js +2 -0
  182. package/dist/cli/features/init/index.js.map +1 -0
  183. package/dist/{modality → cli}/features/replay/command.d.ts +1 -1
  184. package/dist/cli/features/replay/command.d.ts.map +1 -0
  185. package/dist/{modality → cli}/features/replay/command.js +42 -16
  186. package/dist/cli/features/replay/command.js.map +1 -0
  187. package/dist/cli/features/replay/index.d.ts.map +1 -0
  188. package/dist/cli/features/replay/index.js.map +1 -0
  189. package/dist/{harness → cli/harness}/index.d.ts +1 -1
  190. package/dist/cli/harness/index.d.ts.map +1 -0
  191. package/dist/{harness → cli/harness}/index.js +128 -37
  192. package/dist/cli/harness/index.js.map +1 -0
  193. package/dist/{modality → cli}/overlay.d.ts +1 -1
  194. package/dist/cli/overlay.d.ts.map +1 -0
  195. package/dist/{modality → cli}/overlay.js +1 -1
  196. package/dist/cli/overlay.js.map +1 -0
  197. package/dist/{modality → cli}/registry/index.d.ts +2 -2
  198. package/dist/cli/registry/index.d.ts.map +1 -0
  199. package/dist/{modality → cli}/registry/index.js +32 -17
  200. package/dist/cli/registry/index.js.map +1 -0
  201. package/dist/cli/replay.d.ts +3 -0
  202. package/dist/cli/replay.d.ts.map +1 -0
  203. package/dist/cli/replay.js.map +1 -0
  204. package/dist/{runtime → cli/runtime}/index.d.ts +1 -1
  205. package/dist/cli/runtime/index.d.ts.map +1 -0
  206. package/dist/{runtime → cli/runtime}/index.js +37 -10
  207. package/dist/cli/runtime/index.js.map +1 -0
  208. package/dist/core/artifacts/index.d.ts.map +1 -0
  209. package/dist/{kernel → core}/artifacts/index.js +7 -2
  210. package/dist/core/artifacts/index.js.map +1 -0
  211. package/dist/core/index.d.ts.map +1 -0
  212. package/dist/core/index.js.map +1 -0
  213. package/dist/core/ir/canonical.d.ts.map +1 -0
  214. package/dist/{kernel → core}/ir/canonical.js +30 -7
  215. package/dist/core/ir/canonical.js.map +1 -0
  216. package/dist/core/ir/domains.d.ts.map +1 -0
  217. package/dist/{kernel → core}/ir/domains.js +18 -6
  218. package/dist/core/ir/domains.js.map +1 -0
  219. package/dist/core/ir/types.d.ts.map +1 -0
  220. package/dist/{kernel/trace → core/ir}/types.js.map +1 -1
  221. package/dist/core/ir/validator.d.ts.map +1 -0
  222. package/dist/{kernel → core}/ir/validator.js +48 -19
  223. package/dist/core/ir/validator.js.map +1 -0
  224. package/dist/core/overlay/index.d.ts.map +1 -0
  225. package/dist/{kernel → core}/overlay/index.js +35 -14
  226. package/dist/core/overlay/index.js.map +1 -0
  227. package/dist/core/props/index.d.ts.map +1 -0
  228. package/dist/{kernel → core}/props/index.js +69 -21
  229. package/dist/core/props/index.js.map +1 -0
  230. package/dist/{kernel → core}/report/types.d.ts.map +1 -1
  231. package/dist/{kernel → core}/report/types.js.map +1 -1
  232. package/dist/core/trace/types.d.ts.map +1 -0
  233. package/dist/core/trace/types.js +2 -0
  234. package/dist/core/trace/types.js.map +1 -0
  235. package/dist/extract/engine/index.d.ts +4 -0
  236. package/dist/extract/engine/index.d.ts.map +1 -0
  237. package/dist/extract/engine/index.js +4 -0
  238. package/dist/extract/engine/index.js.map +1 -0
  239. package/dist/{extraction → extract/engine}/pipeline/index.d.ts +1 -2
  240. package/dist/extract/engine/pipeline/index.d.ts.map +1 -0
  241. package/dist/{extraction → extract/engine}/pipeline/index.js +55 -18
  242. package/dist/extract/engine/pipeline/index.js.map +1 -0
  243. package/dist/{extraction → extract/engine}/spi/index.d.ts +17 -1
  244. package/dist/extract/engine/spi/index.d.ts.map +1 -0
  245. package/dist/extract/engine/spi/index.js.map +1 -0
  246. package/dist/extract/engine/ts/ast.d.ts +23 -0
  247. package/dist/extract/engine/ts/ast.d.ts.map +1 -0
  248. package/dist/extract/engine/ts/ast.js +97 -0
  249. package/dist/extract/engine/ts/ast.js.map +1 -0
  250. package/dist/extract/engine/ts/components.d.ts +21 -0
  251. package/dist/extract/engine/ts/components.d.ts.map +1 -0
  252. package/dist/extract/engine/ts/components.js +287 -0
  253. package/dist/extract/engine/ts/components.js.map +1 -0
  254. package/dist/extract/engine/ts/context.d.ts +10 -0
  255. package/dist/extract/engine/ts/context.d.ts.map +1 -0
  256. package/dist/extract/engine/ts/context.js +273 -0
  257. package/dist/extract/engine/ts/context.js.map +1 -0
  258. package/dist/extract/engine/ts/domains.d.ts +8 -0
  259. package/dist/extract/engine/ts/domains.d.ts.map +1 -0
  260. package/dist/extract/engine/ts/domains.js +262 -0
  261. package/dist/extract/engine/ts/domains.js.map +1 -0
  262. package/dist/extract/engine/ts/expressions.d.ts +2 -0
  263. package/dist/extract/engine/ts/expressions.d.ts.map +1 -0
  264. package/dist/extract/engine/ts/expressions.js +2 -0
  265. package/dist/extract/engine/ts/expressions.js.map +1 -0
  266. package/dist/extract/engine/ts/handlers.d.ts +4 -0
  267. package/dist/extract/engine/ts/handlers.d.ts.map +1 -0
  268. package/dist/extract/engine/ts/handlers.js +3 -0
  269. package/dist/extract/engine/ts/handlers.js.map +1 -0
  270. package/dist/extract/engine/ts/ids.d.ts +7 -0
  271. package/dist/extract/engine/ts/ids.d.ts.map +1 -0
  272. package/dist/extract/engine/ts/ids.js +63 -0
  273. package/dist/extract/engine/ts/ids.js.map +1 -0
  274. package/dist/extract/engine/ts/input-transitions.d.ts +5 -0
  275. package/dist/extract/engine/ts/input-transitions.d.ts.map +1 -0
  276. package/dist/extract/engine/ts/input-transitions.js +132 -0
  277. package/dist/extract/engine/ts/input-transitions.js.map +1 -0
  278. package/dist/extract/engine/ts/jsx.d.ts +3 -0
  279. package/dist/extract/engine/ts/jsx.d.ts.map +1 -0
  280. package/dist/extract/engine/ts/jsx.js +3 -0
  281. package/dist/extract/engine/ts/jsx.js.map +1 -0
  282. package/dist/extract/engine/ts/react-source-transitions.d.ts +24 -0
  283. package/dist/extract/engine/ts/react-source-transitions.d.ts.map +1 -0
  284. package/dist/extract/engine/ts/react-source-transitions.js +243 -0
  285. package/dist/extract/engine/ts/react-source-transitions.js.map +1 -0
  286. package/dist/extract/engine/ts/routes.d.ts +9 -0
  287. package/dist/extract/engine/ts/routes.d.ts.map +1 -0
  288. package/dist/extract/engine/ts/routes.js +94 -0
  289. package/dist/extract/engine/ts/routes.js.map +1 -0
  290. package/dist/extract/engine/ts/source.d.ts +3 -0
  291. package/dist/extract/engine/ts/source.d.ts.map +1 -0
  292. package/dist/extract/engine/ts/source.js +5 -0
  293. package/dist/extract/engine/ts/source.js.map +1 -0
  294. package/dist/extract/engine/ts/static-navigation.d.ts +5 -0
  295. package/dist/extract/engine/ts/static-navigation.d.ts.map +1 -0
  296. package/dist/extract/engine/ts/static-navigation.js +425 -0
  297. package/dist/extract/engine/ts/static-navigation.js.map +1 -0
  298. package/dist/extract/engine/ts/transition/async.d.ts +45 -0
  299. package/dist/extract/engine/ts/transition/async.d.ts.map +1 -0
  300. package/dist/extract/engine/ts/transition/async.js +578 -0
  301. package/dist/extract/engine/ts/transition/async.js.map +1 -0
  302. package/dist/extract/engine/ts/transition/component-props.d.ts +26 -0
  303. package/dist/extract/engine/ts/transition/component-props.d.ts.map +1 -0
  304. package/dist/extract/engine/ts/transition/component-props.js +200 -0
  305. package/dist/extract/engine/ts/transition/component-props.js.map +1 -0
  306. package/dist/extract/engine/ts/transition/effects.d.ts +12 -0
  307. package/dist/extract/engine/ts/transition/effects.d.ts.map +1 -0
  308. package/dist/extract/engine/ts/transition/effects.js +139 -0
  309. package/dist/extract/engine/ts/transition/effects.js.map +1 -0
  310. package/dist/extract/engine/ts/transition/expressions.d.ts +34 -0
  311. package/dist/extract/engine/ts/transition/expressions.d.ts.map +1 -0
  312. package/dist/extract/engine/ts/transition/expressions.js +374 -0
  313. package/dist/extract/engine/ts/transition/expressions.js.map +1 -0
  314. package/dist/extract/engine/ts/transition/guards.d.ts +21 -0
  315. package/dist/extract/engine/ts/transition/guards.d.ts.map +1 -0
  316. package/dist/extract/engine/ts/transition/guards.js +258 -0
  317. package/dist/extract/engine/ts/transition/guards.js.map +1 -0
  318. package/dist/extract/engine/ts/transition/handlers.d.ts +32 -0
  319. package/dist/extract/engine/ts/transition/handlers.d.ts.map +1 -0
  320. package/dist/extract/engine/ts/transition/handlers.js +294 -0
  321. package/dist/extract/engine/ts/transition/handlers.js.map +1 -0
  322. package/dist/extract/engine/ts/transition/locals.d.ts +20 -0
  323. package/dist/extract/engine/ts/transition/locals.d.ts.map +1 -0
  324. package/dist/extract/engine/ts/transition/locals.js +123 -0
  325. package/dist/extract/engine/ts/transition/locals.js.map +1 -0
  326. package/dist/extract/engine/ts/transition/navigation.d.ts +21 -0
  327. package/dist/extract/engine/ts/transition/navigation.d.ts.map +1 -0
  328. package/dist/extract/engine/ts/transition/navigation.js +129 -0
  329. package/dist/extract/engine/ts/transition/navigation.js.map +1 -0
  330. package/dist/extract/engine/ts/transition/plugin-calls.d.ts +10 -0
  331. package/dist/extract/engine/ts/transition/plugin-calls.d.ts.map +1 -0
  332. package/dist/extract/engine/ts/transition/plugin-calls.js +114 -0
  333. package/dist/extract/engine/ts/transition/plugin-calls.js.map +1 -0
  334. package/dist/extract/engine/ts/transition/statement-summary.d.ts +34 -0
  335. package/dist/extract/engine/ts/transition/statement-summary.d.ts.map +1 -0
  336. package/dist/extract/engine/ts/transition/statement-summary.js +502 -0
  337. package/dist/extract/engine/ts/transition/statement-summary.js.map +1 -0
  338. package/dist/extract/engine/ts/transition/timers.d.ts +15 -0
  339. package/dist/extract/engine/ts/transition/timers.d.ts.map +1 -0
  340. package/dist/extract/engine/ts/transition/timers.js +109 -0
  341. package/dist/extract/engine/ts/transition/timers.js.map +1 -0
  342. package/dist/extract/engine/ts/transition/ui.d.ts +12 -0
  343. package/dist/extract/engine/ts/transition/ui.d.ts.map +1 -0
  344. package/dist/extract/engine/ts/transition/ui.js +113 -0
  345. package/dist/extract/engine/ts/transition/ui.js.map +1 -0
  346. package/dist/extract/engine/ts/traversal.d.ts +3 -0
  347. package/dist/extract/engine/ts/traversal.d.ts.map +1 -0
  348. package/dist/extract/engine/ts/traversal.js +6 -0
  349. package/dist/extract/engine/ts/traversal.js.map +1 -0
  350. package/dist/extract/engine/ts/types.d.ts +46 -0
  351. package/dist/extract/engine/ts/types.d.ts.map +1 -0
  352. package/dist/extract/engine/ts/types.js +2 -0
  353. package/dist/extract/engine/ts/types.js.map +1 -0
  354. package/dist/extract/index.d.ts +2 -0
  355. package/dist/extract/index.d.ts.map +1 -0
  356. package/dist/extract/index.js +2 -0
  357. package/dist/extract/index.js.map +1 -0
  358. package/dist/extract/sources/jotai/discover.d.ts +3 -0
  359. package/dist/extract/sources/jotai/discover.d.ts.map +1 -0
  360. package/dist/extract/sources/jotai/discover.js +65 -0
  361. package/dist/extract/sources/jotai/discover.js.map +1 -0
  362. package/dist/extract/sources/jotai/domains.d.ts +6 -0
  363. package/dist/extract/sources/jotai/domains.d.ts.map +1 -0
  364. package/dist/extract/sources/jotai/domains.js +283 -0
  365. package/dist/extract/sources/jotai/domains.js.map +1 -0
  366. package/dist/{sources → extract/sources}/jotai/harness.d.ts +2 -2
  367. package/dist/extract/sources/jotai/harness.d.ts.map +1 -0
  368. package/dist/{sources → extract/sources}/jotai/harness.js +1 -1
  369. package/dist/extract/sources/jotai/harness.js.map +1 -0
  370. package/dist/extract/sources/jotai/index.d.ts +4 -0
  371. package/dist/extract/sources/jotai/index.d.ts.map +1 -0
  372. package/dist/extract/sources/jotai/index.js +3 -0
  373. package/dist/extract/sources/jotai/index.js.map +1 -0
  374. package/dist/extract/sources/jotai/plugin.d.ts +4 -0
  375. package/dist/extract/sources/jotai/plugin.d.ts.map +1 -0
  376. package/dist/extract/sources/jotai/plugin.js +19 -0
  377. package/dist/extract/sources/jotai/plugin.js.map +1 -0
  378. package/dist/extract/sources/jotai/transitions.d.ts +15 -0
  379. package/dist/extract/sources/jotai/transitions.d.ts.map +1 -0
  380. package/dist/extract/sources/jotai/transitions.js +44 -0
  381. package/dist/extract/sources/jotai/transitions.js.map +1 -0
  382. package/dist/extract/sources/jotai/writes.d.ts +8 -0
  383. package/dist/extract/sources/jotai/writes.d.ts.map +1 -0
  384. package/dist/extract/sources/jotai/writes.js +173 -0
  385. package/dist/extract/sources/jotai/writes.js.map +1 -0
  386. package/dist/{sources → extract/sources}/router/harness.d.ts +1 -1
  387. package/dist/extract/sources/router/harness.d.ts.map +1 -0
  388. package/dist/{sources → extract/sources}/router/harness.js +6 -2
  389. package/dist/extract/sources/router/harness.js.map +1 -0
  390. package/dist/extract/sources/router/index.d.ts +9 -0
  391. package/dist/extract/sources/router/index.d.ts.map +1 -0
  392. package/dist/extract/sources/router/index.js +22 -0
  393. package/dist/extract/sources/router/index.js.map +1 -0
  394. package/dist/extract/sources/router/navigation.d.ts +5 -0
  395. package/dist/extract/sources/router/navigation.d.ts.map +1 -0
  396. package/dist/extract/sources/router/navigation.js +16 -0
  397. package/dist/extract/sources/router/navigation.js.map +1 -0
  398. package/dist/extract/sources/router/routes.d.ts +4 -0
  399. package/dist/extract/sources/router/routes.d.ts.map +1 -0
  400. package/dist/extract/sources/router/routes.js +28 -0
  401. package/dist/extract/sources/router/routes.js.map +1 -0
  402. package/dist/extract/sources/shared/react-transition-extract.d.ts +13 -0
  403. package/dist/extract/sources/shared/react-transition-extract.d.ts.map +1 -0
  404. package/dist/extract/sources/shared/react-transition-extract.js +22 -0
  405. package/dist/extract/sources/shared/react-transition-extract.js.map +1 -0
  406. package/dist/extract/sources/swr/discover.d.ts +11 -0
  407. package/dist/extract/sources/swr/discover.d.ts.map +1 -0
  408. package/dist/extract/sources/swr/discover.js +175 -0
  409. package/dist/extract/sources/swr/discover.js.map +1 -0
  410. package/dist/extract/sources/swr/domains.d.ts +5 -0
  411. package/dist/extract/sources/swr/domains.d.ts.map +1 -0
  412. package/dist/extract/sources/swr/domains.js +99 -0
  413. package/dist/extract/sources/swr/domains.js.map +1 -0
  414. package/dist/{sources → extract/sources}/swr/harness.d.ts +2 -2
  415. package/dist/extract/sources/swr/harness.d.ts.map +1 -0
  416. package/dist/{sources → extract/sources}/swr/harness.js +3 -1
  417. package/dist/extract/sources/swr/harness.js.map +1 -0
  418. package/dist/extract/sources/swr/index.d.ts +6 -0
  419. package/dist/extract/sources/swr/index.d.ts.map +1 -0
  420. package/dist/extract/sources/swr/index.js +4 -0
  421. package/dist/extract/sources/swr/index.js.map +1 -0
  422. package/dist/extract/sources/swr/plugin.d.ts +4 -0
  423. package/dist/extract/sources/swr/plugin.d.ts.map +1 -0
  424. package/dist/extract/sources/swr/plugin.js +21 -0
  425. package/dist/extract/sources/swr/plugin.js.map +1 -0
  426. package/dist/{sources/swr/index.d.ts → extract/sources/swr/template.d.ts} +4 -6
  427. package/dist/extract/sources/swr/template.d.ts.map +1 -0
  428. package/dist/extract/sources/swr/template.js +331 -0
  429. package/dist/extract/sources/swr/template.js.map +1 -0
  430. package/dist/extract/sources/swr/transitions.d.ts +15 -0
  431. package/dist/extract/sources/swr/transitions.d.ts.map +1 -0
  432. package/dist/extract/sources/swr/transitions.js +43 -0
  433. package/dist/extract/sources/swr/transitions.js.map +1 -0
  434. package/dist/extract/sources/swr/writes.d.ts +3 -0
  435. package/dist/extract/sources/swr/writes.d.ts.map +1 -0
  436. package/dist/extract/sources/swr/writes.js +54 -0
  437. package/dist/extract/sources/swr/writes.js.map +1 -0
  438. package/dist/{sources → extract/sources}/use-state/harness.d.ts +2 -2
  439. package/dist/extract/sources/use-state/harness.d.ts.map +1 -0
  440. package/dist/{sources → extract/sources}/use-state/harness.js +1 -1
  441. package/dist/extract/sources/use-state/harness.js.map +1 -0
  442. package/dist/extract/sources/use-state/index.d.ts +4 -0
  443. package/dist/extract/sources/use-state/index.d.ts.map +1 -0
  444. package/dist/{sources → extract/sources}/use-state/index.js +84 -31
  445. package/dist/extract/sources/use-state/index.js.map +1 -0
  446. package/dist/extract/sources/use-state/transitions.d.ts +4 -0
  447. package/dist/extract/sources/use-state/transitions.d.ts.map +1 -0
  448. package/dist/extract/sources/use-state/transitions.js +27 -0
  449. package/dist/extract/sources/use-state/transitions.js.map +1 -0
  450. package/dist/extract/sources/use-state/types.d.ts +67 -0
  451. package/dist/extract/sources/use-state/types.d.ts.map +1 -0
  452. package/dist/extract/sources/use-state/types.js +2 -0
  453. package/dist/extract/sources/use-state/types.js.map +1 -0
  454. package/package.json +85 -71
  455. package/dist/checker/encode/index.d.ts +0 -2
  456. package/dist/checker/encode/index.d.ts.map +0 -1
  457. package/dist/checker/encode/index.js +0 -2
  458. package/dist/checker/encode/index.js.map +0 -1
  459. package/dist/checker/index.d.ts +0 -6
  460. package/dist/checker/index.d.ts.map +0 -1
  461. package/dist/checker/index.js +0 -6
  462. package/dist/checker/index.js.map +0 -1
  463. package/dist/checker/monitors/index.d.ts +0 -2
  464. package/dist/checker/monitors/index.d.ts.map +0 -1
  465. package/dist/checker/monitors/index.js.map +0 -1
  466. package/dist/checker/search/eval.d.ts +0 -16
  467. package/dist/checker/search/eval.d.ts.map +0 -1
  468. package/dist/checker/search/eval.js +0 -308
  469. package/dist/checker/search/eval.js.map +0 -1
  470. package/dist/checker/search/index.d.ts.map +0 -1
  471. package/dist/checker/search/index.js +0 -556
  472. package/dist/checker/search/index.js.map +0 -1
  473. package/dist/checker/slicing/index.d.ts +0 -2
  474. package/dist/checker/slicing/index.d.ts.map +0 -1
  475. package/dist/checker/slicing/index.js +0 -2
  476. package/dist/checker/slicing/index.js.map +0 -1
  477. package/dist/checker/traces/index.d.ts +0 -2
  478. package/dist/checker/traces/index.d.ts.map +0 -1
  479. package/dist/checker/traces/index.js +0 -2
  480. package/dist/checker/traces/index.js.map +0 -1
  481. package/dist/extraction/index.d.ts +0 -34
  482. package/dist/extraction/index.d.ts.map +0 -1
  483. package/dist/extraction/index.js +0 -2982
  484. package/dist/extraction/index.js.map +0 -1
  485. package/dist/extraction/pipeline/index.d.ts.map +0 -1
  486. package/dist/extraction/pipeline/index.js.map +0 -1
  487. package/dist/extraction/spi/index.d.ts.map +0 -1
  488. package/dist/extraction/spi/index.js +0 -2
  489. package/dist/extraction/spi/index.js.map +0 -1
  490. package/dist/harness/index.d.ts.map +0 -1
  491. package/dist/harness/index.js.map +0 -1
  492. package/dist/kernel/artifacts/index.d.ts.map +0 -1
  493. package/dist/kernel/artifacts/index.js.map +0 -1
  494. package/dist/kernel/index.d.ts.map +0 -1
  495. package/dist/kernel/index.js.map +0 -1
  496. package/dist/kernel/ir/canonical.d.ts.map +0 -1
  497. package/dist/kernel/ir/canonical.js.map +0 -1
  498. package/dist/kernel/ir/domains.d.ts.map +0 -1
  499. package/dist/kernel/ir/domains.js.map +0 -1
  500. package/dist/kernel/ir/types.d.ts.map +0 -1
  501. package/dist/kernel/ir/validator.d.ts.map +0 -1
  502. package/dist/kernel/ir/validator.js.map +0 -1
  503. package/dist/kernel/overlay/index.d.ts.map +0 -1
  504. package/dist/kernel/overlay/index.js.map +0 -1
  505. package/dist/kernel/props/index.d.ts.map +0 -1
  506. package/dist/kernel/props/index.js.map +0 -1
  507. package/dist/kernel/trace/types.d.ts.map +0 -1
  508. package/dist/modality/check.d.ts +0 -3
  509. package/dist/modality/check.d.ts.map +0 -1
  510. package/dist/modality/check.js +0 -2
  511. package/dist/modality/check.js.map +0 -1
  512. package/dist/modality/ci.d.ts.map +0 -1
  513. package/dist/modality/ci.js.map +0 -1
  514. package/dist/modality/cli.js.map +0 -1
  515. package/dist/modality/codegen/model.d.ts +0 -3
  516. package/dist/modality/codegen/model.d.ts.map +0 -1
  517. package/dist/modality/codegen/model.js.map +0 -1
  518. package/dist/modality/codegen/replay-test.d.ts.map +0 -1
  519. package/dist/modality/codegen/replay-test.js.map +0 -1
  520. package/dist/modality/conform.d.ts +0 -3
  521. package/dist/modality/conform.d.ts.map +0 -1
  522. package/dist/modality/conform.js +0 -2
  523. package/dist/modality/conform.js.map +0 -1
  524. package/dist/modality/export-tla.d.ts +0 -3
  525. package/dist/modality/export-tla.d.ts.map +0 -1
  526. package/dist/modality/export-tla.js +0 -2
  527. package/dist/modality/export-tla.js.map +0 -1
  528. package/dist/modality/extract.d.ts.map +0 -1
  529. package/dist/modality/extract.js.map +0 -1
  530. package/dist/modality/features/check/command.d.ts.map +0 -1
  531. package/dist/modality/features/check/command.js.map +0 -1
  532. package/dist/modality/features/check/index.d.ts +0 -3
  533. package/dist/modality/features/check/index.d.ts.map +0 -1
  534. package/dist/modality/features/check/index.js +0 -2
  535. package/dist/modality/features/check/index.js.map +0 -1
  536. package/dist/modality/features/ci/command.d.ts.map +0 -1
  537. package/dist/modality/features/ci/command.js.map +0 -1
  538. package/dist/modality/features/ci/index.d.ts.map +0 -1
  539. package/dist/modality/features/ci/index.js.map +0 -1
  540. package/dist/modality/features/conform/command.d.ts.map +0 -1
  541. package/dist/modality/features/conform/command.js.map +0 -1
  542. package/dist/modality/features/conform/index.d.ts.map +0 -1
  543. package/dist/modality/features/conform/index.js.map +0 -1
  544. package/dist/modality/features/export/command.d.ts.map +0 -1
  545. package/dist/modality/features/export/command.js.map +0 -1
  546. package/dist/modality/features/export/index.d.ts.map +0 -1
  547. package/dist/modality/features/export/index.js +0 -2
  548. package/dist/modality/features/export/index.js.map +0 -1
  549. package/dist/modality/features/extract/command.d.ts.map +0 -1
  550. package/dist/modality/features/extract/command.js.map +0 -1
  551. package/dist/modality/features/extract/index.d.ts.map +0 -1
  552. package/dist/modality/features/extract/index.js.map +0 -1
  553. package/dist/modality/features/replay/command.d.ts.map +0 -1
  554. package/dist/modality/features/replay/command.js.map +0 -1
  555. package/dist/modality/features/replay/index.d.ts.map +0 -1
  556. package/dist/modality/features/replay/index.js.map +0 -1
  557. package/dist/modality/overlay.d.ts.map +0 -1
  558. package/dist/modality/overlay.js.map +0 -1
  559. package/dist/modality/registry/index.d.ts.map +0 -1
  560. package/dist/modality/registry/index.js.map +0 -1
  561. package/dist/modality/replay.d.ts +0 -3
  562. package/dist/modality/replay.d.ts.map +0 -1
  563. package/dist/modality/replay.js.map +0 -1
  564. package/dist/runtime/index.d.ts.map +0 -1
  565. package/dist/runtime/index.js.map +0 -1
  566. package/dist/sources/jotai/harness.d.ts.map +0 -1
  567. package/dist/sources/jotai/harness.js.map +0 -1
  568. package/dist/sources/jotai/index.d.ts +0 -11
  569. package/dist/sources/jotai/index.d.ts.map +0 -1
  570. package/dist/sources/jotai/index.js +0 -432
  571. package/dist/sources/jotai/index.js.map +0 -1
  572. package/dist/sources/router/harness.d.ts.map +0 -1
  573. package/dist/sources/router/harness.js.map +0 -1
  574. package/dist/sources/router/index.d.ts +0 -15
  575. package/dist/sources/router/index.d.ts.map +0 -1
  576. package/dist/sources/router/index.js +0 -41
  577. package/dist/sources/router/index.js.map +0 -1
  578. package/dist/sources/swr/harness.d.ts.map +0 -1
  579. package/dist/sources/swr/harness.js.map +0 -1
  580. package/dist/sources/swr/index.d.ts.map +0 -1
  581. package/dist/sources/swr/index.js +0 -528
  582. package/dist/sources/swr/index.js.map +0 -1
  583. package/dist/sources/use-state/harness.d.ts.map +0 -1
  584. package/dist/sources/use-state/harness.js.map +0 -1
  585. package/dist/sources/use-state/index.d.ts +0 -9
  586. package/dist/sources/use-state/index.d.ts.map +0 -1
  587. package/dist/sources/use-state/index.js.map +0 -1
  588. /package/dist/{kernel/ir → check}/types.js +0 -0
  589. /package/dist/{modality → cli}/ci.d.ts +0 -0
  590. /package/dist/{modality → cli}/ci.js +0 -0
  591. /package/dist/{modality → cli}/cli.d.ts +0 -0
  592. /package/dist/{modality → cli}/extract.js +0 -0
  593. /package/dist/{modality → cli}/features/ci/command.d.ts +0 -0
  594. /package/dist/{modality → cli}/features/ci/index.d.ts +0 -0
  595. /package/dist/{modality → cli}/features/ci/index.js +0 -0
  596. /package/dist/{modality → cli}/features/conform/index.d.ts +0 -0
  597. /package/dist/{modality → cli}/features/conform/index.js +0 -0
  598. /package/dist/{modality → cli}/features/extract/index.js +0 -0
  599. /package/dist/{modality → cli}/features/replay/index.d.ts +0 -0
  600. /package/dist/{modality → cli}/features/replay/index.js +0 -0
  601. /package/dist/{modality → cli}/replay.js +0 -0
  602. /package/dist/{kernel → core}/artifacts/index.d.ts +0 -0
  603. /package/dist/{kernel → core}/index.d.ts +0 -0
  604. /package/dist/{kernel → core}/index.js +0 -0
  605. /package/dist/{kernel → core}/ir/canonical.d.ts +0 -0
  606. /package/dist/{kernel → core}/ir/domains.d.ts +0 -0
  607. /package/dist/{kernel → core}/ir/types.d.ts +0 -0
  608. /package/dist/{kernel/report → core/ir}/types.js +0 -0
  609. /package/dist/{kernel → core}/ir/validator.d.ts +0 -0
  610. /package/dist/{kernel → core}/overlay/index.d.ts +0 -0
  611. /package/dist/{kernel → core}/props/index.d.ts +0 -0
  612. /package/dist/{kernel → core}/report/types.d.ts +0 -0
  613. /package/dist/{kernel/trace → core/report}/types.js +0 -0
  614. /package/dist/{kernel → core}/trace/types.d.ts +0 -0
  615. /package/dist/{checker/monitors → extract/engine/spi}/index.js +0 -0
@@ -0,0 +1 @@
1
+ {"version":3,"file":"command.js","sourceRoot":"","sources":["../../../../src/cli/features/extract/command.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AACpE,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACnE,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAC5D,OAAO,EACL,aAAa,EACb,kBAAkB,GAOnB,MAAM,kBAAkB,CAAC;AAM1B,OAAO,EAAE,YAAY,EAAE,MAAM,oCAAoC,CAAC;AAClE,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,mBAAmB,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AACxE,OAAO,EAAE,6BAA6B,EAAE,MAAM,yBAAyB,CAAC;AAsCxE,MAAM,CAAC,KAAK,UAAU,iBAAiB,CACrC,OAA8B;IAE9B,MAAM,WAAW,GAAG,qBAAqB,CAAC,OAAO,CAAC,CAAC;IACnD,MAAM,OAAO,GAAG,MAAM,qBAAqB,CAAC,WAAW,CAAC,CAAC;IACzD,MAAM,MAAM,GAAG,MAAM,kBAAkB,CACrC,OAAO,CAAC,UAAU,IAAI,CAAC,MAAM,iBAAiB,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC,CACxE,CAAC;IACF,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,MAAM,CAAC,KAAK,IAAI,GAAG,CAAC;IACnD,MAAM,YAAY,GAChB,OAAO,CAAC,YAAY,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,eAAe,CAAC;IACvE,MAAM,eAAe,GACnB,OAAO,CAAC,eAAe;QACvB,MAAM,CAAC,eAAe;QACtB,CAAC,MAAM,sBAAsB,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC;IACzD,MAAM,YAAY,GAAG,MAAM,uBAAuB,CAAC,eAAe,CAAC,CAAC;IACpE,MAAM,QAAQ,GAAG,6BAA6B,CAAC;QAC7C,YAAY;QACZ,eAAe,EAAE;YACf,GAAG,CAAC,MAAM,CAAC,eAAe,IAAI,EAAE,CAAC;YACjC,GAAG,CAAC,OAAO,CAAC,eAAe,IAAI,EAAE,CAAC;SACnC;QACD,kBAAkB,EAAE;YAClB,GAAG,CAAC,MAAM,CAAC,OAAO,IAAI,EAAE,CAAC;YACzB,GAAG,CAAC,OAAO,CAAC,aAAa,IAAI,EAAE,CAAC;SACjC;QACD,YAAY,EAAE,OAAO,CAAC,YAAY,IAAI,MAAM,CAAC,YAAY;KAC1D,CAAC,CAAC;IACH,MAAM,UAAU,GAAG,aAAa,CAAC;QAC/B,GAAG,CAAC,MAAM,CAAC,UAAU,IAAI,EAAE,CAAC;QAC5B,GAAG,CAAC,OAAO,CAAC,UAAU,IAAI,EAAE,CAAC;QAC7B,GAAG,OAAO,CAAC,UAAU;KACtB,CAAC,CAAC;IACH,MAAM,MAAM,GAAG;QACb,QAAQ,EAAE,EAAE;QACZ,UAAU,EAAE,CAAC;QACb,gBAAgB,EAAE,EAAE;QACpB,GAAG,CAAC,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC;QACxB,GAAG,CAAC,OAAO,CAAC,MAAM,IAAI,EAAE,CAAC;KAC1B,CAAC;IACF,MAAM,QAAQ,GAAG,qBAAqB,CAAC;QACrC,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,QAAQ,EAAE,OAAO,CAAC,SAAS;QAC3B,KAAK;QACL,aAAa,EAAE,OAAO,CAAC,MAAM;QAC7B,UAAU;QACV,aAAa,EAAE,QAAQ,CAAC,aAAa;QACrC,YAAY,EAAE,QAAQ,CAAC,YAAY;KACpC,CAAC,CAAC;IACH,MAAM,WAAW,GAAG,CAAC,GAAG,QAAQ,CAAC,WAAW,CAAC,CAAC;IAC9C,MAAM,gBAAgB,GAAG,aAAa,CAAC;QACrC,KAAK;QACL,GAAG,OAAO,CAAC,MAAM;QACjB,GAAG,yBAAyB,CAAC,WAAW,CAAC;KAC1C,CAAC,CAAC;IACH,MAAM,aAAa,GAAG,YAAY,EAAE,CAAC;IACrC,MAAM,SAAS,GAAG,QAAQ,CAAC,YAAY;QACrC,CAAC,CAAC,QAAQ,CAAC,YAAY,CAAC,SAAS,CAAC,gBAAgB,EAAE;YAChD,KAAK;YACL,MAAM,EAAE,EAAE,UAAU,EAAE,CAAC,EAAE;SAC1B,CAAC;QACJ,CAAC,CAAC,aAAa,CAAC,SAAS,CAAC,gBAAgB,EAAE;YACxC,KAAK;YACL,MAAM,EAAE,EAAE,UAAU,EAAE,CAAC,EAAE;SAC1B,CAAC,CAAC;IACP,MAAM,YAAY,GAAG,QAAQ,CAAC,iBAAiB,CAAC,OAAO,CACrD,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAC5B,CAAC;IACF,MAAM,SAAS,GAAG,4BAA4B,CAC5C,CAAC,GAAG,QAAQ,CAAC,SAAS,EAAE,GAAG,YAAY,CAAC,EACxC,WAAW,CACZ,CAAC;IACF,MAAM,cAAc,GAAU;QAC5B,aAAa,EAAE,CAAC;QAChB,EAAE,EAAE,iBAAiB;QACrB,MAAM;QACN,QAAQ,EAAE;YACR,YAAY,EAAE,YAAY,CAAC,OAAO,CAAC,OAAO,CAAC;YAC3C,OAAO,EAAE,gBAAgB,CAAC,QAAQ,CAAC,OAAO,CAAC;SAC5C;QACD,IAAI,EAAE;YACJ,GAAG,SAAS;YACZ,GAAG,WAAW,CACZ,UAAU,EACV,WAAW,EACX,CAAC,GAAG,SAAS,EAAE,GAAG,SAAS,CAAC,EAC5B,MAAM,CAAC,UAAU,CAClB;YACD,GAAG,SAAS;SACb;QACD,WAAW;KACZ,CAAC;IACF,MAAM,WAAW,GACf,OAAO,CAAC,YAAY,IAAI,OAAO,CAAC,WAAW;QACzC,CAAC,CAAC,MAAM,eAAe,CAAC,cAAc,EAAE,OAAO,CAAC,WAAW,CAAC;QAC5D,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,UAAU,GAAG,WAAW;QAC5B,CAAC,CAAC,mBAAmB,CAAC,cAAc,EAAE,WAAW,CAAC;QAClD,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,OAAO,GAAG,MAAM,mBAAmB,CACvC,cAAc,EACd,OAAO,CAAC,WAAW,CACpB,CAAC;IACF,IAAI,OAAO,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9B,MAAM,IAAI,KAAK,CACb;YACE,yBAAyB,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;YACpD,GAAG,UAAU;SACd,CAAC,IAAI,CAAC,IAAI,CAAC,CACb,CAAC;IACJ,CAAC;IACD,MAAM,QAAQ,GAAG;QACf,GAAG,QAAQ,CAAC,QAAQ;QACpB,GAAG,OAAO,CAAC,QAAQ;QACnB,GAAG,yBAAyB,CAAC,QAAQ,CAAC,aAAa,EAAE,YAAY,CAAC;KACnE,CAAC;IACF,MAAM,iBAAiB,GAAG,uBAAuB,CAAC,QAAQ,CAAC,CAAC;IAC5D,MAAM,KAAK,GAAU;QACnB,GAAG,OAAO,CAAC,KAAK;QAChB,QAAQ,EAAE;YACR,GAAG,OAAO,CAAC,KAAK,CAAC,QAAQ;YACzB,iBAAiB;SAClB;KACF,CAAC;IACF,MAAM,MAAM,GAAG,sBAAsB,CACnC,OAAO,CAAC,WAAW,EACnB,KAAK,EACL,QAAQ,EACR,OAAO,CAAC,WAAW,EACnB,OAAO,CAAC,GAAG,IAAI,IAAI,IAAI,EAAE,CAC1B,CAAC;IACF,MAAM,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAC7D,MAAM,SAAS,CAAC,OAAO,CAAC,SAAS,EAAE,GAAG,aAAa,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACxE,MAAM,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACxD,MAAM,SAAS,CAAC,YAAY,EAAE,YAAY,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,CAAC;IAC3D,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;QACvB,MAAM,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAC9D,MAAM,SAAS,CAAC,OAAO,CAAC,UAAU,EAAE,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC5E,CAAC;IACD,IAAI,OAAO,CAAC,eAAe,EAAE,CAAC;QAC5B,MAAM,0BAA0B,CAAC,KAAK,EAAE,OAAO,CAAC,eAAe,CAAC,CAAC;IACnE,CAAC;IACD,OAAO;QACL,KAAK;QACL,MAAM;QACN,KAAK,EAAE;YACL,kBAAkB,QAAQ,CAAC,SAAS,CAAC,MAAM,GAAG,QAAQ,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,MAAM,gBAAgB,WAAW,CAAC,MAAM,EAAE;YACxJ,WAAW,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,GAAG,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,EAAE,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,MAAM,EAAE;YAClH,SAAS,OAAO,CAAC,SAAS,EAAE;YAC5B,YAAY,YAAY,EAAE;YAC1B,GAAG,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,WAAW,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAClE,GAAG,CAAC,OAAO,CAAC,YAAY;gBACtB,CAAC,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC;oBACrB,CAAC,CAAC,UAAU;oBACZ,CAAC,CAAC,CAAC,oBAAoB,CAAC;gBAC1B,CAAC,CAAC,EAAE,CAAC;YACP,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/D,GAAG,CAAC,OAAO,CAAC,eAAe;gBACzB,CAAC,CAAC,CAAC,iBAAiB,OAAO,CAAC,eAAe,EAAE,CAAC;gBAC9C,CAAC,CAAC,EAAE,CAAC;YACP,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;SAChE;KACF,CAAC;AACJ,CAAC;AAiBD,SAAS,qBAAqB,CAAC,OAA8B;IAC3D,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,IAAI,EAAE,CAAC;IAC9C,MAAM,KAAK,GAAG;QACZ,GAAG,WAAW;QACd,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;KACpD,CAAC;IACF,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;IACnE,OAAO,aAAa,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAC3D,CAAC;AAED,KAAK,UAAU,qBAAqB,CAClC,WAA8B;IAE9B,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,8BAA8B,CAAC,WAAW,CAAC,CAAC;IAC/E,MAAM,QAAQ,GAAG,WAAW,CAAC,CAAC,CAAE,CAAC;IACjC,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,QAAQ,CAAC,CAAC;IAClC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC;QACxB,MAAM,MAAM,GAAG,MAAM,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;QAChD,MAAM,QAAQ,GAAG,MAAM,sBAAsB,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;QACjE,MAAM,QAAQ,GAAG,MAAM,sBAAsB,CAC3C,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,EAClC,QAAQ,CACT,CAAC;QACF,OAAO;YACL,SAAS,EAAE,QAAQ;YACnB,UAAU,EAAE,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;YAClE,WAAW,EAAE,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC;YACxD,OAAO,EAAE,QAAQ,CAAC,OAAO;YACzB,MAAM,EAAE,EAAE;YACV,UAAU,EAAE,eAAe,CACzB,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CACvD;YACD,cAAc,EAAE,OAAO,CAAC,QAAQ,CAAC;SAClC,CAAC;IACJ,CAAC;IACD,MAAM,UAAU,GAAG,IAAI,CAAC,QAAQ,EAAE,KAAK,EAAE,WAAW,CAAC,CAAC;IACtD,MAAM,YAAY,GAAG,sBAAsB,CACzC,MAAM,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC,CACnC,CAAC;IACF,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC;IACnD,MAAM,KAAK,GAAG,MAAM,aAAa,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC9C,MAAM,OAAO,GAAG;QACd,GAAG,CAAC,MAAM,OAAO,CAAC,GAAG,CACnB,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAC1E,CAAC;QACF,GAAG,CAAC,MAAM,OAAO,CAAC,GAAG,CACnB,YAAY,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;YACjC,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,KAAK,CAAC,IAAI,CAAC;YAC9C,IAAI,EAAE,MAAM,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;SACvE,CAAC,CAAC,CACJ,CAAC;KACH,CAAC;IACF,MAAM,QAAQ,GAAG,MAAM,sBAAsB,CAAC,QAAQ,CAAC,CAAC;IACxD,MAAM,QAAQ,GAAG,MAAM,sBAAsB,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IACjE,MAAM,UAAU,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1E,OAAO;QACL,SAAS,EAAE,UAAU;QACrB,UAAU;QACV,WAAW,EAAE,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC;QACxD,OAAO,EAAE,QAAQ,CAAC,OAAO;QACzB,MAAM,EAAE,aAAa,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QACjE,UAAU,EAAE,eAAe,CAAC,UAAU,CAAC;QACvC,cAAc,EAAE,QAAQ;KACzB,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,8BAA8B,CAC3C,WAA8B;IAE9B,MAAM,QAAQ,GAAG,MAAM,OAAO,CAAC,GAAG,CAChC,WAAW,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,qBAAqB,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CACrE,CAAC;IACF,MAAM,aAAa,GAAG,IAAI,GAAG,EAA0C,CAAC;IACxE,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;YACrC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACzC,CAAC;IACH,CAAC;IACD,MAAM,OAAO,GAAG,CAAC,GAAG,aAAa,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAC/D,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,CACpC,CAAC;IACF,MAAM,UAAU,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjE,OAAO;QACL,SAAS,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;QACjE,UAAU;QACV,WAAW,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC;QAC/C,OAAO;QACP,MAAM,EAAE,aAAa,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QACpE,UAAU,EAAE,aAAa,CAAC;YACxB,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC;YACpD,GAAG,eAAe,CAAC,UAAU,CAAC;SAC/B,CAAC;QACF,cAAc,EAAE,cAAc,CAC5B,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,cAAc,CAAC,CAClD;KACF,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,sBAAsB,CACnC,OAA8C,EAC9C,QAA4B;IAE5B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,OAAO,GAA0C,EAAE,CAAC;IAC1D,MAAM,KAAK,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC;IAC3B,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,EAAG,CAAC;QAC5B,MAAM,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrC,IAAI,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC;YAAE,SAAS;QAClC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QACpB,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;QACnD,KAAK,MAAM,SAAS,IAAI,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACzD,MAAM,QAAQ,GAAG,MAAM,iBAAiB,CACtC,OAAO,CAAC,SAAS,CAAC,EAClB,SAAS,EACT,QAAQ,CACT,CAAC;YACF,IAAI,QAAQ;gBACV,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC;QAC3E,CAAC;IACH,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,CAAC;AACrB,CAAC;AAED,SAAS,qBAAqB,CAAC,MAAc;IAC3C,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,MAAM,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAC;IAC1C,MAAM,KAAK,GAAG,CAAC,IAA+B,EAAQ,EAAE;QACtD,IACE,qBAAqB,CAAC,IAAI,CAAC;YAC3B,iBAAiB,CAAC,IAAI,CAAC,eAAe,CAAC;YACvC,sBAAsB,CAAC,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,EACjD,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;QACxC,CAAC;QACD,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC9B,CAAC,CAAC;IACF,KAAK,CAAC,MAAM,CAAC,CAAC;IACd,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,kBAAkB,CAAC,MAAc;IACxC,OAAO,EAAE,CAAC,gBAAgB,CACxB,aAAa,EACb,MAAM,EACN,EAAE,CAAC,YAAY,CAAC,MAAM,EACtB,IAAI,EACJ,EAAE,CAAC,UAAU,CAAC,GAAG,CAClB,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAC5B,IAA+B;IAE/B,OAAO,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;AACtC,CAAC;AAED,SAAS,iBAAiB,CACxB,IAA+B;IAE/B,OAAO,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;AAClC,CAAC;AAED,SAAS,cAAc,CACrB,IAA+B,EAC/B,EAA6C;IAE7C,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;AAC5B,CAAC;AAED,SAAS,sBAAsB,CAAC,SAAiB;IAC/C,OAAO,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,SAAS,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;AACjE,CAAC;AAED,KAAK,UAAU,iBAAiB,CAC9B,OAAe,EACf,SAAiB,EACjB,QAA4B;IAE5B,IAAI,SAAS,CAAC,UAAU,CAAC,WAAW,CAAC,IAAI,SAAS,CAAC,UAAU,CAAC,YAAY,CAAC;QACzE,OAAO,SAAS,CAAC;IACnB,MAAM,KAAK,GAAG,WAAW,CAAC,OAAO,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;IACxD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,QAAQ,GAAG,MAAM,uBAAuB,CAAC,IAAI,CAAC,CAAC;QACrD,IAAI,QAAQ;YAAE,OAAO,QAAQ,CAAC;IAChC,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,WAAW,CAClB,OAAe,EACf,SAAiB,EACjB,QAA4B;IAE5B,IAAI,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,OAAO,CAAC,OAAO,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC;IACpE,MAAM,OAAO,GAAG,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE;QAC/C,IACE,CAAC,SAAS,CAAC,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC;YACnC,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC;YAEjC,OAAO,EAAE,CAAC;QACZ,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,CAC1B,KAAK,CAAC,MAAM,CAAC,MAAM,EACnB,SAAS,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,CACvC,CAAC;QACF,OAAO,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IAC3E,CAAC,CAAC,CAAC;IACH,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,OAAO,CAAC;IACvC,OAAO,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AACxE,CAAC;AAED,KAAK,UAAU,uBAAuB,CACpC,IAAY;IAEZ,MAAM,UAAU,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC;QAC7C,CAAC,CAAC,CAAC,IAAI,CAAC;QACR,CAAC,CAAC;YACE,GAAG,IAAI,KAAK;YACZ,GAAG,IAAI,MAAM;YACb,GAAG,IAAI,MAAM;YACb,GAAG,IAAI,MAAM;YACb,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC;YACtB,IAAI,CAAC,IAAI,EAAE,WAAW,CAAC;SACxB,CAAC;IACN,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,IAAI,CAAC;YACH,MAAM,aAAa,GAAG,MAAM,IAAI,CAAC,SAAS,CAAC,CAAC;YAC5C,IAAI,aAAa,CAAC,MAAM,EAAE;gBAAE,OAAO,SAAS,CAAC;QAC/C,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAK,KAA+B,CAAC,IAAI,KAAK,QAAQ;gBAAE,MAAM,KAAK,CAAC;QACtE,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,KAAK,UAAU,sBAAsB,CACnC,QAAgB;IAEhB,MAAM,YAAY,GAAG,MAAM,mBAAmB,CAAC,QAAQ,CAAC,CAAC;IACzD,IAAI,CAAC,YAAY;QAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;IACxC,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC,CAE7D,CAAC;IACF,MAAM,SAAS,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC;IACxC,MAAM,OAAO,GAAG,MAAM,CAAC,eAAe,EAAE,OAAO;QAC7C,CAAC,CAAC,OAAO,CAAC,SAAS,EAAE,MAAM,CAAC,eAAe,CAAC,OAAO,CAAC;QACpD,CAAC,CAAC,SAAS,CAAC;IACd,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,eAAe,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC,GAAG,CACnE,CAAC,CAAC,GAAG,EAAE,OAAO,CAAC,EAAE,EAAE;QACjB,MAAM,IAAI,GAAG,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAC9B,MAAM,MAAM,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QACpD,MAAM,MAAM,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACpD,OAAO;YACL,MAAM;YACN,MAAM;YACN,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;SAC3D,CAAC;IACJ,CAAC,CACF,CAAC;IACF,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;AAC5B,CAAC;AAED,KAAK,UAAU,mBAAmB,CAChC,QAAgB;IAEhB,IAAI,GAAG,GAAG,QAAQ,CAAC;IACnB,OAAO,IAAI,EAAE,CAAC;QACZ,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,eAAe,CAAC,CAAC;QAC7C,IAAI,CAAC;YACH,MAAM,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;YAClC,OAAO,SAAS,CAAC;QACnB,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAK,KAA+B,CAAC,IAAI,KAAK,QAAQ;gBAAE,MAAM,KAAK,CAAC;QACtE,CAAC;QACD,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;QAC5B,IAAI,MAAM,KAAK,GAAG,IAAI,GAAG,KAAK,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI;YAAE,OAAO,SAAS,CAAC;QAChE,GAAG,GAAG,MAAM,CAAC;IACf,CAAC;AACH,CAAC;AAED,KAAK,UAAU,aAAa,CAAC,KAAwB;IACnD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC;YACH,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,CAAC;YAC9B,IAAI,IAAI,CAAC,MAAM,EAAE;gBAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtC,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAK,KAA+B,CAAC,IAAI,KAAK,QAAQ;gBAAE,MAAM,KAAK,CAAC;QACtE,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,sBAAsB,CAC7B,MAAc;IAEd,MAAM,MAAM,GAA6C,EAAE,CAAC;IAC5D,MAAM,MAAM,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAC;IAC1C,MAAM,KAAK,GAAG,CAAC,IAA+B,EAAQ,EAAE;QACtD,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;YAClE,IACE,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,OAAO;gBAChC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EACrC,CAAC;gBACD,MAAM,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;YAC9D,CAAC;YACD,IACE,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,OAAO;gBAChC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;gBACrC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EACrC,CAAC;gBACD,MAAM,CAAC,IAAI,CAAC;oBACV,OAAO,EAAE,sBAAsB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;oBACvD,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI;iBAC7B,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC9B,CAAC,CAAC;IACF,KAAK,CAAC,MAAM,CAAC,CAAC;IACd,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,sBAAsB,CAAC,OAAe;IAC7C,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,OAAO,EAAE,CAAC;IACrE,OAAO,UAAU,CAAC,OAAO,CAAC,oBAAoB,EAAE,KAAK,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;AAC7E,CAAC;AAED,SAAS,YAAY,CACnB,OAAkD;IAElD,OAAO,MAAM,CAAC,WAAW,CACvB,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAC5D,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CAAC,UAAkB;IACzC,MAAM,MAAM,GAAG,kBAAkB,CAAC,UAAU,CAAC,CAAC;IAC9C,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,MAAM,KAAK,GAAG,CAAC,IAA+B,EAAQ,EAAE;QACtD,IACE,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;YACzB,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC;YAChC,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,OAAO,EAChC,CAAC;YACD,MAAM,EAAE,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;YAC3B,IAAI,EAAE;gBAAE,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACtB,CAAC;QACD,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC9B,CAAC,CAAC;IACF,KAAK,CAAC,MAAM,CAAC,CAAC;IACd,OAAO,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;AACzB,CAAC;AAED,SAAS,SAAS,CAChB,IAAyC;IAEzC,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAChC,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAC7B,MAAM,IAAI,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;IACnC,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAC5B,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC;IAC5D,OAAO,GAAG,MAAM,IAAI,IAAI,EAAE,CAAC;AAC7B,CAAC;AAED,SAAS,cAAc,CACrB,UAA2C;IAE3C,IACE,EAAE,CAAC,eAAe,CAAC,UAAU,CAAC;QAC9B,EAAE,CAAC,+BAA+B,CAAC,UAAU,CAAC;QAE9C,OAAO,kBAAkB,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IAC7C,IAAI,EAAE,CAAC,oBAAoB,CAAC,UAAU,CAAC,EAAE,CAAC;QACxC,IAAI,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC;QACjC,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,aAAa;YACzC,KAAK,IAAI,MAAM,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;QACrC,OAAO,kBAAkB,CAAC,KAAK,CAAC,CAAC;IACnC,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAY;IACtC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,OAAO,CACvD,mBAAmB,EACnB,MAAM,CACP,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CACvB,UAAuD;IAEvD,IAAI,CAAC,UAAU,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,UAAU,CAAC;QAC1D,OAAO,SAAS,CAAC;IACnB,MAAM,MAAM,GAAG,UAAU,CAAC,UAAU,CAAC,IAAI,CACvC,CAAC,QAAQ,EAAuD,EAAE,CAChE,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC;QACjC,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,QAAQ,CAC3C,CAAC;IACF,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACrE,OAAO,KAAK,EAAE,WAAW,EAAE,CAAC;AAC9B,CAAC;AAED,SAAS,aAAa,CACpB,UAA2C;IAE3C,OAAO,EAAE,CAAC,eAAe,CAAC,UAAU,CAAC;QACnC,EAAE,CAAC,+BAA+B,CAAC,UAAU,CAAC;QAC9C,CAAC,CAAC,UAAU,CAAC,IAAI;QACjB,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC;AAED,SAAS,YAAY,CACnB,IAAuC;IAEvC,IACE,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;QACrB,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC;QACxB,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QAEzB,OAAO,IAAI,CAAC,IAAI,CAAC;IACnB,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,KAAK,UAAU,eAAe,CAC5B,KAAY,EACZ,WAAmB;IAEnB,OAAO,eAAe,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;AAC7C,CAAC;AAED,KAAK,UAAU,kBAAkB,CAC/B,UAA8B;IAE9B,IAAI,CAAC,UAAU;QAAE,OAAO,EAAE,CAAC;IAC3B,MAAM,MAAM,GAAG,CAAC,MAAM,kBAAkB,CAAC,UAAU,CAAC,CAGnD,CAAC;IACF,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC;IACvD,OAAO,OAAO,QAAQ,KAAK,UAAU,CAAC,CAAC,CAAC,MAAM,QAAQ,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC;AACtE,CAAC;AAED,KAAK,UAAU,kBAAkB,CAAC,UAAkB;IAClD,IAAI,OAAO,CAAC,UAAU,CAAC,KAAK,KAAK,IAAI,OAAO,CAAC,UAAU,CAAC,KAAK,MAAM,EAAE,CAAC;QACpE,MAAM,MAAM,GAAG,MAAM,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;QAClD,MAAM,UAAU,GAAG,EAAE,CAAC,eAAe,CAAC,MAAM,EAAE;YAC5C,eAAe,EAAE;gBACf,MAAM,EAAE,EAAE,CAAC,UAAU,CAAC,MAAM;gBAC5B,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM;gBAC9B,sBAAsB,EAAE,EAAE,CAAC,sBAAsB,CAAC,MAAM;aACzD;SACF,CAAC,CAAC,UAAU,CAAC;QACd,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;QAC3D,MAAM,GAAG,GAAG,+BAA+B,OAAO,EAAE,CAAC;QACrD,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC;IACrB,CAAC;IACD,OAAO,MAAM,CAAC,GAAG,aAAa,CAAC,UAAU,CAAC,CAAC,IAAI,MAAM,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;AACrE,CAAC;AAED,KAAK,UAAU,iBAAiB,CAC9B,QAAgB;IAEhB,MAAM,KAAK,GAAG;QACZ,oBAAoB;QACpB,qBAAqB;QACrB,oBAAoB;QACpB,qBAAqB;KACtB,CAAC;IACF,IAAI,GAAG,GAAG,QAAQ,CAAC;IACnB,OAAO,IAAI,EAAE,CAAC;QACZ,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;YAClC,IAAI,CAAC;gBACH,MAAM,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;gBAClC,OAAO,SAAS,CAAC;YACnB,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,IAAK,KAA+B,CAAC,IAAI,KAAK,QAAQ;oBAAE,MAAM,KAAK,CAAC;YACtE,CAAC;QACH,CAAC;QACD,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;QAC5B,IAAI,MAAM,KAAK,GAAG,IAAI,GAAG,KAAK,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI;YAAE,OAAO,SAAS,CAAC;QAChE,GAAG,GAAG,MAAM,CAAC;IACf,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CAAC,MAAyB;IAC9C,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;AACrC,CAAC;AAED,SAAS,cAAc,CAAC,KAAwB;IAC9C,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,OAAO,CAAC,GAAG,EAAE,CAAC;IAC7C,MAAM,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC5E,IAAI,CAAC,KAAK;QAAE,OAAO,OAAO,CAAC,GAAG,EAAE,CAAC;IACjC,IAAI,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;IAC1B,KAAK,MAAM,KAAK,IAAI,IAAI,EAAE,CAAC;QACzB,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QACxC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;YAC/C,IAAI,KAAK,CAAC,KAAK,CAAC,KAAK,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;gBAClC,MAAM,GAAG,KAAK,CAAC;gBACf,MAAM;YACR,CAAC;QACH,CAAC;IACH,CAAC;IACD,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChD,OAAO,MAAM,KAAK,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC;AACxD,CAAC;AAED,KAAK,UAAU,sBAAsB,CACnC,QAAgB;IAEhB,IAAI,GAAG,GAAG,QAAQ,CAAC;IACnB,OAAO,IAAI,EAAE,CAAC;QACZ,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC;QAC5C,IAAI,CAAC;YACH,MAAM,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;YAClC,OAAO,SAAS,CAAC;QACnB,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAK,KAA+B,CAAC,IAAI,KAAK,QAAQ;gBAAE,MAAM,KAAK,CAAC;QACtE,CAAC;QACD,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;QAC5B,IAAI,MAAM,KAAK,GAAG,IAAI,GAAG,KAAK,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI;YAAE,OAAO,SAAS,CAAC;QAChE,GAAG,GAAG,MAAM,CAAC;IACf,CAAC;AACH,CAAC;AAED,KAAK,UAAU,uBAAuB,CACpC,eAAmC;IAEnC,IAAI,CAAC,eAAe;QAAE,OAAO,SAAS,CAAC;IACvC,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC,CAIlE,CAAC;IACF,OAAO;QACL,GAAG,CAAC,QAAQ,CAAC,gBAAgB,IAAI,EAAE,CAAC;QACpC,GAAG,CAAC,QAAQ,CAAC,eAAe,IAAI,EAAE,CAAC;QACnC,GAAG,CAAC,QAAQ,CAAC,YAAY,IAAI,EAAE,CAAC;KACjC,CAAC;AACJ,CAAC;AAED,SAAS,MAAM,CAAC,KAAa;IAC3B,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC1D,CAAC;AAED,KAAK,UAAU,0BAA0B,CACvC,KAAY,EACZ,iBAAyB;IAEzB,MAAM,QAAQ,GAAG,kBAAkB,CACjC,MAAM,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC,CAC1C,CAAC;IACF,MAAM,UAAU,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;IACxC,MAAM,YAAY,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAC;IAC7C,IAAI,UAAU,KAAK,YAAY,EAAE,CAAC;QAChC,MAAM,IAAI,KAAK,CACb,kDAAkD,iBAAiB,EAAE,CACtE,CAAC;IACJ,CAAC;AACH,CAAC;AAED,SAAS,sBAAsB,CAC7B,WAA8B,EAC9B,KAAY,EACZ,QAA2B,EAC3B,WAA8B,EAC9B,GAAS;IAET,MAAM,OAAO,GAAG,KAAK,CAAC,QAAQ,EAAE,iBAAiB,IAAI,sBAAsB,EAAE,CAAC;IAC9E,MAAM,kBAAkB,GAAG,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;QAChE,EAAE,EAAE,UAAU,CAAC,EAAE;QACjB,cAAc,EACZ,UAAU,CAAC,UAAU,KAAK,QAAQ;YAChC,CAAC,CAAE,SAAmB;YACtB,CAAC,CAAC,UAAU,CAAC,UAAU;QAC3B,OAAO,EACL,UAAU,CAAC,UAAU,KAAK,aAAa;YACrC,CAAC,CAAC,iBAAiB,CAAC,UAAU,CAAC;YAC/B,CAAC,CAAE,EAAe;KACvB,CAAC,CAAC,CAAC;IACJ,MAAM,aAAa,GAAG,IAAI,GAAG,CAC3B,kBAAkB,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAChD,CAAC;IACF,MAAM,qBAAqB,GAAG,QAAQ;SACnC,GAAG,CAAC,+BAA+B,CAAC;SACpC,MAAM,CAAC,CAAC,OAAO,EAA6C,EAAE,CAC7D,OAAO,CAAC,OAAO,CAAC,CACjB;SACA,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;SACnD,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;QACjB,EAAE,EAAE,OAAO,CAAC,EAAE;QACd,cAAc,EAAE,eAAwB;QACxC,OAAO,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC;KAC1B,CAAC,CAAC,CAAC;IACN,MAAM,QAAQ,GAAG,CAAC,GAAG,kBAAkB,EAAE,GAAG,qBAAqB,CAAC,CAAC;IACnE,MAAM,cAAc,GAAG,QAAQ,CAAC,MAAM,CACpC,CAAC,OAAO,EAAE,EAAE,CACV,OAAO,CAAC,cAAc,KAAK,OAAO;QAClC,OAAO,CAAC,cAAc,KAAK,SAAS,CACvC,CAAC,MAAM,CAAC;IACT,MAAM,aAAa,GAAG,QAAQ,CAAC,MAAM,CACnC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,cAAc,KAAK,eAAe,CACxD,CAAC,MAAM,CAAC;IACT,OAAO;QACL,aAAa,EAAE,CAAC;QAChB,IAAI,EAAE,mBAAmB;QACzB,WAAW,EAAE,GAAG,CAAC,WAAW,EAAE;QAC9B,WAAW;QACX,OAAO,EAAE,KAAK,CAAC,QAAQ,EAAE,OAAO,IAAI,EAAE;QACtC,QAAQ;QACR,YAAY,EAAE,OAAO,CAAC,YAAY;QAClC,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,mBAAmB,EAAE,OAAO,CAAC,mBAAmB;QAChD,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YACjC,KAAK,EAAE,IAAI,CAAC,EAAE;YACd,UAAU,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI;YAC5B,UAAU,EACR,KAAK,CAAC,QAAQ,EAAE,gBAAgB,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC3C,CAAC,IAAI,CAAC,MAAM,KAAK,QAAQ;oBACvB,CAAC,CAAC,QAAQ;oBACV,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,kBAAkB;wBAClC,CAAC,CAAC,UAAU;wBACZ,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ;4BAC7B,CAAC,CAAC,eAAe;4BACjB,CAAC,CAAC,cAAc,CAAC;SAC1B,CAAC,CAAC;QACH,QAAQ,EAAE;YACR,aAAa,EAAE,QAAQ,CAAC,MAAM;YAC9B,cAAc;YACd,aAAa;YACb,WAAW,EAAE,WAAW,CAAC,MAAM;YAC/B,qBAAqB,EACnB,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,cAAc,GAAG,QAAQ,CAAC,MAAM;SAC/D;QACD,QAAQ;KACT,CAAC;AACJ,CAAC;AAED,SAAS,sBAAsB;IAG7B,OAAO;QACL,YAAY,EAAE,EAAE;QAChB,UAAU,EAAE,EAAE;QACd,mBAAmB,EAAE,EAAE;QACvB,qBAAqB,EAAE,EAAE;KAC1B,CAAC;AACJ,CAAC;AAED,SAAS,uBAAuB,CAC9B,QAA2B;IAE3B,OAAO;QACL,YAAY,EAAE,QAAQ;aACnB,GAAG,CAAC,sBAAsB,CAAC;aAC3B,MAAM,CAAC,QAAQ,CAAC;aAChB,IAAI,CAAC,cAAc,CAAC;QACvB,UAAU,EAAE,QAAQ;aACjB,GAAG,CAAC,oBAAoB,CAAC;aACzB,MAAM,CAAC,QAAQ,CAAC;aAChB,IAAI,CAAC,cAAc,CAAC;QACvB,mBAAmB,EAAE,QAAQ;aAC1B,GAAG,CAAC,6BAA6B,CAAC;aAClC,MAAM,CAAC,QAAQ,CAAC;aAChB,IAAI,CAAC,cAAc,CAAC;QACvB,qBAAqB,EAAE,QAAQ;aAC5B,GAAG,CAAC,+BAA+B,CAAC;aACpC,MAAM,CAAC,QAAQ,CAAC;aAChB,IAAI,CAAC,cAAc,CAAC;KACxB,CAAC;AACJ,CAAC;AAED,SAAS,sBAAsB,CAAC,OAAe;IAC7C,MAAM,KAAK,GAAG,qBAAqB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAClD,OAAO,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;AACpE,CAAC;AAED,SAAS,oBAAoB,CAAC,OAAe;IAC3C,MAAM,KAAK,GAAG,wBAAwB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACrD,OAAO,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;AACpE,CAAC;AAED,SAAS,6BAA6B,CACpC,OAAe;IAEf,MAAM,KAAK,GAAG,4BAA4B,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACzD,OAAO,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;AACpE,CAAC;AAED,SAAS,QAAQ,CACf,KAAmC;IAEnC,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC;AACxB,CAAC;AAED,SAAS,cAAc,CACrB,IAAsB,EACtB,KAAuB;IAEvB,OAAO,CACL,IAAI,CAAC,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,MAAM,CAAC,CAC3E,CAAC;AACJ,CAAC;AAED,SAAS,yBAAyB,CAChC,aAA2C,EAC3C,YAAgD;IAEhD,IAAI,CAAC,YAAY;QAAE,OAAO,EAAE,CAAC;IAC7B,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,KAAK,MAAM,MAAM,IAAI,aAAa,EAAE,CAAC;QACnC,MAAM,cAAc,GAAG,MAAM,CAAC,WAAW,EAAE,cAAc,CAAC;QAC1D,IAAI,CAAC,cAAc;YAAE,SAAS;QAC9B,MAAM,WAAW,GAAG,uBAAuB,CAAC,cAAc,CAAC,CAAC;QAC5D,IAAI,CAAC,WAAW,EAAE,CAAC;YACjB,QAAQ,CAAC,IAAI,CACX,UAAU,MAAM,CAAC,EAAE,yCAAyC,cAAc,EAAE,CAC7E,CAAC;YACF,SAAS;QACX,CAAC;QACD,MAAM,WAAW,GACf,MAAM,CAAC,YAAY,CAAC,IAAI,CACtB,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,KAAK,WAAW,CAAC,WAAW,CACrD,IAAI,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,MAAM,GAAG,WAAW,CAAC,CAAC,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACnE,IAAI,CAAC,WAAW,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzC,QAAQ,CAAC,IAAI,CACX,UAAU,MAAM,CAAC,EAAE,mBAAmB,cAAc,4CAA4C,CACjG,CAAC;YACF,SAAS;QACX,CAAC;QACD,MAAM,WAAW,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC;QAC7C,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;YAC9B,QAAQ,CAAC,IAAI,CACX,UAAU,MAAM,CAAC,EAAE,mBAAmB,cAAc,wBAAwB,WAAW,IAAI,MAAM,sBAAsB,CACxH,CAAC;YACF,SAAS;QACX,CAAC;QACD,IAAI,WAAW,GAAG,WAAW,CAAC,YAAY,EAAE,CAAC;YAC3C,QAAQ,CAAC,IAAI,CACX,UAAU,MAAM,CAAC,EAAE,mBAAmB,cAAc,kBAAkB,WAAW,IAAI,MAAM,EAAE,CAC9F,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC,IAAI,EAAE,CAAC;AACzB,CAAC;AAED,SAAS,uBAAuB,CAC9B,KAAa;IAEb,MAAM,KAAK,GAAG,+BAA+B,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;IACjE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;QAAE,OAAO,SAAS,CAAC;IAC/C,OAAO,EAAE,WAAW,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AACnE,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAa;IACrC,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnC,OAAO,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AAC9C,CAAC;AAED,SAAS,gBAAgB,CACvB,OAA4D;IAE5D,OAAO,CAAC,GAAG,OAAO,CAAC,OAAO,EAAE,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAC3E,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CACd,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC,CACzE,CAAC;AACJ,CAAC;AAED,SAAS,yBAAyB,CAChC,WAAoD;IAEpD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,MAAM,KAAK,GAAG,CAAC,MAAgB,EAAQ,EAAE;QACvC,IACE,MAAM,CAAC,IAAI,KAAK,UAAU;YAC1B,MAAM,CAAC,EAAE,EAAE,IAAI,KAAK,KAAK;YACzB,OAAO,MAAM,CAAC,EAAE,CAAC,KAAK,KAAK,QAAQ;YAEnC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QAC9B,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YAC1B,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,OAAO;gBAAE,KAAK,CAAC,KAAK,CAAC,CAAC;QACnD,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YACzB,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YACnB,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACrB,CAAC;IACH,CAAC,CAAC;IACF,KAAK,MAAM,UAAU,IAAI,WAAW;QAAE,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;IAC/D,OAAO,CAAC,GAAG,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC;AAC5B,CAAC;AAED,SAAS,iBAAiB,CAAC,UAAwC;IACjE,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,IAAI,UAAU,CAAC,EAAE,CAAC,QAAQ,CAAC,UAAU,CAAC;QACpC,OAAO,CAAC,GAAG,CAAC,mCAAmC,CAAC,CAAC;IACnD,KAAK,MAAM,QAAQ,IAAI,WAAW,CAAC,UAAU,CAAC,MAAM,CAAC;QACnD,OAAO,CAAC,GAAG,CAAC,kBAAkB,QAAQ,EAAE,CAAC,CAAC;IAC5C,IAAI,OAAO,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,CAAC,GAAG,CAAC,sCAAsC,CAAC,CAAC;IAC5E,OAAO,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC;AAC7B,CAAC;AAED,SAAS,mBAAmB,CAAC,KAAY,EAAE,OAAoB;IAC7D,MAAM,aAAa,GAAG,KAAK,CAAC,WAAW;SACpC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC;SAClC,IAAI,EAAE,CAAC;IACV,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IACxD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,UAAU,IAAI,OAAO,CAAC,WAAW,IAAI,EAAE,EAAE,CAAC;QACnD,IAAI,aAAa,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;YAAE,SAAS;QACpD,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,YAAY,EAAE,UAAU,CAAC,EAAE,EAAE,aAAa,CAAC,CAAC,CAAC;IACtE,CAAC;IACD,KAAK,MAAM,UAAU,IAAI,OAAO,CAAC,OAAO,IAAI,EAAE,EAAE,CAAC;QAC/C,IAAI,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC;YAAE,SAAS;QAC9C,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,UAAU,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC;IAC5D,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,UAAU,IAAI,EAAE,EAAE,CAAC;QAC7C,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;YAAE,SAAS;QACrC,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,WAAW,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;IACtD,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,EAAE,CAAC;AACtB,CAAC;AAED,SAAS,WAAW,CAClB,IAAY,EACZ,EAAU,EACV,UAA6B;IAE7B,MAAM,WAAW,GAAG,iBAAiB,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC;IACtD,OAAO,WAAW,CAAC,MAAM,GAAG,CAAC;QAC3B,CAAC,CAAC,kBAAkB,IAAI,IAAI,EAAE,0BAA0B,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE;QAC/E,CAAC,CAAC,kBAAkB,IAAI,IAAI,EAAE,6BAA6B,CAAC;AAChE,CAAC;AAED,SAAS,iBAAiB,CACxB,EAAU,EACV,UAA6B;IAE7B,OAAO,UAAU;SACd,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;QACnB,SAAS;QACT,QAAQ,EAAE,YAAY,CAAC,WAAW,CAAC,EAAE,CAAC,EAAE,WAAW,CAAC,SAAS,CAAC,CAAC;KAChE,CAAC,CAAC;SACF,IAAI,CACH,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CACd,IAAI,CAAC,QAAQ,GAAG,KAAK,CAAC,QAAQ;QAC9B,IAAI,CAAC,SAAS,CAAC,aAAa,CAAC,KAAK,CAAC,SAAS,CAAC,CAChD;SACA,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;SACX,GAAG,CAAC,CAAC,EAAE,SAAS,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,GAAG,SAAS,IAAI,QAAQ,GAAG,CAAC,CAAC;AACnE,CAAC;AAED,SAAS,WAAW,CAAC,EAAU;IAC7B,OAAO,EAAE,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC;AACrD,CAAC;AAED,SAAS,YAAY,CAAC,IAAY,EAAE,KAAa;IAC/C,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CACzB,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,EAC5B,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,CACpB,CAAC;IACF,KAAK,IAAI,SAAS,GAAG,CAAC,EAAE,SAAS,IAAI,IAAI,CAAC,MAAM,EAAE,SAAS,IAAI,CAAC,EAAE,CAAC;QACjE,IAAI,QAAQ,GAAG,QAAQ,CAAC,CAAC,CAAE,CAAC;QAC5B,QAAQ,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC;QACxB,KAAK,IAAI,UAAU,GAAG,CAAC,EAAE,UAAU,IAAI,KAAK,CAAC,MAAM,EAAE,UAAU,IAAI,CAAC,EAAE,CAAC;YACrE,MAAM,EAAE,GAAG,QAAQ,CAAC,UAAU,CAAE,GAAG,CAAC,CAAC;YACrC,MAAM,QAAQ,GAAG,QAAQ,CAAC,UAAU,GAAG,CAAC,CAAE,GAAG,CAAC,CAAC;YAC/C,MAAM,KAAK,GACT,QAAQ,GAAG,CAAC,IAAI,CAAC,SAAS,GAAG,CAAC,CAAC,KAAK,KAAK,CAAC,UAAU,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACrE,QAAQ,GAAG,QAAQ,CAAC,UAAU,CAAE,CAAC;YACjC,QAAQ,CAAC,UAAU,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;QACvD,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAE,CAAC;AACjC,CAAC;AAED,SAAS,WAAW,CAAC,MAAgB;IACnC,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IACjD,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IACtE,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI;QACtB,OAAO,CAAC,GAAG,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IACpE,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,SAAS,+BAA+B,CACtC,OAAe;IAEf,MAAM,KAAK,GAAG,8BAA8B,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC3D,OAAO,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;AACpE,CAAC;AAED,SAAS,WAAW,CAClB,UAA6B,EAC7B,cAAuD,EAAE,EACzD,OAAgC,EAAE,EAClC,UAAU,GAAG,CAAC;IAEd,MAAM,QAAQ,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC,UAAU,EAAE,EAAE,CAClD,UAAU,CAAC,UAAU,CAAC,MAAM,CAAC,CAC9B,CAAC;IACF,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,CAAC;IACrC,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC7C,MAAM,SAAS,GAA2C,EAAE,CAAC;IAC7D,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9D,KAAK,MAAM,EAAE,IAAI,UAAU,EAAE,CAAC;QAC5B,kBAAkB,CAAC,GAAG,CAAC,eAAe,EAAE,OAAO,CAAC,CAAC;QACjD,kBAAkB,CAAC,GAAG,CAAC,gBAAgB,EAAE,OAAO,CAAC,CAAC;QAClD,kBAAkB,CAAC,GAAG,CAAC,gBAAgB,EAAE,OAAO,CAAC,CAAC;IACpD,CAAC;IACD,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACzB,kBAAkB,CAAC,GAAG,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;QAC7C,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;YACxD,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YAChD,IAAI,MAAM;gBAAE,SAAS,CAAC,IAAI,CAAC,GAAG,eAAe,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC;QACzE,CAAC;IACH,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,KAAK,CAAC;QAAE,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAC9C,IAAI,kBAAkB,CAAC,IAAI,KAAK,CAAC;QAAE,kBAAkB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAClE,MAAM,GAAG,GAAG,CAAC,GAAG,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;IACjC,MAAM,aAAa,GAAG,CAAC,GAAG,kBAAkB,CAAC,CAAC,IAAI,EAAE,CAAC;IACrD,OAAO;QACL;YACE,EAAE,EAAE,aAAa;YACjB,MAAM,EAAE;gBACN,IAAI,EAAE,aAAa;gBACnB,KAAK,EAAE;oBACL,IAAI,EAAE,QAAQ;oBACd,MAAM,EAAE;wBACN,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE;wBACnC,YAAY,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,aAAa,EAAE;wBACrD,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE;qBAC5C;iBACF;gBACD,MAAM,EAAE,UAAU;aACnB;YACD,MAAM,EAAE,QAAQ;YAChB,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YACzB,OAAO,EAAE,EAAE;SACZ;KACF,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CAAC,MAAgB;IAKlC,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS;QAC3B,OAAO;YACL,EAAE,EAAE,EAAE,MAAM,CAAC,EAAE,EAAE,YAAY,EAAE,MAAM,CAAC,YAAY,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE;SACxE,CAAC;IACJ,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IACrE,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI;QACtB,OAAO,CAAC,GAAG,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IAClE,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,SAAS,gBAAgB,CACvB,IAA4D,EAC5D,QAA2C;IAE3C,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC7D,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IAC9D,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;IAC9C,IAAI,CAAC,MAAM;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IACjD,OAAO,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;AACnE,CAAC;AAED,SAAS,4BAA4B,CACnC,IAA6B,EAC7B,WAAoD;IAEpD,MAAM,WAAW,GAAG,IAAI,GAAG,EAAkC,CAAC;IAC9D,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;QACrC,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,sBAAsB,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;YACxE,WAAW,CAAC,GAAG,CAAC,KAAK,EAAE,eAAe,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;QAC1E,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QACvB,IAAI,IAAI,CAAC,MAAM,KAAK,kBAAkB;YAAE,OAAO,IAAI,CAAC;QACpD,MAAM,UAAU,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC5C,OAAO,UAAU;YACf,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,mBAAmB,CAAC,IAAI,CAAC,MAAM,EAAE,UAAU,CAAC,EAAE;YACnE,CAAC,CAAC,IAAI,CAAC;IACX,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,mBAAmB,CAC1B,IAA4B,EAC5B,KAA6B;IAE7B,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM;QAC/C,OAAO,eAAe,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACtC,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,KAAK,CAAC,IAAI,KAAK,YAAY;QAC3D,OAAO,eAAe,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACtC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IACzC,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,sBAAsB,CAC7B,MAAgB;IAEhB,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;QACxD,OAAO,CAAC,CAAC,MAAM,CAAC,GAAG,EAAE,gBAAgB,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC7D,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7B,OAAO,MAAM,CAAC,KAAK;aAChB,MAAM,CACL,CAAC,IAAI,EAAiD,EAAE,CACtD,IAAI,CAAC,IAAI,KAAK,KAAK,CACtB;aACA,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,EAAE,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC/D,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK;QACvB,OAAO,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,sBAAsB,CAAC,CAAC;IACxD,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI;QACtB,OAAO;YACL,GAAG,sBAAsB,CAAC,MAAM,CAAC,IAAI,CAAC;YACtC,GAAG,sBAAsB,CAAC,MAAM,CAAC,IAAI,CAAC;SACvC,CAAC;IACJ,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAc;IACtC,IAAI,OAAO,KAAK,KAAK,SAAS;QAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IACxD,IAAI,OAAO,KAAK,KAAK,QAAQ;QAC3B,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;IACxD,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;IACxE,IAAI,KAAK,KAAK,IAAI;QAChB,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;IACjE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;AACtC,CAAC;AAED,SAAS,eAAe,CACtB,IAAwC,EACxC,KAA6B;IAE7B,IAAI,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACxB,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM;QAC/C,OAAO;YACL,IAAI,EAAE,MAAM;YACZ,MAAM,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE;SAC/D,CAAC;IACJ,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,KAAK,CAAC,IAAI,KAAK,YAAY;QAC3D,OAAO;YACL,IAAI,EAAE,YAAY;YAClB,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC;YAClC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC;SACnC,CAAC;IACJ,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IAC1C,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;AACtC,CAAC"}
@@ -1,3 +1,3 @@
1
1
  export { runExtractCommand } from "./command.js";
2
- export type { ExtractCommandOptions, ExtractCommandResult, ModalityConfig } from "./command.js";
2
+ export type { ExtractCommandOptions, ExtractCommandResult, ModalityConfig, } from "./command.js";
3
3
  //# sourceMappingURL=index.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/cli/features/extract/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC;AACjD,YAAY,EACV,qBAAqB,EACrB,oBAAoB,EACpB,cAAc,GACf,MAAM,cAAc,CAAC"}
@@ -0,0 +1 @@
1
+ {"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/cli/features/extract/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC"}
@@ -0,0 +1,9 @@
1
+ export interface InitCommandOptions {
2
+ cwd?: string;
3
+ }
4
+ export interface InitCommandResult {
5
+ configPath: string;
6
+ lines: string[];
7
+ }
8
+ export declare function runInitCommand(options?: InitCommandOptions): Promise<InitCommandResult>;
9
+ //# sourceMappingURL=command.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"command.d.ts","sourceRoot":"","sources":["../../../../src/cli/features/init/command.ts"],"names":[],"mappings":"AAGA,MAAM,WAAW,kBAAkB;IACjC,GAAG,CAAC,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,iBAAiB;IAChC,UAAU,EAAE,MAAM,CAAC;IACnB,KAAK,EAAE,MAAM,EAAE,CAAC;CACjB;AAED,wBAAsB,cAAc,CAClC,OAAO,GAAE,kBAAuB,GAC/B,OAAO,CAAC,iBAAiB,CAAC,CAuB5B"}
@@ -0,0 +1,23 @@
1
+ import { writeFile } from "node:fs/promises";
2
+ import { join } from "node:path";
3
+ export async function runInitCommand(options = {}) {
4
+ const configPath = join(options.cwd ?? process.cwd(), "modality.config.ts");
5
+ await writeFile(configPath, [
6
+ 'import type { ModalityConfig } from "modality-ts/cli/extract";',
7
+ "",
8
+ "export default {",
9
+ " route: \"/\",",
10
+ " bounds: {",
11
+ " maxDepth: 12,",
12
+ " maxPending: 3,",
13
+ " maxInternalSteps: 16,",
14
+ " },",
15
+ "} satisfies ModalityConfig;",
16
+ "",
17
+ ].join("\n"), { encoding: "utf8", flag: "wx" });
18
+ return {
19
+ configPath,
20
+ lines: [`config=${configPath}`],
21
+ };
22
+ }
23
+ //# sourceMappingURL=command.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"command.js","sourceRoot":"","sources":["../../../../src/cli/features/init/command.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAC7C,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAWjC,MAAM,CAAC,KAAK,UAAU,cAAc,CAClC,UAA8B,EAAE;IAEhC,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,IAAI,OAAO,CAAC,GAAG,EAAE,EAAE,oBAAoB,CAAC,CAAC;IAC5E,MAAM,SAAS,CACb,UAAU,EACV;QACE,gEAAgE;QAChE,EAAE;QACF,kBAAkB;QAClB,iBAAiB;QACjB,aAAa;QACb,mBAAmB;QACnB,oBAAoB;QACpB,2BAA2B;QAC3B,MAAM;QACN,6BAA6B;QAC7B,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,EACZ,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CACjC,CAAC;IACF,OAAO;QACL,UAAU;QACV,KAAK,EAAE,CAAC,UAAU,UAAU,EAAE,CAAC;KAChC,CAAC;AACJ,CAAC"}
@@ -0,0 +1,3 @@
1
+ export { runInitCommand } from "./command.js";
2
+ export type { InitCommandOptions, InitCommandResult } from "./command.js";
3
+ //# sourceMappingURL=index.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/cli/features/init/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC9C,YAAY,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC"}
@@ -0,0 +1,2 @@
1
+ export { runInitCommand } from "./command.js";
2
+ //# sourceMappingURL=index.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/cli/features/init/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC"}
@@ -1,4 +1,4 @@
1
- import { type ReplayReport } from "modality-ts/kernel";
1
+ import { type ReplayReport } from "modality-ts/core";
2
2
  export interface ReplayCommandOptions {
3
3
  tracePath: string;
4
4
  statesPath?: string;
@@ -0,0 +1 @@
1
+ {"version":3,"file":"command.d.ts","sourceRoot":"","sources":["../../../../src/cli/features/replay/command.ts"],"names":[],"mappings":"AAaA,OAAO,EAIL,KAAK,YAAY,EAGlB,MAAM,kBAAkB,CAAC;AAE1B,MAAM,WAAW,oBAAoB;IACnC,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,IAAI,CAAC,EAAE,UAAU,GAAG,QAAQ,CAAC;IAC7B,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,GAAG,CAAC,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,mBAAmB;IAClC,MAAM,EAAE,YAAY,CAAC;IACrB,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,MAAM,EAAE,CAAC;CACjB;AAED,wBAAsB,gBAAgB,CACpC,OAAO,EAAE,oBAAoB,GAC5B,OAAO,CAAC,mBAAmB,CAAC,CA6B9B;AAwJD,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,YAAY,GAAG,MAAM,EAAE,CAWjE"}
@@ -1,19 +1,21 @@
1
1
  import { mkdir, readFile, writeFile } from "node:fs/promises";
2
2
  import { dirname } from "node:path";
3
3
  import { pathToFileURL } from "node:url";
4
- import { createDomReplayActor, ObservableActionReplayDriver, observationSource, replayTrace, StateSequenceDriver, statesFromTrace } from "modality-ts/harness";
5
- import { canonicalJson, parseTraceArtifact } from "modality-ts/kernel";
4
+ import { createDomReplayActor, ObservableActionReplayDriver, observationSource, replayTrace, StateSequenceDriver, statesFromTrace, } from "modality-ts/cli/harness";
5
+ import { canonicalJson, parseTraceArtifact, } from "modality-ts/core";
6
6
  export async function runReplayCommand(options) {
7
7
  const trace = parseTraceArtifact(await readFile(options.tracePath, "utf8"));
8
8
  const mode = options.mode ?? (options.harnessPath ? "action" : "abstract");
9
- const verdict = mode === "action" ? await replayAction(trace, options) : await replayAbstract(trace, options);
9
+ const verdict = mode === "action"
10
+ ? await replayAction(trace, options)
11
+ : await replayAbstract(trace, options);
10
12
  const report = {
11
13
  schemaVersion: 1,
12
14
  kind: "replay-report",
13
15
  generatedAt: (options.now ?? new Date()).toISOString(),
14
16
  mode,
15
17
  ...(options.harnessPath ? { harnessPath: options.harnessPath } : {}),
16
- verdict
18
+ verdict,
17
19
  };
18
20
  if (options.reportPath) {
19
21
  await mkdir(dirname(options.reportPath), { recursive: true });
@@ -21,33 +23,43 @@ export async function runReplayCommand(options) {
21
23
  }
22
24
  return {
23
25
  report,
24
- exitCode: verdict.status === "reproduced" ? 0 : verdict.status === "not-reproduced" ? 2 : 3,
25
- lines: renderReplayReport(report)
26
+ exitCode: verdict.status === "reproduced"
27
+ ? 0
28
+ : verdict.status === "not-reproduced"
29
+ ? 2
30
+ : 3,
31
+ lines: renderReplayReport(report),
26
32
  };
27
33
  }
28
34
  async function replayAbstract(trace, options) {
29
35
  const states = await replayStates(options, trace);
30
36
  return replayTrace(trace, new StateSequenceDriver(states), {
31
- compareState: options.observedPath ? compareObservedState : undefined
37
+ compareState: options.observedPath ? compareObservedState : undefined,
32
38
  });
33
39
  }
34
40
  async function replayAction(trace, options) {
35
41
  if (!options.harnessPath) {
36
- return { status: "inconclusive", stepsRun: 0, reason: "Action replay requires --harness" };
42
+ return {
43
+ status: "inconclusive",
44
+ stepsRun: 0,
45
+ reason: "Action replay requires --harness",
46
+ };
37
47
  }
38
48
  try {
39
49
  const harnessModule = await loadReplayHarness(options.harnessPath);
40
50
  await ensureDocument();
41
51
  const replayHarness = await harnessModule.renderModalityReplay(trace);
42
52
  const sources = [
43
- harnessModule.observeModalityReplay ? harnessModule.observeModalityReplay(replayHarness) : domProjectionSource(),
44
- ...(replayHarness.sources ?? [])
53
+ harnessModule.observeModalityReplay
54
+ ? harnessModule.observeModalityReplay(replayHarness)
55
+ : domProjectionSource(),
56
+ ...(replayHarness.sources ?? []),
45
57
  ];
46
58
  const replayOptions = {
47
59
  inputValues: replayHarness.inputValues,
48
60
  assertViolation: replayHarness.assertViolation,
49
61
  beforeStep: replayHarness.beforeStep,
50
- afterStep: replayHarness.afterStep
62
+ afterStep: replayHarness.afterStep,
51
63
  };
52
64
  const actor = createDomReplayActor({
53
65
  document: replayHarness.document,
@@ -55,13 +67,23 @@ async function replayAction(trace, options) {
55
67
  resolve: replayHarness.resolve,
56
68
  focusRevalidate: replayHarness.focusRevalidate,
57
69
  timer: replayHarness.timer,
58
- stabilize: replayHarness.stabilize
70
+ stabilize: replayHarness.stabilize,
59
71
  });
60
- const observedVars = replayHarness.observedVars ?? [...new Set(trace.steps.flatMap((step) => [...Object.keys(step.pre), ...Object.keys(step.post)]))].sort();
72
+ const observedVars = replayHarness.observedVars ??
73
+ [
74
+ ...new Set(trace.steps.flatMap((step) => [
75
+ ...Object.keys(step.pre),
76
+ ...Object.keys(step.post),
77
+ ])),
78
+ ].sort();
61
79
  return replayTrace(trace, new ObservableActionReplayDriver(actor, observedVars, sources, replayOptions));
62
80
  }
63
81
  catch (error) {
64
- return { status: "inconclusive", stepsRun: 0, reason: error instanceof Error ? error.message : String(error) };
82
+ return {
83
+ status: "inconclusive",
84
+ stepsRun: 0,
85
+ reason: error instanceof Error ? error.message : String(error),
86
+ };
65
87
  }
66
88
  }
67
89
  async function loadReplayHarness(harnessPath) {
@@ -83,7 +105,7 @@ async function ensureDocument() {
83
105
  HTMLInputElement: dom.window.HTMLInputElement,
84
106
  HTMLTextAreaElement: dom.window.HTMLTextAreaElement,
85
107
  HTMLSelectElement: dom.window.HTMLSelectElement,
86
- Event: dom.window.Event
108
+ Event: dom.window.Event,
87
109
  });
88
110
  }
89
111
  function domProjectionSource() {
@@ -121,7 +143,11 @@ function compareObservedState(expected, observed) {
121
143
  return undefined;
122
144
  }
123
145
  export function renderReplayReport(report) {
124
- const lines = [`replay: ${report.verdict.status}`, `mode=${report.mode ?? "abstract"}`, `stepsRun=${report.verdict.stepsRun}`];
146
+ const lines = [
147
+ `replay: ${report.verdict.status}`,
148
+ `mode=${report.mode ?? "abstract"}`,
149
+ `stepsRun=${report.verdict.stepsRun}`,
150
+ ];
125
151
  if (report.harnessPath)
126
152
  lines.push(`harness=${report.harnessPath}`);
127
153
  if (report.verdict.divergenceStep !== undefined)
@@ -0,0 +1 @@
1
+ {"version":3,"file":"command.js","sourceRoot":"","sources":["../../../../src/cli/features/replay/command.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAC9D,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EACL,oBAAoB,EACpB,4BAA4B,EAC5B,iBAAiB,EACjB,WAAW,EACX,mBAAmB,EACnB,eAAe,GAGhB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,aAAa,EACb,kBAAkB,GAKnB,MAAM,kBAAkB,CAAC;AAkB1B,MAAM,CAAC,KAAK,UAAU,gBAAgB,CACpC,OAA6B;IAE7B,MAAM,KAAK,GAAG,kBAAkB,CAAC,MAAM,QAAQ,CAAC,OAAO,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC;IAC5E,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;IAC3E,MAAM,OAAO,GACX,IAAI,KAAK,QAAQ;QACf,CAAC,CAAC,MAAM,YAAY,CAAC,KAAK,EAAE,OAAO,CAAC;QACpC,CAAC,CAAC,MAAM,cAAc,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAC3C,MAAM,MAAM,GAAiB;QAC3B,aAAa,EAAE,CAAC;QAChB,IAAI,EAAE,eAAe;QACrB,WAAW,EAAE,CAAC,OAAO,CAAC,GAAG,IAAI,IAAI,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE;QACtD,IAAI;QACJ,GAAG,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACpE,OAAO;KACR,CAAC;IACF,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;QACvB,MAAM,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAC9D,MAAM,SAAS,CAAC,OAAO,CAAC,UAAU,EAAE,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC5E,CAAC;IACD,OAAO;QACL,MAAM;QACN,QAAQ,EACN,OAAO,CAAC,MAAM,KAAK,YAAY;YAC7B,CAAC,CAAC,CAAC;YACH,CAAC,CAAC,OAAO,CAAC,MAAM,KAAK,gBAAgB;gBACnC,CAAC,CAAC,CAAC;gBACH,CAAC,CAAC,CAAC;QACT,KAAK,EAAE,kBAAkB,CAAC,MAAM,CAAC;KAClC,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,cAAc,CAAC,KAAY,EAAE,OAA6B;IACvE,MAAM,MAAM,GAAG,MAAM,YAAY,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IAClD,OAAO,WAAW,CAAC,KAAK,EAAE,IAAI,mBAAmB,CAAC,MAAM,CAAC,EAAE;QACzD,YAAY,EAAE,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,SAAS;KACtE,CAAC,CAAC;AACL,CAAC;AAED,KAAK,UAAU,YAAY,CAAC,KAAY,EAAE,OAA6B;IACrE,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC;QACzB,OAAO;YACL,MAAM,EAAE,cAAuB;YAC/B,QAAQ,EAAE,CAAC;YACX,MAAM,EAAE,kCAAkC;SAC3C,CAAC;IACJ,CAAC;IACD,IAAI,CAAC;QACH,MAAM,aAAa,GAAG,MAAM,iBAAiB,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;QACnE,MAAM,cAAc,EAAE,CAAC;QACvB,MAAM,aAAa,GAAG,MAAM,aAAa,CAAC,oBAAoB,CAAC,KAAK,CAAC,CAAC;QACtE,MAAM,OAAO,GAAG;YACd,aAAa,CAAC,qBAAqB;gBACjC,CAAC,CAAC,aAAa,CAAC,qBAAqB,CAAC,aAAa,CAAC;gBACpD,CAAC,CAAC,mBAAmB,EAAE;YACzB,GAAG,CAAC,aAAa,CAAC,OAAO,IAAI,EAAE,CAAC;SACjC,CAAC;QACF,MAAM,aAAa,GAAG;YACpB,WAAW,EAAE,aAAa,CAAC,WAAW;YACtC,eAAe,EAAE,aAAa,CAAC,eAAe;YAC9C,UAAU,EAAE,aAAa,CAAC,UAAU;YACpC,SAAS,EAAE,aAAa,CAAC,SAAS;SACnC,CAAC;QACF,MAAM,KAAK,GAAG,oBAAoB,CAAC;YACjC,QAAQ,EAAE,aAAa,CAAC,QAAQ;YAChC,QAAQ,EAAE,aAAa,CAAC,QAAQ;YAChC,OAAO,EAAE,aAAa,CAAC,OAAO;YAC9B,eAAe,EAAE,aAAa,CAAC,eAAe;YAC9C,KAAK,EAAE,aAAa,CAAC,KAAK;YAC1B,SAAS,EAAE,aAAa,CAAC,SAAS;SACnC,CAAC,CAAC;QACH,MAAM,YAAY,GAChB,aAAa,CAAC,YAAY;YAC1B;gBACE,GAAG,IAAI,GAAG,CACR,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;oBAC5B,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;oBACxB,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;iBAC1B,CAAC,CACH;aACF,CAAC,IAAI,EAAE,CAAC;QACX,OAAO,WAAW,CAChB,KAAK,EACL,IAAI,4BAA4B,CAC9B,KAAK,EACL,YAAY,EACZ,OAAO,EACP,aAAa,CACd,CACF,CAAC;IACJ,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO;YACL,MAAM,EAAE,cAAuB;YAC/B,QAAQ,EAAE,CAAC;YACX,MAAM,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;SAC/D,CAAC;IACJ,CAAC;AACH,CAAC;AASD,KAAK,UAAU,iBAAiB,CAC9B,WAAmB;IAEnB,MAAM,MAAM,GAAG,CAAC,MAAM,MAAM,CAC1B,GAAG,aAAa,CAAC,WAAW,CAAC,CAAC,IAAI,MAAM,IAAI,CAAC,GAAG,EAAE,EAAE,CACrD,CAAiC,CAAC;IACnC,IAAI,OAAO,MAAM,CAAC,oBAAoB,KAAK,UAAU,EAAE,CAAC;QACtD,MAAM,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAC;IAC5E,CAAC;IACD,OAAO,MAA6B,CAAC;AACvC,CAAC;AAED,KAAK,UAAU,cAAc;IAC3B,IAAI,UAAU,CAAC,QAAQ;QAAE,OAAO;IAChC,MAAM,EAAE,KAAK,EAAE,GAAG,MAAM,MAAM,CAAC,OAAO,CAAC,CAAC;IACxC,MAAM,GAAG,GAAG,IAAI,KAAK,CAAC,2CAA2C,CAAC,CAAC;IACnE,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE;QACxB,MAAM,EAAE,GAAG,CAAC,MAAM;QAClB,QAAQ,EAAE,GAAG,CAAC,MAAM,CAAC,QAAQ;QAC7B,WAAW,EAAE,GAAG,CAAC,MAAM,CAAC,WAAW;QACnC,gBAAgB,EAAE,GAAG,CAAC,MAAM,CAAC,gBAAgB;QAC7C,mBAAmB,EAAE,GAAG,CAAC,MAAM,CAAC,mBAAmB;QACnD,iBAAiB,EAAE,GAAG,CAAC,MAAM,CAAC,iBAAiB;QAC/C,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,KAAK;KACxB,CAAC,CAAC;AACL,CAAC;AAED,SAAS,mBAAmB;IAC1B,OAAO,iBAAiB,CAAC,gBAAgB,EAAE,CAAC,KAAK,EAAE,EAAE;QACnD,MAAM,OAAO,GAAG,UAAU,CAAC,QAAQ,EAAE,aAAa,CAChD,uBAAuB,SAAS,CAAC,KAAK,CAAC,IAAI,CAC5C,CAAC;QACF,IAAI,CAAC,OAAO;YAAE,OAAO,cAAc,CAAC;QACpC,OAAO,EAAE,KAAK,EAAE,kBAAkB,CAAC,OAAO,CAAC,WAAW,IAAI,EAAE,CAAC,EAAE,CAAC;IAClE,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAY;IACtC,IAAI,CAAC;QACH,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAU,CAAC;IACnC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,SAAS,SAAS,CAAC,KAAa;IAC9B,OAAO,KAAK,CAAC,OAAO,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;AACzC,CAAC;AAED,KAAK,UAAU,YAAY,CACzB,OAA6B,EAC7B,KAAY;IAEZ,IAAI,OAAO,CAAC,YAAY;QACtB,OAAO,IAAI,CAAC,KAAK,CACf,MAAM,QAAQ,CAAC,OAAO,CAAC,YAAY,EAAE,MAAM,CAAC,CAC7B,CAAC;IACpB,IAAI,OAAO,CAAC,UAAU;QACpB,OAAO,IAAI,CAAC,KAAK,CACf,MAAM,QAAQ,CAAC,OAAO,CAAC,UAAU,EAAE,MAAM,CAAC,CAC3B,CAAC;IACpB,OAAO,eAAe,CAAC,KAAK,CAAC,CAAC;AAChC,CAAC;AAED,SAAS,oBAAoB,CAC3B,QAAoB,EACpB,QAAoB;IAEpB,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QAC/C,IAAI,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;YACpE,OAAO,GAAG,GAAG,cAAc,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,SAAS,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;QACnG,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,MAAoB;IACrD,MAAM,KAAK,GAAG;QACZ,WAAW,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE;QAClC,QAAQ,MAAM,CAAC,IAAI,IAAI,UAAU,EAAE;QACnC,YAAY,MAAM,CAAC,OAAO,CAAC,QAAQ,EAAE;KACtC,CAAC;IACF,IAAI,MAAM,CAAC,WAAW;QAAE,KAAK,CAAC,IAAI,CAAC,WAAW,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC;IACpE,IAAI,MAAM,CAAC,OAAO,CAAC,cAAc,KAAK,SAAS;QAC7C,KAAK,CAAC,IAAI,CAAC,kBAAkB,MAAM,CAAC,OAAO,CAAC,cAAc,EAAE,CAAC,CAAC;IAChE,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM;QAAE,KAAK,CAAC,IAAI,CAAC,UAAU,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IACzE,OAAO,KAAK,CAAC;AACf,CAAC"}
@@ -0,0 +1 @@
1
+ {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/cli/features/replay/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAChD,YAAY,EAAE,oBAAoB,EAAE,mBAAmB,EAAE,MAAM,cAAc,CAAC"}
@@ -0,0 +1 @@
1
+ {"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/cli/features/replay/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC"}
@@ -1,4 +1,4 @@
1
- import type { AbstractDomain, Locator, ModelState, Trace, TraceStep, Value } from "modality-ts/kernel";
1
+ import type { AbstractDomain, Locator, ModelState, Trace, TraceStep, Value } from "modality-ts/core";
2
2
  export type ReplayVerdict = {
3
3
  status: "reproduced";
4
4
  stepsRun: number;
@@ -0,0 +1 @@
1
+ {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/cli/harness/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,cAAc,EACd,OAAO,EACP,UAAU,EACV,KAAK,EACL,SAAS,EACT,KAAK,EACN,MAAM,kBAAkB,CAAC;AAE1B,MAAM,MAAM,aAAa,GACrB;IAAE,MAAM,EAAE,YAAY,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,GAC1C;IACE,MAAM,EAAE,gBAAgB,CAAC;IACzB,QAAQ,EAAE,MAAM,CAAC;IACjB,cAAc,EAAE,MAAM,CAAC;IACvB,MAAM,EAAE,MAAM,CAAC;CAChB,GACD;IAAE,MAAM,EAAE,cAAc,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAEjE,MAAM,WAAW,YAAY;IAC3B,YAAY,IAAI,UAAU,CAAC;IAC3B,KAAK,CAAC,IAAI,EAAE,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;IAC7C,eAAe,CAAC,IAAI,OAAO,CAAC,OAAO,CAAC,GAAG,OAAO,CAAC;CAChD;AAED,MAAM,WAAW,aAAa;IAC5B,YAAY,CAAC,EAAE,CACb,QAAQ,EAAE,UAAU,EACpB,MAAM,EAAE,UAAU,KACf,MAAM,GAAG,SAAS,CAAC;CACzB;AAED,MAAM,WAAW,qBAAqB;IACpC,IAAI,EAAE,SAAS,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,WAAW;IAC1B,KAAK,CAAC,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;IAC/C,MAAM,CAAC,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;IAChD,KAAK,CAAC,CACJ,OAAO,EAAE,OAAO,EAChB,KAAK,EAAE,MAAM,EACb,UAAU,EAAE,MAAM,GACjB,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;IACxB,QAAQ,CAAC,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,EAAE,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;IACpE,OAAO,CAAC,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;IAC5D,eAAe,CAAC,CAAC,GAAG,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;IACrD,KAAK,CAAC,CAAC,GAAG,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;IAC3C,SAAS,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;CACpC;AAED,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,EAAE,QAAQ,CAAC;IACpB,SAAS,CAAC,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;IACvC,QAAQ,CAAC,EAAE,WAAW,CAAC,UAAU,CAAC,CAAC;IACnC,OAAO,CAAC,EAAE,WAAW,CAAC,SAAS,CAAC,CAAC;IACjC,eAAe,CAAC,EAAE,WAAW,CAAC,iBAAiB,CAAC,CAAC;IACjD,KAAK,CAAC,EAAE,WAAW,CAAC,OAAO,CAAC,CAAC;CAC9B;AAED,MAAM,WAAW,qBAAsB,SAAQ,qBAAqB;IAClE,OAAO,CAAC,EAAE,SAAS,iBAAiB,EAAE,CAAC;IACvC,YAAY,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,WAAW,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACrC,WAAW,CAAC,EAAE,kCAAkC,CAAC;IACjD,UAAU,CAAC,CAAC,OAAO,EAAE,qBAAqB,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;IAClE,SAAS,CAAC,CAAC,OAAO,EAAE,qBAAqB,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;IACjE,eAAe,CAAC,EAAE,MAAM,OAAO,CAAC,OAAO,CAAC,GAAG,OAAO,CAAC;CACpD;AAED,MAAM,WAAW,yBAAyB;IACxC,WAAW,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACrC,eAAe,CAAC,EAAE,MAAM,OAAO,CAAC,OAAO,CAAC,GAAG,OAAO,CAAC;IACnD,UAAU,CAAC,CAAC,OAAO,EAAE,qBAAqB,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;IAClE,SAAS,CAAC,CAAC,OAAO,EAAE,qBAAqB,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;CAClE;AAED,MAAM,WAAW,iBAAiB;IAChC,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ,OAAO,CAAC,KAAK,EAAE,MAAM,GAAG;QAAE,KAAK,EAAE,KAAK,CAAA;KAAE,GAAG,cAAc,CAAC;CAC3D;AAED,MAAM,WAAW,kBAAkB;IACjC,KAAK,EAAE,UAAU,CAAC;IAClB,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;CACjC;AAED,MAAM,WAAW,cAAc;IAC7B,cAAc,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IACvC,cAAc,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,KAAK,EAAE,MAAM,KAAK,KAAK,CAAC,CAAC;CACrD;AAED,MAAM,WAAW,kCAAkC;IACjD,eAAe,CACb,EAAE,EAAE,MAAM,EACV,OAAO,EAAE,MAAM,EACf,OAAO,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,GAClC,IAAI,CAAC;IACR,gBAAgB,CACd,EAAE,EAAE,MAAM,EACV,OAAO,EAAE,MAAM,EACf,OAAO,EAAE,KAAK,EACd,OAAO,CAAC,EAAE,CAAC,OAAO,EAAE,KAAK,KAAK,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,GACjD,IAAI,CAAC;IACR,OAAO,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACpD,eAAe,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;IAC7D,OAAO,IAAI,SAAS,MAAM,EAAE,CAAC;CAC9B;AAED,qBAAa,qBAAsB,SAAQ,KAAK;gBAClC,OAAO,EAAE,MAAM;CAI5B;AAED,wBAAsB,WAAW,CAC/B,KAAK,EAAE,KAAK,EACZ,MAAM,EAAE,YAAY,EACpB,OAAO,GAAE,aAAkB,GAC1B,OAAO,CAAC,aAAa,CAAC,CAqExB;AAED,qBAAa,mBAAoB,YAAW,YAAY;IAIpD,OAAO,CAAC,QAAQ,CAAC,MAAM;IACvB,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC;IAJ9B,OAAO,CAAC,KAAK,CAAK;gBAGC,MAAM,EAAE,SAAS,UAAU,EAAE,EAC7B,UAAU,CAAC,EAAE,MAAM,YAAA;IAMtC,YAAY,IAAI,UAAU;IAI1B,KAAK,CAAC,KAAK,EAAE,SAAS,GAAG,IAAI;CAM9B;AAED,wBAAgB,eAAe,CAAC,KAAK,EAAE,KAAK,GAAG,UAAU,EAAE,CAI1D;AAED,qBAAa,kBAAmB,YAAW,YAAY;IAInD,OAAO,CAAC,QAAQ,CAAC,KAAK;IACtB,OAAO,CAAC,QAAQ,CAAC,OAAO;IACxB,OAAO,CAAC,QAAQ,CAAC,OAAO;IAL1B,OAAO,CAAC,SAAS,CAAK;gBAGH,KAAK,EAAE,WAAW,EAClB,OAAO,EAAE,MAAM,UAAU,EACzB,OAAO,GAAE,yBAA8B;IAG1D,YAAY,IAAI,UAAU;IAIpB,KAAK,CAAC,IAAI,EAAE,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC;IAQrC,eAAe,IAAI,OAAO,CAAC,OAAO,CAAC;CAG1C;AAED,qBAAa,4BAA6B,YAAW,YAAY;IAI7D,OAAO,CAAC,QAAQ,CAAC,KAAK;IACtB,OAAO,CAAC,QAAQ,CAAC,MAAM;IACvB,OAAO,CAAC,QAAQ,CAAC,OAAO;IACxB,OAAO,CAAC,QAAQ,CAAC,OAAO;IAN1B,OAAO,CAAC,SAAS,CAAK;gBAGH,KAAK,EAAE,WAAW,EAClB,MAAM,EAAE,SAAS,MAAM,EAAE,EACzB,OAAO,EAAE,SAAS,iBAAiB,EAAE,EACrC,OAAO,GAAE,yBAA8B;IAG1D,YAAY,IAAI,UAAU;IAUpB,KAAK,CAAC,IAAI,EAAE,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC;IAQrC,eAAe,IAAI,OAAO,CAAC,OAAO,CAAC;CAG1C;AAED,qBAAa,6BAA8B,YAAW,YAAY;IAM9D,OAAO,CAAC,QAAQ,CAAC,KAAK;IACtB,OAAO,CAAC,QAAQ,CAAC,OAAO;IAN1B,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAwB;IAC/C,OAAO,CAAC,KAAK,CAAK;gBAGhB,KAAK,EAAE,KAAK,EACK,KAAK,EAAE,WAAW,EAClB,OAAO,GAAE,yBAA8B;IAK1D,YAAY,IAAI,UAAU;IAIpB,KAAK,CAAC,IAAI,EAAE,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC;IAQrC,eAAe,IAAI,OAAO,CAAC,OAAO,CAAC;CAG1C;AAED,wBAAgB,iBAAiB,CAC/B,MAAM,EAAE,SAAS,MAAM,EAAE,EACzB,OAAO,EAAE,SAAS,iBAAiB,EAAE,GACpC,kBAAkB,CAYpB;AAED,wBAAgB,iBAAiB,CAC/B,EAAE,EAAE,MAAM,EACV,OAAO,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK;IAAE,KAAK,EAAE,KAAK,CAAA;CAAE,GAAG,cAAc,GAC5D,iBAAiB,CAEnB;AAED,wBAAgB,oBAAoB,CAClC,OAAO,GAAE,qBAA0B,GAClC,WAAW,CA0Cb;AAED,wBAAgB,wCAAwC,IAAI,kCAAkC,CA6C7F;AA8HD,wBAAsB,kBAAkB,CACtC,IAAI,EAAE,SAAS,EACf,KAAK,EAAE,WAAW,EAClB,OAAO,GAAE,yBAAyB,GAAG;IAAE,SAAS,CAAC,EAAE,MAAM,CAAA;CAAO,GAC/D,OAAO,CAAC,IAAI,CAAC,CA4Cf;AAWD,wBAAgB,YAAY,CAC1B,MAAM,EAAE,cAAc,EACtB,KAAK,CAAC,EAAE,KAAK,EACb,OAAO,GAAE,cAAmB,GAC3B,KAAK,CAwDP;AAED,wBAAgB,YAAY,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,CAoBvD"}