@aster-cloud/aster-lang-ts 0.0.1

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 (1151) hide show
  1. package/README.md +144 -0
  2. package/dist/peg/headers-parser.js +1887 -0
  3. package/dist/scripts/aster.d.ts +3 -0
  4. package/dist/scripts/aster.d.ts.map +1 -0
  5. package/dist/scripts/aster.js +304 -0
  6. package/dist/scripts/aster.js.map +1 -0
  7. package/dist/scripts/build-example-packages.d.ts +3 -0
  8. package/dist/scripts/build-example-packages.d.ts.map +1 -0
  9. package/dist/scripts/build-example-packages.js +78 -0
  10. package/dist/scripts/build-example-packages.js.map +1 -0
  11. package/dist/scripts/build-peg.d.ts +3 -0
  12. package/dist/scripts/build-peg.d.ts.map +1 -0
  13. package/dist/scripts/build-peg.js +13 -0
  14. package/dist/scripts/build-peg.js.map +1 -0
  15. package/dist/scripts/cleanup-examples.d.ts +3 -0
  16. package/dist/scripts/cleanup-examples.d.ts.map +1 -0
  17. package/dist/scripts/cleanup-examples.js +40 -0
  18. package/dist/scripts/cleanup-examples.js.map +1 -0
  19. package/dist/scripts/clear-method-cache.d.ts +3 -0
  20. package/dist/scripts/clear-method-cache.d.ts.map +1 -0
  21. package/dist/scripts/clear-method-cache.js +20 -0
  22. package/dist/scripts/clear-method-cache.js.map +1 -0
  23. package/dist/scripts/cli.d.ts +3 -0
  24. package/dist/scripts/cli.d.ts.map +1 -0
  25. package/dist/scripts/cli.js +51 -0
  26. package/dist/scripts/cli.js.map +1 -0
  27. package/dist/scripts/determinism.d.ts +3 -0
  28. package/dist/scripts/determinism.d.ts.map +1 -0
  29. package/dist/scripts/determinism.js +124 -0
  30. package/dist/scripts/determinism.js.map +1 -0
  31. package/dist/scripts/emit-classfiles-core.d.ts +3 -0
  32. package/dist/scripts/emit-classfiles-core.d.ts.map +1 -0
  33. package/dist/scripts/emit-classfiles-core.js +86 -0
  34. package/dist/scripts/emit-classfiles-core.js.map +1 -0
  35. package/dist/scripts/emit-classfiles.d.ts +3 -0
  36. package/dist/scripts/emit-classfiles.d.ts.map +1 -0
  37. package/dist/scripts/emit-classfiles.js +401 -0
  38. package/dist/scripts/emit-classfiles.js.map +1 -0
  39. package/dist/scripts/emit-core.d.ts +3 -0
  40. package/dist/scripts/emit-core.d.ts.map +1 -0
  41. package/dist/scripts/emit-core.js +52 -0
  42. package/dist/scripts/emit-core.js.map +1 -0
  43. package/dist/scripts/emit-hints.d.ts +3 -0
  44. package/dist/scripts/emit-hints.d.ts.map +1 -0
  45. package/dist/scripts/emit-hints.js +75 -0
  46. package/dist/scripts/emit-hints.js.map +1 -0
  47. package/dist/scripts/format-examples.d.ts +3 -0
  48. package/dist/scripts/format-examples.d.ts.map +1 -0
  49. package/dist/scripts/format-examples.js +55 -0
  50. package/dist/scripts/format-examples.js.map +1 -0
  51. package/dist/scripts/generate_error_code_docs.d.ts +8 -0
  52. package/dist/scripts/generate_error_code_docs.d.ts.map +1 -0
  53. package/dist/scripts/generate_error_code_docs.js +128 -0
  54. package/dist/scripts/generate_error_code_docs.js.map +1 -0
  55. package/dist/scripts/generate_error_codes.d.ts +3 -0
  56. package/dist/scripts/generate_error_codes.d.ts.map +1 -0
  57. package/dist/scripts/generate_error_codes.js +224 -0
  58. package/dist/scripts/generate_error_codes.js.map +1 -0
  59. package/dist/scripts/golden.d.ts +3 -0
  60. package/dist/scripts/golden.d.ts.map +1 -0
  61. package/dist/scripts/golden.js +405 -0
  62. package/dist/scripts/golden.js.map +1 -0
  63. package/dist/scripts/health-check.d.ts +3 -0
  64. package/dist/scripts/health-check.d.ts.map +1 -0
  65. package/dist/scripts/health-check.js +42 -0
  66. package/dist/scripts/health-check.js.map +1 -0
  67. package/dist/scripts/inspect-method-cache.d.ts +3 -0
  68. package/dist/scripts/inspect-method-cache.d.ts.map +1 -0
  69. package/dist/scripts/inspect-method-cache.js +24 -0
  70. package/dist/scripts/inspect-method-cache.js.map +1 -0
  71. package/dist/scripts/lsp-build-index.d.ts +3 -0
  72. package/dist/scripts/lsp-build-index.d.ts.map +1 -0
  73. package/dist/scripts/lsp-build-index.js +60 -0
  74. package/dist/scripts/lsp-build-index.js.map +1 -0
  75. package/dist/scripts/lsp-capmanifest-codeaction-smoke.d.ts +3 -0
  76. package/dist/scripts/lsp-capmanifest-codeaction-smoke.d.ts.map +1 -0
  77. package/dist/scripts/lsp-capmanifest-codeaction-smoke.js +161 -0
  78. package/dist/scripts/lsp-capmanifest-codeaction-smoke.js.map +1 -0
  79. package/dist/scripts/lsp-client-helper.d.ts +30 -0
  80. package/dist/scripts/lsp-client-helper.d.ts.map +1 -0
  81. package/dist/scripts/lsp-client-helper.js +192 -0
  82. package/dist/scripts/lsp-client-helper.js.map +1 -0
  83. package/dist/scripts/lsp-client-helper.test.d.ts +7 -0
  84. package/dist/scripts/lsp-client-helper.test.d.ts.map +1 -0
  85. package/dist/scripts/lsp-client-helper.test.js +45 -0
  86. package/dist/scripts/lsp-client-helper.test.js.map +1 -0
  87. package/dist/scripts/lsp-codeaction-smoke.d.ts +3 -0
  88. package/dist/scripts/lsp-codeaction-smoke.d.ts.map +1 -0
  89. package/dist/scripts/lsp-codeaction-smoke.js +98 -0
  90. package/dist/scripts/lsp-codeaction-smoke.js.map +1 -0
  91. package/dist/scripts/lsp-harness.d.ts +3 -0
  92. package/dist/scripts/lsp-harness.d.ts.map +1 -0
  93. package/dist/scripts/lsp-harness.js +33 -0
  94. package/dist/scripts/lsp-harness.js.map +1 -0
  95. package/dist/scripts/lsp-health-smoke.d.ts +3 -0
  96. package/dist/scripts/lsp-health-smoke.d.ts.map +1 -0
  97. package/dist/scripts/lsp-health-smoke.js +98 -0
  98. package/dist/scripts/lsp-health-smoke.js.map +1 -0
  99. package/dist/scripts/lsp-health.d.ts +3 -0
  100. package/dist/scripts/lsp-health.d.ts.map +1 -0
  101. package/dist/scripts/lsp-health.js +22 -0
  102. package/dist/scripts/lsp-health.js.map +1 -0
  103. package/dist/scripts/lsp-highlight-smoke.d.ts +3 -0
  104. package/dist/scripts/lsp-highlight-smoke.d.ts.map +1 -0
  105. package/dist/scripts/lsp-highlight-smoke.js +124 -0
  106. package/dist/scripts/lsp-highlight-smoke.js.map +1 -0
  107. package/dist/scripts/lsp-missing-header-codeaction-smoke.d.ts +3 -0
  108. package/dist/scripts/lsp-missing-header-codeaction-smoke.d.ts.map +1 -0
  109. package/dist/scripts/lsp-missing-header-codeaction-smoke.js +78 -0
  110. package/dist/scripts/lsp-missing-header-codeaction-smoke.js.map +1 -0
  111. package/dist/scripts/lsp-multi-rename.test.d.ts +3 -0
  112. package/dist/scripts/lsp-multi-rename.test.d.ts.map +1 -0
  113. package/dist/scripts/lsp-multi-rename.test.js +81 -0
  114. package/dist/scripts/lsp-multi-rename.test.js.map +1 -0
  115. package/dist/scripts/lsp-punct-codeaction-smoke.d.ts +3 -0
  116. package/dist/scripts/lsp-punct-codeaction-smoke.d.ts.map +1 -0
  117. package/dist/scripts/lsp-punct-codeaction-smoke.js +71 -0
  118. package/dist/scripts/lsp-punct-codeaction-smoke.js.map +1 -0
  119. package/dist/scripts/lsp-signaturehelp-smoke.d.ts +3 -0
  120. package/dist/scripts/lsp-signaturehelp-smoke.d.ts.map +1 -0
  121. package/dist/scripts/lsp-signaturehelp-smoke.js +129 -0
  122. package/dist/scripts/lsp-signaturehelp-smoke.js.map +1 -0
  123. package/dist/scripts/lsp-smoke.d.ts +3 -0
  124. package/dist/scripts/lsp-smoke.d.ts.map +1 -0
  125. package/dist/scripts/lsp-smoke.js +54 -0
  126. package/dist/scripts/lsp-smoke.js.map +1 -0
  127. package/dist/scripts/lsp-streaming-progress-smoke.d.ts +3 -0
  128. package/dist/scripts/lsp-streaming-progress-smoke.d.ts.map +1 -0
  129. package/dist/scripts/lsp-streaming-progress-smoke.js +116 -0
  130. package/dist/scripts/lsp-streaming-progress-smoke.js.map +1 -0
  131. package/dist/scripts/lsp-workspace-diagnostics-smoke.d.ts +3 -0
  132. package/dist/scripts/lsp-workspace-diagnostics-smoke.d.ts.map +1 -0
  133. package/dist/scripts/lsp-workspace-diagnostics-smoke.js +81 -0
  134. package/dist/scripts/lsp-workspace-diagnostics-smoke.js.map +1 -0
  135. package/dist/scripts/perf-assert-report.d.ts +8 -0
  136. package/dist/scripts/perf-assert-report.d.ts.map +1 -0
  137. package/dist/scripts/perf-assert-report.js +44 -0
  138. package/dist/scripts/perf-assert-report.js.map +1 -0
  139. package/dist/scripts/perf-assert.d.ts +3 -0
  140. package/dist/scripts/perf-assert.d.ts.map +1 -0
  141. package/dist/scripts/perf-assert.js +29 -0
  142. package/dist/scripts/perf-assert.js.map +1 -0
  143. package/dist/scripts/perf-benchmark.d.ts +9 -0
  144. package/dist/scripts/perf-benchmark.d.ts.map +1 -0
  145. package/dist/scripts/perf-benchmark.js +272 -0
  146. package/dist/scripts/perf-benchmark.js.map +1 -0
  147. package/dist/scripts/perf-diagnostics.d.ts +7 -0
  148. package/dist/scripts/perf-diagnostics.d.ts.map +1 -0
  149. package/dist/scripts/perf-diagnostics.js +87 -0
  150. package/dist/scripts/perf-diagnostics.js.map +1 -0
  151. package/dist/scripts/perf-lsp-e2e-v2.d.ts +15 -0
  152. package/dist/scripts/perf-lsp-e2e-v2.d.ts.map +1 -0
  153. package/dist/scripts/perf-lsp-e2e-v2.js +323 -0
  154. package/dist/scripts/perf-lsp-e2e-v2.js.map +1 -0
  155. package/dist/scripts/perf-lsp-e2e.d.ts +3 -0
  156. package/dist/scripts/perf-lsp-e2e.d.ts.map +1 -0
  157. package/dist/scripts/perf-lsp-e2e.js +331 -0
  158. package/dist/scripts/perf-lsp-e2e.js.map +1 -0
  159. package/dist/scripts/perf-lsp-internal.d.ts +11 -0
  160. package/dist/scripts/perf-lsp-internal.d.ts.map +1 -0
  161. package/dist/scripts/perf-lsp-internal.js +163 -0
  162. package/dist/scripts/perf-lsp-internal.js.map +1 -0
  163. package/dist/scripts/perf-lsp-ipc.d.ts +11 -0
  164. package/dist/scripts/perf-lsp-ipc.d.ts.map +1 -0
  165. package/dist/scripts/perf-lsp-ipc.js +127 -0
  166. package/dist/scripts/perf-lsp-ipc.js.map +1 -0
  167. package/dist/scripts/perf-lsp.d.ts +3 -0
  168. package/dist/scripts/perf-lsp.d.ts.map +1 -0
  169. package/dist/scripts/perf-lsp.js +87 -0
  170. package/dist/scripts/perf-lsp.js.map +1 -0
  171. package/dist/scripts/perf-utils.d.ts +29 -0
  172. package/dist/scripts/perf-utils.d.ts.map +1 -0
  173. package/dist/scripts/perf-utils.js +40 -0
  174. package/dist/scripts/perf-utils.js.map +1 -0
  175. package/dist/scripts/profile-medium-project.d.ts +7 -0
  176. package/dist/scripts/profile-medium-project.d.ts.map +1 -0
  177. package/dist/scripts/profile-medium-project.js +152 -0
  178. package/dist/scripts/profile-medium-project.js.map +1 -0
  179. package/dist/scripts/repl.d.ts +3 -0
  180. package/dist/scripts/repl.d.ts.map +1 -0
  181. package/dist/scripts/repl.js +88 -0
  182. package/dist/scripts/repl.js.map +1 -0
  183. package/dist/scripts/scaffold.d.ts +3 -0
  184. package/dist/scripts/scaffold.d.ts.map +1 -0
  185. package/dist/scripts/scaffold.js +73 -0
  186. package/dist/scripts/scaffold.js.map +1 -0
  187. package/dist/scripts/seed-method-cache.d.ts +3 -0
  188. package/dist/scripts/seed-method-cache.d.ts.map +1 -0
  189. package/dist/scripts/seed-method-cache.js +37 -0
  190. package/dist/scripts/seed-method-cache.js.map +1 -0
  191. package/dist/scripts/test-comments-golden.d.ts +3 -0
  192. package/dist/scripts/test-comments-golden.d.ts.map +1 -0
  193. package/dist/scripts/test-comments-golden.js +36 -0
  194. package/dist/scripts/test-comments-golden.js.map +1 -0
  195. package/dist/scripts/test-lossless-golden.d.ts +3 -0
  196. package/dist/scripts/test-lossless-golden.d.ts.map +1 -0
  197. package/dist/scripts/test-lossless-golden.js +42 -0
  198. package/dist/scripts/test-lossless-golden.js.map +1 -0
  199. package/dist/scripts/test-lossless.d.ts +3 -0
  200. package/dist/scripts/test-lossless.d.ts.map +1 -0
  201. package/dist/scripts/test-lossless.js +26 -0
  202. package/dist/scripts/test-lossless.js.map +1 -0
  203. package/dist/scripts/test-lsp-index.d.ts +3 -0
  204. package/dist/scripts/test-lsp-index.d.ts.map +1 -0
  205. package/dist/scripts/test-lsp-index.js +37 -0
  206. package/dist/scripts/test-lsp-index.js.map +1 -0
  207. package/dist/scripts/test-medium-diagnostics.d.ts +7 -0
  208. package/dist/scripts/test-medium-diagnostics.d.ts.map +1 -0
  209. package/dist/scripts/test-medium-diagnostics.js +129 -0
  210. package/dist/scripts/test-medium-diagnostics.js.map +1 -0
  211. package/dist/scripts/typecheck-cli.d.ts +3 -0
  212. package/dist/scripts/typecheck-cli.d.ts.map +1 -0
  213. package/dist/scripts/typecheck-cli.js +104 -0
  214. package/dist/scripts/typecheck-cli.js.map +1 -0
  215. package/dist/scripts/update-eff-violation-expected.d.ts +3 -0
  216. package/dist/scripts/update-eff-violation-expected.d.ts.map +1 -0
  217. package/dist/scripts/update-eff-violation-expected.js +57 -0
  218. package/dist/scripts/update-eff-violation-expected.js.map +1 -0
  219. package/dist/scripts/update-golden-ast.d.ts +3 -0
  220. package/dist/scripts/update-golden-ast.d.ts.map +1 -0
  221. package/dist/scripts/update-golden-ast.js +61 -0
  222. package/dist/scripts/update-golden-ast.js.map +1 -0
  223. package/dist/scripts/validate_error_codes.d.ts +12 -0
  224. package/dist/scripts/validate_error_codes.d.ts.map +1 -0
  225. package/dist/scripts/validate_error_codes.js +114 -0
  226. package/dist/scripts/validate_error_codes.js.map +1 -0
  227. package/dist/scripts/verify-capabilities.d.ts +3 -0
  228. package/dist/scripts/verify-capabilities.d.ts.map +1 -0
  229. package/dist/scripts/verify-capabilities.js +23 -0
  230. package/dist/scripts/verify-capabilities.js.map +1 -0
  231. package/dist/scripts/verify-classes.d.ts +3 -0
  232. package/dist/scripts/verify-classes.d.ts.map +1 -0
  233. package/dist/scripts/verify-classes.js +32 -0
  234. package/dist/scripts/verify-classes.js.map +1 -0
  235. package/dist/scripts/verify-examples.d.ts +3 -0
  236. package/dist/scripts/verify-examples.d.ts.map +1 -0
  237. package/dist/scripts/verify-examples.js +79 -0
  238. package/dist/scripts/verify-examples.js.map +1 -0
  239. package/dist/scripts/verify-fuzz.d.ts +3 -0
  240. package/dist/scripts/verify-fuzz.d.ts.map +1 -0
  241. package/dist/scripts/verify-fuzz.js +88 -0
  242. package/dist/scripts/verify-fuzz.js.map +1 -0
  243. package/dist/scripts/verify-jar-checksum.d.ts +3 -0
  244. package/dist/scripts/verify-jar-checksum.d.ts.map +1 -0
  245. package/dist/scripts/verify-jar-checksum.js +63 -0
  246. package/dist/scripts/verify-jar-checksum.js.map +1 -0
  247. package/dist/scripts/verify-nullstrict.d.ts +3 -0
  248. package/dist/scripts/verify-nullstrict.d.ts.map +1 -0
  249. package/dist/scripts/verify-nullstrict.js +20 -0
  250. package/dist/scripts/verify-nullstrict.js.map +1 -0
  251. package/dist/src/ai/generation-cache.d.ts +36 -0
  252. package/dist/src/ai/generation-cache.d.ts.map +1 -0
  253. package/dist/src/ai/generation-cache.js +91 -0
  254. package/dist/src/ai/generation-cache.js.map +1 -0
  255. package/dist/src/ai/generator.d.ts +105 -0
  256. package/dist/src/ai/generator.d.ts.map +1 -0
  257. package/dist/src/ai/generator.js +103 -0
  258. package/dist/src/ai/generator.js.map +1 -0
  259. package/dist/src/ai/llm-provider.d.ts +31 -0
  260. package/dist/src/ai/llm-provider.d.ts.map +1 -0
  261. package/dist/src/ai/llm-provider.js +17 -0
  262. package/dist/src/ai/llm-provider.js.map +1 -0
  263. package/dist/src/ai/prompt-manager.d.ts +48 -0
  264. package/dist/src/ai/prompt-manager.d.ts.map +1 -0
  265. package/dist/src/ai/prompt-manager.js +70 -0
  266. package/dist/src/ai/prompt-manager.js.map +1 -0
  267. package/dist/src/ai/provenance.d.ts +70 -0
  268. package/dist/src/ai/provenance.d.ts.map +1 -0
  269. package/dist/src/ai/provenance.js +95 -0
  270. package/dist/src/ai/provenance.js.map +1 -0
  271. package/dist/src/ai/providers/anthropic.d.ts +14 -0
  272. package/dist/src/ai/providers/anthropic.d.ts.map +1 -0
  273. package/dist/src/ai/providers/anthropic.js +56 -0
  274. package/dist/src/ai/providers/anthropic.js.map +1 -0
  275. package/dist/src/ai/providers/openai.d.ts +15 -0
  276. package/dist/src/ai/providers/openai.d.ts.map +1 -0
  277. package/dist/src/ai/providers/openai.js +58 -0
  278. package/dist/src/ai/providers/openai.js.map +1 -0
  279. package/dist/src/ai/validator.d.ts +68 -0
  280. package/dist/src/ai/validator.d.ts.map +1 -0
  281. package/dist/src/ai/validator.js +108 -0
  282. package/dist/src/ai/validator.js.map +1 -0
  283. package/dist/src/ast/ast.d.ts +49 -0
  284. package/dist/src/ast/ast.d.ts.map +1 -0
  285. package/dist/src/ast/ast.js +191 -0
  286. package/dist/src/ast/ast.js.map +1 -0
  287. package/dist/src/ast/ast_visitor.d.ts +66 -0
  288. package/dist/src/ast/ast_visitor.d.ts.map +1 -0
  289. package/dist/src/ast/ast_visitor.js +176 -0
  290. package/dist/src/ast/ast_visitor.js.map +1 -0
  291. package/dist/src/ast/index.d.ts +13 -0
  292. package/dist/src/ast/index.d.ts.map +1 -0
  293. package/dist/src/ast/index.js +12 -0
  294. package/dist/src/ast/index.js.map +1 -0
  295. package/dist/src/cli/commands/ai-generate.d.ts +39 -0
  296. package/dist/src/cli/commands/ai-generate.d.ts.map +1 -0
  297. package/dist/src/cli/commands/ai-generate.js +146 -0
  298. package/dist/src/cli/commands/ai-generate.js.map +1 -0
  299. package/dist/src/cli/commands/install.d.ts +7 -0
  300. package/dist/src/cli/commands/install.d.ts.map +1 -0
  301. package/dist/src/cli/commands/install.js +146 -0
  302. package/dist/src/cli/commands/install.js.map +1 -0
  303. package/dist/src/cli/commands/list.d.ts +6 -0
  304. package/dist/src/cli/commands/list.d.ts.map +1 -0
  305. package/dist/src/cli/commands/list.js +158 -0
  306. package/dist/src/cli/commands/list.js.map +1 -0
  307. package/dist/src/cli/commands/search.d.ts +2 -0
  308. package/dist/src/cli/commands/search.d.ts.map +1 -0
  309. package/dist/src/cli/commands/search.js +174 -0
  310. package/dist/src/cli/commands/search.js.map +1 -0
  311. package/dist/src/cli/commands/update.d.ts +2 -0
  312. package/dist/src/cli/commands/update.d.ts.map +1 -0
  313. package/dist/src/cli/commands/update.js +244 -0
  314. package/dist/src/cli/commands/update.js.map +1 -0
  315. package/dist/src/cli/policy-converter.d.ts +10 -0
  316. package/dist/src/cli/policy-converter.d.ts.map +1 -0
  317. package/dist/src/cli/policy-converter.js +188 -0
  318. package/dist/src/cli/policy-converter.js.map +1 -0
  319. package/dist/src/cli/utils/error-handler.d.ts +4 -0
  320. package/dist/src/cli/utils/error-handler.d.ts.map +1 -0
  321. package/dist/src/cli/utils/error-handler.js +91 -0
  322. package/dist/src/cli/utils/error-handler.js.map +1 -0
  323. package/dist/src/cli/utils/logger.d.ts +8 -0
  324. package/dist/src/cli/utils/logger.d.ts.map +1 -0
  325. package/dist/src/cli/utils/logger.js +20 -0
  326. package/dist/src/cli/utils/logger.js.map +1 -0
  327. package/dist/src/config/config-service.d.ts +79 -0
  328. package/dist/src/config/config-service.d.ts.map +1 -0
  329. package/dist/src/config/config-service.js +112 -0
  330. package/dist/src/config/config-service.js.map +1 -0
  331. package/dist/src/config/effect_config.d.ts +111 -0
  332. package/dist/src/config/effect_config.d.ts.map +1 -0
  333. package/dist/src/config/effect_config.js +248 -0
  334. package/dist/src/config/effect_config.js.map +1 -0
  335. package/dist/src/config/effects.d.ts +33 -0
  336. package/dist/src/config/effects.d.ts.map +1 -0
  337. package/dist/src/config/effects.js +34 -0
  338. package/dist/src/config/effects.js.map +1 -0
  339. package/dist/src/config/lexicons/de-DE.d.ts +12 -0
  340. package/dist/src/config/lexicons/de-DE.d.ts.map +1 -0
  341. package/dist/src/config/lexicons/de-DE.js +129 -0
  342. package/dist/src/config/lexicons/de-DE.js.map +1 -0
  343. package/dist/src/config/lexicons/en-US.d.ts +15 -0
  344. package/dist/src/config/lexicons/en-US.d.ts.map +1 -0
  345. package/dist/src/config/lexicons/en-US.js +136 -0
  346. package/dist/src/config/lexicons/en-US.js.map +1 -0
  347. package/dist/src/config/lexicons/identifiers/domains/finance.loan.zh-CN.d.ts +13 -0
  348. package/dist/src/config/lexicons/identifiers/domains/finance.loan.zh-CN.d.ts.map +1 -0
  349. package/dist/src/config/lexicons/identifiers/domains/finance.loan.zh-CN.js +307 -0
  350. package/dist/src/config/lexicons/identifiers/domains/finance.loan.zh-CN.js.map +1 -0
  351. package/dist/src/config/lexicons/identifiers/domains/insurance.auto.zh-CN.d.ts +25 -0
  352. package/dist/src/config/lexicons/identifiers/domains/insurance.auto.zh-CN.d.ts.map +1 -0
  353. package/dist/src/config/lexicons/identifiers/domains/insurance.auto.zh-CN.js +355 -0
  354. package/dist/src/config/lexicons/identifiers/domains/insurance.auto.zh-CN.js.map +1 -0
  355. package/dist/src/config/lexicons/identifiers/examples/canonicalizer-integration.d.ts +47 -0
  356. package/dist/src/config/lexicons/identifiers/examples/canonicalizer-integration.d.ts.map +1 -0
  357. package/dist/src/config/lexicons/identifiers/examples/canonicalizer-integration.js +142 -0
  358. package/dist/src/config/lexicons/identifiers/examples/canonicalizer-integration.js.map +1 -0
  359. package/dist/src/config/lexicons/identifiers/index.d.ts +34 -0
  360. package/dist/src/config/lexicons/identifiers/index.d.ts.map +1 -0
  361. package/dist/src/config/lexicons/identifiers/index.js +37 -0
  362. package/dist/src/config/lexicons/identifiers/index.js.map +1 -0
  363. package/dist/src/config/lexicons/identifiers/registry.d.ts +112 -0
  364. package/dist/src/config/lexicons/identifiers/registry.d.ts.map +1 -0
  365. package/dist/src/config/lexicons/identifiers/registry.js +188 -0
  366. package/dist/src/config/lexicons/identifiers/registry.js.map +1 -0
  367. package/dist/src/config/lexicons/identifiers/types.d.ts +129 -0
  368. package/dist/src/config/lexicons/identifiers/types.d.ts.map +1 -0
  369. package/dist/src/config/lexicons/identifiers/types.js +146 -0
  370. package/dist/src/config/lexicons/identifiers/types.js.map +1 -0
  371. package/dist/src/config/lexicons/index.d.ts +33 -0
  372. package/dist/src/config/lexicons/index.d.ts.map +1 -0
  373. package/dist/src/config/lexicons/index.js +50 -0
  374. package/dist/src/config/lexicons/index.js.map +1 -0
  375. package/dist/src/config/lexicons/registry.d.ts +41 -0
  376. package/dist/src/config/lexicons/registry.d.ts.map +1 -0
  377. package/dist/src/config/lexicons/registry.js +205 -0
  378. package/dist/src/config/lexicons/registry.js.map +1 -0
  379. package/dist/src/config/lexicons/template.d.ts +67 -0
  380. package/dist/src/config/lexicons/template.d.ts.map +1 -0
  381. package/dist/src/config/lexicons/template.js +442 -0
  382. package/dist/src/config/lexicons/template.js.map +1 -0
  383. package/dist/src/config/lexicons/types.d.ts +169 -0
  384. package/dist/src/config/lexicons/types.d.ts.map +1 -0
  385. package/dist/src/config/lexicons/types.js +62 -0
  386. package/dist/src/config/lexicons/types.js.map +1 -0
  387. package/dist/src/config/lexicons/zh-CN.d.ts +21 -0
  388. package/dist/src/config/lexicons/zh-CN.d.ts.map +1 -0
  389. package/dist/src/config/lexicons/zh-CN.js +139 -0
  390. package/dist/src/config/lexicons/zh-CN.js.map +1 -0
  391. package/dist/src/config/runtime.d.ts +2 -0
  392. package/dist/src/config/runtime.d.ts.map +1 -0
  393. package/dist/src/config/runtime.js +13 -0
  394. package/dist/src/config/runtime.js.map +1 -0
  395. package/dist/src/config/semantic.d.ts +262 -0
  396. package/dist/src/config/semantic.d.ts.map +1 -0
  397. package/dist/src/config/semantic.js +394 -0
  398. package/dist/src/config/semantic.js.map +1 -0
  399. package/dist/src/config/token-kind.d.ts +177 -0
  400. package/dist/src/config/token-kind.d.ts.map +1 -0
  401. package/dist/src/config/token-kind.js +298 -0
  402. package/dist/src/config/token-kind.js.map +1 -0
  403. package/dist/src/core/core_ir.d.ts +50 -0
  404. package/dist/src/core/core_ir.d.ts.map +1 -0
  405. package/dist/src/core/core_ir.js +139 -0
  406. package/dist/src/core/core_ir.js.map +1 -0
  407. package/dist/src/core/core_ir_json.d.ts +62 -0
  408. package/dist/src/core/core_ir_json.d.ts.map +1 -0
  409. package/dist/src/core/core_ir_json.js +81 -0
  410. package/dist/src/core/core_ir_json.js.map +1 -0
  411. package/dist/src/core/index.d.ts +18 -0
  412. package/dist/src/core/index.d.ts.map +1 -0
  413. package/dist/src/core/index.js +16 -0
  414. package/dist/src/core/index.js.map +1 -0
  415. package/dist/src/core/pretty_core.d.ts +3 -0
  416. package/dist/src/core/pretty_core.d.ts.map +1 -0
  417. package/dist/src/core/pretty_core.js +177 -0
  418. package/dist/src/core/pretty_core.js.map +1 -0
  419. package/dist/src/core/visitor.d.ts +51 -0
  420. package/dist/src/core/visitor.d.ts.map +1 -0
  421. package/dist/src/core/visitor.js +117 -0
  422. package/dist/src/core/visitor.js.map +1 -0
  423. package/dist/src/cst/cst.d.ts +32 -0
  424. package/dist/src/cst/cst.d.ts.map +1 -0
  425. package/dist/src/cst/cst.js +2 -0
  426. package/dist/src/cst/cst.js.map +1 -0
  427. package/dist/src/cst/cst_builder.d.ts +5 -0
  428. package/dist/src/cst/cst_builder.d.ts.map +1 -0
  429. package/dist/src/cst/cst_builder.js +101 -0
  430. package/dist/src/cst/cst_builder.js.map +1 -0
  431. package/dist/src/cst/cst_printer.d.ts +8 -0
  432. package/dist/src/cst/cst_printer.d.ts.map +1 -0
  433. package/dist/src/cst/cst_printer.js +47 -0
  434. package/dist/src/cst/cst_printer.js.map +1 -0
  435. package/dist/src/cst/index.d.ts +14 -0
  436. package/dist/src/cst/index.d.ts.map +1 -0
  437. package/dist/src/cst/index.js +13 -0
  438. package/dist/src/cst/index.js.map +1 -0
  439. package/dist/src/diagnostics/diagnostics.d.ts +138 -0
  440. package/dist/src/diagnostics/diagnostics.d.ts.map +1 -0
  441. package/dist/src/diagnostics/diagnostics.js +249 -0
  442. package/dist/src/diagnostics/diagnostics.js.map +1 -0
  443. package/dist/src/diagnostics/error_codes.d.ts +88 -0
  444. package/dist/src/diagnostics/error_codes.d.ts.map +1 -0
  445. package/dist/src/diagnostics/error_codes.js +551 -0
  446. package/dist/src/diagnostics/error_codes.js.map +1 -0
  447. package/dist/src/diagnostics/index.d.ts +14 -0
  448. package/dist/src/diagnostics/index.d.ts.map +1 -0
  449. package/dist/src/diagnostics/index.js +14 -0
  450. package/dist/src/diagnostics/index.js.map +1 -0
  451. package/dist/src/effects/capabilities.d.ts +18 -0
  452. package/dist/src/effects/capabilities.d.ts.map +1 -0
  453. package/dist/src/effects/capabilities.js +101 -0
  454. package/dist/src/effects/capabilities.js.map +1 -0
  455. package/dist/src/effects/effect_inference.d.ts +17 -0
  456. package/dist/src/effects/effect_inference.d.ts.map +1 -0
  457. package/dist/src/effects/effect_inference.js +557 -0
  458. package/dist/src/effects/effect_inference.js.map +1 -0
  459. package/dist/src/effects/effect_signature.d.ts +13 -0
  460. package/dist/src/effects/effect_signature.d.ts.map +1 -0
  461. package/dist/src/effects/effect_signature.js +2 -0
  462. package/dist/src/effects/effect_signature.js.map +1 -0
  463. package/dist/src/effects/index.d.ts +14 -0
  464. package/dist/src/effects/index.d.ts.map +1 -0
  465. package/dist/src/effects/index.js +13 -0
  466. package/dist/src/effects/index.js.map +1 -0
  467. package/dist/src/formatter.d.ts +7 -0
  468. package/dist/src/formatter.d.ts.map +1 -0
  469. package/dist/src/formatter.js +383 -0
  470. package/dist/src/formatter.js.map +1 -0
  471. package/dist/src/frontend/canonicalizer.d.ts +55 -0
  472. package/dist/src/frontend/canonicalizer.d.ts.map +1 -0
  473. package/dist/src/frontend/canonicalizer.js +348 -0
  474. package/dist/src/frontend/canonicalizer.js.map +1 -0
  475. package/dist/src/frontend/index.d.ts +17 -0
  476. package/dist/src/frontend/index.d.ts.map +1 -0
  477. package/dist/src/frontend/index.js +16 -0
  478. package/dist/src/frontend/index.js.map +1 -0
  479. package/dist/src/frontend/keyword-translator.d.ts +134 -0
  480. package/dist/src/frontend/keyword-translator.d.ts.map +1 -0
  481. package/dist/src/frontend/keyword-translator.js +188 -0
  482. package/dist/src/frontend/keyword-translator.js.map +1 -0
  483. package/dist/src/frontend/lexer.d.ts +59 -0
  484. package/dist/src/frontend/lexer.d.ts.map +1 -0
  485. package/dist/src/frontend/lexer.js +536 -0
  486. package/dist/src/frontend/lexer.js.map +1 -0
  487. package/dist/src/frontend/tokens.d.ts +12 -0
  488. package/dist/src/frontend/tokens.d.ts.map +1 -0
  489. package/dist/src/frontend/tokens.js +12 -0
  490. package/dist/src/frontend/tokens.js.map +1 -0
  491. package/dist/src/index.d.ts +36 -0
  492. package/dist/src/index.d.ts.map +1 -0
  493. package/dist/src/index.js +37 -0
  494. package/dist/src/index.js.map +1 -0
  495. package/dist/src/jvm/emitter.d.ts +3 -0
  496. package/dist/src/jvm/emitter.d.ts.map +1 -0
  497. package/dist/src/jvm/emitter.js +609 -0
  498. package/dist/src/jvm/emitter.js.map +1 -0
  499. package/dist/src/lower_to_core.d.ts +53 -0
  500. package/dist/src/lower_to_core.d.ts.map +1 -0
  501. package/dist/src/lower_to_core.js +528 -0
  502. package/dist/src/lower_to_core.js.map +1 -0
  503. package/dist/src/lsp/analysis.d.ts +50 -0
  504. package/dist/src/lsp/analysis.d.ts.map +1 -0
  505. package/dist/src/lsp/analysis.js +399 -0
  506. package/dist/src/lsp/analysis.js.map +1 -0
  507. package/dist/src/lsp/codeaction.d.ts +21 -0
  508. package/dist/src/lsp/codeaction.d.ts.map +1 -0
  509. package/dist/src/lsp/codeaction.js +531 -0
  510. package/dist/src/lsp/codeaction.js.map +1 -0
  511. package/dist/src/lsp/completion.d.ts +81 -0
  512. package/dist/src/lsp/completion.d.ts.map +1 -0
  513. package/dist/src/lsp/completion.js +345 -0
  514. package/dist/src/lsp/completion.js.map +1 -0
  515. package/dist/src/lsp/config.d.ts +34 -0
  516. package/dist/src/lsp/config.d.ts.map +1 -0
  517. package/dist/src/lsp/config.js +23 -0
  518. package/dist/src/lsp/config.js.map +1 -0
  519. package/dist/src/lsp/diagnostics.d.ts +87 -0
  520. package/dist/src/lsp/diagnostics.d.ts.map +1 -0
  521. package/dist/src/lsp/diagnostics.js +474 -0
  522. package/dist/src/lsp/diagnostics.js.map +1 -0
  523. package/dist/src/lsp/formatting.d.ts +16 -0
  524. package/dist/src/lsp/formatting.d.ts.map +1 -0
  525. package/dist/src/lsp/formatting.js +75 -0
  526. package/dist/src/lsp/formatting.js.map +1 -0
  527. package/dist/src/lsp/health.d.ts +74 -0
  528. package/dist/src/lsp/health.d.ts.map +1 -0
  529. package/dist/src/lsp/health.js +106 -0
  530. package/dist/src/lsp/health.js.map +1 -0
  531. package/dist/src/lsp/index.d.ts +14 -0
  532. package/dist/src/lsp/index.d.ts.map +1 -0
  533. package/dist/src/lsp/index.js +17 -0
  534. package/dist/src/lsp/index.js.map +1 -0
  535. package/dist/src/lsp/module_cache.d.ts +39 -0
  536. package/dist/src/lsp/module_cache.d.ts.map +1 -0
  537. package/dist/src/lsp/module_cache.js +308 -0
  538. package/dist/src/lsp/module_cache.js.map +1 -0
  539. package/dist/src/lsp/navigation/definition.d.ts +20 -0
  540. package/dist/src/lsp/navigation/definition.d.ts.map +1 -0
  541. package/dist/src/lsp/navigation/definition.js +96 -0
  542. package/dist/src/lsp/navigation/definition.js.map +1 -0
  543. package/dist/src/lsp/navigation/document-symbol.d.ts +20 -0
  544. package/dist/src/lsp/navigation/document-symbol.d.ts.map +1 -0
  545. package/dist/src/lsp/navigation/document-symbol.js +196 -0
  546. package/dist/src/lsp/navigation/document-symbol.js.map +1 -0
  547. package/dist/src/lsp/navigation/hover.d.ts +20 -0
  548. package/dist/src/lsp/navigation/hover.d.ts.map +1 -0
  549. package/dist/src/lsp/navigation/hover.js +147 -0
  550. package/dist/src/lsp/navigation/hover.js.map +1 -0
  551. package/dist/src/lsp/navigation/references.d.ts +17 -0
  552. package/dist/src/lsp/navigation/references.d.ts.map +1 -0
  553. package/dist/src/lsp/navigation/references.js +104 -0
  554. package/dist/src/lsp/navigation/references.js.map +1 -0
  555. package/dist/src/lsp/navigation/rename.d.ts +22 -0
  556. package/dist/src/lsp/navigation/rename.d.ts.map +1 -0
  557. package/dist/src/lsp/navigation/rename.js +161 -0
  558. package/dist/src/lsp/navigation/rename.js.map +1 -0
  559. package/dist/src/lsp/navigation/shared.d.ts +175 -0
  560. package/dist/src/lsp/navigation/shared.d.ts.map +1 -0
  561. package/dist/src/lsp/navigation/shared.js +470 -0
  562. package/dist/src/lsp/navigation/shared.js.map +1 -0
  563. package/dist/src/lsp/navigation.d.ts +23 -0
  564. package/dist/src/lsp/navigation.d.ts.map +1 -0
  565. package/dist/src/lsp/navigation.js +28 -0
  566. package/dist/src/lsp/navigation.js.map +1 -0
  567. package/dist/src/lsp/pii_diagnostics.d.ts +15 -0
  568. package/dist/src/lsp/pii_diagnostics.d.ts.map +1 -0
  569. package/dist/src/lsp/pii_diagnostics.js +624 -0
  570. package/dist/src/lsp/pii_diagnostics.js.map +1 -0
  571. package/dist/src/lsp/server.d.ts +3 -0
  572. package/dist/src/lsp/server.d.ts.map +1 -0
  573. package/dist/src/lsp/server.js +406 -0
  574. package/dist/src/lsp/server.js.map +1 -0
  575. package/dist/src/lsp/shared-state.d.ts +15 -0
  576. package/dist/src/lsp/shared-state.d.ts.map +1 -0
  577. package/dist/src/lsp/shared-state.js +21 -0
  578. package/dist/src/lsp/shared-state.js.map +1 -0
  579. package/dist/src/lsp/symbols.d.ts +35 -0
  580. package/dist/src/lsp/symbols.d.ts.map +1 -0
  581. package/dist/src/lsp/symbols.js +124 -0
  582. package/dist/src/lsp/symbols.js.map +1 -0
  583. package/dist/src/lsp/task-queue.d.ts +172 -0
  584. package/dist/src/lsp/task-queue.d.ts.map +1 -0
  585. package/dist/src/lsp/task-queue.js +310 -0
  586. package/dist/src/lsp/task-queue.js.map +1 -0
  587. package/dist/src/lsp/token-index.d.ts +45 -0
  588. package/dist/src/lsp/token-index.d.ts.map +1 -0
  589. package/dist/src/lsp/token-index.js +114 -0
  590. package/dist/src/lsp/token-index.js.map +1 -0
  591. package/dist/src/lsp/tokens.d.ts +33 -0
  592. package/dist/src/lsp/tokens.d.ts.map +1 -0
  593. package/dist/src/lsp/tokens.js +259 -0
  594. package/dist/src/lsp/tokens.js.map +1 -0
  595. package/dist/src/lsp/type-guards.d.ts +80 -0
  596. package/dist/src/lsp/type-guards.d.ts.map +1 -0
  597. package/dist/src/lsp/type-guards.js +132 -0
  598. package/dist/src/lsp/type-guards.js.map +1 -0
  599. package/dist/src/lsp/utils.d.ts +4 -0
  600. package/dist/src/lsp/utils.d.ts.map +1 -0
  601. package/dist/src/lsp/utils.js +52 -0
  602. package/dist/src/lsp/utils.js.map +1 -0
  603. package/dist/src/lsp/workspace/document-indexer.d.ts +14 -0
  604. package/dist/src/lsp/workspace/document-indexer.d.ts.map +1 -0
  605. package/dist/src/lsp/workspace/document-indexer.js +88 -0
  606. package/dist/src/lsp/workspace/document-indexer.js.map +1 -0
  607. package/dist/src/lsp/workspace/file-watcher.d.ts +137 -0
  608. package/dist/src/lsp/workspace/file-watcher.d.ts.map +1 -0
  609. package/dist/src/lsp/workspace/file-watcher.js +307 -0
  610. package/dist/src/lsp/workspace/file-watcher.js.map +1 -0
  611. package/dist/src/lsp/workspace/index-manager.d.ts +48 -0
  612. package/dist/src/lsp/workspace/index-manager.d.ts.map +1 -0
  613. package/dist/src/lsp/workspace/index-manager.js +131 -0
  614. package/dist/src/lsp/workspace/index-manager.js.map +1 -0
  615. package/dist/src/lsp/workspace/symbol-finder.d.ts +13 -0
  616. package/dist/src/lsp/workspace/symbol-finder.d.ts.map +1 -0
  617. package/dist/src/lsp/workspace/symbol-finder.js +69 -0
  618. package/dist/src/lsp/workspace/symbol-finder.js.map +1 -0
  619. package/dist/src/lsp/workspace/types.d.ts +77 -0
  620. package/dist/src/lsp/workspace/types.d.ts.map +1 -0
  621. package/dist/src/lsp/workspace/types.js +6 -0
  622. package/dist/src/lsp/workspace/types.js.map +1 -0
  623. package/dist/src/lsp/workspace/workspace-scanner.d.ts +11 -0
  624. package/dist/src/lsp/workspace/workspace-scanner.d.ts.map +1 -0
  625. package/dist/src/lsp/workspace/workspace-scanner.js +115 -0
  626. package/dist/src/lsp/workspace/workspace-scanner.js.map +1 -0
  627. package/dist/src/manifest.d.ts +48 -0
  628. package/dist/src/manifest.d.ts.map +1 -0
  629. package/dist/src/manifest.js +10 -0
  630. package/dist/src/manifest.js.map +1 -0
  631. package/dist/src/package/config.d.ts +28 -0
  632. package/dist/src/package/config.d.ts.map +1 -0
  633. package/dist/src/package/config.js +59 -0
  634. package/dist/src/package/config.js.map +1 -0
  635. package/dist/src/package/dependency-graph.d.ts +42 -0
  636. package/dist/src/package/dependency-graph.d.ts.map +1 -0
  637. package/dist/src/package/dependency-graph.js +144 -0
  638. package/dist/src/package/dependency-graph.js.map +1 -0
  639. package/dist/src/package/lockfile.d.ts +20 -0
  640. package/dist/src/package/lockfile.d.ts.map +1 -0
  641. package/dist/src/package/lockfile.js +146 -0
  642. package/dist/src/package/lockfile.js.map +1 -0
  643. package/dist/src/package/manifest-parser.d.ts +22 -0
  644. package/dist/src/package/manifest-parser.d.ts.map +1 -0
  645. package/dist/src/package/manifest-parser.js +275 -0
  646. package/dist/src/package/manifest-parser.js.map +1 -0
  647. package/dist/src/package/package-cache.d.ts +56 -0
  648. package/dist/src/package/package-cache.d.ts.map +1 -0
  649. package/dist/src/package/package-cache.js +166 -0
  650. package/dist/src/package/package-cache.js.map +1 -0
  651. package/dist/src/package/package-installer.d.ts +67 -0
  652. package/dist/src/package/package-installer.d.ts.map +1 -0
  653. package/dist/src/package/package-installer.js +310 -0
  654. package/dist/src/package/package-installer.js.map +1 -0
  655. package/dist/src/package/package-registry.d.ts +70 -0
  656. package/dist/src/package/package-registry.d.ts.map +1 -0
  657. package/dist/src/package/package-registry.js +480 -0
  658. package/dist/src/package/package-registry.js.map +1 -0
  659. package/dist/src/package/resolver.d.ts +50 -0
  660. package/dist/src/package/resolver.d.ts.map +1 -0
  661. package/dist/src/package/resolver.js +236 -0
  662. package/dist/src/package/resolver.js.map +1 -0
  663. package/dist/src/package/version-utils.d.ts +53 -0
  664. package/dist/src/package/version-utils.d.ts.map +1 -0
  665. package/dist/src/package/version-utils.js +61 -0
  666. package/dist/src/package/version-utils.js.map +1 -0
  667. package/dist/src/parser/constraint-parser.d.ts +42 -0
  668. package/dist/src/parser/constraint-parser.d.ts.map +1 -0
  669. package/dist/src/parser/constraint-parser.js +192 -0
  670. package/dist/src/parser/constraint-parser.js.map +1 -0
  671. package/dist/src/parser/context.d.ts +56 -0
  672. package/dist/src/parser/context.d.ts.map +1 -0
  673. package/dist/src/parser/context.js +177 -0
  674. package/dist/src/parser/context.js.map +1 -0
  675. package/dist/src/parser/decl-parser.d.ts +52 -0
  676. package/dist/src/parser/decl-parser.d.ts.map +1 -0
  677. package/dist/src/parser/decl-parser.js +461 -0
  678. package/dist/src/parser/decl-parser.js.map +1 -0
  679. package/dist/src/parser/expr-stmt-parser.d.ts +51 -0
  680. package/dist/src/parser/expr-stmt-parser.d.ts.map +1 -0
  681. package/dist/src/parser/expr-stmt-parser.js +1317 -0
  682. package/dist/src/parser/expr-stmt-parser.js.map +1 -0
  683. package/dist/src/parser/field-variant-parser.d.ts +47 -0
  684. package/dist/src/parser/field-variant-parser.d.ts.map +1 -0
  685. package/dist/src/parser/field-variant-parser.js +142 -0
  686. package/dist/src/parser/field-variant-parser.js.map +1 -0
  687. package/dist/src/parser/import-parser.d.ts +40 -0
  688. package/dist/src/parser/import-parser.d.ts.map +1 -0
  689. package/dist/src/parser/import-parser.js +91 -0
  690. package/dist/src/parser/import-parser.js.map +1 -0
  691. package/dist/src/parser/parser-tools.d.ts +52 -0
  692. package/dist/src/parser/parser-tools.d.ts.map +1 -0
  693. package/dist/src/parser/parser-tools.js +50 -0
  694. package/dist/src/parser/parser-tools.js.map +1 -0
  695. package/dist/src/parser/span-utils.d.ts +16 -0
  696. package/dist/src/parser/span-utils.d.ts.map +1 -0
  697. package/dist/src/parser/span-utils.js +90 -0
  698. package/dist/src/parser/span-utils.js.map +1 -0
  699. package/dist/src/parser/type-inference.d.ts +90 -0
  700. package/dist/src/parser/type-inference.d.ts.map +1 -0
  701. package/dist/src/parser/type-inference.js +287 -0
  702. package/dist/src/parser/type-inference.js.map +1 -0
  703. package/dist/src/parser/type-parser.d.ts +24 -0
  704. package/dist/src/parser/type-parser.d.ts.map +1 -0
  705. package/dist/src/parser/type-parser.js +338 -0
  706. package/dist/src/parser/type-parser.js.map +1 -0
  707. package/dist/src/parser.d.ts +12 -0
  708. package/dist/src/parser.d.ts.map +1 -0
  709. package/dist/src/parser.js +25 -0
  710. package/dist/src/parser.js.map +1 -0
  711. package/dist/src/typecheck/async.d.ts +57 -0
  712. package/dist/src/typecheck/async.d.ts.map +1 -0
  713. package/dist/src/typecheck/async.js +369 -0
  714. package/dist/src/typecheck/async.js.map +1 -0
  715. package/dist/src/typecheck/capabilities.d.ts +20 -0
  716. package/dist/src/typecheck/capabilities.d.ts.map +1 -0
  717. package/dist/src/typecheck/capabilities.js +86 -0
  718. package/dist/src/typecheck/capabilities.js.map +1 -0
  719. package/dist/src/typecheck/context.d.ts +31 -0
  720. package/dist/src/typecheck/context.d.ts.map +1 -0
  721. package/dist/src/typecheck/context.js +34 -0
  722. package/dist/src/typecheck/context.js.map +1 -0
  723. package/dist/src/typecheck/diagnostics.d.ts +15 -0
  724. package/dist/src/typecheck/diagnostics.d.ts.map +1 -0
  725. package/dist/src/typecheck/diagnostics.js +92 -0
  726. package/dist/src/typecheck/diagnostics.js.map +1 -0
  727. package/dist/src/typecheck/effects.d.ts +16 -0
  728. package/dist/src/typecheck/effects.d.ts.map +1 -0
  729. package/dist/src/typecheck/effects.js +122 -0
  730. package/dist/src/typecheck/effects.js.map +1 -0
  731. package/dist/src/typecheck/expression.d.ts +12 -0
  732. package/dist/src/typecheck/expression.d.ts.map +1 -0
  733. package/dist/src/typecheck/expression.js +306 -0
  734. package/dist/src/typecheck/expression.js.map +1 -0
  735. package/dist/src/typecheck/generics.d.ts +6 -0
  736. package/dist/src/typecheck/generics.d.ts.map +1 -0
  737. package/dist/src/typecheck/generics.js +131 -0
  738. package/dist/src/typecheck/generics.js.map +1 -0
  739. package/dist/src/typecheck/index.d.ts +6 -0
  740. package/dist/src/typecheck/index.d.ts.map +1 -0
  741. package/dist/src/typecheck/index.js +3 -0
  742. package/dist/src/typecheck/index.js.map +1 -0
  743. package/dist/src/typecheck/module.d.ts +9 -0
  744. package/dist/src/typecheck/module.d.ts.map +1 -0
  745. package/dist/src/typecheck/module.js +223 -0
  746. package/dist/src/typecheck/module.js.map +1 -0
  747. package/dist/src/typecheck/pattern.d.ts +6 -0
  748. package/dist/src/typecheck/pattern.d.ts.map +1 -0
  749. package/dist/src/typecheck/pattern.js +80 -0
  750. package/dist/src/typecheck/pattern.js.map +1 -0
  751. package/dist/src/typecheck/statement.d.ts +13 -0
  752. package/dist/src/typecheck/statement.d.ts.map +1 -0
  753. package/dist/src/typecheck/statement.js +176 -0
  754. package/dist/src/typecheck/statement.js.map +1 -0
  755. package/dist/src/typecheck/symbol_table.d.ts +63 -0
  756. package/dist/src/typecheck/symbol_table.d.ts.map +1 -0
  757. package/dist/src/typecheck/symbol_table.js +208 -0
  758. package/dist/src/typecheck/symbol_table.js.map +1 -0
  759. package/dist/src/typecheck/type_system.d.ts +30 -0
  760. package/dist/src/typecheck/type_system.d.ts.map +1 -0
  761. package/dist/src/typecheck/type_system.js +529 -0
  762. package/dist/src/typecheck/type_system.js.map +1 -0
  763. package/dist/src/typecheck/utils.d.ts +45 -0
  764. package/dist/src/typecheck/utils.d.ts.map +1 -0
  765. package/dist/src/typecheck/utils.js +110 -0
  766. package/dist/src/typecheck/utils.js.map +1 -0
  767. package/dist/src/typecheck/workflow.d.ts +8 -0
  768. package/dist/src/typecheck/workflow.d.ts.map +1 -0
  769. package/dist/src/typecheck/workflow.js +247 -0
  770. package/dist/src/typecheck/workflow.js.map +1 -0
  771. package/dist/src/typecheck-pii.d.ts +3 -0
  772. package/dist/src/typecheck-pii.d.ts.map +1 -0
  773. package/dist/src/typecheck-pii.js +534 -0
  774. package/dist/src/typecheck-pii.js.map +1 -0
  775. package/dist/src/typecheck.d.ts +7 -0
  776. package/dist/src/typecheck.d.ts.map +1 -0
  777. package/dist/src/typecheck.js +2 -0
  778. package/dist/src/typecheck.js.map +1 -0
  779. package/dist/src/types/base.d.ts +423 -0
  780. package/dist/src/types/base.d.ts.map +1 -0
  781. package/dist/src/types/base.js +18 -0
  782. package/dist/src/types/base.js.map +1 -0
  783. package/dist/src/types.d.ts +531 -0
  784. package/dist/src/types.d.ts.map +1 -0
  785. package/dist/src/types.js +47 -0
  786. package/dist/src/types.js.map +1 -0
  787. package/dist/src/utils/logger.d.ts +28 -0
  788. package/dist/src/utils/logger.d.ts.map +1 -0
  789. package/dist/src/utils/logger.js +60 -0
  790. package/dist/src/utils/logger.js.map +1 -0
  791. package/dist/test/benchmark.d.ts +3 -0
  792. package/dist/test/benchmark.d.ts.map +1 -0
  793. package/dist/test/benchmark.js +106 -0
  794. package/dist/test/benchmark.js.map +1 -0
  795. package/dist/test/cli/commands/install.test.d.ts +2 -0
  796. package/dist/test/cli/commands/install.test.d.ts.map +1 -0
  797. package/dist/test/cli/commands/install.test.js +97 -0
  798. package/dist/test/cli/commands/install.test.js.map +1 -0
  799. package/dist/test/cli/commands/list.test.d.ts +2 -0
  800. package/dist/test/cli/commands/list.test.d.ts.map +1 -0
  801. package/dist/test/cli/commands/list.test.js +98 -0
  802. package/dist/test/cli/commands/list.test.js.map +1 -0
  803. package/dist/test/cli/commands/search.test.d.ts +2 -0
  804. package/dist/test/cli/commands/search.test.d.ts.map +1 -0
  805. package/dist/test/cli/commands/search.test.js +133 -0
  806. package/dist/test/cli/commands/search.test.js.map +1 -0
  807. package/dist/test/cli/commands/update.test.d.ts +2 -0
  808. package/dist/test/cli/commands/update.test.d.ts.map +1 -0
  809. package/dist/test/cli/commands/update.test.js +205 -0
  810. package/dist/test/cli/commands/update.test.js.map +1 -0
  811. package/dist/test/cli/integration.test.d.ts +2 -0
  812. package/dist/test/cli/integration.test.d.ts.map +1 -0
  813. package/dist/test/cli/integration.test.js +51 -0
  814. package/dist/test/cli/integration.test.js.map +1 -0
  815. package/dist/test/cli/registry-utils.d.ts +6 -0
  816. package/dist/test/cli/registry-utils.d.ts.map +1 -0
  817. package/dist/test/cli/registry-utils.js +35 -0
  818. package/dist/test/cli/registry-utils.js.map +1 -0
  819. package/dist/test/cli/utils/error-handler.test.d.ts +2 -0
  820. package/dist/test/cli/utils/error-handler.test.d.ts.map +1 -0
  821. package/dist/test/cli/utils/error-handler.test.js +108 -0
  822. package/dist/test/cli/utils/error-handler.test.js.map +1 -0
  823. package/dist/test/compiler/depends-on.test.d.ts +2 -0
  824. package/dist/test/compiler/depends-on.test.d.ts.map +1 -0
  825. package/dist/test/compiler/depends-on.test.js +184 -0
  826. package/dist/test/compiler/depends-on.test.js.map +1 -0
  827. package/dist/test/compiler/inventory-capability.test.d.ts +2 -0
  828. package/dist/test/compiler/inventory-capability.test.d.ts.map +1 -0
  829. package/dist/test/compiler/inventory-capability.test.js +22 -0
  830. package/dist/test/compiler/inventory-capability.test.js.map +1 -0
  831. package/dist/test/compiler/payment-capability.test.d.ts +2 -0
  832. package/dist/test/compiler/payment-capability.test.d.ts.map +1 -0
  833. package/dist/test/compiler/payment-capability.test.js +22 -0
  834. package/dist/test/compiler/payment-capability.test.js.map +1 -0
  835. package/dist/test/compiler/workflow-emitter-helpers.d.ts +3 -0
  836. package/dist/test/compiler/workflow-emitter-helpers.d.ts.map +1 -0
  837. package/dist/test/compiler/workflow-emitter-helpers.js +44 -0
  838. package/dist/test/compiler/workflow-emitter-helpers.js.map +1 -0
  839. package/dist/test/e2e/package-management.test.d.ts +2 -0
  840. package/dist/test/e2e/package-management.test.d.ts.map +1 -0
  841. package/dist/test/e2e/package-management.test.js +51 -0
  842. package/dist/test/e2e/package-management.test.js.map +1 -0
  843. package/dist/test/e2e/runner/golden-runner.d.ts +3 -0
  844. package/dist/test/e2e/runner/golden-runner.d.ts.map +1 -0
  845. package/dist/test/e2e/runner/golden-runner.js +212 -0
  846. package/dist/test/e2e/runner/golden-runner.js.map +1 -0
  847. package/dist/test/fuzz/formatter-fuzz.test.d.ts +3 -0
  848. package/dist/test/fuzz/formatter-fuzz.test.d.ts.map +1 -0
  849. package/dist/test/fuzz/formatter-fuzz.test.js +44 -0
  850. package/dist/test/fuzz/formatter-fuzz.test.js.map +1 -0
  851. package/dist/test/fuzz/fuzz.test.d.ts +3 -0
  852. package/dist/test/fuzz/fuzz.test.d.ts.map +1 -0
  853. package/dist/test/fuzz/fuzz.test.js +141 -0
  854. package/dist/test/fuzz/fuzz.test.js.map +1 -0
  855. package/dist/test/fuzz/lossless-fuzz.test.d.ts +3 -0
  856. package/dist/test/fuzz/lossless-fuzz.test.d.ts.map +1 -0
  857. package/dist/test/fuzz/lossless-fuzz.test.js +116 -0
  858. package/dist/test/fuzz/lossless-fuzz.test.js.map +1 -0
  859. package/dist/test/generators.d.ts +53 -0
  860. package/dist/test/generators.d.ts.map +1 -0
  861. package/dist/test/generators.js +253 -0
  862. package/dist/test/generators.js.map +1 -0
  863. package/dist/test/helpers/test-factories.d.ts +24 -0
  864. package/dist/test/helpers/test-factories.d.ts.map +1 -0
  865. package/dist/test/helpers/test-factories.js +30 -0
  866. package/dist/test/helpers/test-factories.js.map +1 -0
  867. package/dist/test/helpers/test-utils.d.ts +19 -0
  868. package/dist/test/helpers/test-utils.d.ts.map +1 -0
  869. package/dist/test/helpers/test-utils.js +30 -0
  870. package/dist/test/helpers/test-utils.js.map +1 -0
  871. package/dist/test/integration/capabilities/capabilities.test.d.ts +3 -0
  872. package/dist/test/integration/capabilities/capabilities.test.d.ts.map +1 -0
  873. package/dist/test/integration/capabilities/capabilities.test.js +63 -0
  874. package/dist/test/integration/capabilities/capabilities.test.js.map +1 -0
  875. package/dist/test/integration/capabilities/config-service.test.d.ts +11 -0
  876. package/dist/test/integration/capabilities/config-service.test.d.ts.map +1 -0
  877. package/dist/test/integration/capabilities/config-service.test.js +125 -0
  878. package/dist/test/integration/capabilities/config-service.test.js.map +1 -0
  879. package/dist/test/integration/capabilities/effect-config.test.d.ts +3 -0
  880. package/dist/test/integration/capabilities/effect-config.test.d.ts.map +1 -0
  881. package/dist/test/integration/capabilities/effect-config.test.js +196 -0
  882. package/dist/test/integration/capabilities/effect-config.test.js.map +1 -0
  883. package/dist/test/integration/compliance/compliance-smoke.test.d.ts +14 -0
  884. package/dist/test/integration/compliance/compliance-smoke.test.d.ts.map +1 -0
  885. package/dist/test/integration/compliance/compliance-smoke.test.js +222 -0
  886. package/dist/test/integration/compliance/compliance-smoke.test.js.map +1 -0
  887. package/dist/test/integration/lsp/lsp-client-helper.test.d.ts +7 -0
  888. package/dist/test/integration/lsp/lsp-client-helper.test.d.ts.map +1 -0
  889. package/dist/test/integration/lsp/lsp-client-helper.test.js +45 -0
  890. package/dist/test/integration/lsp/lsp-client-helper.test.js.map +1 -0
  891. package/dist/test/integration/lsp/lsp-completion.test.d.ts +7 -0
  892. package/dist/test/integration/lsp/lsp-completion.test.d.ts.map +1 -0
  893. package/dist/test/integration/lsp/lsp-completion.test.js +178 -0
  894. package/dist/test/integration/lsp/lsp-completion.test.js.map +1 -0
  895. package/dist/test/integration/lsp/lsp-diagnostics.test.d.ts +7 -0
  896. package/dist/test/integration/lsp/lsp-diagnostics.test.d.ts.map +1 -0
  897. package/dist/test/integration/lsp/lsp-diagnostics.test.js +105 -0
  898. package/dist/test/integration/lsp/lsp-diagnostics.test.js.map +1 -0
  899. package/dist/test/integration/lsp/lsp-file-watcher.test.d.ts +7 -0
  900. package/dist/test/integration/lsp/lsp-file-watcher.test.d.ts.map +1 -0
  901. package/dist/test/integration/lsp/lsp-file-watcher.test.js +401 -0
  902. package/dist/test/integration/lsp/lsp-file-watcher.test.js.map +1 -0
  903. package/dist/test/integration/lsp/lsp-health-metrics.test.d.ts +7 -0
  904. package/dist/test/integration/lsp/lsp-health-metrics.test.d.ts.map +1 -0
  905. package/dist/test/integration/lsp/lsp-health-metrics.test.js +285 -0
  906. package/dist/test/integration/lsp/lsp-health-metrics.test.js.map +1 -0
  907. package/dist/test/integration/lsp/lsp-modules.test.d.ts +7 -0
  908. package/dist/test/integration/lsp/lsp-modules.test.d.ts.map +1 -0
  909. package/dist/test/integration/lsp/lsp-modules.test.js +193 -0
  910. package/dist/test/integration/lsp/lsp-modules.test.js.map +1 -0
  911. package/dist/test/integration/lsp/lsp-multi-rename.test.d.ts +3 -0
  912. package/dist/test/integration/lsp/lsp-multi-rename.test.d.ts.map +1 -0
  913. package/dist/test/integration/lsp/lsp-multi-rename.test.js +81 -0
  914. package/dist/test/integration/lsp/lsp-multi-rename.test.js.map +1 -0
  915. package/dist/test/integration/lsp/lsp-navigation.test.d.ts +7 -0
  916. package/dist/test/integration/lsp/lsp-navigation.test.d.ts.map +1 -0
  917. package/dist/test/integration/lsp/lsp-navigation.test.js +332 -0
  918. package/dist/test/integration/lsp/lsp-navigation.test.js.map +1 -0
  919. package/dist/test/integration/lsp/lsp-process-lifecycle.test.d.ts +7 -0
  920. package/dist/test/integration/lsp/lsp-process-lifecycle.test.d.ts.map +1 -0
  921. package/dist/test/integration/lsp/lsp-process-lifecycle.test.js +257 -0
  922. package/dist/test/integration/lsp/lsp-process-lifecycle.test.js.map +1 -0
  923. package/dist/test/integration/lsp/lsp-task-queue.test.d.ts +7 -0
  924. package/dist/test/integration/lsp/lsp-task-queue.test.d.ts.map +1 -0
  925. package/dist/test/integration/lsp/lsp-task-queue.test.js +267 -0
  926. package/dist/test/integration/lsp/lsp-task-queue.test.js.map +1 -0
  927. package/dist/test/integration/pipeline/pipeline.test.d.ts +13 -0
  928. package/dist/test/integration/pipeline/pipeline.test.d.ts.map +1 -0
  929. package/dist/test/integration/pipeline/pipeline.test.js +310 -0
  930. package/dist/test/integration/pipeline/pipeline.test.js.map +1 -0
  931. package/dist/test/perf/perf-utils.test.d.ts +3 -0
  932. package/dist/test/perf/perf-utils.test.d.ts.map +1 -0
  933. package/dist/test/perf/perf-utils.test.js +144 -0
  934. package/dist/test/perf/perf-utils.test.js.map +1 -0
  935. package/dist/test/performance/package-installer.perf.test.d.ts +9 -0
  936. package/dist/test/performance/package-installer.perf.test.d.ts.map +1 -0
  937. package/dist/test/performance/package-installer.perf.test.js +80 -0
  938. package/dist/test/performance/package-installer.perf.test.js.map +1 -0
  939. package/dist/test/policy-converter/round-trip.test.d.ts +2 -0
  940. package/dist/test/policy-converter/round-trip.test.d.ts.map +1 -0
  941. package/dist/test/policy-converter/round-trip.test.js +83 -0
  942. package/dist/test/policy-converter/round-trip.test.js.map +1 -0
  943. package/dist/test/property/lsp-props.test.d.ts +3 -0
  944. package/dist/test/property/lsp-props.test.d.ts.map +1 -0
  945. package/dist/test/property/lsp-props.test.js +43 -0
  946. package/dist/test/property/lsp-props.test.js.map +1 -0
  947. package/dist/test/property/property.test.d.ts +3 -0
  948. package/dist/test/property/property.test.d.ts.map +1 -0
  949. package/dist/test/property/property.test.js +456 -0
  950. package/dist/test/property/property.test.js.map +1 -0
  951. package/dist/test/regression/type-checker-golden.test.d.ts +8 -0
  952. package/dist/test/regression/type-checker-golden.test.d.ts.map +1 -0
  953. package/dist/test/regression/type-checker-golden.test.js +172 -0
  954. package/dist/test/regression/type-checker-golden.test.js.map +1 -0
  955. package/dist/test/type-checker/cross-module-packages.test.d.ts +2 -0
  956. package/dist/test/type-checker/cross-module-packages.test.d.ts.map +1 -0
  957. package/dist/test/type-checker/cross-module-packages.test.js +51 -0
  958. package/dist/test/type-checker/cross-module-packages.test.js.map +1 -0
  959. package/dist/test/type-checker/pii-propagation.test.d.ts +2 -0
  960. package/dist/test/type-checker/pii-propagation.test.d.ts.map +1 -0
  961. package/dist/test/type-checker/pii-propagation.test.js +656 -0
  962. package/dist/test/type-checker/pii-propagation.test.js.map +1 -0
  963. package/dist/test/unit/async/async-discipline.test.d.ts +12 -0
  964. package/dist/test/unit/async/async-discipline.test.d.ts.map +1 -0
  965. package/dist/test/unit/async/async-discipline.test.js +492 -0
  966. package/dist/test/unit/async/async-discipline.test.js.map +1 -0
  967. package/dist/test/unit/async/async-schedule.test.d.ts +7 -0
  968. package/dist/test/unit/async/async-schedule.test.d.ts.map +1 -0
  969. package/dist/test/unit/async/async-schedule.test.js +154 -0
  970. package/dist/test/unit/async/async-schedule.test.js.map +1 -0
  971. package/dist/test/unit/canonicalizer/canonicalizer.test.d.ts +2 -0
  972. package/dist/test/unit/canonicalizer/canonicalizer.test.d.ts.map +1 -0
  973. package/dist/test/unit/canonicalizer/canonicalizer.test.js +195 -0
  974. package/dist/test/unit/canonicalizer/canonicalizer.test.js.map +1 -0
  975. package/dist/test/unit/config/config-service.test.d.ts +2 -0
  976. package/dist/test/unit/config/config-service.test.d.ts.map +1 -0
  977. package/dist/test/unit/config/config-service.test.js +235 -0
  978. package/dist/test/unit/config/config-service.test.js.map +1 -0
  979. package/dist/test/unit/config/effect-config-cache.test.d.ts +2 -0
  980. package/dist/test/unit/config/effect-config-cache.test.d.ts.map +1 -0
  981. package/dist/test/unit/config/effect-config-cache.test.js +135 -0
  982. package/dist/test/unit/config/effect-config-cache.test.js.map +1 -0
  983. package/dist/test/unit/config/lexicons/i18n.test.d.ts +15 -0
  984. package/dist/test/unit/config/lexicons/i18n.test.d.ts.map +1 -0
  985. package/dist/test/unit/config/lexicons/i18n.test.js +318 -0
  986. package/dist/test/unit/config/lexicons/i18n.test.js.map +1 -0
  987. package/dist/test/unit/config/lexicons/identifiers/identifier-mapping.test.d.ts +7 -0
  988. package/dist/test/unit/config/lexicons/identifiers/identifier-mapping.test.d.ts.map +1 -0
  989. package/dist/test/unit/config/lexicons/identifiers/identifier-mapping.test.js +180 -0
  990. package/dist/test/unit/config/lexicons/identifiers/identifier-mapping.test.js.map +1 -0
  991. package/dist/test/unit/config/lexicons/zh-CN.test.d.ts +7 -0
  992. package/dist/test/unit/config/lexicons/zh-CN.test.d.ts.map +1 -0
  993. package/dist/test/unit/config/lexicons/zh-CN.test.js +922 -0
  994. package/dist/test/unit/config/lexicons/zh-CN.test.js.map +1 -0
  995. package/dist/test/unit/core_ir_json/core_ir_json.test.d.ts +2 -0
  996. package/dist/test/unit/core_ir_json/core_ir_json.test.d.ts.map +1 -0
  997. package/dist/test/unit/core_ir_json/core_ir_json.test.js +218 -0
  998. package/dist/test/unit/core_ir_json/core_ir_json.test.js.map +1 -0
  999. package/dist/test/unit/dependency-graph.test.d.ts +5 -0
  1000. package/dist/test/unit/dependency-graph.test.d.ts.map +1 -0
  1001. package/dist/test/unit/dependency-graph.test.js +105 -0
  1002. package/dist/test/unit/dependency-graph.test.js.map +1 -0
  1003. package/dist/test/unit/effect/effect-inference.test.d.ts +2 -0
  1004. package/dist/test/unit/effect/effect-inference.test.d.ts.map +1 -0
  1005. package/dist/test/unit/effect/effect-inference.test.js +480 -0
  1006. package/dist/test/unit/effect/effect-inference.test.js.map +1 -0
  1007. package/dist/test/unit/emitter/emitter.test.d.ts +2 -0
  1008. package/dist/test/unit/emitter/emitter.test.d.ts.map +1 -0
  1009. package/dist/test/unit/emitter/emitter.test.js +825 -0
  1010. package/dist/test/unit/emitter/emitter.test.js.map +1 -0
  1011. package/dist/test/unit/generator.test.d.ts +2 -0
  1012. package/dist/test/unit/generator.test.d.ts.map +1 -0
  1013. package/dist/test/unit/generator.test.js +322 -0
  1014. package/dist/test/unit/generator.test.js.map +1 -0
  1015. package/dist/test/unit/keyword-translator.test.d.ts +10 -0
  1016. package/dist/test/unit/keyword-translator.test.d.ts.map +1 -0
  1017. package/dist/test/unit/keyword-translator.test.js +251 -0
  1018. package/dist/test/unit/keyword-translator.test.js.map +1 -0
  1019. package/dist/test/unit/lexer/lexer.test.d.ts +2 -0
  1020. package/dist/test/unit/lexer/lexer.test.d.ts.map +1 -0
  1021. package/dist/test/unit/lexer/lexer.test.js +136 -0
  1022. package/dist/test/unit/lexer/lexer.test.js.map +1 -0
  1023. package/dist/test/unit/lexer/newline-handling.test.d.ts +12 -0
  1024. package/dist/test/unit/lexer/newline-handling.test.d.ts.map +1 -0
  1025. package/dist/test/unit/lexer/newline-handling.test.js +379 -0
  1026. package/dist/test/unit/lexer/newline-handling.test.js.map +1 -0
  1027. package/dist/test/unit/llm-providers.test.d.ts +2 -0
  1028. package/dist/test/unit/llm-providers.test.d.ts.map +1 -0
  1029. package/dist/test/unit/llm-providers.test.js +341 -0
  1030. package/dist/test/unit/llm-providers.test.js.map +1 -0
  1031. package/dist/test/unit/lockfile.test.d.ts +5 -0
  1032. package/dist/test/unit/lockfile.test.d.ts.map +1 -0
  1033. package/dist/test/unit/lockfile.test.js +116 -0
  1034. package/dist/test/unit/lockfile.test.js.map +1 -0
  1035. package/dist/test/unit/lowering/lowering.test.d.ts +2 -0
  1036. package/dist/test/unit/lowering/lowering.test.d.ts.map +1 -0
  1037. package/dist/test/unit/lowering/lowering.test.js +625 -0
  1038. package/dist/test/unit/lowering/lowering.test.js.map +1 -0
  1039. package/dist/test/unit/lsp/analysis.test.d.ts +2 -0
  1040. package/dist/test/unit/lsp/analysis.test.d.ts.map +1 -0
  1041. package/dist/test/unit/lsp/analysis.test.js +401 -0
  1042. package/dist/test/unit/lsp/analysis.test.js.map +1 -0
  1043. package/dist/test/unit/lsp/codeaction.test.d.ts +2 -0
  1044. package/dist/test/unit/lsp/codeaction.test.d.ts.map +1 -0
  1045. package/dist/test/unit/lsp/codeaction.test.js +542 -0
  1046. package/dist/test/unit/lsp/codeaction.test.js.map +1 -0
  1047. package/dist/test/unit/lsp/pii-diagnostics.test.d.ts +2 -0
  1048. package/dist/test/unit/lsp/pii-diagnostics.test.d.ts.map +1 -0
  1049. package/dist/test/unit/lsp/pii-diagnostics.test.js +222 -0
  1050. package/dist/test/unit/lsp/pii-diagnostics.test.js.map +1 -0
  1051. package/dist/test/unit/lsp/symbols.test.d.ts +2 -0
  1052. package/dist/test/unit/lsp/symbols.test.d.ts.map +1 -0
  1053. package/dist/test/unit/lsp/symbols.test.js +160 -0
  1054. package/dist/test/unit/lsp/symbols.test.js.map +1 -0
  1055. package/dist/test/unit/lsp/utils.test.d.ts +2 -0
  1056. package/dist/test/unit/lsp/utils.test.d.ts.map +1 -0
  1057. package/dist/test/unit/lsp/utils.test.js +182 -0
  1058. package/dist/test/unit/lsp/utils.test.js.map +1 -0
  1059. package/dist/test/unit/manifest-parser.test.d.ts +12 -0
  1060. package/dist/test/unit/manifest-parser.test.d.ts.map +1 -0
  1061. package/dist/test/unit/manifest-parser.test.js +285 -0
  1062. package/dist/test/unit/manifest-parser.test.js.map +1 -0
  1063. package/dist/test/unit/manifest-schema.test.d.ts +11 -0
  1064. package/dist/test/unit/manifest-schema.test.d.ts.map +1 -0
  1065. package/dist/test/unit/manifest-schema.test.js +171 -0
  1066. package/dist/test/unit/manifest-schema.test.js.map +1 -0
  1067. package/dist/test/unit/module-cache-packages.test.d.ts +2 -0
  1068. package/dist/test/unit/module-cache-packages.test.d.ts.map +1 -0
  1069. package/dist/test/unit/module-cache-packages.test.js +114 -0
  1070. package/dist/test/unit/module-cache-packages.test.js.map +1 -0
  1071. package/dist/test/unit/package-cache.test.d.ts +7 -0
  1072. package/dist/test/unit/package-cache.test.d.ts.map +1 -0
  1073. package/dist/test/unit/package-cache.test.js +192 -0
  1074. package/dist/test/unit/package-cache.test.js.map +1 -0
  1075. package/dist/test/unit/package-installer.test.d.ts +2 -0
  1076. package/dist/test/unit/package-installer.test.d.ts.map +1 -0
  1077. package/dist/test/unit/package-installer.test.js +263 -0
  1078. package/dist/test/unit/package-installer.test.js.map +1 -0
  1079. package/dist/test/unit/package-registry.test.d.ts +7 -0
  1080. package/dist/test/unit/package-registry.test.d.ts.map +1 -0
  1081. package/dist/test/unit/package-registry.test.js +198 -0
  1082. package/dist/test/unit/package-registry.test.js.map +1 -0
  1083. package/dist/test/unit/parser/parser.test.d.ts +2 -0
  1084. package/dist/test/unit/parser/parser.test.d.ts.map +1 -0
  1085. package/dist/test/unit/parser/parser.test.js +1117 -0
  1086. package/dist/test/unit/parser/parser.test.js.map +1 -0
  1087. package/dist/test/unit/parser/type-inference.test.d.ts +5 -0
  1088. package/dist/test/unit/parser/type-inference.test.d.ts.map +1 -0
  1089. package/dist/test/unit/parser/type-inference.test.js +262 -0
  1090. package/dist/test/unit/parser/type-inference.test.js.map +1 -0
  1091. package/dist/test/unit/prompt-manager.test.d.ts +2 -0
  1092. package/dist/test/unit/prompt-manager.test.d.ts.map +1 -0
  1093. package/dist/test/unit/prompt-manager.test.js +137 -0
  1094. package/dist/test/unit/prompt-manager.test.js.map +1 -0
  1095. package/dist/test/unit/provenance-integration.test.d.ts +2 -0
  1096. package/dist/test/unit/provenance-integration.test.d.ts.map +1 -0
  1097. package/dist/test/unit/provenance-integration.test.js +181 -0
  1098. package/dist/test/unit/provenance-integration.test.js.map +1 -0
  1099. package/dist/test/unit/provenance.test.d.ts +2 -0
  1100. package/dist/test/unit/provenance.test.d.ts.map +1 -0
  1101. package/dist/test/unit/provenance.test.js +170 -0
  1102. package/dist/test/unit/provenance.test.js.map +1 -0
  1103. package/dist/test/unit/resolver.test.d.ts +5 -0
  1104. package/dist/test/unit/resolver.test.d.ts.map +1 -0
  1105. package/dist/test/unit/resolver.test.js +48 -0
  1106. package/dist/test/unit/resolver.test.js.map +1 -0
  1107. package/dist/test/unit/typecheck/async-discipline-extended.test.d.ts +2 -0
  1108. package/dist/test/unit/typecheck/async-discipline-extended.test.d.ts.map +1 -0
  1109. package/dist/test/unit/typecheck/async-discipline-extended.test.js +69 -0
  1110. package/dist/test/unit/typecheck/async-discipline-extended.test.js.map +1 -0
  1111. package/dist/test/unit/typecheck/effects-and-capabilities.test.d.ts +2 -0
  1112. package/dist/test/unit/typecheck/effects-and-capabilities.test.d.ts.map +1 -0
  1113. package/dist/test/unit/typecheck/effects-and-capabilities.test.js +191 -0
  1114. package/dist/test/unit/typecheck/effects-and-capabilities.test.js.map +1 -0
  1115. package/dist/test/unit/typecheck/regression-fixes.test.d.ts +11 -0
  1116. package/dist/test/unit/typecheck/regression-fixes.test.d.ts.map +1 -0
  1117. package/dist/test/unit/typecheck/regression-fixes.test.js +456 -0
  1118. package/dist/test/unit/typecheck/regression-fixes.test.js.map +1 -0
  1119. package/dist/test/unit/typecheck/should-enforce-pii.test.d.ts +2 -0
  1120. package/dist/test/unit/typecheck/should-enforce-pii.test.d.ts.map +1 -0
  1121. package/dist/test/unit/typecheck/should-enforce-pii.test.js +167 -0
  1122. package/dist/test/unit/typecheck/should-enforce-pii.test.js.map +1 -0
  1123. package/dist/test/unit/typecheck/symbol-table.test.d.ts +7 -0
  1124. package/dist/test/unit/typecheck/symbol-table.test.d.ts.map +1 -0
  1125. package/dist/test/unit/typecheck/symbol-table.test.js +145 -0
  1126. package/dist/test/unit/typecheck/symbol-table.test.js.map +1 -0
  1127. package/dist/test/unit/typecheck/type-inference.test.d.ts +2 -0
  1128. package/dist/test/unit/typecheck/type-inference.test.d.ts.map +1 -0
  1129. package/dist/test/unit/typecheck/type-inference.test.js +122 -0
  1130. package/dist/test/unit/typecheck/type-inference.test.js.map +1 -0
  1131. package/dist/test/unit/typecheck/type-system-extended.test.d.ts +8 -0
  1132. package/dist/test/unit/typecheck/type-system-extended.test.d.ts.map +1 -0
  1133. package/dist/test/unit/typecheck/type-system-extended.test.js +131 -0
  1134. package/dist/test/unit/typecheck/type-system-extended.test.js.map +1 -0
  1135. package/dist/test/unit/typecheck/type-system.test.d.ts +9 -0
  1136. package/dist/test/unit/typecheck/type-system.test.d.ts.map +1 -0
  1137. package/dist/test/unit/typecheck/type-system.test.js +617 -0
  1138. package/dist/test/unit/typecheck/type-system.test.js.map +1 -0
  1139. package/dist/test/unit/typecheck/typecheck-advanced.test.d.ts +2 -0
  1140. package/dist/test/unit/typecheck/typecheck-advanced.test.d.ts.map +1 -0
  1141. package/dist/test/unit/typecheck/typecheck-advanced.test.js +125 -0
  1142. package/dist/test/unit/typecheck/typecheck-advanced.test.js.map +1 -0
  1143. package/dist/test/unit/validator.test.d.ts +2 -0
  1144. package/dist/test/unit/validator.test.d.ts.map +1 -0
  1145. package/dist/test/unit/validator.test.js +154 -0
  1146. package/dist/test/unit/validator.test.js.map +1 -0
  1147. package/dist/test/unit/version-utils.test.d.ts +12 -0
  1148. package/dist/test/unit/version-utils.test.d.ts.map +1 -0
  1149. package/dist/test/unit/version-utils.test.js +112 -0
  1150. package/dist/test/unit/version-utils.test.js.map +1 -0
  1151. package/package.json +153 -0
package/dist/src/jvm/emitter.js.map ADDED
@@ -0,0 +1 @@
1
+ {"version":3,"file":"emitter.js","sourceRoot":"","sources":["../../../src/jvm/emitter.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,IAAI,MAAM,WAAW,CAAC;AAG7B,MAAM,mBAAmB,GAAG,gCAAgC,CAAC;AAC7D,MAAM,mBAAmB,GAAG,IAAI,GAAG,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC;AAC5D,sDAAsD;AAEtD,SAAS,SAAS,CAAC,CAAS;IAC1B,EAAE,CAAC,SAAS,CAAC,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;AACvC,CAAC;AAED,SAAS,SAAS,CAAC,GAAkB;IACnC,MAAM,OAAO,GAAG,GAAG,IAAI,EAAE,CAAC;IAC1B,IAAI,CAAC,OAAO;QAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC;IAC9C,OAAO,EAAE,OAAO,EAAE,WAAW,OAAO,OAAO,EAAE,GAAG,EAAE,OAAO,CAAC,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;AACxF,CAAC;AAED,SAAS,QAAQ,CAAC,CAAY,EAAE,OAAoB;IAClD,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC;YACjB,IAAI,CAAC,KAAK,MAAM;gBAAE,OAAO,QAAQ,CAAC;YAClC,IAAI,CAAC,KAAK,OAAO;gBAAE,OAAO,QAAQ,CAAC,CAAC,aAAa;YAEjD,IAAI,CAAC,KAAK,KAAK;gBAAE,OAAO,KAAK,CAAC;YAC9B,IAAI,CAAC,KAAK,MAAM;gBAAE,OAAO,SAAS,CAAC;YACnC,IAAI,mBAAmB,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,CAAC;gBACpC,OAAO,GAAG,OAAO,CAAC,UAAW,CAAC,UAAU,IAAI,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC;YAClE,CAAC;YACD,OAAO,CAAC,CAAC,CAAC,aAAa;QACzB,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;YACnC,MAAM,GAAG,GAAG,QAAQ,CAAC,CAAC,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;YACrC,OAAO,wBAAwB,EAAE,KAAK,GAAG,GAAG,CAAC;QAC/C,CAAC;QACD,KAAK,SAAS;YACZ,OAAO,QAAQ,CAAC;QAClB,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,sEAAsE;YACtE,oCAAoC;YACpC,OAAO,QAAQ,CAAC;QAClB,CAAC;QACD,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,mCAAmC;YACnC,OAAO,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACnC,CAAC;QACD,KAAK,QAAQ;YACX,OAAO,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACnC,KAAK,MAAM;YACT,OAAO,kBAAkB,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC;QACxD,KAAK,KAAK;YACR,OAAO,iBAAiB,QAAQ,CAAC,CAAC,CAAC,GAAG,EAAE,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,EAAE,OAAO,CAAC,GAAG,CAAC;QACnF,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,MAAM,EAAE,GAAG,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC;YAC3B,IAAI,EAAE,KAAK,CAAC;gBAAE,OAAO,mBAAmB,CAAC;YACzC,IAAI,EAAE,KAAK,CAAC;gBAAE,OAAO,mBAAmB,CAAC;YACzC,OAAO,kBAAkB,CAAC;QAC5B,CAAC;QACD;YACE,OAAO,QAAQ,CAAC;IACpB,CAAC;AACH,CAAC;AAED,SAAS,QAAQ,CAAC,OAAe,EAAE,CAAY,EAAE,OAAoB;IACnE,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,kBAAkB,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtG,MAAM,UAAU,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1F,MAAM,QAAQ,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjF,OAAO,GAAG,OAAO,sBAAsB,CAAC,CAAC,IAAI,OAAO,MAAM,cAAc,CAAC,CAAC,IAAI,IAAI,UAAU,QAAQ,QAAQ,YAAY,CAAC;AAC3H,CAAC;AAED,SAAS,QAAQ,CAAC,OAAe,EAAE,CAAY;IAC7C,MAAM,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvC,OAAO,GAAG,OAAO,eAAe,CAAC,CAAC,IAAI,MAAM,QAAQ,MAAM,CAAC;AAC7D,CAAC;AAED,MAAM,sBAAsB,GAA2B;IACrD,GAAG,EAAE,GAAG;IACR,GAAG,EAAE,GAAG;IACR,GAAG,EAAE,GAAG;IACR,GAAG,EAAE,GAAG;IACR,GAAG,EAAE,GAAG;IACR,IAAI,EAAE,IAAI;IACV,GAAG,EAAE,GAAG;IACR,IAAI,EAAE,IAAI;CACX,CAAC;AAEF,MAAM,oBAAoB,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;AAE7D,SAAS,QAAQ,CAAC,CAAkB,EAAE,OAAoB;IACxD,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,MAAM,EAAE,GAAG,OAAO,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YACjD,IAAI,EAAE;gBAAE,OAAO,GAAG,EAAE,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;YACjC,IAAI,CAAC,CAAC,IAAI,KAAK,iBAAiB;gBAAE,OAAO,wCAAwC,CAAC;YAClF,OAAO,CAAC,CAAC,IAAI,CAAC;QAChB,CAAC;QACD,KAAK,MAAM;YACT,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC;QACpC,KAAK,KAAK;YACR,OAAO,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACzB,KAAK,QAAQ;YACX,OAAO,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACzB,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACjC,KAAK,MAAM;YACT,OAAO,MAAM,CAAC;QAChB,KAAK,IAAI;YACP,OAAO,0BAA0B,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC;QAChE,KAAK,KAAK;YACR,OAAO,2BAA2B,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC;QACjE,KAAK,MAAM;YACT,OAAO,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACnC,KAAK,MAAM;YACT,OAAO,MAAM,CAAC;QAChB,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACrE,MAAM,OAAO,GAAG,oBAAoB,CAAC,CAAC,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;YAC1D,OAAO,OAAO,OAAO,IAAI,IAAI,GAAG,CAAC;QACnC,CAAC;QACD,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC/E,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,OAAO,CAAC,GAAG,CAAC;YAC/C,CAAC;YACD,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBAC7B,MAAM,EAAE,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC;gBACzB,MAAM,KAAK,GAAG,aAAa,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;gBACjD,IAAI,KAAK;oBAAE,OAAO,KAAK,CAAC;gBACxB,IAAI,EAAE,KAAK,aAAa,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBAChD,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,OAAO,CAAC,CAAC;oBACxC,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,OAAO,CAAC,CAAC;oBACxC,OAAO,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC;gBACzB,CAAC;gBACD,IAAI,EAAE,KAAK,eAAe,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBAClD,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,OAAO,CAAC,CAAC;oBACxC,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,OAAO,CAAC,CAAC;oBACxC,OAAO,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC;gBAC/B,CAAC;gBACD,IAAI,EAAE,KAAK,aAAa,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBAChD,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,OAAO,CAAC,CAAC;oBACxC,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,OAAO,CAAC,CAAC;oBACxC,OAAO,4BAA4B,CAAC,KAAK,CAAC,GAAG,CAAC;gBAChD,CAAC;gBACD,IAAI,EAAE,KAAK,cAAc,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBACjD,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,OAAO,CAAC,CAAC;oBACxC,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,OAAO,CAAC,CAAC;oBACxC,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,OAAO,CAAC,CAAC;oBACxC,OAAO,GAAG,CAAC,YAAY,CAAC,KAAK,CAAC,GAAG,CAAC;gBACpC,CAAC;gBACD,IAAI,EAAE,KAAK,YAAY,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBAC/C,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,OAAO,CAAC,CAAC;oBACxC,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,OAAO,CAAC,CAAC;oBACxC,OAAO,2BAA2B,CAAC,UAAU,CAAC,IAAI,CAAC;gBACrD,CAAC;gBACD,IAAI,EAAE,KAAK,cAAc,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBACjD,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,OAAO,CAAC,CAAC;oBACxC,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,OAAO,CAAC,CAAC;oBACxC,OAAO,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC;gBAC9B,CAAC;gBACD,IAAI,EAAE,KAAK,iBAAiB,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBACpD,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,OAAO,CAAC,CAAC;oBACxC,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,OAAO,CAAC,CAAC;oBACxC,OAAO,GAAG,CAAC,eAAe,CAAC,GAAG,CAAC;gBACjC,CAAC;gBACD,IAAI,EAAE,KAAK,eAAe,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBAClD,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,OAAO,CAAC,CAAC;oBACxC,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,OAAO,CAAC,CAAC;oBACxC,OAAO,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC;gBAC/B,CAAC;gBACD,IAAI,EAAE,KAAK,cAAc,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBACjD,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,OAAO,CAAC,CAAC;oBACxC,OAAO,GAAG,CAAC,gBAAgB,CAAC;gBAC9B,CAAC;gBACD,IAAI,EAAE,KAAK,cAAc,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBACjD,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,OAAO,CAAC,CAAC;oBACxC,OAAO,GAAG,CAAC,gBAAgB,CAAC;gBAC9B,CAAC;gBACD,IAAI,EAAE,KAAK,aAAa,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBAChD,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,OAAO,CAAC,CAAC;oBACxC,OAAO,GAAG,CAAC,WAAW,CAAC;gBACzB,CAAC;gBACD,IAAI,EAAE,KAAK,aAAa,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBAChD,MAAM,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,OAAO,CAAC,CAAC;oBACzC,OAAO,GAAG,EAAE,SAAS,CAAC;gBACxB,CAAC;gBACD,IAAI,EAAE,KAAK,UAAU,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBAC7C,MAAM,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,OAAO,CAAC,CAAC;oBACzC,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,OAAO,CAAC,CAAC;oBACxC,OAAO,GAAG,EAAE,QAAQ,CAAC,GAAG,CAAC;gBAC3B,CAAC;gBACD,IAAI,EAAE,KAAK,cAAc,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBACjD,MAAM,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,OAAO,CAAC,CAAC;oBACzC,OAAO,GAAG,EAAE,YAAY,CAAC;gBAC3B,CAAC;gBACD,IAAI,EAAE,KAAK,WAAW,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBAC9C,MAAM,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,OAAO,CAAC,CAAC;oBACzC,OAAO,IAAI,EAAE,uBAAuB,EAAE,UAAU,CAAC;gBACnD,CAAC;gBACD,IAAI,EAAE,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBAC5C,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,OAAO,CAAC,CAAC;oBACxC,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,OAAO,CAAC,CAAC;oBACxC,OAAO,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC;gBAC1B,CAAC;YACH,CAAC;YACD,MAAM,GAAG,GAAG,QAAQ,CAAC,CAAC,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;YACxC,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC9D,OAAO,GAAG,GAAG,IAAI,IAAI,GAAG,CAAC;QAC3B,CAAC;QACD;YACE,OAAO,MAAM,CAAC;IAClB,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CACpB,MAAc,EACd,IAAgC,EAChC,OAAoB;IAEpB,IAAI,MAAM,KAAK,GAAG,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;QACtC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QACnC,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,OAAO,CAAC,CAAC;QACzC,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,OAAO,CAAC,CAAC;QAC1C,MAAM,QAAQ,GAAG,4BAA4B,IAAI,KAAK,KAAK,GAAG,CAAC;QAC/D,OAAO,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,QAAQ,EAAE,CAAC;IACpD,CAAC;IACD,MAAM,EAAE,GAAG,sBAAsB,CAAC,MAAM,CAAC,CAAC;IAC1C,IAAI,CAAC,EAAE;QAAE,OAAO,IAAI,CAAC;IACrB,IAAI,oBAAoB,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;QACrC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QACnC,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,OAAO,CAAC,CAAC;QACzC,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,OAAO,CAAC,CAAC;QAC1C,OAAO,IAAI,IAAI,IAAI,EAAE,IAAI,KAAK,GAAG,CAAC;IACpC,CAAC;IACD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtB,IAAI,MAAM,KAAK,GAAG;YAAE,OAAO,GAAG,CAAC;QAC/B,IAAI,MAAM,KAAK,GAAG;YAAE,OAAO,GAAG,CAAC;QAC/B,OAAO,GAAG,CAAC;IACb,CAAC;IACD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtB,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,OAAO,CAAC,CAAC;QAC3C,IAAI,MAAM,KAAK,GAAG,EAAE,CAAC;YACnB,OAAO,MAAM,MAAM,IAAI,CAAC;QAC1B,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,IAAI,GAAG,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,OAAO,CAAC,CAAC;IACtC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,OAAO,CAAC,CAAC;QACzC,GAAG,GAAG,IAAI,GAAG,IAAI,EAAE,IAAI,IAAI,GAAG,CAAC;IACjC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAcD,SAAS,mBAAmB,CAAC,QAAgB,EAAE,OAAoB;IACjE,IAAI,CAAC,OAAO,CAAC,UAAU;QAAE,OAAO,KAAK,CAAC;IACtC,OAAO,OAAO,CAAC,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC,CAAC;AACnE,CAAC;AAED,SAAS,oBAAoB,CAAC,QAAgB,EAAE,OAAoB;IAClE,IAAI,CAAC,OAAO,CAAC,UAAU;QAAE,OAAO,QAAQ,CAAC;IACzC,IAAI,OAAO,CAAC,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC;QAC9D,OAAO,GAAG,OAAO,CAAC,UAAU,CAAC,UAAU,IAAI,cAAc,CAAC,QAAQ,CAAC,EAAE,CAAC;IACxE,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,cAAc,CAAC,QAAgB;IACtC,MAAM,GAAG,GAAG,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IACtC,OAAO,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;AACvD,CAAC;AAED,4BAA4B;AAC5B,SAAS,aAAa,CACpB,CAAiB,EACjB,MAAgB,EAChB,OAAoB,EACpB,MAAM,GAAG,MAAM;IAEf,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,KAAK;YACR,OAAO,GAAG,MAAM,GAAG,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,KAAK,CAAC;QAC/E,KAAK,KAAK;YACR,OAAO,GAAG,MAAM,GAAG,CAAC,CAAC,IAAI,MAAM,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,KAAK,CAAC;QAChE,KAAK,QAAQ;YACX,OAAO,GAAG,MAAM,UAAU,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,KAAK,CAAC;QAC3D,KAAK,IAAI,CAAC,CAAC,CAAC;YACV,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YACvC,MAAM,KAAK,GAAG,SAAS,CAAC,CAAC,CAAC,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC;YACrE,MAAM,KAAK,GAAG,CAAC,CAAC,SAAS;gBACvB,CAAC,CAAC,YAAY,SAAS,CAAC,CAAC,CAAC,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC,GAAG,MAAM,KAAK;gBAClF,CAAC,CAAC,IAAI,CAAC;YACT,OAAO,GAAG,MAAM,OAAO,IAAI,QAAQ,KAAK,GAAG,MAAM,IAAI,KAAK,EAAE,CAAC;QAC/D,CAAC;QACD,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,uCAAuC;YACvC,MAAM,MAAM,GAAG,yBAAyB,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;YACrD,MAAM,SAAS,GAAG,wBAAwB,CAAC,CAAC,CAAC,CAAC;YAC9C,IAAI,MAAM,EAAE,CAAC;gBACT,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;gBACxC,MAAM,KAAK,GAAa,EAAE,CAAC;gBAC3B,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,GAAG,CAAC,CAAC;gBACzB,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,mBAAmB,KAAK,GAAG,CAAC,CAAC;gBACjD,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,aAAa,MAAM,aAAa,CAAC,CAAC;gBACtD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;oBACxB,MAAM,OAAO,GAAI,CAAC,CAAC,OAAwB,CAAC,IAAI,CAAC;oBACjD,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,YAAY,MAAM,IAAI,OAAO,KAAK,CAAC,CAAC;oBACxD,MAAM,OAAO,GAAG,YAAY,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,QAAQ,CAAC,CAAC;oBACzE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;oBACpB,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;wBAAE,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,cAAc,CAAC,CAAC;oBAClE,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,OAAO,CAAC,CAAC;gBAC/B,CAAC;gBACD,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,KAAK,CAAC,CAAC;gBAC3B,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,KAAK,CAAC,CAAC;gBAC3B,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC5B,CAAC;YACD,uDAAuD;YACvD,IAAI,SAAS,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACpC,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;gBACxC,MAAM,KAAK,GAAa,EAAE,CAAC;gBAC3B,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,GAAG,CAAC,CAAC;gBACzB,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,aAAa,KAAK,KAAK,CAAC,CAAC;gBAC7C,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;oBACxB,MAAM,CAAC,GAAI,CAAC,CAAC,OAAe,CAAC,KAAe,CAAC;oBAC7C,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,YAAY,CAAC,KAAK,CAAC,CAAC;oBACxC,MAAM,OAAO,GAAG,YAAY,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,QAAQ,CAAC,CAAC;oBACzE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;oBACpB,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;wBAAE,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,cAAc,CAAC,CAAC;oBAClE,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,OAAO,CAAC,CAAC;gBAC/B,CAAC;gBACD,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,qBAAqB,CAAC,CAAC;gBAC3C,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,KAAK,CAAC,CAAC;gBAC3B,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,KAAK,CAAC,CAAC;gBAC3B,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC1B,CAAC;YACD,uEAAuE;YACvE,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YACxC,MAAM,KAAK,GAAa,EAAE,CAAC;YAC3B,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,GAAG,CAAC,CAAC;YACzB,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,mBAAmB,KAAK,GAAG,CAAC,CAAC;YACjD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;gBACxB,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;oBACjC,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,0BAA0B,CAAC,CAAC;oBAChD,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC;oBACnE,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,KAAK,CAAC,CAAC;gBAC7B,CAAC;qBAAM,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;oBACxC,MAAM,CAAC,GAAG,CAAC,CAAC,OAAuB,CAAC;oBACpC,MAAM,OAAO,GAAG,oBAAoB,CAAC,CAAC,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;oBAC1D,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,4BAA4B,OAAO,KAAK,CAAC,CAAC;oBAC9D,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,oBAAoB,OAAO,WAAW,CAAC,CAAC;oBAC5D,MAAM,EAAE,GAAG,kBAAkB,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,CAAC,CAAC;oBACpE,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC;oBACzB,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC;oBACnE,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC;oBACzB,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,KAAK,CAAC,CAAC;gBAC7B,CAAC;qBAAM,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;oBACxC,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,0BAA0B,CAAC,CAAC;oBAChD,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC;oBACnE,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,KAAK,CAAC,CAAC;gBAC7B,CAAC;YACH,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,KAAK,CAAC,CAAC;YAC3B,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1B,CAAC;QACD,KAAK,OAAO,CAAC,CAAC,CAAC;YACX,OAAO,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,aAAa,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACvF,CAAC;QACD,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,OAAO,qBAAqB,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;QAC3D,CAAC;QACD,KAAK,OAAO,CAAC;QACb,KAAK,MAAM;YACT,2BAA2B;YAC3B,OAAO,GAAG,MAAM,mCAAmC,CAAC;IACtD,CAAC;AACH,CAAC;AAEH,SAAS,YAAY,CACnB,CAA2B,EAC3B,MAAgB,EAChB,OAAoB,EACpB,MAAc;IAEd,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,GAAG,MAAM,UAAU,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,KAAK,CAAC;IAClF,OAAO,SAAS,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;AAC/C,CAAC;AAGD,SAAS,SAAS,CAAC,CAAa,EAAE,MAAgB,EAAE,OAAoB,EAAE,MAAM,GAAG,MAAM;IACvF,OAAO,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AACnF,CAAC;AAED,SAAS,aAAa,CACpB,QAAuB,EACvB,YAAoB,EACpB,YAAoB,EACpB,cAAsB,EACtB,MAAc;IAEd,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAM,CAAC;IAC9B,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,WAAW,GAAG,IAAI,CAAC;IAEzB,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,uBAAuB,KAAK,CAAC,WAAW,aAAa,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;IAC1F,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,kDAAkD,KAAK,CAAC,WAAW,uBAAuB,CAAC,CAAC;IAChH,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,SAAS,CAAC,CAAC;IAC/B,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE;QACtC,IAAI,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;YAChB,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,OAAO,IAAI,EAAE,CAAC,CAAC;QACrC,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,MAAM,CAAC,CAAC;QAC9B,CAAC;IACH,CAAC,CAAC,CAAC;IACH,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,wBAAwB,CAAC,CAAC;IAC9C,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,0CAA0C,CAAC,CAAC;IAChE,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,6BAA6B,KAAK,CAAC,WAAW,KAAK,CAAC,CAAC;IACzE,KAAK,CAAC,IAAI,CACR,GAAG,MAAM,qEAAqE,KAAK,CAAC,WAAW,qDAAqD,CACrJ,CAAC;IACF,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,OAAO,CAAC,CAAC;IAC7B,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,yBAAyB,CAAC,CAAC;IAC/C,IAAI,KAAK,CAAC,OAAO,KAAK,aAAa,EAAE,CAAC;QACpC,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,uBAAuB,WAAW,4CAA4C,CAAC,CAAC;IACtG,CAAC;SAAM,CAAC;QACN,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,uBAAuB,WAAW,qBAAqB,CAAC,CAAC;IAC/E,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,+CAA+C,WAAW,iDAAiD,CAAC,CAAC;IACjI,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,kDAAkD,CAAC,CAAC;IACxE,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,6BAA6B,cAAc,oCAAoC,CAAC,CAAC;IACrG,KAAK,CAAC,IAAI,CACR,GAAG,MAAM,OAAO,YAAY,+FAA+F,CAC5H,CAAC;IACF,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,8BAA8B,CAAC,CAAC;IACpD,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,KAAK,CAAC,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,GAAG,CAAC,CAAC;IAEzB,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,SAAS,qBAAqB,CAC5B,QAAuB,EACvB,MAAgB,EAChB,OAAoB,EACpB,MAAc;IAEd,MAAM,IAAI,GAAG,OAAO,CAAC,eAAe,EAAE,CAAC;IACvC,MAAM,IAAI,GAAG,aAAa,IAAI,EAAE,CAAC;IACjC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,GAAG,CAAC,CAAC;IACzB,KAAK,CAAC,IAAI,CACR,GAAG,MAAM,SAAS,IAAI,2DAA2D,CAClF,CAAC;IACF,KAAK,CAAC,IAAI,CACR,GAAG,MAAM,SAAS,IAAI,2DAA2D,IAAI,YAAY,CAClG,CAAC;IACF,MAAM,iBAAiB,GAAa,EAAE,CAAC;IACvC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;QACrC,MAAM,WAAW,GAAG,GAAG,IAAI,OAAO,KAAK,EAAE,CAAC;QAC1C,MAAM,aAAa,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,IAAI,aAAa,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QAC3E,uBAAuB;QACvB,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,IAAI,EAAE,CAAC;QAC7C,MAAM,WAAW,GAAG,yBAAyB,CAAC,YAAY,CAAC,CAAC;QAC5D,iBAAiB,CAAC,IAAI,CAAC,uCAAuC,WAAW,YAAY,CAAC,CAAC;QACvF,iBAAiB,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;QAChF,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7B,IAAI,aAAa,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YACrC,iBAAiB,CAAC,IAAI,CAAC,uCAAuC,aAAa,YAAY,CAAC,CAAC;YACzF,iBAAiB,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;YACtF,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/B,CAAC;QACD,iBAAiB,CAAC,IAAI,CAAC,GAAG,IAAI,0CAA0C,IAAI,CAAC,IAAI,YAAY,CAAC,CAAC;QAC/F,iBAAiB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAClC,iBAAiB,CAAC,IAAI,CAAC,uBAAuB,WAAW,SAAS,CAAC,CAAC;QACpE,iBAAiB,CAAC,IAAI,CAAC,OAAO,IAAI,uBAAuB,IAAI,CAAC,IAAI,aAAa,CAAC,CAAC;QACjF,iBAAiB,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAC;QAC5D,IAAI,aAAa,EAAE,CAAC;YAClB,iBAAiB,CAAC,IAAI,CAAC,OAAO,aAAa,SAAS,CAAC,CAAC;QACxD,CAAC;QACD,iBAAiB,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QACxC,iBAAiB,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;QACpD,IAAI,aAAa,EAAE,CAAC;YAClB,iBAAiB,CAAC,IAAI,CAAC,OAAO,aAAa,SAAS,CAAC,CAAC;QACxD,CAAC;QACD,iBAAiB,CAAC,IAAI,CACpB,yDAAyD,IAAI,CAAC,IAAI,QAAQ,CAC3E,CAAC;QACF,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9B,iBAAiB,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QACzC,iBAAiB,CAAC,IAAI,CAAC,MAAM,WAAW,IAAI,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IACH,iBAAiB,CAAC,IAAI,CAAC,GAAG,IAAI,mCAAmC,CAAC,CAAC;IACnE,MAAM,YAAY,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClD,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;QACnB,KAAK,CAAC,IAAI,CACR,aAAa,CAAC,QAAQ,EAAE,YAAY,EAAE,GAAG,IAAI,WAAW,EAAE,wBAAwB,EAAE,GAAG,MAAM,IAAI,CAAC,CACnG,CAAC;IACJ,CAAC;SAAM,CAAC;QACN,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,KAAK,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,MAAM,IAAI,CAAC,EAAE,CAAC,CAAC;IAC7E,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,KAAK,CAAC,CAAC;IAC3B,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,SAAS,yBAAyB,CAAC,SAA4B;IAC7D,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,kCAAkC,CAAC;IACtE,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrE,OAAO,yDAAyD,KAAK,IAAI,CAAC;AAC5E,CAAC;AAED,SAAS,aAAa,CAAC,IAAY;IACjC,OAAO,OAAO,IAAI,EAAE,CAAC;AACvB,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAa;IACrC,uEAAuE;IACvE,OAAO,IAAI,KAAK,EAAE,CAAC;AACrB,CAAC;AAED,SAAS,gBAAgB,CAAC,QAAgB,EAAE,OAAoB,EAAE,GAAW;IAC3E,MAAM,CAAC,GAAG,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC3D,IAAI,CAAC,CAAC;QAAE,OAAO,gBAAgB,CAAC,GAAG,CAAC,CAAC;IACrC,IAAI,GAAG,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM;QAAE,OAAO,gBAAgB,CAAC,GAAG,CAAC,CAAC;IACpE,OAAO,CAAC,CAAC,MAAM,CAAC,GAAG,CAAE,CAAC,IAAI,CAAC;AAC7B,CAAC;AAED,mDAAmD;AACnD,SAAS,yBAAyB,CAAC,CAAa,EAAE,OAAoB;IACpE,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACtC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,KAAK,SAAS,CAAC;QAAE,OAAO,IAAI,CAAC;IACnE,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;QACxB,MAAM,OAAO,GAAI,CAAC,CAAC,OAAwB,CAAC,IAAI,CAAC;QACjD,MAAM,EAAE,GAAG,OAAO,CAAC,iBAAiB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAClD,IAAI,CAAC,EAAE;YAAE,OAAO,IAAI,CAAC;QACrB,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAChB,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AAClD,CAAC;AAED,iBAAiB;AACjB,SAAS,wBAAwB,CAAC,CAAa;IAC7C,OAAO,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC;AAC/E,CAAC;AAED,SAAS,kBAAkB,CACzB,CAAe,EACf,OAAe,EACf,OAAoB,EACpB,MAAM,GAAG,MAAM;IAEf,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,MAAM,WAAW,GAAG,CAAsD,CAAC;IAC3E,MAAM,IAAI,GAAG,WAAW,CAAC,IAAkC,CAAC;IAC5D,IAAI,IAAI,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5B,IAAI,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,GAAG,EAAE,EAAE;YAC1B,MAAM,KAAK,GAAG,gBAAgB,CAAC,CAAC,CAAC,QAAQ,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;YACzD,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBAC7B,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,OAAO,KAAK,CAAC,IAAI,MAAM,OAAO,IAAI,KAAK,GAAG,CAAC,CAAC;YACnE,CAAC;iBAAM,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBACpC,mCAAmC;gBACnC,MAAM,MAAM,GAAG,GAAG,OAAO,IAAI,GAAG,EAAE,CAAC;gBACnC,MAAM,SAAS,GAAG,oBAAoB,CAAE,KAAsB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;gBAClF,MAAM,CAAC,IAAI,CACT,GAAG,MAAM,OAAO,OAAO,IAAI,KAAK,eAAe,SAAS,KAAK,CAC9D,CAAC;gBACF,MAAM,CAAC,IAAI,CACT,GAAG,MAAM,SAAS,MAAM,QAAQ,SAAS,KAAK,OAAO,IAAI,KAAK,GAAG,CAClE,CAAC;gBACF,MAAM,GAAG,GAAG,kBAAkB,CAAC,KAAqB,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC;gBACtF,MAAM,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC;gBAC3B,iCAAiC;gBACjC,MAAM,CAAC,OAAO,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC;gBAC9B,MAAM,CAAC,OAAO,CAAC,GAAG,MAAM,GAAG,CAAC,CAAC;YAC/B,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC;SAAM,CAAC;QACN,uBAAuB;QACvB,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE;YACjC,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,OAAO,CAAC,MAAM,OAAO,IAAI,gBAAgB,CAAC,CAAC,CAAC,QAAQ,EAAE,OAAO,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;QAC/F,CAAC,CAAC,CAAC;IACL,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;AAC5B,CAAC;AAED,SAAS,QAAQ,CAAC,OAAe,EAAE,CAAY,EAAE,OAAoB;IACnE,MAAM,GAAG,GAAG,QAAQ,CAAC,CAAC,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IACrC,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtF,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IACpD,MAAM,QAAQ,GAAG,cAAc,GAAG,KAAK,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC;IAE/F,gDAAgD;IAChD,MAAM,iBAAiB,GAAG,+GAA+G,CAAC;IAE1I,OAAO,GAAG,OAAO,GAAG,iBAAiB,sBAAsB,CAAC,CAAC,IAAI,oBAAoB,CAAC,CAAC,IAAI,4BAA4B,GAAG,IAAI,CAAC,CAAC,IAAI,IAAI,MAAM,QAAQ,IAAI,GAAG,QAAQ,UAAU,CAAC;AAClL,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,QAAQ,CAAC,IAAiB,EAAE,OAAO,GAAG,eAAe;IACzE,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9C,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;IACxC,SAAS,CAAC,OAAO,CAAC,CAAC;IAEnB,uCAAuC;IACvC,MAAM,UAAU,GAAG,IAAI,GAAG,EAAqB,CAAC;IAChD,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QAC3B,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM;YAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IACnD,CAAC;IACD,MAAM,UAAU,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;IAC/C,MAAM,OAAO,GAAgB;QAC3B,UAAU;QACV,iBAAiB,EAAE,YAAY,CAAC,IAAI,CAAC;QACrC,eAAe,EAAE,CAAC;QAClB,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACtC,CAAC;IAEF,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QAC3B,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACtB,IAAI,OAAO,CAAC,UAAU,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;gBAAE,SAAS;YACvD,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC;YAC9C,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,IAAI,OAAO,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;QAC1E,CAAC;aAAM,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC7B,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;YACrC,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,IAAI,OAAO,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;QAC1E,CAAC;aAAM,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC7B,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC;YAC9C,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,IAAI,UAAU,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;QAC7E,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CAAC,IAAiB;IACrC,MAAM,GAAG,GAAG,IAAI,GAAG,EAAkB,CAAC;IACtC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QAC3B,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACtB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ;gBAAE,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;QACjD,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,qBAAqB,CAAC,IAAiB;IAC9C,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IACxE,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QAC9B,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACzB,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC;IACD,OAAO;QACL,UAAU,EAAE,mBAAmB;QAC/B,QAAQ;KACT,CAAC;AACJ,CAAC"}
package/dist/src/lower_to_core.d.ts ADDED
@@ -0,0 +1,53 @@
1
+ /**
2
+ * @module lower_to_core
3
+ *
4
+ * AST 到 Core IR 的降级器：将高级 AST 转换为小型、严格的 Core IR。
5
+ *
6
+ * **功能**：
7
+ * - 将 AST 节点转换为 Core IR 节点
8
+ * - 展开语法糖（如 `User?` → `Maybe of User`）
9
+ * - 规范化表达式和语句结构
10
+ * - 保留源代码位置信息（origin）
11
+ * - 为后续的类型检查和代码生成准备简化的 IR
12
+ *
13
+ * **Core IR 设计**：
14
+ * - 更小的节点集合（相比 AST）
15
+ * - 显式的作用域节点（Scope）
16
+ * - 规范化的模式匹配
17
+ * - 简化的效果标注
18
+ */
19
+ import type { Module } from './types.js';
20
+ /**
21
+ * 将 AST Module 降级为 Core IR Module。
22
+ *
23
+ * 这是 Aster 编译管道的第四步，将高级的抽象语法树转换为更简洁、更严格的 Core IR，
24
+ * 以便进行类型检查和后续的代码生成。
25
+ *
26
+ * **降级转换**：
27
+ * - 展开语法糖（`User?` → `Maybe of User`、`Result of A and B` → 标准 Result 类型）
28
+ * - 规范化函数体为 Block 和 Statement 序列
29
+ * - 将模式匹配转换为 Core IR 的 Case 结构
30
+ * - 保留原始位置信息用于错误报告
31
+ *
32
+ * @param ast - AST Module 节点（通过 parser.parse 生成）
33
+ * @returns Core IR Module 节点，包含所有声明的规范化表示
34
+ *
35
+ * @example
36
+ * ```typescript
37
+ * import { canonicalize, lex, parse, lowerModule } from '@wontlost-ltd/aster-lang';
38
+ *
39
+ * const src = `This module is app.
40
+ * To greet, produce Text:
41
+ * Return "Hello".
42
+ * `;
43
+ *
44
+ * const ast = parse(lex(canonicalize(src)));
45
+ * const core = lowerModule(ast);
46
+ *
47
+ * console.log(core.kind); // "Module"
48
+ * console.log(core.name); // "app"
49
+ * // Core IR 是更简洁的表示，适合类型检查和代码生成
50
+ * ```
51
+ */
52
+ export declare function lowerModule(ast: Module): import('./types.js').Core.Module;
53
+ //# sourceMappingURL=lower_to_core.d.ts.map
package/dist/src/lower_to_core.d.ts.map ADDED
@@ -0,0 +1 @@
1
+ {"version":3,"file":"lower_to_core.d.ts","sourceRoot":"","sources":["../../src/lower_to_core.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAOH,OAAO,KAAK,EACV,MAAM,EAUP,MAAM,YAAY,CAAC;AAkMpB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AACH,wBAAgB,WAAW,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,YAAY,EAAE,IAAI,CAAC,MAAM,CAIzE"}
package/dist/src/lower_to_core.js ADDED
@@ -0,0 +1,528 @@
1
+ /**
2
+ * @module lower_to_core
3
+ *
4
+ * AST 到 Core IR 的降级器：将高级 AST 转换为小型、严格的 Core IR。
5
+ *
6
+ * **功能**：
7
+ * - 将 AST 节点转换为 Core IR 节点
8
+ * - 展开语法糖（如 `User?` → `Maybe of User`）
9
+ * - 规范化表达式和语句结构
10
+ * - 保留源代码位置信息（origin）
11
+ * - 为后续的类型检查和代码生成准备简化的 IR
12
+ *
13
+ * **Core IR 设计**：
14
+ * - 更小的节点集合（相比 AST）
15
+ * - 显式的作用域节点（Scope）
16
+ * - 规范化的模式匹配
17
+ * - 简化的效果标注
18
+ */
19
+ import { Core } from './core/core_ir.js';
20
+ import { parseEffect, getAllEffects, inferCapabilityFromName } from './config/semantic.js';
21
+ import { Diagnostics } from './diagnostics/diagnostics.js';
22
+ import { DefaultAstVisitor } from './ast/ast_visitor.js';
23
+ import { DefaultCoreVisitor, createVisitorContext } from './core/visitor.js';
24
+ /**
25
+ * 从 AST 节点提取元数据（span 和 file）。
26
+ */
27
+ function extractMetadata(node) {
28
+ const n = node;
29
+ return {
30
+ span: n.span,
31
+ file: n.file ?? null,
32
+ };
33
+ }
34
+ /**
35
+ * 将 AST 节点的元数据（origin）附加到 Core IR 节点。
36
+ *
37
+ * @param coreNode - Core IR 节点（可变对象）
38
+ * @param astNode - AST 节点（用于提取元数据）
39
+ * @returns 附加了元数据的 Core IR 节点
40
+ */
41
+ function withOrigin(coreNode, astNode) {
42
+ const { span, file } = extractMetadata(astNode);
43
+ const origin = spanToOrigin(span, file);
44
+ if (origin) {
45
+ // Core IR 构造函数返回的对象实际上是可变的，尽管类型定义声明为 readonly
46
+ // 这是设计上的折衷：类型系统认为它们是只读的，但在降级阶段我们需要附加元数据
47
+ coreNode.origin = origin;
48
+ }
49
+ return coreNode;
50
+ }
51
+ /**
52
+ * 将效果能力（effectCaps）从 AST Func 节点传递到 Core IR Func 节点。
53
+ *
54
+ * @param coreFunc - Core IR Func 节点
55
+ * @param astFunc - AST Func 节点
56
+ * @returns 附加了能力元数据的 Core IR Func 节点
57
+ */
58
+ function withEffectCaps(coreFunc, astFunc) {
59
+ const mutableFunc = coreFunc;
60
+ mutableFunc.effectCaps = [...astFunc.effectCaps];
61
+ mutableFunc.effectCapsExplicit = astFunc.effectCapsExplicit;
62
+ return coreFunc;
63
+ }
64
+ function withFuncPiiMetadata(coreFunc) {
65
+ const metadata = aggregateFuncPii(coreFunc);
66
+ if (!metadata)
67
+ return coreFunc;
68
+ const mutable = coreFunc;
69
+ mutable.piiLevel = metadata.level;
70
+ mutable.piiCategories = [...metadata.categories];
71
+ return coreFunc;
72
+ }
73
+ const PII_LEVEL_ORDER = { L1: 1, L2: 2, L3: 3 };
74
+ function aggregateFuncPii(func) {
75
+ let summary = null;
76
+ for (const param of func.params) {
77
+ summary = mergeFuncPiiMeta(summary, extractPiiFromType(param.type));
78
+ }
79
+ return mergeFuncPiiMeta(summary, extractPiiFromType(func.ret));
80
+ }
81
+ function extractPiiFromType(type) {
82
+ if (!type)
83
+ return null;
84
+ switch (type.kind) {
85
+ case 'PiiType': {
86
+ const categories = type.category ? [type.category] : [];
87
+ const baseMeta = extractPiiFromType(type.baseType);
88
+ const current = { level: type.sensitivity, categories };
89
+ return mergeFuncPiiMeta(current, baseMeta);
90
+ }
91
+ case 'Result':
92
+ return mergeFuncPiiMeta(extractPiiFromType(type.ok), extractPiiFromType(type.err));
93
+ case 'Maybe':
94
+ case 'Option':
95
+ case 'List':
96
+ return extractPiiFromType(type.type);
97
+ case 'Map':
98
+ return mergeFuncPiiMeta(extractPiiFromType(type.key), extractPiiFromType(type.val));
99
+ case 'FuncType': {
100
+ let meta = null;
101
+ for (const param of type.params ?? []) {
102
+ meta = mergeFuncPiiMeta(meta, extractPiiFromType(param));
103
+ }
104
+ return mergeFuncPiiMeta(meta, extractPiiFromType(type.ret));
105
+ }
106
+ case 'TypeApp': {
107
+ let meta = null;
108
+ for (const arg of type.args ?? []) {
109
+ meta = mergeFuncPiiMeta(meta, extractPiiFromType(arg));
110
+ }
111
+ return meta;
112
+ }
113
+ default:
114
+ return null;
115
+ }
116
+ }
117
+ function mergeFuncPiiMeta(left, right) {
118
+ if (!left)
119
+ return right;
120
+ if (!right)
121
+ return left;
122
+ return {
123
+ level: pickHigherPiiLevel(left.level, right.level),
124
+ categories: mergeCategories(left.categories, right.categories),
125
+ };
126
+ }
127
+ function pickHigherPiiLevel(left, right) {
128
+ const leftRank = PII_LEVEL_ORDER[left] ?? 0;
129
+ const rightRank = PII_LEVEL_ORDER[right] ?? 0;
130
+ return leftRank >= rightRank ? left : right;
131
+ }
132
+ function mergeCategories(left, right) {
133
+ const seen = new Set();
134
+ for (const item of left) {
135
+ if (item)
136
+ seen.add(item);
137
+ }
138
+ for (const item of right) {
139
+ if (item)
140
+ seen.add(item);
141
+ }
142
+ return Array.from(seen);
143
+ }
144
+ /**
145
+ * 将 AST Constraint 转换为 Core IR Constraint。
146
+ *
147
+ * @param constraints - AST 约束列表
148
+ * @returns Core IR 约束列表
149
+ */
150
+ function lowerConstraints(constraints) {
151
+ if (!constraints || constraints.length === 0) {
152
+ return [];
153
+ }
154
+ return constraints.map(c => {
155
+ switch (c.kind) {
156
+ case 'Required':
157
+ return { kind: 'Required' };
158
+ case 'Range':
159
+ return { kind: 'Range', min: c.min, max: c.max };
160
+ case 'Pattern':
161
+ return { kind: 'Pattern', regexp: c.regexp };
162
+ default:
163
+ // 类型检查器会捕获未处理的情况
164
+ return c;
165
+ }
166
+ });
167
+ }
168
+ /**
169
+ * 将 AST Module 降级为 Core IR Module。
170
+ *
171
+ * 这是 Aster 编译管道的第四步，将高级的抽象语法树转换为更简洁、更严格的 Core IR，
172
+ * 以便进行类型检查和后续的代码生成。
173
+ *
174
+ * **降级转换**：
175
+ * - 展开语法糖（`User?` → `Maybe of User`、`Result of A and B` → 标准 Result 类型）
176
+ * - 规范化函数体为 Block 和 Statement 序列
177
+ * - 将模式匹配转换为 Core IR 的 Case 结构
178
+ * - 保留原始位置信息用于错误报告
179
+ *
180
+ * @param ast - AST Module 节点（通过 parser.parse 生成）
181
+ * @returns Core IR Module 节点，包含所有声明的规范化表示
182
+ *
183
+ * @example
184
+ * ```typescript
185
+ * import { canonicalize, lex, parse, lowerModule } from '@wontlost-ltd/aster-lang';
186
+ *
187
+ * const src = `This module is app.
188
+ * To greet, produce Text:
189
+ * Return "Hello".
190
+ * `;
191
+ *
192
+ * const ast = parse(lex(canonicalize(src)));
193
+ * const core = lowerModule(ast);
194
+ *
195
+ * console.log(core.kind); // "Module"
196
+ * console.log(core.name); // "app"
197
+ * // Core IR 是更简洁的表示，适合类型检查和代码生成
198
+ * ```
199
+ */
200
+ export function lowerModule(ast) {
201
+ const decls = ast.decls.map(lowerDecl);
202
+ const m = Core.Module(ast.name, decls);
203
+ return withOrigin(m, ast);
204
+ }
205
+ function lowerDecl(d) {
206
+ switch (d.kind) {
207
+ case 'Import':
208
+ return withOrigin(Core.Import(d.name, d.asName || null), d);
209
+ case 'Data':
210
+ return withOrigin(Core.Data(d.name, d.fields.map(f => ({
211
+ name: f.name,
212
+ type: lowerType(f.type),
213
+ constraints: lowerConstraints(f.constraints),
214
+ }))), d);
215
+ case 'Enum':
216
+ return withOrigin(Core.Enum(d.name, [...d.variants]), d);
217
+ case 'Func':
218
+ return lowerFunc(d);
219
+ default: {
220
+ const { span } = extractMetadata(d);
221
+ const kind = d.kind;
222
+ Diagnostics.unknownDeclKind(kind, span?.start ?? { line: 0, col: 0 }).throw();
223
+ throw new Error('unreachable'); // For TypeScript's control flow analysis
224
+ }
225
+ }
226
+ }
227
+ function lowerFunc(f) {
228
+ const tvars = new Set(f.typeParams ?? []);
229
+ const params = f.params.map(p => ({
230
+ name: p.name,
231
+ type: lowerTypeWithVars(p.type, tvars),
232
+ constraints: lowerConstraints(p.constraints),
233
+ ...(p.typeInferred ? { typeInferred: true } : {}),
234
+ }));
235
+ const ret = lowerTypeWithVars(f.retType, tvars);
236
+ // 严格校验效果字符串，拒绝未知值，同时将效应变量保留到声明列表
237
+ const effectParamSet = new Set(f.effectParams ?? []);
238
+ const declaredEffects = [];
239
+ const effects = [];
240
+ for (const e of f.effects ?? []) {
241
+ const effect = parseEffect(e.toLowerCase());
242
+ if (effect !== null) {
243
+ effects.push(effect);
244
+ declaredEffects.push(effect);
245
+ continue;
246
+ }
247
+ if (effectParamSet.has(e)) {
248
+ declaredEffects.push({ kind: 'EffectVar', name: e });
249
+ continue;
250
+ }
251
+ const validEffects = getAllEffects().join(', ');
252
+ const { span } = extractMetadata(f);
253
+ Diagnostics.unknownEffect(e, validEffects, span?.start ?? { line: 0, col: 0 }).throw();
254
+ throw new Error('unreachable'); // For TypeScript's control flow analysis
255
+ }
256
+ const body = f.body ? lowerBlock(f.body) : Core.Block([]);
257
+ const out = Core.Func(f.name, f.typeParams ?? [], params, ret, effects, body, f.effectCaps, f.effectCapsExplicit, f.effectParams, declaredEffects);
258
+ if (f.retTypeInferred) {
259
+ out.retTypeInferred = true;
260
+ }
261
+ // 传递能力与 PII 元数据，并附带源位置信息
262
+ const enriched = withFuncPiiMetadata(withEffectCaps(out, f));
263
+ return withOrigin(enriched, f);
264
+ }
265
+ function lowerBlock(b) {
266
+ return withOrigin(Core.Block(b.statements.map(lowerStmt)), b);
267
+ }
268
+ function lowerStmt(s) {
269
+ switch (s.kind) {
270
+ case 'Let':
271
+ return withOrigin(Core.Let(s.name, lowerExpr(s.expr)), s);
272
+ case 'Set':
273
+ return withOrigin(Core.Set(s.name, lowerExpr(s.expr)), s);
274
+ case 'Return':
275
+ return withOrigin(Core.Return(lowerExpr(s.expr)), s);
276
+ case 'If':
277
+ return withOrigin(Core.If(lowerExpr(s.cond), lowerBlock(s.thenBlock), s.elseBlock ? lowerBlock(s.elseBlock) : null), s);
278
+ // Scope sugar lowering placeholder: if a Block starts with a special marker, we could emit Scope. For now none.
279
+ case 'Match':
280
+ return withOrigin(Core.Match(lowerExpr(s.expr), s.cases.map(c => withOrigin(Core.Case(lowerPattern(c.pattern), lowerCaseBody(c.body)), c))), s);
281
+ case 'Start':
282
+ return withOrigin(Core.Start(s.name, lowerExpr(s.expr)), s);
283
+ case 'Wait':
284
+ return withOrigin(Core.Wait(s.names), s);
285
+ case 'workflow':
286
+ return lowerWorkflow(s);
287
+ case 'Block':
288
+ return withOrigin(Core.Scope(s.statements.map(lowerStmt)), s);
289
+ case 'Call':
290
+ // Expression statement: Call used for side effects
291
+ // Lower to: Let _ be <call>
292
+ return withOrigin(Core.Let('_', Core.Call(lowerExpr(s.target), s.args.map(lowerExpr))), s);
293
+ default: {
294
+ // Parser now prohibits bare expressions, so this should never be reached
295
+ const { span } = extractMetadata(s);
296
+ const kind = s.kind;
297
+ Diagnostics.unknownStmtKind(kind, span?.start ?? { line: 0, col: 0 }).throw();
298
+ throw new Error('unreachable'); // For TypeScript's control flow analysis
299
+ }
300
+ }
301
+ }
302
+ function lowerWorkflow(stmt) {
303
+ const steps = stmt.steps.map((step, index) => {
304
+ const predecessor = index > 0 ? stmt.steps[index - 1] : null;
305
+ return lowerStep(step, predecessor ? predecessor.name : null);
306
+ });
307
+ const effectCaps = mergeCapabilitySets(steps.map(step => step.effectCaps));
308
+ const retry = stmt.retry
309
+ ? { maxAttempts: stmt.retry.maxAttempts, backoff: stmt.retry.backoff }
310
+ : undefined;
311
+ const timeout = stmt.timeout ? { milliseconds: stmt.timeout.milliseconds } : undefined;
312
+ const workflow = Core.Workflow(steps, effectCaps, retry, timeout);
313
+ return withOrigin(workflow, stmt);
314
+ }
315
+ function lowerStep(stmt, prevStep) {
316
+ const body = lowerBlock(stmt.body);
317
+ const compensate = stmt.compensate ? lowerBlock(stmt.compensate) : undefined;
318
+ const effectCaps = mergeCapabilitySets([
319
+ collectCapabilitiesFromBlock(body),
320
+ ...(compensate ? [collectCapabilitiesFromBlock(compensate)] : []),
321
+ ]);
322
+ // 如果未显式声明依赖，则自动串行依赖前一节点以保持旧语义
323
+ const dependencies = stmt.dependencies && stmt.dependencies.length > 0
324
+ ? stmt.dependencies
325
+ : prevStep
326
+ ? [prevStep]
327
+ : [];
328
+ const step = Core.Step(stmt.name, body, effectCaps, compensate, dependencies);
329
+ return withOrigin(step, stmt);
330
+ }
331
+ function mergeCapabilitySets(lists) {
332
+ const merged = [];
333
+ const seen = new Set();
334
+ for (const caps of lists) {
335
+ if (!caps)
336
+ continue;
337
+ for (const cap of caps) {
338
+ if (!seen.has(cap)) {
339
+ seen.add(cap);
340
+ merged.push(cap);
341
+ }
342
+ }
343
+ }
344
+ return merged;
345
+ }
346
+ function collectCapabilitiesFromBlock(block) {
347
+ const caps = [];
348
+ const seen = new Set();
349
+ class WorkflowCapabilityVisitor extends DefaultCoreVisitor {
350
+ visitExpression(e, context) {
351
+ if (e.kind === 'Call' && e.target.kind === 'Name') {
352
+ const capability = inferCapabilityFromName(e.target.name);
353
+ if (capability && !seen.has(capability)) {
354
+ seen.add(capability);
355
+ caps.push(capability);
356
+ }
357
+ }
358
+ super.visitExpression(e, context);
359
+ }
360
+ }
361
+ new WorkflowCapabilityVisitor().visitBlock(block, createVisitorContext());
362
+ return caps;
363
+ }
364
+ function lowerCaseBody(body) {
365
+ // Body can be a Return node or a Block
366
+ if (body.kind === 'Return') {
367
+ return withOrigin(Core.Return(lowerExpr(body.expr)), body);
368
+ }
369
+ return lowerBlock(body);
370
+ }
371
+ function lowerExpr(e) {
372
+ switch (e.kind) {
373
+ case 'Name':
374
+ return withOrigin(Core.Name(e.name), e);
375
+ case 'Bool':
376
+ return withOrigin(Core.Bool(e.value), e);
377
+ case 'Int':
378
+ return withOrigin(Core.Int(e.value), e);
379
+ case 'Long':
380
+ return withOrigin(Core.Long(e.value), e);
381
+ case 'Double':
382
+ return withOrigin(Core.Double(e.value), e);
383
+ case 'String':
384
+ return withOrigin(Core.String(e.value), e);
385
+ case 'Null':
386
+ return withOrigin(Core.Null(), e);
387
+ case 'Call':
388
+ return withOrigin(Core.Call(lowerExpr(e.target), e.args.map(lowerExpr)), e);
389
+ case 'Construct':
390
+ return withOrigin(Core.Construct(e.typeName, e.fields.map(f => ({ name: f.name, expr: lowerExpr(f.expr) }))), e);
391
+ case 'Ok':
392
+ return withOrigin(Core.Ok(lowerExpr(e.expr)), e);
393
+ case 'Err':
394
+ return withOrigin(Core.Err(lowerExpr(e.expr)), e);
395
+ case 'Some':
396
+ return withOrigin(Core.Some(lowerExpr(e.expr)), e);
397
+ case 'None':
398
+ return withOrigin(Core.None(), e);
399
+ case 'Await':
400
+ return withOrigin(Core.Await(lowerExpr(e.expr)), e);
401
+ case 'Lambda': {
402
+ // 使用统一 AST 访客进行捕获变量收集
403
+ const paramNames = new Set(e.params.map(p => p.name));
404
+ const names = new Set();
405
+ class CaptureVisitor extends DefaultAstVisitor {
406
+ visitExpression(ex) {
407
+ if (ex.kind === 'Name' && !paramNames.has(ex.name) && !ex.name.includes('.')) {
408
+ names.add(ex.name);
409
+ }
410
+ super.visitExpression(ex, undefined);
411
+ }
412
+ }
413
+ new CaptureVisitor().visitBlock(e.body, undefined);
414
+ const captures = Array.from(names);
415
+ const coreParams = e.params.map(p => ({ name: p.name, type: lowerType(p.type) }));
416
+ const ret = lowerType(e.retType);
417
+ const lambda = {
418
+ kind: 'Lambda',
419
+ params: coreParams,
420
+ retType: ret, // BaseLambda expects retType
421
+ ret, // Core.Lambda also has ret
422
+ body: lowerBlock(e.body),
423
+ captures,
424
+ };
425
+ return withOrigin(lambda, e);
426
+ }
427
+ default: {
428
+ const { span } = extractMetadata(e);
429
+ const kind = e.kind;
430
+ Diagnostics.unknownExprKind(kind, span?.start ?? { line: 0, col: 0 }).throw();
431
+ throw new Error('unreachable'); // For TypeScript's control flow analysis
432
+ }
433
+ }
434
+ }
435
+ function lowerPattern(p) {
436
+ switch (p.kind) {
437
+ case 'PatternNull':
438
+ return withOrigin(Core.PatNull(), p);
439
+ case 'PatternInt':
440
+ return withOrigin(Core.PatInt(p.value), p);
441
+ case 'PatternCtor': {
442
+ const ctor = p;
443
+ const args = ctor.args ? ctor.args.map(pp => lowerPattern(pp)) : undefined;
444
+ return withOrigin(Core.PatCtor(p.typeName, [...(p.names ?? [])], args), p);
445
+ }
446
+ case 'PatternName':
447
+ return withOrigin(Core.PatName(p.name), p);
448
+ default: {
449
+ const { span } = extractMetadata(p);
450
+ const kind = p.kind;
451
+ Diagnostics.unknownPatternKind(kind, span?.start ?? { line: 0, col: 0 }).throw();
452
+ throw new Error('unreachable'); // For TypeScript's control flow analysis
453
+ }
454
+ }
455
+ }
456
+ function spanToOrigin(span, file) {
457
+ if (!span)
458
+ return null;
459
+ const origin = {
460
+ start: span.start,
461
+ end: span.end,
462
+ };
463
+ if (file !== null) {
464
+ origin.file = file;
465
+ }
466
+ return origin;
467
+ }
468
+ function lowerType(t) {
469
+ switch (t.kind) {
470
+ case 'TypeName':
471
+ return withOrigin(Core.TypeName(t.name), t);
472
+ case 'TypeVar':
473
+ return withOrigin(Core.TypeVar(t.name), t);
474
+ case 'TypeApp':
475
+ return withOrigin(Core.TypeApp(t.base, t.args.map(lowerType)), t);
476
+ case 'Maybe':
477
+ return withOrigin(Core.Maybe(lowerType(t.type)), t);
478
+ case 'Option':
479
+ return withOrigin(Core.Option(lowerType(t.type)), t);
480
+ case 'Result':
481
+ return withOrigin(Core.Result(lowerType(t.ok), lowerType(t.err)), t);
482
+ case 'List':
483
+ return withOrigin(Core.List(lowerType(t.type)), t);
484
+ case 'Map':
485
+ return withOrigin(Core.Map(lowerType(t.key), lowerType(t.val)), t);
486
+ case 'TypePii':
487
+ return withOrigin(Core.Pii(lowerType(t.baseType), t.sensitivity, t.category), t);
488
+ default: {
489
+ const { span } = extractMetadata(t);
490
+ const kind = t.kind;
491
+ Diagnostics.unknownTypeKind(kind, span?.start ?? { line: 0, col: 0 }).throw();
492
+ throw new Error('unreachable'); // For TypeScript's control flow analysis
493
+ }
494
+ }
495
+ }
496
+ function lowerTypeWithVars(t, vars) {
497
+ switch (t.kind) {
498
+ case 'TypeName':
499
+ return vars.has(t.name)
500
+ ? { kind: 'TypeVar', name: t.name }
501
+ : Core.TypeName(t.name);
502
+ case 'EffectVar':
503
+ return { kind: 'EffectVar', name: t.name };
504
+ case 'Maybe':
505
+ return Core.Maybe(lowerTypeWithVars(t.type, vars));
506
+ case 'Option':
507
+ return Core.Option(lowerTypeWithVars(t.type, vars));
508
+ case 'Result':
509
+ return Core.Result(lowerTypeWithVars(t.ok, vars), lowerTypeWithVars(t.err, vars));
510
+ case 'List':
511
+ return Core.List(lowerTypeWithVars(t.type, vars));
512
+ case 'Map':
513
+ return Core.Map(lowerTypeWithVars(t.key, vars), lowerTypeWithVars(t.val, vars));
514
+ case 'TypeApp':
515
+ return {
516
+ kind: 'TypeApp',
517
+ base: t.base,
518
+ args: t.args.map(tt => lowerTypeWithVars(tt, vars)),
519
+ };
520
+ case 'TypeVar':
521
+ return { kind: 'TypeVar', name: t.name };
522
+ case 'TypePii':
523
+ return Core.Pii(lowerTypeWithVars(t.baseType, vars), t.sensitivity, t.category);
524
+ default:
525
+ return lowerType(t);
526
+ }
527
+ }
528
+ //# sourceMappingURL=lower_to_core.js.map