@tsonic/emitter 0.0.73 → 0.0.75

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 (1545) hide show
  1. package/dist/.tsbuildinfo +1 -1
  2. package/dist/adapter-generator.d.ts.map +1 -1
  3. package/dist/adapter-generator.js +2 -1
  4. package/dist/adapter-generator.js.map +1 -1
  5. package/dist/array.test.js +277 -6
  6. package/dist/array.test.js.map +1 -1
  7. package/dist/constants.d.ts +3 -2
  8. package/dist/constants.d.ts.map +1 -1
  9. package/dist/constants.js +15 -6
  10. package/dist/constants.js.map +1 -1
  11. package/dist/core/format/attributes.d.ts +3 -3
  12. package/dist/core/format/attributes.d.ts.map +1 -1
  13. package/dist/core/format/attributes.js +8 -59
  14. package/dist/core/format/attributes.js.map +1 -1
  15. package/dist/core/format/attributes.test.js +1 -1
  16. package/dist/core/format/attributes.test.js.map +1 -1
  17. package/dist/core/format/backend-ast/builders.d.ts +14 -0
  18. package/dist/core/format/backend-ast/builders.d.ts.map +1 -0
  19. package/dist/core/format/backend-ast/builders.js +191 -0
  20. package/dist/core/format/backend-ast/builders.js.map +1 -0
  21. package/dist/core/format/backend-ast/builders.test.d.ts +2 -0
  22. package/dist/core/format/backend-ast/builders.test.d.ts.map +1 -0
  23. package/dist/core/format/backend-ast/builders.test.js +258 -0
  24. package/dist/core/format/backend-ast/builders.test.js.map +1 -0
  25. package/dist/core/format/backend-ast/index.d.ts +3 -2
  26. package/dist/core/format/backend-ast/index.d.ts.map +1 -1
  27. package/dist/core/format/backend-ast/index.js +2 -1
  28. package/dist/core/format/backend-ast/index.js.map +1 -1
  29. package/dist/core/format/backend-ast/invariants.test.d.ts +2 -0
  30. package/dist/core/format/backend-ast/invariants.test.d.ts.map +1 -0
  31. package/dist/core/format/backend-ast/invariants.test.js +79 -0
  32. package/dist/core/format/backend-ast/invariants.test.js.map +1 -0
  33. package/dist/core/format/backend-ast/printer-cases/basic-and-declarations.test.d.ts +2 -0
  34. package/dist/core/format/backend-ast/printer-cases/basic-and-declarations.test.d.ts.map +1 -0
  35. package/dist/core/format/backend-ast/printer-cases/basic-and-declarations.test.js +226 -0
  36. package/dist/core/format/backend-ast/printer-cases/basic-and-declarations.test.js.map +1 -0
  37. package/dist/core/format/backend-ast/printer-cases/control-flow-and-switch.test.d.ts +2 -0
  38. package/dist/core/format/backend-ast/printer-cases/control-flow-and-switch.test.d.ts.map +1 -0
  39. package/dist/core/format/backend-ast/printer-cases/control-flow-and-switch.test.js +289 -0
  40. package/dist/core/format/backend-ast/printer-cases/control-flow-and-switch.test.js.map +1 -0
  41. package/dist/core/format/backend-ast/printer-cases/helpers.d.ts +6 -0
  42. package/dist/core/format/backend-ast/printer-cases/helpers.d.ts.map +1 -0
  43. package/dist/core/format/backend-ast/printer-cases/helpers.js +5 -0
  44. package/dist/core/format/backend-ast/printer-cases/helpers.js.map +1 -0
  45. package/dist/core/format/backend-ast/printer-cases/identifiers-and-interpolation.test.d.ts +2 -0
  46. package/dist/core/format/backend-ast/printer-cases/identifiers-and-interpolation.test.d.ts.map +1 -0
  47. package/dist/core/format/backend-ast/printer-cases/identifiers-and-interpolation.test.js +211 -0
  48. package/dist/core/format/backend-ast/printer-cases/identifiers-and-interpolation.test.js.map +1 -0
  49. package/dist/core/format/backend-ast/printer-cases/remaining-nodes.test.d.ts +2 -0
  50. package/dist/core/format/backend-ast/printer-cases/remaining-nodes.test.d.ts.map +1 -0
  51. package/dist/core/format/backend-ast/printer-cases/remaining-nodes.test.js +186 -0
  52. package/dist/core/format/backend-ast/printer-cases/remaining-nodes.test.js.map +1 -0
  53. package/dist/core/format/backend-ast/printer-colon-detection.d.ts +14 -0
  54. package/dist/core/format/backend-ast/printer-colon-detection.d.ts.map +1 -0
  55. package/dist/core/format/backend-ast/printer-colon-detection.js +141 -0
  56. package/dist/core/format/backend-ast/printer-colon-detection.js.map +1 -0
  57. package/dist/core/format/backend-ast/printer-declarations.d.ts +12 -0
  58. package/dist/core/format/backend-ast/printer-declarations.d.ts.map +1 -0
  59. package/dist/core/format/backend-ast/printer-declarations.js +212 -0
  60. package/dist/core/format/backend-ast/printer-declarations.js.map +1 -0
  61. package/dist/core/format/backend-ast/printer-expressions.d.ts +12 -0
  62. package/dist/core/format/backend-ast/printer-expressions.d.ts.map +1 -0
  63. package/dist/core/format/backend-ast/printer-expressions.js +363 -0
  64. package/dist/core/format/backend-ast/printer-expressions.js.map +1 -0
  65. package/dist/core/format/backend-ast/printer-identifiers.d.ts +31 -0
  66. package/dist/core/format/backend-ast/printer-identifiers.d.ts.map +1 -0
  67. package/dist/core/format/backend-ast/printer-identifiers.js +194 -0
  68. package/dist/core/format/backend-ast/printer-identifiers.js.map +1 -0
  69. package/dist/core/format/backend-ast/printer-precedence.d.ts +23 -0
  70. package/dist/core/format/backend-ast/printer-precedence.d.ts.map +1 -0
  71. package/dist/core/format/backend-ast/printer-precedence.js +225 -0
  72. package/dist/core/format/backend-ast/printer-precedence.js.map +1 -0
  73. package/dist/core/format/backend-ast/printer-shared.d.ts +12 -0
  74. package/dist/core/format/backend-ast/printer-shared.d.ts.map +1 -0
  75. package/dist/core/format/backend-ast/printer-shared.js +12 -0
  76. package/dist/core/format/backend-ast/printer-shared.js.map +1 -0
  77. package/dist/core/format/backend-ast/printer-statements.d.ts +24 -0
  78. package/dist/core/format/backend-ast/printer-statements.d.ts.map +1 -0
  79. package/dist/core/format/backend-ast/printer-statements.js +336 -0
  80. package/dist/core/format/backend-ast/printer-statements.js.map +1 -0
  81. package/dist/core/format/backend-ast/printer.d.ts +10 -23
  82. package/dist/core/format/backend-ast/printer.d.ts.map +1 -1
  83. package/dist/core/format/backend-ast/printer.js +11 -1146
  84. package/dist/core/format/backend-ast/printer.js.map +1 -1
  85. package/dist/core/format/backend-ast/printer.test.d.ts +5 -0
  86. package/dist/core/format/backend-ast/printer.test.d.ts.map +1 -0
  87. package/dist/core/format/backend-ast/printer.test.js +5 -0
  88. package/dist/core/format/backend-ast/printer.test.js.map +1 -0
  89. package/dist/core/format/backend-ast/types/compilation-unit-ast.d.ts +26 -0
  90. package/dist/core/format/backend-ast/types/compilation-unit-ast.d.ts.map +1 -0
  91. package/dist/core/format/backend-ast/types/compilation-unit-ast.js +2 -0
  92. package/dist/core/format/backend-ast/types/compilation-unit-ast.js.map +1 -0
  93. package/dist/core/format/backend-ast/types/declaration-ast.d.ts +105 -0
  94. package/dist/core/format/backend-ast/types/declaration-ast.d.ts.map +1 -0
  95. package/dist/core/format/backend-ast/types/declaration-ast.js +2 -0
  96. package/dist/core/format/backend-ast/types/declaration-ast.js.map +1 -0
  97. package/dist/core/format/backend-ast/types/expression-ast.d.ts +219 -0
  98. package/dist/core/format/backend-ast/types/expression-ast.d.ts.map +1 -0
  99. package/dist/core/format/backend-ast/types/expression-ast.js +2 -0
  100. package/dist/core/format/backend-ast/types/expression-ast.js.map +1 -0
  101. package/dist/core/format/backend-ast/types/pattern-ast.d.ts +28 -0
  102. package/dist/core/format/backend-ast/types/pattern-ast.d.ts.map +1 -0
  103. package/dist/core/format/backend-ast/types/pattern-ast.js +2 -0
  104. package/dist/core/format/backend-ast/types/pattern-ast.js.map +1 -0
  105. package/dist/core/format/backend-ast/types/signature-ast.d.ts +34 -0
  106. package/dist/core/format/backend-ast/types/signature-ast.d.ts.map +1 -0
  107. package/dist/core/format/backend-ast/types/signature-ast.js +2 -0
  108. package/dist/core/format/backend-ast/types/signature-ast.js.map +1 -0
  109. package/dist/core/format/backend-ast/types/statement-ast.d.ts +118 -0
  110. package/dist/core/format/backend-ast/types/statement-ast.d.ts.map +1 -0
  111. package/dist/core/format/backend-ast/types/statement-ast.js +2 -0
  112. package/dist/core/format/backend-ast/types/statement-ast.js.map +1 -0
  113. package/dist/core/format/backend-ast/types/type-ast.d.ts +50 -0
  114. package/dist/core/format/backend-ast/types/type-ast.d.ts.map +1 -0
  115. package/dist/core/format/backend-ast/types/type-ast.js +2 -0
  116. package/dist/core/format/backend-ast/types/type-ast.js.map +1 -0
  117. package/dist/core/format/backend-ast/types.d.ts +7 -497
  118. package/dist/core/format/backend-ast/types.d.ts.map +1 -1
  119. package/dist/core/format/backend-ast/types.js +7 -1
  120. package/dist/core/format/backend-ast/types.js.map +1 -1
  121. package/dist/core/format/backend-ast/utils.d.ts +16 -8
  122. package/dist/core/format/backend-ast/utils.d.ts.map +1 -1
  123. package/dist/core/format/backend-ast/utils.js +295 -21
  124. package/dist/core/format/backend-ast/utils.js.map +1 -1
  125. package/dist/core/format/backend-ast/utils.test.d.ts +2 -0
  126. package/dist/core/format/backend-ast/utils.test.d.ts.map +1 -0
  127. package/dist/core/format/backend-ast/utils.test.js +205 -0
  128. package/dist/core/format/backend-ast/utils.test.js.map +1 -0
  129. package/dist/core/format/local-names.d.ts +26 -0
  130. package/dist/core/format/local-names.d.ts.map +1 -1
  131. package/dist/core/format/local-names.js +59 -0
  132. package/dist/core/format/local-names.js.map +1 -1
  133. package/dist/core/format/local-names.test.d.ts +12 -0
  134. package/dist/core/format/local-names.test.d.ts.map +1 -0
  135. package/dist/core/format/local-names.test.js +278 -0
  136. package/dist/core/format/local-names.test.js.map +1 -0
  137. package/dist/core/format/module-emitter/assembly.d.ts +2 -2
  138. package/dist/core/format/module-emitter/assembly.d.ts.map +1 -1
  139. package/dist/core/format/module-emitter/assembly.js +7 -3
  140. package/dist/core/format/module-emitter/assembly.js.map +1 -1
  141. package/dist/core/format/module-emitter/header.d.ts +2 -1
  142. package/dist/core/format/module-emitter/header.d.ts.map +1 -1
  143. package/dist/core/format/module-emitter/header.js +2 -2
  144. package/dist/core/format/module-emitter/header.js.map +1 -1
  145. package/dist/core/format/module-emitter/orchestrator.d.ts.map +1 -1
  146. package/dist/core/format/module-emitter/orchestrator.js +2 -153
  147. package/dist/core/format/module-emitter/orchestrator.js.map +1 -1
  148. package/dist/core/format/module-emitter/static-container.d.ts.map +1 -1
  149. package/dist/core/format/module-emitter/static-container.js +20 -6
  150. package/dist/core/format/module-emitter/static-container.js.map +1 -1
  151. package/dist/core/module-emitter-cases/class-and-recursion.test.d.ts +6 -0
  152. package/dist/core/module-emitter-cases/class-and-recursion.test.d.ts.map +1 -0
  153. package/dist/core/module-emitter-cases/class-and-recursion.test.js +263 -0
  154. package/dist/core/module-emitter-cases/class-and-recursion.test.js.map +1 -0
  155. package/dist/core/module-emitter-cases/static-containers.test.d.ts +6 -0
  156. package/dist/core/module-emitter-cases/static-containers.test.d.ts.map +1 -0
  157. package/dist/core/module-emitter-cases/static-containers.test.js +275 -0
  158. package/dist/core/module-emitter-cases/static-containers.test.js.map +1 -0
  159. package/dist/core/module-emitter.test.d.ts +2 -5
  160. package/dist/core/module-emitter.test.d.ts.map +1 -1
  161. package/dist/core/module-emitter.test.js +2 -402
  162. package/dist/core/module-emitter.test.js.map +1 -1
  163. package/dist/core/semantic/array-expected-types.d.ts +6 -0
  164. package/dist/core/semantic/array-expected-types.d.ts.map +1 -0
  165. package/dist/core/semantic/array-expected-types.js +84 -0
  166. package/dist/core/semantic/array-expected-types.js.map +1 -0
  167. package/dist/core/semantic/array-expected-types.test.d.ts +2 -0
  168. package/dist/core/semantic/array-expected-types.test.d.ts.map +1 -0
  169. package/dist/core/semantic/array-expected-types.test.js +66 -0
  170. package/dist/core/semantic/array-expected-types.test.js.map +1 -0
  171. package/dist/core/semantic/assignment-flow.d.ts +9 -0
  172. package/dist/core/semantic/assignment-flow.d.ts.map +1 -0
  173. package/dist/core/semantic/assignment-flow.js +161 -0
  174. package/dist/core/semantic/assignment-flow.js.map +1 -0
  175. package/dist/core/semantic/async-wrapper-types.d.ts +6 -0
  176. package/dist/core/semantic/async-wrapper-types.d.ts.map +1 -0
  177. package/dist/core/semantic/async-wrapper-types.js +65 -0
  178. package/dist/core/semantic/async-wrapper-types.js.map +1 -0
  179. package/dist/core/semantic/boolean-condition-emission.d.ts +9 -0
  180. package/dist/core/semantic/boolean-condition-emission.d.ts.map +1 -0
  181. package/dist/core/semantic/boolean-condition-emission.js +9 -0
  182. package/dist/core/semantic/boolean-condition-emission.js.map +1 -0
  183. package/dist/core/semantic/boolean-condition-main.d.ts +38 -0
  184. package/dist/core/semantic/boolean-condition-main.d.ts.map +1 -0
  185. package/dist/core/semantic/boolean-condition-main.js +235 -0
  186. package/dist/core/semantic/boolean-condition-main.js.map +1 -0
  187. package/dist/core/semantic/boolean-condition-union.d.ts +20 -0
  188. package/dist/core/semantic/boolean-condition-union.d.ts.map +1 -0
  189. package/dist/core/semantic/boolean-condition-union.js +238 -0
  190. package/dist/core/semantic/boolean-condition-union.js.map +1 -0
  191. package/dist/core/semantic/boolean-context.d.ts +6 -40
  192. package/dist/core/semantic/boolean-context.d.ts.map +1 -1
  193. package/dist/core/semantic/boolean-context.js +6 -713
  194. package/dist/core/semantic/boolean-context.js.map +1 -1
  195. package/dist/core/semantic/boolean-context.test.js +22 -2
  196. package/dist/core/semantic/boolean-context.test.js.map +1 -1
  197. package/dist/core/semantic/broad-array-storage.d.ts +11 -0
  198. package/dist/core/semantic/broad-array-storage.d.ts.map +1 -0
  199. package/dist/core/semantic/broad-array-storage.js +111 -0
  200. package/dist/core/semantic/broad-array-storage.js.map +1 -0
  201. package/dist/core/semantic/broad-object-types.d.ts +7 -0
  202. package/dist/core/semantic/broad-object-types.d.ts.map +1 -0
  203. package/dist/core/semantic/broad-object-types.js +60 -0
  204. package/dist/core/semantic/broad-object-types.js.map +1 -0
  205. package/dist/core/semantic/clr-type-identity.d.ts +21 -0
  206. package/dist/core/semantic/clr-type-identity.d.ts.map +1 -0
  207. package/dist/core/semantic/clr-type-identity.js +230 -0
  208. package/dist/core/semantic/clr-type-identity.js.map +1 -0
  209. package/dist/core/semantic/comparable-types.d.ts +5 -0
  210. package/dist/core/semantic/comparable-types.d.ts.map +1 -0
  211. package/dist/core/semantic/comparable-types.js +108 -0
  212. package/dist/core/semantic/comparable-types.js.map +1 -0
  213. package/dist/core/semantic/comparable-types.test.d.ts +2 -0
  214. package/dist/core/semantic/comparable-types.test.d.ts.map +1 -0
  215. package/dist/core/semantic/comparable-types.test.js +199 -0
  216. package/dist/core/semantic/comparable-types.test.js.map +1 -0
  217. package/dist/core/semantic/condition-branch-narrowing.d.ts +6 -0
  218. package/dist/core/semantic/condition-branch-narrowing.d.ts.map +1 -0
  219. package/dist/core/semantic/condition-branch-narrowing.js +50 -0
  220. package/dist/core/semantic/condition-branch-narrowing.js.map +1 -0
  221. package/dist/core/semantic/defaults.d.ts +7 -0
  222. package/dist/core/semantic/defaults.d.ts.map +1 -0
  223. package/dist/core/semantic/defaults.js +61 -0
  224. package/dist/core/semantic/defaults.js.map +1 -0
  225. package/dist/core/semantic/defaults.test.d.ts +2 -0
  226. package/dist/core/semantic/defaults.test.d.ts.map +1 -0
  227. package/dist/core/semantic/defaults.test.js +88 -0
  228. package/dist/core/semantic/defaults.test.js.map +1 -0
  229. package/dist/core/semantic/deterministic-type-keys.d.ts +8 -0
  230. package/dist/core/semantic/deterministic-type-keys.d.ts.map +1 -0
  231. package/dist/core/semantic/deterministic-type-keys.js +277 -0
  232. package/dist/core/semantic/deterministic-type-keys.js.map +1 -0
  233. package/dist/core/semantic/direct-storage-ir-types.d.ts +12 -0
  234. package/dist/core/semantic/direct-storage-ir-types.d.ts.map +1 -0
  235. package/dist/core/semantic/direct-storage-ir-types.js +189 -0
  236. package/dist/core/semantic/direct-storage-ir-types.js.map +1 -0
  237. package/dist/core/semantic/direct-value-surfaces.d.ts +9 -0
  238. package/dist/core/semantic/direct-value-surfaces.d.ts.map +1 -0
  239. package/dist/core/semantic/direct-value-surfaces.js +181 -0
  240. package/dist/core/semantic/direct-value-surfaces.js.map +1 -0
  241. package/dist/core/semantic/direct-value-surfaces.test.d.ts +2 -0
  242. package/dist/core/semantic/direct-value-surfaces.test.d.ts.map +1 -0
  243. package/dist/core/semantic/direct-value-surfaces.test.js +116 -0
  244. package/dist/core/semantic/direct-value-surfaces.test.js.map +1 -0
  245. package/dist/core/semantic/expected-type-matching.d.ts +7 -0
  246. package/dist/core/semantic/expected-type-matching.d.ts.map +1 -0
  247. package/dist/core/semantic/expected-type-matching.js +101 -0
  248. package/dist/core/semantic/expected-type-matching.js.map +1 -0
  249. package/dist/core/semantic/guard-primitives.d.ts +29 -0
  250. package/dist/core/semantic/guard-primitives.d.ts.map +1 -0
  251. package/dist/core/semantic/guard-primitives.js +80 -0
  252. package/dist/core/semantic/guard-primitives.js.map +1 -0
  253. package/dist/core/semantic/implicit-interfaces.d.ts +34 -0
  254. package/dist/core/semantic/implicit-interfaces.d.ts.map +1 -0
  255. package/dist/core/semantic/implicit-interfaces.js +276 -0
  256. package/dist/core/semantic/implicit-interfaces.js.map +1 -0
  257. package/dist/core/semantic/implicit-interfaces.test.d.ts +2 -0
  258. package/dist/core/semantic/implicit-interfaces.test.d.ts.map +1 -0
  259. package/dist/core/semantic/implicit-interfaces.test.js +280 -0
  260. package/dist/core/semantic/implicit-interfaces.test.js.map +1 -0
  261. package/dist/core/semantic/imports-cases/basic-and-local.test.d.ts +6 -0
  262. package/dist/core/semantic/imports-cases/basic-and-local.test.d.ts.map +1 -0
  263. package/dist/core/semantic/imports-cases/basic-and-local.test.js +504 -0
  264. package/dist/core/semantic/imports-cases/basic-and-local.test.js.map +1 -0
  265. package/dist/core/semantic/imports-cases/bindings-and-namespaces.test.d.ts +6 -0
  266. package/dist/core/semantic/imports-cases/bindings-and-namespaces.test.d.ts.map +1 -0
  267. package/dist/core/semantic/imports-cases/bindings-and-namespaces.test.js +932 -0
  268. package/dist/core/semantic/imports-cases/bindings-and-namespaces.test.js.map +1 -0
  269. package/dist/core/semantic/imports.d.ts.map +1 -1
  270. package/dist/core/semantic/imports.js +174 -37
  271. package/dist/core/semantic/imports.js.map +1 -1
  272. package/dist/core/semantic/imports.test.d.ts +2 -5
  273. package/dist/core/semantic/imports.test.d.ts.map +1 -1
  274. package/dist/core/semantic/imports.test.js +2 -551
  275. package/dist/core/semantic/imports.test.js.map +1 -1
  276. package/dist/core/semantic/instanceof-predicate-refinements.d.ts +10 -0
  277. package/dist/core/semantic/instanceof-predicate-refinements.d.ts.map +1 -0
  278. package/dist/core/semantic/instanceof-predicate-refinements.js +189 -0
  279. package/dist/core/semantic/instanceof-predicate-refinements.js.map +1 -0
  280. package/dist/core/semantic/instanceof-targets.d.ts +10 -0
  281. package/dist/core/semantic/instanceof-targets.d.ts.map +1 -0
  282. package/dist/core/semantic/instanceof-targets.js +20 -0
  283. package/dist/core/semantic/instanceof-targets.js.map +1 -0
  284. package/dist/core/semantic/iteration-types.d.ts +11 -0
  285. package/dist/core/semantic/iteration-types.d.ts.map +1 -0
  286. package/dist/core/semantic/iteration-types.js +116 -0
  287. package/dist/core/semantic/iteration-types.js.map +1 -0
  288. package/dist/core/semantic/js-value-types.d.ts +5 -0
  289. package/dist/core/semantic/js-value-types.d.ts.map +1 -0
  290. package/dist/core/semantic/js-value-types.js +42 -0
  291. package/dist/core/semantic/js-value-types.js.map +1 -0
  292. package/dist/core/semantic/local-type-lookup.d.ts +8 -0
  293. package/dist/core/semantic/local-type-lookup.d.ts.map +1 -0
  294. package/dist/core/semantic/local-type-lookup.js +36 -0
  295. package/dist/core/semantic/local-type-lookup.js.map +1 -0
  296. package/dist/core/semantic/local-types.d.ts +1 -0
  297. package/dist/core/semantic/local-types.d.ts.map +1 -1
  298. package/dist/core/semantic/local-types.js +269 -0
  299. package/dist/core/semantic/local-types.js.map +1 -1
  300. package/dist/core/semantic/materialized-narrowing.d.ts +5 -0
  301. package/dist/core/semantic/materialized-narrowing.d.ts.map +1 -0
  302. package/dist/core/semantic/materialized-narrowing.js +361 -0
  303. package/dist/core/semantic/materialized-narrowing.js.map +1 -0
  304. package/dist/core/semantic/materialized-narrowing.test.d.ts +2 -0
  305. package/dist/core/semantic/materialized-narrowing.test.d.ts.map +1 -0
  306. package/dist/core/semantic/materialized-narrowing.test.js +321 -0
  307. package/dist/core/semantic/materialized-narrowing.test.js.map +1 -0
  308. package/dist/core/semantic/member-surfaces.d.ts +10 -0
  309. package/dist/core/semantic/member-surfaces.d.ts.map +1 -0
  310. package/dist/core/semantic/member-surfaces.js +108 -0
  311. package/dist/core/semantic/member-surfaces.js.map +1 -0
  312. package/dist/core/semantic/member-surfaces.test.d.ts +2 -0
  313. package/dist/core/semantic/member-surfaces.test.d.ts.map +1 -0
  314. package/dist/core/semantic/member-surfaces.test.js +105 -0
  315. package/dist/core/semantic/member-surfaces.test.js.map +1 -0
  316. package/dist/core/semantic/module-map.d.ts.map +1 -1
  317. package/dist/core/semantic/module-map.js +92 -2
  318. package/dist/core/semantic/module-map.js.map +1 -1
  319. package/dist/core/semantic/module-map.test.js +264 -0
  320. package/dist/core/semantic/module-map.test.js.map +1 -1
  321. package/dist/core/semantic/mutable-storage-detection.d.ts +10 -0
  322. package/dist/core/semantic/mutable-storage-detection.d.ts.map +1 -0
  323. package/dist/core/semantic/mutable-storage-detection.js +10 -0
  324. package/dist/core/semantic/mutable-storage-detection.js.map +1 -0
  325. package/dist/core/semantic/mutable-storage-expression-visitor.d.ts +12 -0
  326. package/dist/core/semantic/mutable-storage-expression-visitor.d.ts.map +1 -0
  327. package/dist/core/semantic/mutable-storage-expression-visitor.js +126 -0
  328. package/dist/core/semantic/mutable-storage-expression-visitor.js.map +1 -0
  329. package/dist/core/semantic/mutable-storage-helpers.d.ts +26 -0
  330. package/dist/core/semantic/mutable-storage-helpers.d.ts.map +1 -0
  331. package/dist/core/semantic/mutable-storage-helpers.js +203 -0
  332. package/dist/core/semantic/mutable-storage-helpers.js.map +1 -0
  333. package/dist/core/semantic/mutable-storage-statement-visitor.d.ts +5 -0
  334. package/dist/core/semantic/mutable-storage-statement-visitor.d.ts.map +1 -0
  335. package/dist/core/semantic/mutable-storage-statement-visitor.js +158 -0
  336. package/dist/core/semantic/mutable-storage-statement-visitor.js.map +1 -0
  337. package/dist/core/semantic/mutable-storage-visitors.d.ts +5 -0
  338. package/dist/core/semantic/mutable-storage-visitors.d.ts.map +1 -0
  339. package/dist/core/semantic/mutable-storage-visitors.js +17 -0
  340. package/dist/core/semantic/mutable-storage-visitors.js.map +1 -0
  341. package/dist/core/semantic/mutable-storage.d.ts +2 -9
  342. package/dist/core/semantic/mutable-storage.d.ts.map +1 -1
  343. package/dist/core/semantic/mutable-storage.js +2 -478
  344. package/dist/core/semantic/mutable-storage.js.map +1 -1
  345. package/dist/core/semantic/narrowed-expression-types.d.ts +7 -0
  346. package/dist/core/semantic/narrowed-expression-types.d.ts.map +1 -0
  347. package/dist/core/semantic/narrowed-expression-types.js +287 -0
  348. package/dist/core/semantic/narrowed-expression-types.js.map +1 -0
  349. package/dist/core/semantic/narrowed-expression-types.test.d.ts +2 -0
  350. package/dist/core/semantic/narrowed-expression-types.test.d.ts.map +1 -0
  351. package/dist/core/semantic/narrowed-expression-types.test.js +296 -0
  352. package/dist/core/semantic/narrowed-expression-types.test.js.map +1 -0
  353. package/dist/core/semantic/narrowed-union-resolution.d.ts +42 -0
  354. package/dist/core/semantic/narrowed-union-resolution.d.ts.map +1 -0
  355. package/dist/core/semantic/narrowed-union-resolution.js +162 -0
  356. package/dist/core/semantic/narrowed-union-resolution.js.map +1 -0
  357. package/dist/core/semantic/narrowing-builder-core.d.ts +46 -0
  358. package/dist/core/semantic/narrowing-builder-core.d.ts.map +1 -0
  359. package/dist/core/semantic/narrowing-builder-core.js +332 -0
  360. package/dist/core/semantic/narrowing-builder-core.js.map +1 -0
  361. package/dist/core/semantic/narrowing-builder-core.test.d.ts +2 -0
  362. package/dist/core/semantic/narrowing-builder-core.test.d.ts.map +1 -0
  363. package/dist/core/semantic/narrowing-builder-core.test.js +49 -0
  364. package/dist/core/semantic/narrowing-builder-core.test.js.map +1 -0
  365. package/dist/core/semantic/narrowing-builder-unions.d.ts +18 -0
  366. package/dist/core/semantic/narrowing-builder-unions.d.ts.map +1 -0
  367. package/dist/core/semantic/narrowing-builder-unions.js +336 -0
  368. package/dist/core/semantic/narrowing-builder-unions.js.map +1 -0
  369. package/dist/core/semantic/narrowing-builders.d.ts +10 -0
  370. package/dist/core/semantic/narrowing-builders.d.ts.map +1 -0
  371. package/dist/core/semantic/narrowing-builders.js +10 -0
  372. package/dist/core/semantic/narrowing-builders.js.map +1 -0
  373. package/dist/core/semantic/narrowing-keys.d.ts +6 -0
  374. package/dist/core/semantic/narrowing-keys.d.ts.map +1 -0
  375. package/dist/core/semantic/narrowing-keys.js +27 -0
  376. package/dist/core/semantic/narrowing-keys.js.map +1 -0
  377. package/dist/core/semantic/narrowing-refinements.d.ts +10 -0
  378. package/dist/core/semantic/narrowing-refinements.d.ts.map +1 -0
  379. package/dist/core/semantic/narrowing-refinements.js +10 -0
  380. package/dist/core/semantic/narrowing-refinements.js.map +1 -0
  381. package/dist/core/semantic/nullable-typeof-refinements.d.ts +13 -0
  382. package/dist/core/semantic/nullable-typeof-refinements.d.ts.map +1 -0
  383. package/dist/core/semantic/nullable-typeof-refinements.js +408 -0
  384. package/dist/core/semantic/nullable-typeof-refinements.js.map +1 -0
  385. package/dist/core/semantic/nullish-value-helpers.d.ts +64 -0
  386. package/dist/core/semantic/nullish-value-helpers.d.ts.map +1 -0
  387. package/dist/core/semantic/nullish-value-helpers.js +346 -0
  388. package/dist/core/semantic/nullish-value-helpers.js.map +1 -0
  389. package/dist/core/semantic/parameter-modifier-types.d.ts +3 -0
  390. package/dist/core/semantic/parameter-modifier-types.d.ts.map +1 -0
  391. package/dist/core/semantic/parameter-modifier-types.js +17 -0
  392. package/dist/core/semantic/parameter-modifier-types.js.map +1 -0
  393. package/dist/core/semantic/pattern-types.d.ts +59 -0
  394. package/dist/core/semantic/pattern-types.d.ts.map +1 -0
  395. package/dist/core/semantic/pattern-types.js +92 -0
  396. package/dist/core/semantic/pattern-types.js.map +1 -0
  397. package/dist/core/semantic/property-lookup-membership.d.ts +30 -0
  398. package/dist/core/semantic/property-lookup-membership.d.ts.map +1 -0
  399. package/dist/core/semantic/property-lookup-membership.js +176 -0
  400. package/dist/core/semantic/property-lookup-membership.js.map +1 -0
  401. package/dist/core/semantic/property-lookup-resolution.d.ts +52 -0
  402. package/dist/core/semantic/property-lookup-resolution.d.ts.map +1 -0
  403. package/dist/core/semantic/property-lookup-resolution.js +275 -0
  404. package/dist/core/semantic/property-lookup-resolution.js.map +1 -0
  405. package/dist/core/semantic/property-member-lookup.d.ts +10 -0
  406. package/dist/core/semantic/property-member-lookup.d.ts.map +1 -0
  407. package/dist/core/semantic/property-member-lookup.js +10 -0
  408. package/dist/core/semantic/property-member-lookup.js.map +1 -0
  409. package/dist/core/semantic/reference-type-identity.d.ts +10 -0
  410. package/dist/core/semantic/reference-type-identity.d.ts.map +1 -0
  411. package/dist/core/semantic/reference-type-identity.js +28 -0
  412. package/dist/core/semantic/reference-type-identity.js.map +1 -0
  413. package/dist/core/semantic/runtime-call-arities.d.ts +4 -0
  414. package/dist/core/semantic/runtime-call-arities.d.ts.map +1 -0
  415. package/dist/core/semantic/runtime-call-arities.js +104 -0
  416. package/dist/core/semantic/runtime-call-arities.js.map +1 -0
  417. package/dist/core/semantic/runtime-materialization-targets.d.ts +4 -0
  418. package/dist/core/semantic/runtime-materialization-targets.d.ts.map +1 -0
  419. package/dist/core/semantic/runtime-materialization-targets.js +69 -0
  420. package/dist/core/semantic/runtime-materialization-targets.js.map +1 -0
  421. package/dist/core/semantic/runtime-reification-helpers.d.ts +9 -0
  422. package/dist/core/semantic/runtime-reification-helpers.d.ts.map +1 -0
  423. package/dist/core/semantic/runtime-reification-helpers.js +99 -0
  424. package/dist/core/semantic/runtime-reification-helpers.js.map +1 -0
  425. package/dist/core/semantic/runtime-reification.d.ts +16 -0
  426. package/dist/core/semantic/runtime-reification.d.ts.map +1 -0
  427. package/dist/core/semantic/runtime-reification.js +609 -0
  428. package/dist/core/semantic/runtime-reification.js.map +1 -0
  429. package/dist/core/semantic/runtime-union-alias-identity.d.ts +5 -0
  430. package/dist/core/semantic/runtime-union-alias-identity.d.ts.map +1 -0
  431. package/dist/core/semantic/runtime-union-alias-identity.js +27 -0
  432. package/dist/core/semantic/runtime-union-alias-identity.js.map +1 -0
  433. package/dist/core/semantic/runtime-union-expansion.d.ts +5 -0
  434. package/dist/core/semantic/runtime-union-expansion.d.ts.map +1 -0
  435. package/dist/core/semantic/runtime-union-expansion.js +190 -0
  436. package/dist/core/semantic/runtime-union-expansion.js.map +1 -0
  437. package/dist/core/semantic/runtime-union-family-preservation.d.ts +5 -0
  438. package/dist/core/semantic/runtime-union-family-preservation.d.ts.map +1 -0
  439. package/dist/core/semantic/runtime-union-family-preservation.js +34 -0
  440. package/dist/core/semantic/runtime-union-family-preservation.js.map +1 -0
  441. package/dist/core/semantic/runtime-union-matching.d.ts +9 -0
  442. package/dist/core/semantic/runtime-union-matching.d.ts.map +1 -0
  443. package/dist/core/semantic/runtime-union-matching.js +121 -0
  444. package/dist/core/semantic/runtime-union-matching.js.map +1 -0
  445. package/dist/core/semantic/runtime-union-member-mapping.d.ts +12 -0
  446. package/dist/core/semantic/runtime-union-member-mapping.d.ts.map +1 -0
  447. package/dist/core/semantic/runtime-union-member-mapping.js +25 -0
  448. package/dist/core/semantic/runtime-union-member-mapping.js.map +1 -0
  449. package/dist/core/semantic/runtime-union-member-mapping.test.d.ts +2 -0
  450. package/dist/core/semantic/runtime-union-member-mapping.test.d.ts.map +1 -0
  451. package/dist/core/semantic/runtime-union-member-mapping.test.js +54 -0
  452. package/dist/core/semantic/runtime-union-member-mapping.test.js.map +1 -0
  453. package/dist/core/semantic/runtime-union-ordering.d.ts +4 -0
  454. package/dist/core/semantic/runtime-union-ordering.d.ts.map +1 -0
  455. package/dist/core/semantic/runtime-union-ordering.js +114 -0
  456. package/dist/core/semantic/runtime-union-ordering.js.map +1 -0
  457. package/dist/core/semantic/runtime-union-projection.d.ts +40 -0
  458. package/dist/core/semantic/runtime-union-projection.d.ts.map +1 -0
  459. package/dist/core/semantic/runtime-union-projection.js +150 -0
  460. package/dist/core/semantic/runtime-union-projection.js.map +1 -0
  461. package/dist/core/semantic/runtime-union-projection.test.d.ts +2 -0
  462. package/dist/core/semantic/runtime-union-projection.test.d.ts.map +1 -0
  463. package/dist/core/semantic/runtime-union-projection.test.js +211 -0
  464. package/dist/core/semantic/runtime-union-projection.test.js.map +1 -0
  465. package/dist/core/semantic/runtime-union-registry.d.ts +28 -0
  466. package/dist/core/semantic/runtime-union-registry.d.ts.map +1 -0
  467. package/dist/core/semantic/runtime-union-registry.js +301 -0
  468. package/dist/core/semantic/runtime-union-registry.js.map +1 -0
  469. package/dist/core/semantic/runtime-union-shared.d.ts +23 -0
  470. package/dist/core/semantic/runtime-union-shared.d.ts.map +1 -0
  471. package/dist/core/semantic/runtime-union-shared.js +29 -0
  472. package/dist/core/semantic/runtime-union-shared.js.map +1 -0
  473. package/dist/core/semantic/runtime-unions.d.ts +14 -0
  474. package/dist/core/semantic/runtime-unions.d.ts.map +1 -0
  475. package/dist/core/semantic/runtime-unions.js +330 -0
  476. package/dist/core/semantic/runtime-unions.js.map +1 -0
  477. package/dist/core/semantic/runtime-unions.test.d.ts +2 -0
  478. package/dist/core/semantic/runtime-unions.test.d.ts.map +1 -0
  479. package/dist/core/semantic/runtime-unions.test.js +922 -0
  480. package/dist/core/semantic/runtime-unions.test.js.map +1 -0
  481. package/dist/core/semantic/semantic-union-members.d.ts +46 -0
  482. package/dist/core/semantic/semantic-union-members.d.ts.map +1 -0
  483. package/dist/core/semantic/semantic-union-members.js +144 -0
  484. package/dist/core/semantic/semantic-union-members.js.map +1 -0
  485. package/dist/core/semantic/storage-erased-adaptation.d.ts +14 -0
  486. package/dist/core/semantic/storage-erased-adaptation.d.ts.map +1 -0
  487. package/dist/core/semantic/storage-erased-adaptation.js +191 -0
  488. package/dist/core/semantic/storage-erased-adaptation.js.map +1 -0
  489. package/dist/core/semantic/storage-erased-adaptation.test.d.ts +2 -0
  490. package/dist/core/semantic/storage-erased-adaptation.test.d.ts.map +1 -0
  491. package/dist/core/semantic/storage-erased-adaptation.test.js +271 -0
  492. package/dist/core/semantic/storage-erased-adaptation.test.js.map +1 -0
  493. package/dist/core/semantic/storage-types.d.ts +8 -0
  494. package/dist/core/semantic/storage-types.d.ts.map +1 -0
  495. package/dist/core/semantic/storage-types.js +344 -0
  496. package/dist/core/semantic/storage-types.js.map +1 -0
  497. package/dist/core/semantic/storage-types.test.d.ts +2 -0
  498. package/dist/core/semantic/storage-types.test.d.ts.map +1 -0
  499. package/dist/core/semantic/storage-types.test.js +438 -0
  500. package/dist/core/semantic/storage-types.test.js.map +1 -0
  501. package/dist/core/semantic/structural-resolution.d.ts +11 -0
  502. package/dist/core/semantic/structural-resolution.d.ts.map +1 -0
  503. package/dist/core/semantic/structural-resolution.js +11 -0
  504. package/dist/core/semantic/structural-resolution.js.map +1 -0
  505. package/dist/core/semantic/structural-shape-matching.d.ts +22 -0
  506. package/dist/core/semantic/structural-shape-matching.d.ts.map +1 -0
  507. package/dist/core/semantic/structural-shape-matching.js +255 -0
  508. package/dist/core/semantic/structural-shape-matching.js.map +1 -0
  509. package/dist/core/semantic/structural-view-types.d.ts +10 -0
  510. package/dist/core/semantic/structural-view-types.d.ts.map +1 -0
  511. package/dist/core/semantic/structural-view-types.js +46 -0
  512. package/dist/core/semantic/structural-view-types.js.map +1 -0
  513. package/dist/core/semantic/symbol-types.d.ts +80 -0
  514. package/dist/core/semantic/symbol-types.d.ts.map +1 -0
  515. package/dist/core/semantic/symbol-types.js +102 -0
  516. package/dist/core/semantic/symbol-types.js.map +1 -0
  517. package/dist/core/semantic/ternary-guards.d.ts +43 -0
  518. package/dist/core/semantic/ternary-guards.d.ts.map +1 -0
  519. package/dist/core/semantic/ternary-guards.js +232 -0
  520. package/dist/core/semantic/ternary-guards.js.map +1 -0
  521. package/dist/core/semantic/transparent-expressions.d.ts +6 -0
  522. package/dist/core/semantic/transparent-expressions.d.ts.map +1 -0
  523. package/dist/core/semantic/transparent-expressions.js +18 -0
  524. package/dist/core/semantic/transparent-expressions.js.map +1 -0
  525. package/dist/core/semantic/truthiness-evaluation.d.ts +58 -0
  526. package/dist/core/semantic/truthiness-evaluation.d.ts.map +1 -0
  527. package/dist/core/semantic/truthiness-evaluation.js +295 -0
  528. package/dist/core/semantic/truthiness-evaluation.js.map +1 -0
  529. package/dist/core/semantic/type-alias-index.d.ts.map +1 -1
  530. package/dist/core/semantic/type-alias-index.js +1 -11
  531. package/dist/core/semantic/type-alias-index.js.map +1 -1
  532. package/dist/core/semantic/type-compatibility.d.ts +1 -1
  533. package/dist/core/semantic/type-compatibility.d.ts.map +1 -1
  534. package/dist/core/semantic/type-compatibility.js +75 -15
  535. package/dist/core/semantic/type-compatibility.js.map +1 -1
  536. package/dist/core/semantic/type-equivalence.d.ts +4 -0
  537. package/dist/core/semantic/type-equivalence.d.ts.map +1 -0
  538. package/dist/core/semantic/type-equivalence.js +255 -0
  539. package/dist/core/semantic/type-equivalence.js.map +1 -0
  540. package/dist/core/semantic/type-equivalence.test.d.ts +2 -0
  541. package/dist/core/semantic/type-equivalence.test.d.ts.map +1 -0
  542. package/dist/core/semantic/type-equivalence.test.js +380 -0
  543. package/dist/core/semantic/type-equivalence.test.js.map +1 -0
  544. package/dist/core/semantic/type-param-substitution.d.ts +19 -0
  545. package/dist/core/semantic/type-param-substitution.d.ts.map +1 -0
  546. package/dist/core/semantic/type-param-substitution.js +219 -0
  547. package/dist/core/semantic/type-param-substitution.js.map +1 -0
  548. package/dist/core/semantic/type-resolution-cases/array-like-element.test.d.ts +2 -0
  549. package/dist/core/semantic/type-resolution-cases/array-like-element.test.d.ts.map +1 -0
  550. package/dist/core/semantic/type-resolution-cases/array-like-element.test.js +82 -0
  551. package/dist/core/semantic/type-resolution-cases/array-like-element.test.js.map +1 -0
  552. package/dist/core/semantic/type-resolution-cases/contains-type-parameter.test.d.ts +2 -0
  553. package/dist/core/semantic/type-resolution-cases/contains-type-parameter.test.d.ts.map +1 -0
  554. package/dist/core/semantic/type-resolution-cases/contains-type-parameter.test.js +101 -0
  555. package/dist/core/semantic/type-resolution-cases/contains-type-parameter.test.js.map +1 -0
  556. package/dist/core/semantic/type-resolution-cases/helpers.d.ts +8 -0
  557. package/dist/core/semantic/type-resolution-cases/helpers.d.ts.map +1 -0
  558. package/dist/core/semantic/type-resolution-cases/helpers.js +5 -0
  559. package/dist/core/semantic/type-resolution-cases/helpers.js.map +1 -0
  560. package/dist/core/semantic/type-resolution-cases/narrow-typeof.test.d.ts +2 -0
  561. package/dist/core/semantic/type-resolution-cases/narrow-typeof.test.d.ts.map +1 -0
  562. package/dist/core/semantic/type-resolution-cases/narrow-typeof.test.js +98 -0
  563. package/dist/core/semantic/type-resolution-cases/narrow-typeof.test.js.map +1 -0
  564. package/dist/core/semantic/type-resolution-cases/nullish-and-value-type.test.d.ts +2 -0
  565. package/dist/core/semantic/type-resolution-cases/nullish-and-value-type.test.d.ts.map +1 -0
  566. package/dist/core/semantic/type-resolution-cases/nullish-and-value-type.test.js +378 -0
  567. package/dist/core/semantic/type-resolution-cases/nullish-and-value-type.test.js.map +1 -0
  568. package/dist/core/semantic/type-resolution-cases/object-literal-member-selection.test.d.ts +2 -0
  569. package/dist/core/semantic/type-resolution-cases/object-literal-member-selection.test.d.ts.map +1 -0
  570. package/dist/core/semantic/type-resolution-cases/object-literal-member-selection.test.js +137 -0
  571. package/dist/core/semantic/type-resolution-cases/object-literal-member-selection.test.js.map +1 -0
  572. package/dist/core/semantic/type-resolution-cases/property-type.test.d.ts +2 -0
  573. package/dist/core/semantic/type-resolution-cases/property-type.test.d.ts.map +1 -0
  574. package/dist/core/semantic/type-resolution-cases/property-type.test.js +298 -0
  575. package/dist/core/semantic/type-resolution-cases/property-type.test.js.map +1 -0
  576. package/dist/core/semantic/type-resolution-cases/structural-resolution.test.d.ts +2 -0
  577. package/dist/core/semantic/type-resolution-cases/structural-resolution.test.d.ts.map +1 -0
  578. package/dist/core/semantic/type-resolution-cases/structural-resolution.test.js +511 -0
  579. package/dist/core/semantic/type-resolution-cases/structural-resolution.test.js.map +1 -0
  580. package/dist/core/semantic/type-resolution-cases/structural-target.test.d.ts +2 -0
  581. package/dist/core/semantic/type-resolution-cases/structural-target.test.d.ts.map +1 -0
  582. package/dist/core/semantic/type-resolution-cases/structural-target.test.js +80 -0
  583. package/dist/core/semantic/type-resolution-cases/structural-target.test.js.map +1 -0
  584. package/dist/core/semantic/type-resolution-cases/substitute-type-args.test.d.ts +2 -0
  585. package/dist/core/semantic/type-resolution-cases/substitute-type-args.test.d.ts.map +1 -0
  586. package/dist/core/semantic/type-resolution-cases/substitute-type-args.test.js +80 -0
  587. package/dist/core/semantic/type-resolution-cases/substitute-type-args.test.js.map +1 -0
  588. package/dist/core/semantic/type-resolution-cases/union-member-index.test.d.ts +2 -0
  589. package/dist/core/semantic/type-resolution-cases/union-member-index.test.d.ts.map +1 -0
  590. package/dist/core/semantic/type-resolution-cases/union-member-index.test.js +142 -0
  591. package/dist/core/semantic/type-resolution-cases/union-member-index.test.js.map +1 -0
  592. package/dist/core/semantic/type-resolution.d.ts +19 -132
  593. package/dist/core/semantic/type-resolution.d.ts.map +1 -1
  594. package/dist/core/semantic/type-resolution.js +19 -786
  595. package/dist/core/semantic/type-resolution.js.map +1 -1
  596. package/dist/core/semantic/type-resolution.test.d.ts +10 -4
  597. package/dist/core/semantic/type-resolution.test.d.ts.map +1 -1
  598. package/dist/core/semantic/type-resolution.test.js +10 -552
  599. package/dist/core/semantic/type-resolution.test.js.map +1 -1
  600. package/dist/core/semantic/type-substitution.d.ts +10 -0
  601. package/dist/core/semantic/type-substitution.d.ts.map +1 -0
  602. package/dist/core/semantic/type-substitution.js +167 -0
  603. package/dist/core/semantic/type-substitution.js.map +1 -0
  604. package/dist/core/semantic/union-member-matching.d.ts +10 -0
  605. package/dist/core/semantic/union-member-matching.d.ts.map +1 -0
  606. package/dist/core/semantic/union-member-matching.js +10 -0
  607. package/dist/core/semantic/union-member-matching.js.map +1 -0
  608. package/dist/core/semantic/union-predicate-matching.d.ts +40 -0
  609. package/dist/core/semantic/union-predicate-matching.d.ts.map +1 -0
  610. package/dist/core/semantic/union-predicate-matching.js +313 -0
  611. package/dist/core/semantic/union-predicate-matching.js.map +1 -0
  612. package/dist/core/semantic/union-semantics.d.ts +39 -0
  613. package/dist/core/semantic/union-semantics.d.ts.map +1 -0
  614. package/dist/core/semantic/union-semantics.js +48 -0
  615. package/dist/core/semantic/union-semantics.js.map +1 -0
  616. package/dist/core/semantic/union-semantics.test.d.ts +2 -0
  617. package/dist/core/semantic/union-semantics.test.d.ts.map +1 -0
  618. package/dist/core/semantic/union-semantics.test.js +109 -0
  619. package/dist/core/semantic/union-semantics.test.js.map +1 -0
  620. package/dist/core/semantic/union-typeof-matching.d.ts +13 -0
  621. package/dist/core/semantic/union-typeof-matching.d.ts.map +1 -0
  622. package/dist/core/semantic/union-typeof-matching.js +124 -0
  623. package/dist/core/semantic/union-typeof-matching.js.map +1 -0
  624. package/dist/core/semantic/unsafe.d.ts.map +1 -1
  625. package/dist/core/semantic/unsafe.js +23 -15
  626. package/dist/core/semantic/unsafe.js.map +1 -1
  627. package/dist/core/semantic/value-slot-types.d.ts +3 -0
  628. package/dist/core/semantic/value-slot-types.d.ts.map +1 -0
  629. package/dist/core/semantic/value-slot-types.js +8 -0
  630. package/dist/core/semantic/value-slot-types.js.map +1 -0
  631. package/dist/core/semantic/variable-type-resolution.d.ts +68 -0
  632. package/dist/core/semantic/variable-type-resolution.d.ts.map +1 -0
  633. package/dist/core/semantic/variable-type-resolution.js +250 -0
  634. package/dist/core/semantic/variable-type-resolution.js.map +1 -0
  635. package/dist/duplicate-type-suppression.d.ts +18 -0
  636. package/dist/duplicate-type-suppression.d.ts.map +1 -0
  637. package/dist/duplicate-type-suppression.js +249 -0
  638. package/dist/duplicate-type-suppression.js.map +1 -0
  639. package/dist/duplicate-type-suppression.test.d.ts +2 -0
  640. package/dist/duplicate-type-suppression.test.d.ts.map +1 -0
  641. package/dist/duplicate-type-suppression.test.js +44 -0
  642. package/dist/duplicate-type-suppression.test.js.map +1 -0
  643. package/dist/emitter-types/context.d.ts +3 -2
  644. package/dist/emitter-types/context.d.ts.map +1 -1
  645. package/dist/emitter-types/context.js +8 -2
  646. package/dist/emitter-types/context.js.map +1 -1
  647. package/dist/emitter-types/core.d.ts +141 -17
  648. package/dist/emitter-types/core.d.ts.map +1 -1
  649. package/dist/emitter.d.ts +4 -0
  650. package/dist/emitter.d.ts.map +1 -1
  651. package/dist/emitter.js +31 -225
  652. package/dist/emitter.js.map +1 -1
  653. package/dist/expression-emitter.d.ts.map +1 -1
  654. package/dist/expression-emitter.js +55 -1430
  655. package/dist/expression-emitter.js.map +1 -1
  656. package/dist/expressions/access-binding.d.ts +19 -0
  657. package/dist/expressions/access-binding.d.ts.map +1 -0
  658. package/dist/expressions/access-binding.js +286 -0
  659. package/dist/expressions/access-binding.js.map +1 -0
  660. package/dist/expressions/access-computed.d.ts +22 -0
  661. package/dist/expressions/access-computed.d.ts.map +1 -0
  662. package/dist/expressions/access-computed.js +339 -0
  663. package/dist/expressions/access-computed.js.map +1 -0
  664. package/dist/expressions/access-length.d.ts +20 -0
  665. package/dist/expressions/access-length.d.ts.map +1 -0
  666. package/dist/expressions/access-length.js +419 -0
  667. package/dist/expressions/access-length.js.map +1 -0
  668. package/dist/expressions/access-length.test.d.ts +2 -0
  669. package/dist/expressions/access-length.test.d.ts.map +1 -0
  670. package/dist/expressions/access-length.test.js +39 -0
  671. package/dist/expressions/access-length.test.js.map +1 -0
  672. package/dist/expressions/access-property.d.ts +23 -0
  673. package/dist/expressions/access-property.d.ts.map +1 -0
  674. package/dist/expressions/access-property.js +267 -0
  675. package/dist/expressions/access-property.js.map +1 -0
  676. package/dist/expressions/access-resolution-receivers.d.ts +27 -0
  677. package/dist/expressions/access-resolution-receivers.d.ts.map +1 -0
  678. package/dist/expressions/access-resolution-receivers.js +358 -0
  679. package/dist/expressions/access-resolution-receivers.js.map +1 -0
  680. package/dist/expressions/access-resolution-types.d.ts +29 -0
  681. package/dist/expressions/access-resolution-types.d.ts.map +1 -0
  682. package/dist/expressions/access-resolution-types.js +192 -0
  683. package/dist/expressions/access-resolution-types.js.map +1 -0
  684. package/dist/expressions/access-resolution.d.ts +10 -0
  685. package/dist/expressions/access-resolution.d.ts.map +1 -0
  686. package/dist/expressions/access-resolution.js +10 -0
  687. package/dist/expressions/access-resolution.js.map +1 -0
  688. package/dist/expressions/access.d.ts +8 -3
  689. package/dist/expressions/access.d.ts.map +1 -1
  690. package/dist/expressions/access.js +170 -621
  691. package/dist/expressions/access.js.map +1 -1
  692. package/dist/expressions/architecture-invariants.test.d.ts +2 -0
  693. package/dist/expressions/architecture-invariants.test.d.ts.map +1 -0
  694. package/dist/expressions/architecture-invariants.test.js +73 -0
  695. package/dist/expressions/architecture-invariants.test.js.map +1 -0
  696. package/dist/expressions/array-interop.d.ts +3 -0
  697. package/dist/expressions/array-interop.d.ts.map +1 -0
  698. package/dist/expressions/array-interop.js +14 -0
  699. package/dist/expressions/array-interop.js.map +1 -0
  700. package/dist/expressions/array-literal.d.ts +13 -0
  701. package/dist/expressions/array-literal.d.ts.map +1 -0
  702. package/dist/expressions/array-literal.js +373 -0
  703. package/dist/expressions/array-literal.js.map +1 -0
  704. package/dist/expressions/await-normalization.d.ts +6 -0
  705. package/dist/expressions/await-normalization.d.ts.map +1 -0
  706. package/dist/expressions/await-normalization.js +358 -0
  707. package/dist/expressions/await-normalization.js.map +1 -0
  708. package/dist/expressions/calls/call-analysis.d.ts +8 -16
  709. package/dist/expressions/calls/call-analysis.d.ts.map +1 -1
  710. package/dist/expressions/calls/call-analysis.js +123 -93
  711. package/dist/expressions/calls/call-analysis.js.map +1 -1
  712. package/dist/expressions/calls/call-analysis.test.js +2 -2
  713. package/dist/expressions/calls/call-analysis.test.js.map +1 -1
  714. package/dist/expressions/calls/call-arguments-emit.d.ts +16 -0
  715. package/dist/expressions/calls/call-arguments-emit.d.ts.map +1 -0
  716. package/dist/expressions/calls/call-arguments-emit.js +1818 -0
  717. package/dist/expressions/calls/call-arguments-emit.js.map +1 -0
  718. package/dist/expressions/calls/call-arguments-helpers.d.ts +22 -0
  719. package/dist/expressions/calls/call-arguments-helpers.d.ts.map +1 -0
  720. package/dist/expressions/calls/call-arguments-helpers.js +333 -0
  721. package/dist/expressions/calls/call-arguments-helpers.js.map +1 -0
  722. package/dist/expressions/calls/call-arguments.d.ts +10 -0
  723. package/dist/expressions/calls/call-arguments.d.ts.map +1 -0
  724. package/dist/expressions/calls/call-arguments.js +10 -0
  725. package/dist/expressions/calls/call-arguments.js.map +1 -0
  726. package/dist/expressions/calls/call-array-interop.d.ts +10 -0
  727. package/dist/expressions/calls/call-array-interop.d.ts.map +1 -0
  728. package/dist/expressions/calls/call-array-interop.js +10 -0
  729. package/dist/expressions/calls/call-array-interop.js.map +1 -0
  730. package/dist/expressions/calls/call-array-mutation.d.ts +20 -0
  731. package/dist/expressions/calls/call-array-mutation.d.ts.map +1 -0
  732. package/dist/expressions/calls/call-array-mutation.js +260 -0
  733. package/dist/expressions/calls/call-array-mutation.js.map +1 -0
  734. package/dist/expressions/calls/call-array-wrapper.d.ts +14 -0
  735. package/dist/expressions/calls/call-array-wrapper.d.ts.map +1 -0
  736. package/dist/expressions/calls/call-array-wrapper.js +118 -0
  737. package/dist/expressions/calls/call-array-wrapper.js.map +1 -0
  738. package/dist/expressions/calls/call-binding-resolution.d.ts +8 -0
  739. package/dist/expressions/calls/call-binding-resolution.d.ts.map +1 -0
  740. package/dist/expressions/calls/call-binding-resolution.js +12 -0
  741. package/dist/expressions/calls/call-binding-resolution.js.map +1 -0
  742. package/dist/expressions/calls/call-dynamic-import.d.ts +11 -0
  743. package/dist/expressions/calls/call-dynamic-import.d.ts.map +1 -0
  744. package/dist/expressions/calls/call-dynamic-import.js +148 -0
  745. package/dist/expressions/calls/call-dynamic-import.js.map +1 -0
  746. package/dist/expressions/calls/call-emitter.d.ts +9 -3
  747. package/dist/expressions/calls/call-emitter.d.ts.map +1 -1
  748. package/dist/expressions/calls/call-emitter.js +227 -1976
  749. package/dist/expressions/calls/call-emitter.js.map +1 -1
  750. package/dist/expressions/calls/call-emitter.test.d.ts +2 -0
  751. package/dist/expressions/calls/call-emitter.test.d.ts.map +1 -0
  752. package/dist/expressions/calls/call-emitter.test.js +407 -0
  753. package/dist/expressions/calls/call-emitter.test.js.map +1 -0
  754. package/dist/expressions/calls/call-extension-methods.d.ts +17 -0
  755. package/dist/expressions/calls/call-extension-methods.d.ts.map +1 -0
  756. package/dist/expressions/calls/call-extension-methods.js +191 -0
  757. package/dist/expressions/calls/call-extension-methods.js.map +1 -0
  758. package/dist/expressions/calls/call-json.d.ts +15 -0
  759. package/dist/expressions/calls/call-json.d.ts.map +1 -0
  760. package/dist/expressions/calls/call-json.js +212 -0
  761. package/dist/expressions/calls/call-json.js.map +1 -0
  762. package/dist/expressions/calls/call-promise-chains.d.ts +7 -0
  763. package/dist/expressions/calls/call-promise-chains.d.ts.map +1 -0
  764. package/dist/expressions/calls/call-promise-chains.js +411 -0
  765. package/dist/expressions/calls/call-promise-chains.js.map +1 -0
  766. package/dist/expressions/calls/call-promise-ir-types.d.ts +11 -0
  767. package/dist/expressions/calls/call-promise-ir-types.d.ts.map +1 -0
  768. package/dist/expressions/calls/call-promise-ir-types.js +219 -0
  769. package/dist/expressions/calls/call-promise-ir-types.js.map +1 -0
  770. package/dist/expressions/calls/call-promise-normalization.d.ts +11 -0
  771. package/dist/expressions/calls/call-promise-normalization.d.ts.map +1 -0
  772. package/dist/expressions/calls/call-promise-normalization.js +179 -0
  773. package/dist/expressions/calls/call-promise-normalization.js.map +1 -0
  774. package/dist/expressions/calls/call-promise-static.d.ts +7 -0
  775. package/dist/expressions/calls/call-promise-static.d.ts.map +1 -0
  776. package/dist/expressions/calls/call-promise-static.js +188 -0
  777. package/dist/expressions/calls/call-promise-static.js.map +1 -0
  778. package/dist/expressions/calls/call-promise-task-types.d.ts +9 -0
  779. package/dist/expressions/calls/call-promise-task-types.d.ts.map +1 -0
  780. package/dist/expressions/calls/call-promise-task-types.js +88 -0
  781. package/dist/expressions/calls/call-promise-task-types.js.map +1 -0
  782. package/dist/expressions/calls/call-promise.d.ts +11 -0
  783. package/dist/expressions/calls/call-promise.d.ts.map +1 -0
  784. package/dist/expressions/calls/call-promise.js +11 -0
  785. package/dist/expressions/calls/call-promise.js.map +1 -0
  786. package/dist/expressions/calls/call-runtime-union-guards.d.ts +7 -0
  787. package/dist/expressions/calls/call-runtime-union-guards.d.ts.map +1 -0
  788. package/dist/expressions/calls/call-runtime-union-guards.js +131 -0
  789. package/dist/expressions/calls/call-runtime-union-guards.js.map +1 -0
  790. package/dist/expressions/calls/call-symbol.d.ts +7 -0
  791. package/dist/expressions/calls/call-symbol.d.ts.map +1 -0
  792. package/dist/expressions/calls/call-symbol.js +26 -0
  793. package/dist/expressions/calls/call-symbol.js.map +1 -0
  794. package/dist/expressions/calls/new-emitter-collections.d.ts +31 -0
  795. package/dist/expressions/calls/new-emitter-collections.d.ts.map +1 -0
  796. package/dist/expressions/calls/new-emitter-collections.js +310 -0
  797. package/dist/expressions/calls/new-emitter-collections.js.map +1 -0
  798. package/dist/expressions/calls/new-emitter-promise.d.ts +10 -0
  799. package/dist/expressions/calls/new-emitter-promise.d.ts.map +1 -0
  800. package/dist/expressions/calls/new-emitter-promise.js +437 -0
  801. package/dist/expressions/calls/new-emitter-promise.js.map +1 -0
  802. package/dist/expressions/calls/new-emitter.d.ts.map +1 -1
  803. package/dist/expressions/calls/new-emitter.js +34 -596
  804. package/dist/expressions/calls/new-emitter.js.map +1 -1
  805. package/dist/expressions/calls/runtime-expected-type-preference.d.ts +4 -0
  806. package/dist/expressions/calls/runtime-expected-type-preference.d.ts.map +1 -0
  807. package/dist/expressions/calls/runtime-expected-type-preference.js +61 -0
  808. package/dist/expressions/calls/runtime-expected-type-preference.js.map +1 -0
  809. package/dist/expressions/collections.d.ts +4 -18
  810. package/dist/expressions/collections.d.ts.map +1 -1
  811. package/dist/expressions/collections.js +3 -986
  812. package/dist/expressions/collections.js.map +1 -1
  813. package/dist/expressions/dictionary-literal.d.ts +20 -0
  814. package/dist/expressions/dictionary-literal.d.ts.map +1 -0
  815. package/dist/expressions/dictionary-literal.js +214 -0
  816. package/dist/expressions/dictionary-literal.js.map +1 -0
  817. package/dist/expressions/dictionary-safe-access.d.ts +4 -0
  818. package/dist/expressions/dictionary-safe-access.d.ts.map +1 -0
  819. package/dist/expressions/dictionary-safe-access.js +86 -0
  820. package/dist/expressions/dictionary-safe-access.js.map +1 -0
  821. package/dist/expressions/direct-storage-types.d.ts +10 -0
  822. package/dist/expressions/direct-storage-types.d.ts.map +1 -0
  823. package/dist/expressions/direct-storage-types.js +441 -0
  824. package/dist/expressions/direct-storage-types.js.map +1 -0
  825. package/dist/expressions/exact-comparison.d.ts +17 -0
  826. package/dist/expressions/exact-comparison.d.ts.map +1 -0
  827. package/dist/expressions/exact-comparison.js +240 -0
  828. package/dist/expressions/exact-comparison.js.map +1 -0
  829. package/dist/expressions/exact-global-bindings.d.ts +6 -0
  830. package/dist/expressions/exact-global-bindings.d.ts.map +1 -0
  831. package/dist/expressions/exact-global-bindings.js +15 -0
  832. package/dist/expressions/exact-global-bindings.js.map +1 -0
  833. package/dist/expressions/expected-type-adaptation.d.ts +55 -0
  834. package/dist/expressions/expected-type-adaptation.d.ts.map +1 -0
  835. package/dist/expressions/expected-type-adaptation.js +918 -0
  836. package/dist/expressions/expected-type-adaptation.js.map +1 -0
  837. package/dist/expressions/expected-type-adaptation.test.d.ts +2 -0
  838. package/dist/expressions/expected-type-adaptation.test.d.ts.map +1 -0
  839. package/dist/expressions/expected-type-adaptation.test.js +1363 -0
  840. package/dist/expressions/expected-type-adaptation.test.js.map +1 -0
  841. package/dist/expressions/functions.d.ts +6 -15
  842. package/dist/expressions/functions.d.ts.map +1 -1
  843. package/dist/expressions/functions.js +6 -219
  844. package/dist/expressions/functions.js.map +1 -1
  845. package/dist/expressions/identifier-storage.d.ts +43 -0
  846. package/dist/expressions/identifier-storage.d.ts.map +1 -0
  847. package/dist/expressions/identifier-storage.js +478 -0
  848. package/dist/expressions/identifier-storage.js.map +1 -0
  849. package/dist/expressions/identifiers.d.ts.map +1 -1
  850. package/dist/expressions/identifiers.js +145 -51
  851. package/dist/expressions/identifiers.js.map +1 -1
  852. package/dist/expressions/index-cases/alias-carrier-widening.test.d.ts +2 -0
  853. package/dist/expressions/index-cases/alias-carrier-widening.test.d.ts.map +1 -0
  854. package/dist/expressions/index-cases/alias-carrier-widening.test.js +347 -0
  855. package/dist/expressions/index-cases/alias-carrier-widening.test.js.map +1 -0
  856. package/dist/expressions/index-cases/array-wrapper-recursion-b.test.d.ts +2 -0
  857. package/dist/expressions/index-cases/array-wrapper-recursion-b.test.d.ts.map +1 -0
  858. package/dist/expressions/index-cases/array-wrapper-recursion-b.test.js +356 -0
  859. package/dist/expressions/index-cases/array-wrapper-recursion-b.test.js.map +1 -0
  860. package/dist/expressions/index-cases/array-wrapper-recursion-c.test.d.ts +2 -0
  861. package/dist/expressions/index-cases/array-wrapper-recursion-c.test.d.ts.map +1 -0
  862. package/dist/expressions/index-cases/array-wrapper-recursion-c.test.js +233 -0
  863. package/dist/expressions/index-cases/array-wrapper-recursion-c.test.js.map +1 -0
  864. package/dist/expressions/index-cases/basic-literals-and-calls.test.d.ts +2 -0
  865. package/dist/expressions/index-cases/basic-literals-and-calls.test.d.ts.map +1 -0
  866. package/dist/expressions/index-cases/basic-literals-and-calls.test.js +550 -0
  867. package/dist/expressions/index-cases/basic-literals-and-calls.test.js.map +1 -0
  868. package/dist/expressions/index-cases/defaults-and-char-context.test.d.ts +2 -0
  869. package/dist/expressions/index-cases/defaults-and-char-context.test.d.ts.map +1 -0
  870. package/dist/expressions/index-cases/defaults-and-char-context.test.js +951 -0
  871. package/dist/expressions/index-cases/defaults-and-char-context.test.js.map +1 -0
  872. package/dist/expressions/index-cases/dictionary-and-object-initializers-a.test.d.ts +2 -0
  873. package/dist/expressions/index-cases/dictionary-and-object-initializers-a.test.d.ts.map +1 -0
  874. package/dist/expressions/index-cases/dictionary-and-object-initializers-a.test.js +533 -0
  875. package/dist/expressions/index-cases/dictionary-and-object-initializers-a.test.js.map +1 -0
  876. package/dist/expressions/index-cases/dictionary-and-object-initializers-b.test.d.ts +2 -0
  877. package/dist/expressions/index-cases/dictionary-and-object-initializers-b.test.d.ts.map +1 -0
  878. package/dist/expressions/index-cases/dictionary-and-object-initializers-b.test.js +336 -0
  879. package/dist/expressions/index-cases/dictionary-and-object-initializers-b.test.js.map +1 -0
  880. package/dist/expressions/index-cases/fluent-and-ef-operators.test.d.ts +2 -0
  881. package/dist/expressions/index-cases/fluent-and-ef-operators.test.d.ts.map +1 -0
  882. package/dist/expressions/index-cases/fluent-and-ef-operators.test.js +352 -0
  883. package/dist/expressions/index-cases/fluent-and-ef-operators.test.js.map +1 -0
  884. package/dist/expressions/index-cases/helpers.d.ts +13 -0
  885. package/dist/expressions/index-cases/helpers.d.ts.map +1 -0
  886. package/dist/expressions/index-cases/helpers.js +27 -0
  887. package/dist/expressions/index-cases/helpers.js.map +1 -0
  888. package/dist/expressions/index-cases/member-access-and-array-wrappers-a.test.d.ts +2 -0
  889. package/dist/expressions/index-cases/member-access-and-array-wrappers-a.test.d.ts.map +1 -0
  890. package/dist/expressions/index-cases/member-access-and-array-wrappers-a.test.js +429 -0
  891. package/dist/expressions/index-cases/member-access-and-array-wrappers-a.test.js.map +1 -0
  892. package/dist/expressions/index-cases/nullable-and-comparisons.test.d.ts +2 -0
  893. package/dist/expressions/index-cases/nullable-and-comparisons.test.d.ts.map +1 -0
  894. package/dist/expressions/index-cases/nullable-and-comparisons.test.js +423 -0
  895. package/dist/expressions/index-cases/nullable-and-comparisons.test.js.map +1 -0
  896. package/dist/expressions/index-cases/runtime-subset-and-assertions.test.d.ts +2 -0
  897. package/dist/expressions/index-cases/runtime-subset-and-assertions.test.d.ts.map +1 -0
  898. package/dist/expressions/index-cases/runtime-subset-and-assertions.test.js +482 -0
  899. package/dist/expressions/index-cases/runtime-subset-and-assertions.test.js.map +1 -0
  900. package/dist/expressions/index-cases/runtime-union-reification-a.test.d.ts +2 -0
  901. package/dist/expressions/index-cases/runtime-union-reification-a.test.d.ts.map +1 -0
  902. package/dist/expressions/index-cases/runtime-union-reification-a.test.js +454 -0
  903. package/dist/expressions/index-cases/runtime-union-reification-a.test.js.map +1 -0
  904. package/dist/expressions/index-cases/runtime-union-reification-b.test.d.ts +2 -0
  905. package/dist/expressions/index-cases/runtime-union-reification-b.test.d.ts.map +1 -0
  906. package/dist/expressions/index-cases/runtime-union-reification-b.test.js +852 -0
  907. package/dist/expressions/index-cases/runtime-union-reification-b.test.js.map +1 -0
  908. package/dist/expressions/index-cases/spreads-and-member-bindings.test.d.ts +2 -0
  909. package/dist/expressions/index-cases/spreads-and-member-bindings.test.d.ts.map +1 -0
  910. package/dist/expressions/index-cases/spreads-and-member-bindings.test.js +616 -0
  911. package/dist/expressions/index-cases/spreads-and-member-bindings.test.js.map +1 -0
  912. package/dist/expressions/index-cases/string-and-array-fallbacks-a.test.d.ts +2 -0
  913. package/dist/expressions/index-cases/string-and-array-fallbacks-a.test.d.ts.map +1 -0
  914. package/dist/expressions/index-cases/string-and-array-fallbacks-a.test.js +304 -0
  915. package/dist/expressions/index-cases/string-and-array-fallbacks-a.test.js.map +1 -0
  916. package/dist/expressions/index-cases/string-and-array-fallbacks-b.test.d.ts +2 -0
  917. package/dist/expressions/index-cases/string-and-array-fallbacks-b.test.d.ts.map +1 -0
  918. package/dist/expressions/index-cases/string-and-array-fallbacks-b.test.js +369 -0
  919. package/dist/expressions/index-cases/string-and-array-fallbacks-b.test.js.map +1 -0
  920. package/dist/expressions/index-cases/tuple-rest-and-unions.test.d.ts +2 -0
  921. package/dist/expressions/index-cases/tuple-rest-and-unions.test.d.ts.map +1 -0
  922. package/dist/expressions/index-cases/tuple-rest-and-unions.test.js +392 -0
  923. package/dist/expressions/index-cases/tuple-rest-and-unions.test.js.map +1 -0
  924. package/dist/expressions/index.test.d.ts +17 -5
  925. package/dist/expressions/index.test.d.ts.map +1 -1
  926. package/dist/expressions/index.test.js +17 -2707
  927. package/dist/expressions/index.test.js.map +1 -1
  928. package/dist/expressions/invoked-lambda.d.ts +12 -0
  929. package/dist/expressions/invoked-lambda.d.ts.map +1 -0
  930. package/dist/expressions/invoked-lambda.js +69 -0
  931. package/dist/expressions/invoked-lambda.js.map +1 -0
  932. package/dist/expressions/lambda-body.d.ts +23 -0
  933. package/dist/expressions/lambda-body.d.ts.map +1 -0
  934. package/dist/expressions/lambda-body.js +421 -0
  935. package/dist/expressions/lambda-body.js.map +1 -0
  936. package/dist/expressions/lambda-parameters.d.ts +32 -0
  937. package/dist/expressions/lambda-parameters.d.ts.map +1 -0
  938. package/dist/expressions/lambda-parameters.js +279 -0
  939. package/dist/expressions/lambda-parameters.js.map +1 -0
  940. package/dist/expressions/literals.d.ts.map +1 -1
  941. package/dist/expressions/literals.js +25 -42
  942. package/dist/expressions/literals.js.map +1 -1
  943. package/dist/expressions/literals.test.js +48 -0
  944. package/dist/expressions/literals.test.js.map +1 -1
  945. package/dist/expressions/object-helpers.d.ts +22 -0
  946. package/dist/expressions/object-helpers.d.ts.map +1 -0
  947. package/dist/expressions/object-helpers.js +98 -0
  948. package/dist/expressions/object-helpers.js.map +1 -0
  949. package/dist/expressions/object-literal-spreads.d.ts +20 -0
  950. package/dist/expressions/object-literal-spreads.d.ts.map +1 -0
  951. package/dist/expressions/object-literal-spreads.js +188 -0
  952. package/dist/expressions/object-literal-spreads.js.map +1 -0
  953. package/dist/expressions/object-literal.d.ts +18 -0
  954. package/dist/expressions/object-literal.d.ts.map +1 -0
  955. package/dist/expressions/object-literal.js +178 -0
  956. package/dist/expressions/object-literal.js.map +1 -0
  957. package/dist/expressions/operators/assignment-emitter.d.ts.map +1 -1
  958. package/dist/expressions/operators/assignment-emitter.js +80 -33
  959. package/dist/expressions/operators/assignment-emitter.js.map +1 -1
  960. package/dist/expressions/operators/binary-dispatch.d.ts +37 -0
  961. package/dist/expressions/operators/binary-dispatch.d.ts.map +1 -0
  962. package/dist/expressions/operators/binary-dispatch.js +449 -0
  963. package/dist/expressions/operators/binary-dispatch.js.map +1 -0
  964. package/dist/expressions/operators/binary-emitter.d.ts +6 -29
  965. package/dist/expressions/operators/binary-emitter.d.ts.map +1 -1
  966. package/dist/expressions/operators/binary-emitter.js +6 -435
  967. package/dist/expressions/operators/binary-emitter.js.map +1 -1
  968. package/dist/expressions/operators/binary-helpers.d.ts +17 -0
  969. package/dist/expressions/operators/binary-helpers.d.ts.map +1 -0
  970. package/dist/expressions/operators/binary-helpers.js +119 -0
  971. package/dist/expressions/operators/binary-helpers.js.map +1 -0
  972. package/dist/expressions/operators/binary-runtime-union-comparison.d.ts +7 -0
  973. package/dist/expressions/operators/binary-runtime-union-comparison.d.ts.map +1 -0
  974. package/dist/expressions/operators/binary-runtime-union-comparison.js +150 -0
  975. package/dist/expressions/operators/binary-runtime-union-comparison.js.map +1 -0
  976. package/dist/expressions/operators/binary-special-ops.d.ts +29 -0
  977. package/dist/expressions/operators/binary-special-ops.d.ts.map +1 -0
  978. package/dist/expressions/operators/binary-special-ops.js +468 -0
  979. package/dist/expressions/operators/binary-special-ops.js.map +1 -0
  980. package/dist/expressions/operators/conditional-emitter.d.ts.map +1 -1
  981. package/dist/expressions/operators/conditional-emitter.js +221 -216
  982. package/dist/expressions/operators/conditional-emitter.js.map +1 -1
  983. package/dist/expressions/operators/helpers.d.ts +10 -0
  984. package/dist/expressions/operators/helpers.d.ts.map +1 -1
  985. package/dist/expressions/operators/helpers.js +30 -0
  986. package/dist/expressions/operators/helpers.js.map +1 -1
  987. package/dist/expressions/operators/logical-emitter.d.ts +2 -2
  988. package/dist/expressions/operators/logical-emitter.d.ts.map +1 -1
  989. package/dist/expressions/operators/logical-emitter.js +293 -12
  990. package/dist/expressions/operators/logical-emitter.js.map +1 -1
  991. package/dist/expressions/operators/unary-emitter.d.ts.map +1 -1
  992. package/dist/expressions/operators/unary-emitter.js +14 -40
  993. package/dist/expressions/operators/unary-emitter.js.map +1 -1
  994. package/dist/expressions/operators/write-targets.d.ts +5 -0
  995. package/dist/expressions/operators/write-targets.d.ts.map +1 -0
  996. package/dist/expressions/operators/write-targets.js +65 -0
  997. package/dist/expressions/operators/write-targets.js.map +1 -0
  998. package/dist/expressions/other.d.ts.map +1 -1
  999. package/dist/expressions/other.js +20 -58
  1000. package/dist/expressions/other.js.map +1 -1
  1001. package/dist/expressions/post-emission-adaptation.d.ts +19 -0
  1002. package/dist/expressions/post-emission-adaptation.d.ts.map +1 -0
  1003. package/dist/expressions/post-emission-adaptation.js +939 -0
  1004. package/dist/expressions/post-emission-adaptation.js.map +1 -0
  1005. package/dist/expressions/runtime-union-adaptation-projection.d.ts +12 -0
  1006. package/dist/expressions/runtime-union-adaptation-projection.d.ts.map +1 -0
  1007. package/dist/expressions/runtime-union-adaptation-projection.js +182 -0
  1008. package/dist/expressions/runtime-union-adaptation-projection.js.map +1 -0
  1009. package/dist/expressions/runtime-union-adaptation-upcast.d.ts +11 -0
  1010. package/dist/expressions/runtime-union-adaptation-upcast.d.ts.map +1 -0
  1011. package/dist/expressions/runtime-union-adaptation-upcast.js +722 -0
  1012. package/dist/expressions/runtime-union-adaptation-upcast.js.map +1 -0
  1013. package/dist/expressions/runtime-union-adaptation.d.ts +10 -0
  1014. package/dist/expressions/runtime-union-adaptation.d.ts.map +1 -0
  1015. package/dist/expressions/runtime-union-adaptation.js +10 -0
  1016. package/dist/expressions/runtime-union-adaptation.js.map +1 -0
  1017. package/dist/expressions/structural-adaptation-types.d.ts +12 -0
  1018. package/dist/expressions/structural-adaptation-types.d.ts.map +1 -0
  1019. package/dist/expressions/structural-adaptation-types.js +3 -0
  1020. package/dist/expressions/structural-adaptation-types.js.map +1 -0
  1021. package/dist/expressions/structural-adaptation.d.ts +16 -0
  1022. package/dist/expressions/structural-adaptation.d.ts.map +1 -0
  1023. package/dist/expressions/structural-adaptation.js +14 -0
  1024. package/dist/expressions/structural-adaptation.js.map +1 -0
  1025. package/dist/expressions/structural-anonymous-targets.d.ts +4 -0
  1026. package/dist/expressions/structural-anonymous-targets.d.ts.map +1 -0
  1027. package/dist/expressions/structural-anonymous-targets.js +156 -0
  1028. package/dist/expressions/structural-anonymous-targets.js.map +1 -0
  1029. package/dist/expressions/structural-collection-adaptation.d.ts +7 -0
  1030. package/dist/expressions/structural-collection-adaptation.d.ts.map +1 -0
  1031. package/dist/expressions/structural-collection-adaptation.js +682 -0
  1032. package/dist/expressions/structural-collection-adaptation.js.map +1 -0
  1033. package/dist/expressions/structural-object-adaptation.d.ts +6 -0
  1034. package/dist/expressions/structural-object-adaptation.d.ts.map +1 -0
  1035. package/dist/expressions/structural-object-adaptation.js +213 -0
  1036. package/dist/expressions/structural-object-adaptation.js.map +1 -0
  1037. package/dist/expressions/structural-property-model.d.ts +6 -0
  1038. package/dist/expressions/structural-property-model.d.ts.map +1 -0
  1039. package/dist/expressions/structural-property-model.js +304 -0
  1040. package/dist/expressions/structural-property-model.js.map +1 -0
  1041. package/dist/expressions/structural-type-shapes.d.ts +19 -0
  1042. package/dist/expressions/structural-type-shapes.d.ts.map +1 -0
  1043. package/dist/expressions/structural-type-shapes.js +318 -0
  1044. package/dist/expressions/structural-type-shapes.js.map +1 -0
  1045. package/dist/expressions/structural-type-shapes.test.d.ts +2 -0
  1046. package/dist/expressions/structural-type-shapes.test.d.ts.map +1 -0
  1047. package/dist/expressions/structural-type-shapes.test.js +60 -0
  1048. package/dist/expressions/structural-type-shapes.test.js.map +1 -0
  1049. package/dist/expressions/type-assertion-emitters.d.ts +50 -0
  1050. package/dist/expressions/type-assertion-emitters.d.ts.map +1 -0
  1051. package/dist/expressions/type-assertion-emitters.js +675 -0
  1052. package/dist/expressions/type-assertion-emitters.js.map +1 -0
  1053. package/dist/fixture-regression-mirrors.test.d.ts +2 -0
  1054. package/dist/fixture-regression-mirrors.test.d.ts.map +1 -0
  1055. package/dist/fixture-regression-mirrors.test.js +580 -0
  1056. package/dist/fixture-regression-mirrors.test.js.map +1 -0
  1057. package/dist/generated-files.d.ts +19 -0
  1058. package/dist/generated-files.d.ts.map +1 -0
  1059. package/dist/generated-files.js +519 -0
  1060. package/dist/generated-files.js.map +1 -0
  1061. package/dist/generated-files.test.d.ts +2 -0
  1062. package/dist/generated-files.test.d.ts.map +1 -0
  1063. package/dist/generated-files.test.js +103 -0
  1064. package/dist/generated-files.test.js.map +1 -0
  1065. package/dist/generator-cases/bidirectional-core.test.d.ts +6 -0
  1066. package/dist/generator-cases/bidirectional-core.test.d.ts.map +1 -0
  1067. package/dist/generator-cases/bidirectional-core.test.js +272 -0
  1068. package/dist/generator-cases/bidirectional-core.test.js.map +1 -0
  1069. package/dist/generator-cases/bidirectional-features.test.d.ts +6 -0
  1070. package/dist/generator-cases/bidirectional-features.test.d.ts.map +1 -0
  1071. package/dist/generator-cases/bidirectional-features.test.js +360 -0
  1072. package/dist/generator-cases/bidirectional-features.test.js.map +1 -0
  1073. package/dist/generator-cases/simple-generators.test.d.ts +6 -0
  1074. package/dist/generator-cases/simple-generators.test.d.ts.map +1 -0
  1075. package/dist/generator-cases/simple-generators.test.js +227 -0
  1076. package/dist/generator-cases/simple-generators.test.js.map +1 -0
  1077. package/dist/generator-exchange.d.ts +3 -2
  1078. package/dist/generator-exchange.d.ts.map +1 -1
  1079. package/dist/generator-exchange.js +49 -17
  1080. package/dist/generator-exchange.js.map +1 -1
  1081. package/dist/generator-wrapper-builders.d.ts +10 -0
  1082. package/dist/generator-wrapper-builders.d.ts.map +1 -0
  1083. package/dist/generator-wrapper-builders.js +288 -0
  1084. package/dist/generator-wrapper-builders.js.map +1 -0
  1085. package/dist/generator-wrapper.d.ts +16 -5
  1086. package/dist/generator-wrapper.d.ts.map +1 -1
  1087. package/dist/generator-wrapper.js +55 -325
  1088. package/dist/generator-wrapper.js.map +1 -1
  1089. package/dist/generator.test.d.ts +3 -5
  1090. package/dist/generator.test.d.ts.map +1 -1
  1091. package/dist/generator.test.js +3 -766
  1092. package/dist/generator.test.js.map +1 -1
  1093. package/dist/golden-tests/config-parser.d.ts.map +1 -1
  1094. package/dist/golden-tests/config-parser.js +7 -0
  1095. package/dist/golden-tests/config-parser.js.map +1 -1
  1096. package/dist/golden-tests/discovery.js +1 -0
  1097. package/dist/golden-tests/discovery.js.map +1 -1
  1098. package/dist/golden-tests/runner.d.ts.map +1 -1
  1099. package/dist/golden-tests/runner.js +12 -40
  1100. package/dist/golden-tests/runner.js.map +1 -1
  1101. package/dist/golden-tests/types.d.ts +2 -0
  1102. package/dist/golden-tests/types.d.ts.map +1 -1
  1103. package/dist/hierarchical-bindings.test.js +6 -9
  1104. package/dist/hierarchical-bindings.test.js.map +1 -1
  1105. package/dist/integration-cases/arrow-and-generics-a.test.d.ts +2 -0
  1106. package/dist/integration-cases/arrow-and-generics-a.test.d.ts.map +1 -0
  1107. package/dist/integration-cases/arrow-and-generics-a.test.js +695 -0
  1108. package/dist/integration-cases/arrow-and-generics-a.test.js.map +1 -0
  1109. package/dist/integration-cases/arrow-and-generics-b.test.d.ts +2 -0
  1110. package/dist/integration-cases/arrow-and-generics-b.test.d.ts.map +1 -0
  1111. package/dist/integration-cases/arrow-and-generics-b.test.js +218 -0
  1112. package/dist/integration-cases/arrow-and-generics-b.test.js.map +1 -0
  1113. package/dist/integration-cases/await-and-intrinsics.test.d.ts +2 -0
  1114. package/dist/integration-cases/await-and-intrinsics.test.d.ts.map +1 -0
  1115. package/dist/integration-cases/await-and-intrinsics.test.js +237 -0
  1116. package/dist/integration-cases/await-and-intrinsics.test.js.map +1 -0
  1117. package/dist/integration-cases/clr-iterable-overloads.test.d.ts +2 -0
  1118. package/dist/integration-cases/clr-iterable-overloads.test.d.ts.map +1 -0
  1119. package/dist/integration-cases/clr-iterable-overloads.test.js +446 -0
  1120. package/dist/integration-cases/clr-iterable-overloads.test.js.map +1 -0
  1121. package/dist/integration-cases/full-module-and-promises.test.d.ts +2 -0
  1122. package/dist/integration-cases/full-module-and-promises.test.d.ts.map +1 -0
  1123. package/dist/integration-cases/full-module-and-promises.test.js +472 -0
  1124. package/dist/integration-cases/full-module-and-promises.test.js.map +1 -0
  1125. package/dist/integration-cases/helpers.d.ts +7 -0
  1126. package/dist/integration-cases/helpers.d.ts.map +1 -0
  1127. package/dist/integration-cases/helpers.js +348 -0
  1128. package/dist/integration-cases/helpers.js.map +1 -0
  1129. package/dist/integration-cases/object-literals-and-channels.test.d.ts +2 -0
  1130. package/dist/integration-cases/object-literals-and-channels.test.d.ts.map +1 -0
  1131. package/dist/integration-cases/object-literals-and-channels.test.js +72 -0
  1132. package/dist/integration-cases/object-literals-and-channels.test.js.map +1 -0
  1133. package/dist/integration-cases/regression-coverage-a.test.d.ts +2 -0
  1134. package/dist/integration-cases/regression-coverage-a.test.d.ts.map +1 -0
  1135. package/dist/integration-cases/regression-coverage-a.test.js +533 -0
  1136. package/dist/integration-cases/regression-coverage-a.test.js.map +1 -0
  1137. package/dist/integration-cases/regression-coverage-b.test.d.ts +2 -0
  1138. package/dist/integration-cases/regression-coverage-b.test.d.ts.map +1 -0
  1139. package/dist/integration-cases/regression-coverage-b.test.js +806 -0
  1140. package/dist/integration-cases/regression-coverage-b.test.js.map +1 -0
  1141. package/dist/integration-cases/regression-coverage-c.test.d.ts +2 -0
  1142. package/dist/integration-cases/regression-coverage-c.test.d.ts.map +1 -0
  1143. package/dist/integration-cases/regression-coverage-c.test.js +4139 -0
  1144. package/dist/integration-cases/regression-coverage-c.test.js.map +1 -0
  1145. package/dist/integration.test.d.ts +9 -5
  1146. package/dist/integration.test.d.ts.map +1 -1
  1147. package/dist/integration.test.js +9 -1223
  1148. package/dist/integration.test.js.map +1 -1
  1149. package/dist/invariants/numeric-proof-contract-cases/emitter-and-annotations.test.d.ts +5 -0
  1150. package/dist/invariants/numeric-proof-contract-cases/emitter-and-annotations.test.d.ts.map +1 -0
  1151. package/dist/invariants/numeric-proof-contract-cases/emitter-and-annotations.test.js +93 -0
  1152. package/dist/invariants/numeric-proof-contract-cases/emitter-and-annotations.test.js.map +1 -0
  1153. package/dist/invariants/numeric-proof-contract-cases/helpers.d.ts +14 -0
  1154. package/dist/invariants/numeric-proof-contract-cases/helpers.d.ts.map +1 -0
  1155. package/dist/invariants/numeric-proof-contract-cases/helpers.js +158 -0
  1156. package/dist/invariants/numeric-proof-contract-cases/helpers.js.map +1 -0
  1157. package/dist/invariants/numeric-proof-contract-cases/proof-and-diagnostics.test.d.ts +5 -0
  1158. package/dist/invariants/numeric-proof-contract-cases/proof-and-diagnostics.test.d.ts.map +1 -0
  1159. package/dist/invariants/numeric-proof-contract-cases/proof-and-diagnostics.test.js +242 -0
  1160. package/dist/invariants/numeric-proof-contract-cases/proof-and-diagnostics.test.js.map +1 -0
  1161. package/dist/invariants/numeric-proof-contract.test.d.ts +2 -18
  1162. package/dist/invariants/numeric-proof-contract.test.d.ts.map +1 -1
  1163. package/dist/invariants/numeric-proof-contract.test.js +2 -510
  1164. package/dist/invariants/numeric-proof-contract.test.js.map +1 -1
  1165. package/dist/json-aot-generic.test.js +323 -5
  1166. package/dist/json-aot-generic.test.js.map +1 -1
  1167. package/dist/naming-policy.d.ts.map +1 -1
  1168. package/dist/naming-policy.js +19 -0
  1169. package/dist/naming-policy.js.map +1 -1
  1170. package/dist/patterns/local-lowering.d.ts +27 -0
  1171. package/dist/patterns/local-lowering.d.ts.map +1 -0
  1172. package/dist/patterns/local-lowering.js +296 -0
  1173. package/dist/patterns/local-lowering.js.map +1 -0
  1174. package/dist/patterns/static-assignment-lowering.d.ts +11 -0
  1175. package/dist/patterns/static-assignment-lowering.d.ts.map +1 -0
  1176. package/dist/patterns/static-assignment-lowering.js +11 -0
  1177. package/dist/patterns/static-assignment-lowering.js.map +1 -0
  1178. package/dist/patterns/static-lowering-assignments.d.ts +16 -0
  1179. package/dist/patterns/static-lowering-assignments.d.ts.map +1 -0
  1180. package/dist/patterns/static-lowering-assignments.js +269 -0
  1181. package/dist/patterns/static-lowering-assignments.js.map +1 -0
  1182. package/dist/patterns/static-lowering-members.d.ts +15 -0
  1183. package/dist/patterns/static-lowering-members.d.ts.map +1 -0
  1184. package/dist/patterns/static-lowering-members.js +231 -0
  1185. package/dist/patterns/static-lowering-members.js.map +1 -0
  1186. package/dist/patterns-cases/array-and-object.test.d.ts +2 -0
  1187. package/dist/patterns-cases/array-and-object.test.d.ts.map +1 -0
  1188. package/dist/patterns-cases/array-and-object.test.js +370 -0
  1189. package/dist/patterns-cases/array-and-object.test.js.map +1 -0
  1190. package/dist/patterns-cases/assignments-and-complex.test.d.ts +2 -0
  1191. package/dist/patterns-cases/assignments-and-complex.test.d.ts.map +1 -0
  1192. package/dist/patterns-cases/assignments-and-complex.test.js +361 -0
  1193. package/dist/patterns-cases/assignments-and-complex.test.js.map +1 -0
  1194. package/dist/patterns-cases/edge-cases.test.d.ts +2 -0
  1195. package/dist/patterns-cases/edge-cases.test.d.ts.map +1 -0
  1196. package/dist/patterns-cases/edge-cases.test.js +133 -0
  1197. package/dist/patterns-cases/edge-cases.test.js.map +1 -0
  1198. package/dist/patterns-cases/helpers.d.ts +6 -0
  1199. package/dist/patterns-cases/helpers.d.ts.map +1 -0
  1200. package/dist/patterns-cases/helpers.js +33 -0
  1201. package/dist/patterns-cases/helpers.js.map +1 -0
  1202. package/dist/patterns-cases/loops-and-parameters.test.d.ts +2 -0
  1203. package/dist/patterns-cases/loops-and-parameters.test.d.ts.map +1 -0
  1204. package/dist/patterns-cases/loops-and-parameters.test.js +275 -0
  1205. package/dist/patterns-cases/loops-and-parameters.test.js.map +1 -0
  1206. package/dist/patterns-cases/methods-and-semantic-infra.test.d.ts +2 -0
  1207. package/dist/patterns-cases/methods-and-semantic-infra.test.d.ts.map +1 -0
  1208. package/dist/patterns-cases/methods-and-semantic-infra.test.js +438 -0
  1209. package/dist/patterns-cases/methods-and-semantic-infra.test.js.map +1 -0
  1210. package/dist/patterns.d.ts +5 -20
  1211. package/dist/patterns.d.ts.map +1 -1
  1212. package/dist/patterns.js +3 -830
  1213. package/dist/patterns.js.map +1 -1
  1214. package/dist/patterns.test.d.ts +5 -14
  1215. package/dist/patterns.test.d.ts.map +1 -1
  1216. package/dist/patterns.test.js +5 -1341
  1217. package/dist/patterns.test.js.map +1 -1
  1218. package/dist/runtime-union-cases/helpers.d.ts +7 -0
  1219. package/dist/runtime-union-cases/helpers.d.ts.map +1 -0
  1220. package/dist/runtime-union-cases/helpers.js +17 -0
  1221. package/dist/runtime-union-cases/helpers.js.map +1 -0
  1222. package/dist/specialization/generic-functions-cases/basics-and-structural.test.d.ts +6 -0
  1223. package/dist/specialization/generic-functions-cases/basics-and-structural.test.d.ts.map +1 -0
  1224. package/dist/specialization/generic-functions-cases/basics-and-structural.test.js +357 -0
  1225. package/dist/specialization/generic-functions-cases/basics-and-structural.test.js.map +1 -0
  1226. package/dist/specialization/generic-functions-cases/class-and-interface-constraints.test.d.ts +6 -0
  1227. package/dist/specialization/generic-functions-cases/class-and-interface-constraints.test.d.ts.map +1 -0
  1228. package/dist/specialization/generic-functions-cases/class-and-interface-constraints.test.js +304 -0
  1229. package/dist/specialization/generic-functions-cases/class-and-interface-constraints.test.js.map +1 -0
  1230. package/dist/specialization/generic-functions.test.d.ts +2 -5
  1231. package/dist/specialization/generic-functions.test.d.ts.map +1 -1
  1232. package/dist/specialization/generic-functions.test.js +2 -650
  1233. package/dist/specialization/generic-functions.test.js.map +1 -1
  1234. package/dist/specialization/helpers.d.ts.map +1 -1
  1235. package/dist/specialization/helpers.js +2 -16
  1236. package/dist/specialization/helpers.js.map +1 -1
  1237. package/dist/specialization/interfaces.test.js +58 -0
  1238. package/dist/specialization/interfaces.test.js.map +1 -1
  1239. package/dist/specialization/naming.d.ts.map +1 -1
  1240. package/dist/specialization/naming.js +9 -2
  1241. package/dist/specialization/naming.js.map +1 -1
  1242. package/dist/statements/block-emitters/block-and-return.d.ts +10 -0
  1243. package/dist/statements/block-emitters/block-and-return.d.ts.map +1 -0
  1244. package/dist/statements/block-emitters/block-and-return.js +132 -0
  1245. package/dist/statements/block-emitters/block-and-return.js.map +1 -0
  1246. package/dist/statements/block-emitters/expression-statements.d.ts +7 -0
  1247. package/dist/statements/block-emitters/expression-statements.d.ts.map +1 -0
  1248. package/dist/statements/block-emitters/expression-statements.js +72 -0
  1249. package/dist/statements/block-emitters/expression-statements.js.map +1 -0
  1250. package/dist/statements/block-emitters/yield-statements.d.ts +13 -0
  1251. package/dist/statements/block-emitters/yield-statements.d.ts.map +1 -0
  1252. package/dist/statements/block-emitters/yield-statements.js +217 -0
  1253. package/dist/statements/block-emitters/yield-statements.js.map +1 -0
  1254. package/dist/statements/blocks.d.ts +3 -86
  1255. package/dist/statements/blocks.d.ts.map +1 -1
  1256. package/dist/statements/blocks.js +3 -443
  1257. package/dist/statements/blocks.js.map +1 -1
  1258. package/dist/statements/classes/members/constructors.d.ts.map +1 -1
  1259. package/dist/statements/classes/members/constructors.js +105 -13
  1260. package/dist/statements/classes/members/constructors.js.map +1 -1
  1261. package/dist/statements/classes/members/methods.d.ts +1 -1
  1262. package/dist/statements/classes/members/methods.d.ts.map +1 -1
  1263. package/dist/statements/classes/members/methods.js +330 -83
  1264. package/dist/statements/classes/members/methods.js.map +1 -1
  1265. package/dist/statements/classes/members/orchestrator.d.ts +3 -3
  1266. package/dist/statements/classes/members/orchestrator.d.ts.map +1 -1
  1267. package/dist/statements/classes/members/orchestrator.js +10 -4
  1268. package/dist/statements/classes/members/orchestrator.js.map +1 -1
  1269. package/dist/statements/classes/members/properties.d.ts.map +1 -1
  1270. package/dist/statements/classes/members/properties.js +29 -5
  1271. package/dist/statements/classes/members/properties.js.map +1 -1
  1272. package/dist/statements/classes/members/shadowing.test.js +3 -2
  1273. package/dist/statements/classes/members/shadowing.test.js.map +1 -1
  1274. package/dist/statements/classes/parameters.d.ts +9 -1
  1275. package/dist/statements/classes/parameters.d.ts.map +1 -1
  1276. package/dist/statements/classes/parameters.js +88 -7
  1277. package/dist/statements/classes/parameters.js.map +1 -1
  1278. package/dist/statements/classes/properties.d.ts.map +1 -1
  1279. package/dist/statements/classes/properties.js +7 -17
  1280. package/dist/statements/classes/properties.js.map +1 -1
  1281. package/dist/statements/control/conditionals/branch-context.d.ts +58 -0
  1282. package/dist/statements/control/conditionals/branch-context.d.ts.map +1 -0
  1283. package/dist/statements/control/conditionals/branch-context.js +530 -0
  1284. package/dist/statements/control/conditionals/branch-context.js.map +1 -0
  1285. package/dist/statements/control/conditionals/branch-context.test.d.ts +2 -0
  1286. package/dist/statements/control/conditionals/branch-context.test.d.ts.map +1 -0
  1287. package/dist/statements/control/conditionals/branch-context.test.js +34 -0
  1288. package/dist/statements/control/conditionals/branch-context.test.js.map +1 -0
  1289. package/dist/statements/control/conditionals/guard-analysis.d.ts +8 -207
  1290. package/dist/statements/control/conditionals/guard-analysis.d.ts.map +1 -1
  1291. package/dist/statements/control/conditionals/guard-analysis.js +8 -750
  1292. package/dist/statements/control/conditionals/guard-analysis.js.map +1 -1
  1293. package/dist/statements/control/conditionals/guard-detectors-discriminant.d.ts +20 -0
  1294. package/dist/statements/control/conditionals/guard-detectors-discriminant.d.ts.map +1 -0
  1295. package/dist/statements/control/conditionals/guard-detectors-discriminant.js +214 -0
  1296. package/dist/statements/control/conditionals/guard-detectors-discriminant.js.map +1 -0
  1297. package/dist/statements/control/conditionals/guard-detectors-structural.d.ts +32 -0
  1298. package/dist/statements/control/conditionals/guard-detectors-structural.d.ts.map +1 -0
  1299. package/dist/statements/control/conditionals/guard-detectors-structural.js +302 -0
  1300. package/dist/statements/control/conditionals/guard-detectors-structural.js.map +1 -0
  1301. package/dist/statements/control/conditionals/guard-detectors.d.ts +11 -0
  1302. package/dist/statements/control/conditionals/guard-detectors.d.ts.map +1 -0
  1303. package/dist/statements/control/conditionals/guard-detectors.js +11 -0
  1304. package/dist/statements/control/conditionals/guard-detectors.js.map +1 -0
  1305. package/dist/statements/control/conditionals/guard-extraction.d.ts +30 -0
  1306. package/dist/statements/control/conditionals/guard-extraction.d.ts.map +1 -0
  1307. package/dist/statements/control/conditionals/guard-extraction.js +304 -0
  1308. package/dist/statements/control/conditionals/guard-extraction.js.map +1 -0
  1309. package/dist/statements/control/conditionals/guard-types.d.ts +214 -0
  1310. package/dist/statements/control/conditionals/guard-types.d.ts.map +1 -0
  1311. package/dist/statements/control/conditionals/guard-types.js +242 -0
  1312. package/dist/statements/control/conditionals/guard-types.js.map +1 -0
  1313. package/dist/statements/control/conditionals/if-emit-instanceof-guards.d.ts +28 -0
  1314. package/dist/statements/control/conditionals/if-emit-instanceof-guards.d.ts.map +1 -0
  1315. package/dist/statements/control/conditionals/if-emit-instanceof-guards.js +261 -0
  1316. package/dist/statements/control/conditionals/if-emit-instanceof-guards.js.map +1 -0
  1317. package/dist/statements/control/conditionals/if-emit-predicate-guards.d.ts +24 -0
  1318. package/dist/statements/control/conditionals/if-emit-predicate-guards.d.ts.map +1 -0
  1319. package/dist/statements/control/conditionals/if-emit-predicate-guards.js +165 -0
  1320. package/dist/statements/control/conditionals/if-emit-predicate-guards.js.map +1 -0
  1321. package/dist/statements/control/conditionals/if-emit-property-discriminant-guards.d.ts +24 -0
  1322. package/dist/statements/control/conditionals/if-emit-property-discriminant-guards.d.ts.map +1 -0
  1323. package/dist/statements/control/conditionals/if-emit-property-discriminant-guards.js +391 -0
  1324. package/dist/statements/control/conditionals/if-emit-property-discriminant-guards.js.map +1 -0
  1325. package/dist/statements/control/conditionals/if-emit-type-guards.d.ts +10 -0
  1326. package/dist/statements/control/conditionals/if-emit-type-guards.d.ts.map +1 -0
  1327. package/dist/statements/control/conditionals/if-emit-type-guards.js +10 -0
  1328. package/dist/statements/control/conditionals/if-emit-type-guards.js.map +1 -0
  1329. package/dist/statements/control/conditionals/if-emit-typeof-array-guards.d.ts +23 -0
  1330. package/dist/statements/control/conditionals/if-emit-typeof-array-guards.d.ts.map +1 -0
  1331. package/dist/statements/control/conditionals/if-emit-typeof-array-guards.js +264 -0
  1332. package/dist/statements/control/conditionals/if-emit-typeof-array-guards.js.map +1 -0
  1333. package/dist/statements/control/conditionals/if-emit-union-guards.d.ts +10 -0
  1334. package/dist/statements/control/conditionals/if-emit-union-guards.d.ts.map +1 -0
  1335. package/dist/statements/control/conditionals/if-emit-union-guards.js +10 -0
  1336. package/dist/statements/control/conditionals/if-emit-union-guards.js.map +1 -0
  1337. package/dist/statements/control/conditionals/if-emitter.d.ts +6 -3
  1338. package/dist/statements/control/conditionals/if-emitter.d.ts.map +1 -1
  1339. package/dist/statements/control/conditionals/if-emitter.js +99 -911
  1340. package/dist/statements/control/conditionals/if-emitter.js.map +1 -1
  1341. package/dist/statements/control/exceptions.d.ts.map +1 -1
  1342. package/dist/statements/control/exceptions.js +21 -6
  1343. package/dist/statements/control/exceptions.js.map +1 -1
  1344. package/dist/statements/control/loop-helpers.d.ts +13 -0
  1345. package/dist/statements/control/loop-helpers.d.ts.map +1 -0
  1346. package/dist/statements/control/loop-helpers.js +75 -0
  1347. package/dist/statements/control/loop-helpers.js.map +1 -0
  1348. package/dist/statements/control/loops.d.ts.map +1 -1
  1349. package/dist/statements/control/loops.js +88 -174
  1350. package/dist/statements/control/loops.js.map +1 -1
  1351. package/dist/statements/declarations/class-emitter-helpers.d.ts +17 -0
  1352. package/dist/statements/declarations/class-emitter-helpers.d.ts.map +1 -0
  1353. package/dist/statements/declarations/class-emitter-helpers.js +126 -0
  1354. package/dist/statements/declarations/class-emitter-helpers.js.map +1 -0
  1355. package/dist/statements/declarations/classes.d.ts.map +1 -1
  1356. package/dist/statements/declarations/classes.js +104 -31
  1357. package/dist/statements/declarations/classes.js.map +1 -1
  1358. package/dist/statements/declarations/function-local-emitter.d.ts +7 -0
  1359. package/dist/statements/declarations/function-local-emitter.d.ts.map +1 -0
  1360. package/dist/statements/declarations/function-local-emitter.js +363 -0
  1361. package/dist/statements/declarations/function-local-emitter.js.map +1 -0
  1362. package/dist/statements/declarations/function-module-emitter.d.ts +7 -0
  1363. package/dist/statements/declarations/function-module-emitter.d.ts.map +1 -0
  1364. package/dist/statements/declarations/function-module-emitter.js +372 -0
  1365. package/dist/statements/declarations/function-module-emitter.js.map +1 -0
  1366. package/dist/statements/declarations/function-shared.d.ts +43 -0
  1367. package/dist/statements/declarations/function-shared.d.ts.map +1 -0
  1368. package/dist/statements/declarations/function-shared.js +246 -0
  1369. package/dist/statements/declarations/function-shared.js.map +1 -0
  1370. package/dist/statements/declarations/functions.d.ts +2 -27
  1371. package/dist/statements/declarations/functions.d.ts.map +1 -1
  1372. package/dist/statements/declarations/functions.js +2 -739
  1373. package/dist/statements/declarations/functions.js.map +1 -1
  1374. package/dist/statements/declarations/interfaces-mutable-storage.test.js +10 -2
  1375. package/dist/statements/declarations/interfaces-mutable-storage.test.js.map +1 -1
  1376. package/dist/statements/declarations/interfaces.d.ts.map +1 -1
  1377. package/dist/statements/declarations/interfaces.js +29 -21
  1378. package/dist/statements/declarations/interfaces.js.map +1 -1
  1379. package/dist/statements/declarations/type-aliases.d.ts.map +1 -1
  1380. package/dist/statements/declarations/type-aliases.js +6 -12
  1381. package/dist/statements/declarations/type-aliases.js.map +1 -1
  1382. package/dist/statements/declarations/variable-local-type.d.ts +36 -0
  1383. package/dist/statements/declarations/variable-local-type.d.ts.map +1 -0
  1384. package/dist/statements/declarations/variable-local-type.js +122 -0
  1385. package/dist/statements/declarations/variable-local-type.js.map +1 -0
  1386. package/dist/statements/declarations/variable-static-arrow.d.ts +47 -0
  1387. package/dist/statements/declarations/variable-static-arrow.d.ts.map +1 -0
  1388. package/dist/statements/declarations/variable-static-arrow.js +363 -0
  1389. package/dist/statements/declarations/variable-static-arrow.js.map +1 -0
  1390. package/dist/statements/declarations/variable-type-helpers.d.ts +86 -0
  1391. package/dist/statements/declarations/variable-type-helpers.d.ts.map +1 -0
  1392. package/dist/statements/declarations/variable-type-helpers.js +242 -0
  1393. package/dist/statements/declarations/variable-type-helpers.js.map +1 -0
  1394. package/dist/statements/declarations/variable-type-resolution.d.ts +11 -0
  1395. package/dist/statements/declarations/variable-type-resolution.d.ts.map +1 -0
  1396. package/dist/statements/declarations/variable-type-resolution.js +11 -0
  1397. package/dist/statements/declarations/variable-type-resolution.js.map +1 -0
  1398. package/dist/statements/declarations/variables.d.ts +5 -1
  1399. package/dist/statements/declarations/variables.d.ts.map +1 -1
  1400. package/dist/statements/declarations/variables.js +116 -594
  1401. package/dist/statements/declarations/variables.js.map +1 -1
  1402. package/dist/statements/index.test.d.ts +10 -5
  1403. package/dist/statements/index.test.d.ts.map +1 -1
  1404. package/dist/statements/index.test.js +10 -1883
  1405. package/dist/statements/index.test.js.map +1 -1
  1406. package/dist/statements/parameter-defaults.d.ts +17 -0
  1407. package/dist/statements/parameter-defaults.d.ts.map +1 -0
  1408. package/dist/statements/parameter-defaults.js +122 -0
  1409. package/dist/statements/parameter-defaults.js.map +1 -0
  1410. package/dist/statements/statement-cases/async-returns.test.d.ts +2 -0
  1411. package/dist/statements/statement-cases/async-returns.test.d.ts.map +1 -0
  1412. package/dist/statements/statement-cases/async-returns.test.js +311 -0
  1413. package/dist/statements/statement-cases/async-returns.test.js.map +1 -0
  1414. package/dist/statements/statement-cases/flow-and-void.test.d.ts +2 -0
  1415. package/dist/statements/statement-cases/flow-and-void.test.d.ts.map +1 -0
  1416. package/dist/statements/statement-cases/flow-and-void.test.js +405 -0
  1417. package/dist/statements/statement-cases/flow-and-void.test.js.map +1 -0
  1418. package/dist/statements/statement-cases/helpers.d.ts +6 -0
  1419. package/dist/statements/statement-cases/helpers.d.ts.map +1 -0
  1420. package/dist/statements/statement-cases/helpers.js +4 -0
  1421. package/dist/statements/statement-cases/helpers.js.map +1 -0
  1422. package/dist/statements/statement-cases/if-and-instanceof-guards.test.d.ts +2 -0
  1423. package/dist/statements/statement-cases/if-and-instanceof-guards.test.d.ts.map +1 -0
  1424. package/dist/statements/statement-cases/if-and-instanceof-guards.test.js +826 -0
  1425. package/dist/statements/statement-cases/if-and-instanceof-guards.test.js.map +1 -0
  1426. package/dist/statements/statement-cases/loops.test.d.ts +2 -0
  1427. package/dist/statements/statement-cases/loops.test.d.ts.map +1 -0
  1428. package/dist/statements/statement-cases/loops.test.js +433 -0
  1429. package/dist/statements/statement-cases/loops.test.js.map +1 -0
  1430. package/dist/statements/statement-cases/scopes-and-storage.test.d.ts +2 -0
  1431. package/dist/statements/statement-cases/scopes-and-storage.test.d.ts.map +1 -0
  1432. package/dist/statements/statement-cases/scopes-and-storage.test.js +216 -0
  1433. package/dist/statements/statement-cases/scopes-and-storage.test.js.map +1 -0
  1434. package/dist/statements/statement-cases/union-guards-basic.test.d.ts +2 -0
  1435. package/dist/statements/statement-cases/union-guards-basic.test.d.ts.map +1 -0
  1436. package/dist/statements/statement-cases/union-guards-basic.test.js +235 -0
  1437. package/dist/statements/statement-cases/union-guards-basic.test.js.map +1 -0
  1438. package/dist/statements/statement-cases/union-guards-nullish-and-object.test.d.ts +2 -0
  1439. package/dist/statements/statement-cases/union-guards-nullish-and-object.test.d.ts.map +1 -0
  1440. package/dist/statements/statement-cases/union-guards-nullish-and-object.test.js +265 -0
  1441. package/dist/statements/statement-cases/union-guards-nullish-and-object.test.js.map +1 -0
  1442. package/dist/statements/statement-cases/union-guards-predicate-and-truthy.test.d.ts +2 -0
  1443. package/dist/statements/statement-cases/union-guards-predicate-and-truthy.test.d.ts.map +1 -0
  1444. package/dist/statements/statement-cases/union-guards-predicate-and-truthy.test.js +630 -0
  1445. package/dist/statements/statement-cases/union-guards-predicate-and-truthy.test.js.map +1 -0
  1446. package/dist/statements/statement-cases/union-guards-remapped-a.test.d.ts +2 -0
  1447. package/dist/statements/statement-cases/union-guards-remapped-a.test.d.ts.map +1 -0
  1448. package/dist/statements/statement-cases/union-guards-remapped-a.test.js +382 -0
  1449. package/dist/statements/statement-cases/union-guards-remapped-a.test.js.map +1 -0
  1450. package/dist/statements/statement-cases/union-guards-remapped-b.test.d.ts +2 -0
  1451. package/dist/statements/statement-cases/union-guards-remapped-b.test.d.ts.map +1 -0
  1452. package/dist/statements/statement-cases/union-guards-remapped-b.test.js +397 -0
  1453. package/dist/statements/statement-cases/union-guards-remapped-b.test.js.map +1 -0
  1454. package/dist/type-assertion.test.js +258 -10
  1455. package/dist/type-assertion.test.js.map +1 -1
  1456. package/dist/types/arrays.d.ts.map +1 -1
  1457. package/dist/types/arrays.js +10 -1
  1458. package/dist/types/arrays.js.map +1 -1
  1459. package/dist/types/dictionaries.d.ts.map +1 -1
  1460. package/dist/types/dictionaries.js +5 -5
  1461. package/dist/types/dictionaries.js.map +1 -1
  1462. package/dist/types/emitter.d.ts.map +1 -1
  1463. package/dist/types/emitter.js +129 -24
  1464. package/dist/types/emitter.js.map +1 -1
  1465. package/dist/types/functions.d.ts.map +1 -1
  1466. package/dist/types/functions.js +5 -25
  1467. package/dist/types/functions.js.map +1 -1
  1468. package/dist/types/index.test.js +205 -1
  1469. package/dist/types/index.test.js.map +1 -1
  1470. package/dist/types/objects.d.ts +2 -2
  1471. package/dist/types/objects.d.ts.map +1 -1
  1472. package/dist/types/objects.js +2 -2
  1473. package/dist/types/objects.js.map +1 -1
  1474. package/dist/types/parameters.d.ts.map +1 -1
  1475. package/dist/types/parameters.js +88 -18
  1476. package/dist/types/parameters.js.map +1 -1
  1477. package/dist/types/primitives.d.ts.map +1 -1
  1478. package/dist/types/primitives.js.map +1 -1
  1479. package/dist/types/reference-lookup.d.ts +16 -0
  1480. package/dist/types/reference-lookup.d.ts.map +1 -0
  1481. package/dist/types/reference-lookup.js +133 -0
  1482. package/dist/types/reference-lookup.js.map +1 -0
  1483. package/dist/types/reference-structural-signatures.d.ts +10 -0
  1484. package/dist/types/reference-structural-signatures.d.ts.map +1 -0
  1485. package/dist/types/reference-structural-signatures.js +310 -0
  1486. package/dist/types/reference-structural-signatures.js.map +1 -0
  1487. package/dist/types/references-cases/array-and-cross-module.test.d.ts +2 -0
  1488. package/dist/types/references-cases/array-and-cross-module.test.d.ts.map +1 -0
  1489. package/dist/types/references-cases/array-and-cross-module.test.js +150 -0
  1490. package/dist/types/references-cases/array-and-cross-module.test.js.map +1 -0
  1491. package/dist/types/references-cases/bindings-and-local.test.d.ts +2 -0
  1492. package/dist/types/references-cases/bindings-and-local.test.d.ts.map +1 -0
  1493. package/dist/types/references-cases/bindings-and-local.test.js +368 -0
  1494. package/dist/types/references-cases/bindings-and-local.test.js.map +1 -0
  1495. package/dist/types/references-cases/helpers.d.ts +14 -0
  1496. package/dist/types/references-cases/helpers.d.ts.map +1 -0
  1497. package/dist/types/references-cases/helpers.js +39 -0
  1498. package/dist/types/references-cases/helpers.js.map +1 -0
  1499. package/dist/types/references-cases/polymorphic-and-recursive.test.d.ts +2 -0
  1500. package/dist/types/references-cases/polymorphic-and-recursive.test.d.ts.map +1 -0
  1501. package/dist/types/references-cases/polymorphic-and-recursive.test.js +387 -0
  1502. package/dist/types/references-cases/polymorphic-and-recursive.test.js.map +1 -0
  1503. package/dist/types/references-cases/primitive-and-builtins.test.d.ts +2 -0
  1504. package/dist/types/references-cases/primitive-and-builtins.test.d.ts.map +1 -0
  1505. package/dist/types/references-cases/primitive-and-builtins.test.js +116 -0
  1506. package/dist/types/references-cases/primitive-and-builtins.test.js.map +1 -0
  1507. package/dist/types/references-cases/resolved-and-imported.test.d.ts +2 -0
  1508. package/dist/types/references-cases/resolved-and-imported.test.d.ts.map +1 -0
  1509. package/dist/types/references-cases/resolved-and-imported.test.js +669 -0
  1510. package/dist/types/references-cases/resolved-and-imported.test.js.map +1 -0
  1511. package/dist/types/references.d.ts.map +1 -1
  1512. package/dist/types/references.js +279 -250
  1513. package/dist/types/references.js.map +1 -1
  1514. package/dist/types/references.test.d.ts +5 -10
  1515. package/dist/types/references.test.d.ts.map +1 -1
  1516. package/dist/types/references.test.js +5 -718
  1517. package/dist/types/references.test.js.map +1 -1
  1518. package/dist/types/tuples.d.ts.map +1 -1
  1519. package/dist/types/tuples.js +7 -17
  1520. package/dist/types/tuples.js.map +1 -1
  1521. package/dist/types/unions-cases/basic-and-ordering.test.d.ts +6 -0
  1522. package/dist/types/unions-cases/basic-and-ordering.test.d.ts.map +1 -0
  1523. package/dist/types/unions-cases/basic-and-ordering.test.js +322 -0
  1524. package/dist/types/unions-cases/basic-and-ordering.test.js.map +1 -0
  1525. package/dist/types/unions-cases/large-and-fallback.test.d.ts +6 -0
  1526. package/dist/types/unions-cases/large-and-fallback.test.d.ts.map +1 -0
  1527. package/dist/types/unions-cases/large-and-fallback.test.js +246 -0
  1528. package/dist/types/unions-cases/large-and-fallback.test.js.map +1 -0
  1529. package/dist/types/unions-cases/multi-surface.test.d.ts +6 -0
  1530. package/dist/types/unions-cases/multi-surface.test.d.ts.map +1 -0
  1531. package/dist/types/unions-cases/multi-surface.test.js +268 -0
  1532. package/dist/types/unions-cases/multi-surface.test.js.map +1 -0
  1533. package/dist/types/unions.d.ts +1 -1
  1534. package/dist/types/unions.d.ts.map +1 -1
  1535. package/dist/types/unions.js +60 -68
  1536. package/dist/types/unions.js.map +1 -1
  1537. package/dist/types/unions.test.d.ts +3 -5
  1538. package/dist/types/unions.test.d.ts.map +1 -1
  1539. package/dist/types/unions.test.js +3 -413
  1540. package/dist/types/unions.test.js.map +1 -1
  1541. package/package.json +4 -4
  1542. package/dist/expressions/parentheses.d.ts +0 -4
  1543. package/dist/expressions/parentheses.d.ts.map +0 -1
  1544. package/dist/expressions/parentheses.js +0 -91
  1545. package/dist/expressions/parentheses.js.map +0 -1
@@ -1 +1 @@
1
- {"version":3,"file":"integration.test.js","sourceRoot":"","sources":["../src/integration.test.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAClC,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EACL,aAAa,EACb,sBAAsB,EACtB,yBAAyB,EACzB,aAAa,EACb,oBAAoB,EACpB,YAAY,EACZ,4BAA4B,EAC5B,0BAA0B,EAC1B,mBAAmB,GACpB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAE/C,MAAM,OAAO,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAC/C,MAAM,eAAe,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,2BAA2B,CAAC,CAAC,CAAC;AACnF,MAAM,aAAa,GAAG,IAAI,CAAC,IAAI,CAAC,eAAe,EAAE,YAAY,CAAC,CAAC;AAC/D,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,CAAC,eAAe,EAAE,WAAW,CAAC,CAAC;AAE7D,MAAM,mBAAmB,GAAG,CAC1B,UAAkB,EACuD,EAAE;IAC3E,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;QACvC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACpC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,WAAW,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChD,MAAM,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,WAAW,eAAe,CAAC,CAAC,CAAC;IACjF,MAAM,OAAO,GAAG,UAAU,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACzD,MAAM,eAAe,GAAG,IAAI,CAAC,IAAI,CAC/B,WAAW,EACX,OAAO,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,CAClC,CAAC;IAEF,OAAO;QACL,QAAQ,EAAE,eAAe;QACzB,WAAW;KACZ,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,eAAe,GAAG,CACtB,MAAc,EACd,QAAQ,GAAG,eAAe,EAClB,EAAE;IACV,MAAM,oBAAoB,GAAG,IAAI,GAAG,EAAU,CAAC;IAE/C,6EAA6E;IAE7E,MAAM,UAAU,GAAG,EAAE,CAAC,gBAAgB,CACpC,QAAQ,EACR,MAAM,EACN,EAAE,CAAC,YAAY,CAAC,MAAM,EACtB,IAAI,EACJ,EAAE,CAAC,UAAU,CAAC,EAAE,CACjB,CAAC;IAEF,MAAM,eAAe,GAAuB;QAC1C,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM;QAC9B,MAAM,EAAE,EAAE,CAAC,UAAU,CAAC,QAAQ;QAC9B,gBAAgB,EAAE,EAAE,CAAC,oBAAoB,CAAC,QAAQ;QAClD,MAAM,EAAE,IAAI;QACZ,MAAM,EAAE,IAAI;QACZ,KAAK,EAAE,IAAI;QACX,YAAY,EAAE,IAAI;QAClB,0BAA0B,EAAE,IAAI;KACjC,CAAC;IAEF,MAAM,IAAI,GAAG,EAAE,CAAC,kBAAkB,CAAC,eAAe,CAAC,CAAC;IACpD,MAAM,qBAAqB,GAAG,IAAI,CAAC,aAAa,CAAC;IACjD,MAAM,0BAA0B,GAAG,IAAI,CAAC,kBAAkB,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IACvE,IAAI,CAAC,aAAa,GAAG,CACnB,IAAY,EACZ,wBAAsE,EACtE,OAAmC,EACnC,yBAAmC,EACnC,EAAE;QACF,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;YACtB,OAAO,UAAU,CAAC;QACpB,CAAC;QACD,OAAO,qBAAqB,CAAC,IAAI,CAC/B,IAAI,EACJ,IAAI,EACJ,wBAAwB,EACxB,OAAO,EACP,yBAAyB,CAC1B,CAAC;IACJ,CAAC,CAAC;IACF,IAAI,CAAC,kBAAkB,GAAG,CACxB,WAAqB,EACrB,cAAsB,EACtB,WAAsB,EACtB,mBAAiD,EACjD,OAA4B,EACO,EAAE;QACrC,MAAM,iBAAiB,GAAG,OAAO,IAAI,eAAe,CAAC;QACrD,OAAO,WAAW,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE;YACpC,MAAM,oBAAoB,GACxB,UAAU,KAAK,uBAAuB;gBACpC,CAAC,CAAC,EAAE,QAAQ,EAAE,aAAa,EAAE,WAAW,EAAE,eAAe,EAAE;gBAC3D,CAAC,CAAC,UAAU,KAAK,sBAAsB;oBACrC,CAAC,CAAC,EAAE,QAAQ,EAAE,YAAY,EAAE,WAAW,EAAE,eAAe,EAAE;oBAC1D,CAAC,CAAC,mBAAmB,CAAC,UAAU,CAAC,CAAC;YACxC,IAAI,oBAAoB,EAAE,CAAC;gBACzB,oBAAoB,CAAC,GAAG,CAAC,oBAAoB,CAAC,WAAW,CAAC,CAAC;gBAC3D,OAAO;oBACL,gBAAgB,EAAE,oBAAoB,CAAC,QAAQ;oBAC/C,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG;oBAC3B,uBAAuB,EAAE,IAAI;iBAC9B,CAAC;YACJ,CAAC;YACD,OAAO,CACL,0BAA0B,EAAE,CAC1B,CAAC,UAAU,CAAC,EACZ,cAAc,EACd,WAAW,EACX,mBAAmB,EACnB,iBAAiB,CAClB,EAAE,CAAC,CAAC,CAAC;gBACN,EAAE,CAAC,iBAAiB,CAClB,UAAU,EACV,cAAc,EACd,iBAAiB,EACjB,IAAI,CACL,CAAC,cAAc,CACjB,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC;IAEF,MAAM,SAAS,GAAG,EAAE,CAAC,aAAa,CAAC,CAAC,QAAQ,CAAC,EAAE,eAAe,EAAE,IAAI,CAAC,CAAC;IACtE,MAAM,OAAO,GAAG,SAAS,CAAC,cAAc,EAAE,CAAC;IAE3C,MAAM,aAAa,GAAG;QACpB,OAAO,EAAE,SAAS;QAClB,OAAO;QACP,OAAO,EAAE,aAAa,CAAC,OAAO,CAAC;QAC/B,OAAO,EAAE;YACP,WAAW,EAAE,OAAO;YACpB,UAAU,EAAE,OAAO;YACnB,aAAa,EAAE,MAAM;SACtB;QACD,WAAW,EAAE,CAAC,UAAU,CAAC;QACzB,sBAAsB,EAAE,EAAE;QAC1B,QAAQ,EAAE,IAAI,sBAAsB,EAAE;QACtC,QAAQ,EAAE,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;QACxD,WAAW,EAAE,yBAAyB,CAAC,OAAO,CAAC;KAChD,CAAC;IAEF,sDAAsD;IACtD,MAAM,OAAO,GAAG,EAAE,UAAU,EAAE,OAAO,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC;IAC/D,MAAM,GAAG,GAAG,oBAAoB,CAAC,aAAa,EAAE,OAAO,CAAC,CAAC;IAEzD,WAAW;IACX,MAAM,QAAQ,GAAG,aAAa,CAAC,UAAU,EAAE,aAAa,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;IAExE,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;QACjB,MAAM,IAAI,KAAK,CAAC,oBAAoB,QAAQ,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;IAChE,CAAC;IAED,2EAA2E;IAC3E,4EAA4E;IAC5E,8DAA8D;IAC9D,MAAM,cAAc,GAAG,4BAA4B,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC;IAC9E,MAAM,WAAW,GAAG,mBAAmB,CAAC,cAAc,CAAC,CAAC;IACxD,IAAI,CAAC,WAAW,CAAC,EAAE,EAAE,CAAC;QACpB,MAAM,IAAI,KAAK,CACb,oCAAoC,WAAW,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAC/F,CAAC;IACJ,CAAC;IAED,MAAM,eAAe,GAAG,0BAA0B,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;IACxE,IAAI,CAAC,eAAe,CAAC,EAAE,EAAE,CAAC;QACxB,MAAM,IAAI,KAAK,CACb,gCAAgC,eAAe,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAC/F,CAAC;IACJ,CAAC;IAED,MAAM,UAAU,GAAG,eAAe,CAAC,eAAe,CAAC,OAAO,EAAE;QAC1D,aAAa,EAAE,MAAM;KACtB,CAAC,CAAC;IACH,IAAI,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC;QACnB,MAAM,IAAI,KAAK,CACb,gBAAgB,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACrE,CAAC;IACJ,CAAC;IAED,OAAO,CAAC,GAAG,UAAU,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC;SACnC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;SACtC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC;SACvB,IAAI,CAAC,MAAM,CAAC,CAAC;AAClB,CAAC,CAAC;AAEF,QAAQ,CAAC,wBAAwB,EAAE,GAAG,EAAE;IACtC,QAAQ,CAAC,uBAAuB,EAAE,GAAG,EAAE;QACrC,EAAE,CAAC,oEAAoE,EAAE,GAAG,EAAE;YAC5E,MAAM,MAAM,GAAG;;OAEd,CAAC;YAEF,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;YAEvC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CACrB,gEAAgE,CACjE,CAAC;YACF,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,qCAAqC,CAAC,CAAC;QACrE,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,mBAAmB,EAAE,GAAG,EAAE;QACjC,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;YACxD,MAAM,MAAM,GAAG;;;;OAId,CAAC;YAEF,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;YAEvC,yCAAyC;YACzC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,sCAAsC,CAAC,CAAC;YAChE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;YACvC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;QAC7C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,4DAA4D,EAAE,GAAG,EAAE;YACpE,MAAM,MAAM,GAAG;;;;;;OAMd,CAAC;YAEF,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;YAEvC,kCAAkC;YAClC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,oBAAoB,CAAC,CAAC;YAChD,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,2CAA2C,CAAC,CAAC;YAErE,sCAAsC;YACtC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;YAE7C,uBAAuB;YACvB,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,qCAAqC,CAAC,CAAC;QACjE,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,0EAA0E,EAAE,GAAG,EAAE;YAClF,MAAM,MAAM,GAAG;;;;;;;;;OASd,CAAC;YAEF,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;YAEvC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,0BAA0B,CAAC,CAAC;YACxD,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC;YAClD,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC;QACpD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,6BAA6B,EAAE,GAAG,EAAE;QAC3C,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;YAC9C,MAAM,MAAM,GAAG;;;;;;OAMd,CAAC;YAEF,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;YAEvC,uCAAuC;YACvC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,uBAAuB,CAAC,CAAC;YACjD,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC;YAEhD,0DAA0D;YAC1D,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CACrB,oDAAoD,CACrD,CAAC;YACF,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CACrB,sDAAsD,CACvD,CAAC;YAEF,uCAAuC;YACvC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,8CAA8C,CAAC,CAAC;YACxE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CACrB,uGAAuG,CACxG,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;YAC9D,MAAM,MAAM,GAAG;;;;;OAKd,CAAC;YAEF,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;YAEvC,+CAA+C;YAC/C,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,wCAAwC,CAAC,CAAC;YAClE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CACrB,mDAAmD,CACpD,CAAC;YACF,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CACrB,mDAAmD,CACpD,CAAC;YACF,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CACrB,+GAA+G,CAChH,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;YAC1C,MAAM,MAAM,GAAG;;;;;OAKd,CAAC;YAEF,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;YAEvC,4BAA4B;YAC5B,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,+BAA+B,CAAC,CAAC;YACzD,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,+BAA+B,CAAC,CAAC;YACzD,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,+BAA+B,CAAC,CAAC;YACzD,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CACrB,yGAAyG,CAC1G,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,iBAAiB,EAAE,GAAG,EAAE;QAC/B,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;YACnD,MAAM,MAAM,GAAG;;;;;;;;;;;;OAYd,CAAC;YAEF,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;YAEvC,4BAA4B;YAC5B,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,kCAAkC,CAAC,CAAC;YAE5D,8BAA8B;YAC9B,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,iCAAiC,CAAC,CAAC;YAC3D,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CACrB,mDAAmD,CACpD,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,mBAAmB,EAAE,GAAG,EAAE;QACjC,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;YAC5D,MAAM,MAAM,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;OAyBd,CAAC;YAEF,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;YAEvC,wFAAwF;YACxF,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,uCAAuC,CAAC,CAAC;YAEjE,kEAAkE;YAClE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,2CAA2C,CAAC,CAAC;YACrE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,0BAA0B,CAAC,CAAC;YAEtD,qCAAqC;YACrC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,qCAAqC,CAAC,CAAC;YAC/D,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,8BAA8B,CAAC,CAAC;QAC1D,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,iCAAiC,EAAE,GAAG,EAAE;QAC/C,EAAE,CAAC,6DAA6D,EAAE,GAAG,EAAE;YACrE,MAAM,MAAM,GAAG;;;;;;;;;;;;OAYd,CAAC;YAEF,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;YAEvC,iFAAiF;YACjF,8EAA8E;YAC9E,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,6CAA6C,CAAC,CAAC;QACzE,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,gEAAgE,EAAE,GAAG,EAAE;YACxE,MAAM,MAAM,GAAG;;;;;;;;;;;;;;;;;;;;;;;;OAwBd,CAAC;YAEF,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;YAEvC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,4BAA4B,CAAC,CAAC;YACxD,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CACrB,oEAAoE,CACrE,CAAC;YACF,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;QAChD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;YACzD,MAAM,MAAM,GAAG;;;;;;;;;;;;;;;OAed,CAAC;YAEF,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;YAEvC,0CAA0C;YAC1C,qFAAqF;YACrF,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAAC;QACnD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,0BAA0B,EAAE,GAAG,EAAE;QACxC,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;YACxD,MAAM,MAAM,GAAG;;;;;;;;;;;OAWd,CAAC;YAEF,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;YAEvC,kEAAkE;YAClE,+EAA+E;YAC/E,gFAAgF;YAChF,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CACrB,yDAAyD,CAC1D,CAAC;YACF,kDAAkD;YAClD,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;QACjD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,yBAAyB,EAAE,GAAG,EAAE;QACvC,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;YAC5D,MAAM,MAAM,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA0Cd,CAAC;YAEF,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;YAEvC,mCAAmC;YACnC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;YACxC,iFAAiF;YACjF,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,yBAAyB,CAAC,CAAC;YACzD,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,mCAAmC,CAAC,CAAC;YAE7D,mCAAmC;YACnC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,sBAAsB,CAAC,CAAC;YAElD,iEAAiE;YACjE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,gDAAgD,CAAC,CAAC;YAE1E,yCAAyC;YACzC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC;YAC5C,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,0BAA0B,CAAC,CAAC;QACxD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,kFAAkF,EAAE,GAAG,EAAE;YAC1F,MAAM,UAAU,GAAG;;;;;OAKlB,CAAC;YAEF,MAAM,YAAY,GAAG;;;;;;;;;;;;OAYpB,CAAC;YAEF,eAAe,CAAC,UAAU,CAAC,CAAC;YAC5B,MAAM,MAAM,GAAG,eAAe,CAAC,YAAY,CAAC,CAAC;YAC7C,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,mCAAmC,CAAC,CAAC;QAC/D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,+DAA+D,EAAE,GAAG,EAAE;YACvE,MAAM,UAAU,GAAG;;;;OAIlB,CAAC;YAEF,MAAM,YAAY,GAAG;;;;;;;;OAQpB,CAAC;YAEF,eAAe,CAAC,UAAU,CAAC,CAAC;YAC5B,MAAM,MAAM,GAAG,eAAe,CAAC,YAAY,CAAC,CAAC;YAC7C,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CACrB,8DAA8D,CAC/D,CAAC;YACF,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,0CAA0C,CAAC,CAAC;YACpE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CACzB,8DAA8D,CAC/D,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,kEAAkE,EAAE,GAAG,EAAE;YAC1E,MAAM,OAAO,GAAG;;;;;OAKf,CAAC;YAEF,MAAM,OAAO,GAAG;;;;;OAKf,CAAC;YAEF,MAAM,OAAO,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YACzC,MAAM,OAAO,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YACzC,MAAM,YAAY,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YAE9C,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,8BAA8B,CAAC,CAAC;YACzD,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,8BAA8B,CAAC,CAAC;YACzD,MAAM,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,8BAA8B,CAAC,CAAC;YAC9D,MAAM,CAAC,YAAY,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,8BAA8B,CAAC,CAAC;QACpE,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,gBAAgB,EAAE,GAAG,EAAE;QAC9B,EAAE,CAAC,+CAA+C,EAAE,GAAG,EAAE;YACvD,MAAM,MAAM,GAAG;;;;;;;;;;;;;;;;;OAiBd,CAAC;YAEF,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;YACvC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,wBAAwB,CAAC,CAAC;YACpD,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QACvC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,0EAA0E,EAAE,GAAG,EAAE;YAClF,MAAM,MAAM,GAAG;;;;;;;;;;;;;;;OAed,CAAC;YAEF,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;YACvC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,wBAAwB,CAAC,CAAC;YACpD,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,uCAAuC,CAAC,CAAC;QACzE,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,oEAAoE,EAAE,GAAG,EAAE;YAC5E,MAAM,MAAM,GAAG;;;;;;;;;;;;;;;;OAgBd,CAAC;YAEF,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;YACvC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAAC;YACjD,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,wBAAwB,CAAC,CAAC;QAC1D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;YACzD,MAAM,MAAM,GAAG;;;;;;;;;;;;;;;;;OAiBd,CAAC;YAEF,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;YACvC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;YACtC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CACvB,sDAAsD,CACvD,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;YACzD,MAAM,MAAM,GAAG;;;;;;;;;;;;;;;;;OAiBd,CAAC;YAEF,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;YACvC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,wBAAwB,CAAC,CAAC;YACpD,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QACvC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,6DAA6D,EAAE,GAAG,EAAE;YACrE,MAAM,MAAM,GAAG;;;;;;;;;;;;;;;;OAgBd,CAAC;YAEF,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;YACvC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAAC;YACjD,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,uCAAuC,CAAC,CAAC;QACzE,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,oEAAoE,EAAE,GAAG,EAAE;YAC5E,MAAM,MAAM,GAAG;;;;;;;;;;;;;OAad,CAAC;YAEF,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;YACvC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,qCAAqC,CAAC,CAAC;YACjE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,sBAAsB,CAAC,CAAC;QACxD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,+DAA+D,EAAE,GAAG,EAAE;YACvE,MAAM,MAAM,GAAG;;;;;;;;;OASd,CAAC;YAEF,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;YACvC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,uBAAuB,CAAC,CAAC;YACnD,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAC3B,uDAAuD,CACxD,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,wBAAwB,EAAE,GAAG,EAAE;QACtC,EAAE,CAAC,gEAAgE,EAAE,GAAG,EAAE;YACxE,MAAM,MAAM,GAAG;;;;;;;;;;;;;;;;;;;;;;;;OAwBd,CAAC;YAEF,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;YAEvC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;YAC1C,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC;YAC/C,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;QAChD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;YACnD,MAAM,MAAM,GAAG;;;;;;;;;;OAUd,CAAC;YAEF,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;YAEvC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,yBAAyB,CAAC,CAAC;YACrD,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC;QACpD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;YACrD,MAAM,MAAM,GAAG;;;;;;;;OAQd,CAAC;YAEF,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;YAEvC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,4BAA4B,CAAC,CAAC;YACxD,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,oBAAoB,CAAC,CAAC;YAChD,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;QACnD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,gBAAgB,EAAE,GAAG,EAAE;QAC9B,EAAE,CAAC,yCAAyC,EAAE,GAAG,EAAE;YACjD,MAAM,MAAM,GAAG;;;;;;;;;;;OAWd,CAAC;YAEF,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;YAEvC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC;YAC5C,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;QACnD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;YACtD,MAAM,MAAM,GAAG;;;;;;;;;;;OAWd,CAAC;YAEF,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;YAEvC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC;YAC5C,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;QACnD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,iBAAiB,EAAE,GAAG,EAAE;QAC/B,EAAE,CAAC,wEAAwE,EAAE,GAAG,EAAE;YAChF,MAAM,MAAM,GAAG;;;;;;;;;;OAUd,CAAC;YAEF,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;YACvC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC;QAC9C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,+BAA+B,EAAE,GAAG,EAAE;YACvC,MAAM,MAAM,GAAG;;;;;;;OAOd,CAAC;YAEF,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;YACvC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAAC;QACnD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,uBAAuB,EAAE,GAAG,EAAE;QACrC,EAAE,CAAC,iFAAiF,EAAE,GAAG,EAAE;YACzF,MAAM,MAAM,GAAG;;;;;;;;;;;;;;;;;;;OAmBd,CAAC;YAEF,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;YACvC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CACvB,qDAAqD,CACtD,CAAC;YACF,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,+CAA+C,CAAC,CAAC;YACzE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;QAC9C,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,qBAAqB,EAAE,GAAG,EAAE;QACnC,EAAE,CAAC,yEAAyE,EAAE,GAAG,EAAE;YACjF,MAAM,MAAM,GAAG;;;;;;;OAOd,CAAC;YAEF,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;YACvC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,2CAA2C,CAAC,CAAC;YACvE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,kCAAkC,CAAC,CAAC;QAChE,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,0DAA0D,EAAE,GAAG,EAAE;YAClE,MAAM,MAAM,GAAG;;;;;;;;;;OAUd,CAAC;YAEF,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;YACvC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,gCAAgC,CAAC,CAAC;QAC9D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,4EAA4E,EAAE,GAAG,EAAE;YACpF,MAAM,MAAM,GAAG;;;;;;;;;;;;;;;OAed,CAAC;YAEF,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;YACvC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CACvB,iDAAiD,CAClD,CAAC;YACF,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,6BAA6B,CAAC,CAAC;QAC/D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,4DAA4D,EAAE,GAAG,EAAE;YACpE,MAAM,MAAM,GAAG;;;;;;;;;;;OAWd,CAAC;YAEF,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;YACvC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,8CAA8C,CAAC,CAAC;YAC1E,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,mCAAmC,CAAC,CAAC;QACrE,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,iFAAiF,EAAE,GAAG,EAAE;YACzF,MAAM,MAAM,GAAG;;;;;;;;;;;;;;;OAed,CAAC;YAEF,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;YACvC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,8CAA8C,CAAC,CAAC;YAC1E,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,mCAAmC,CAAC,CAAC;QACrE,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,sFAAsF,EAAE,GAAG,EAAE;YAC9F,MAAM,MAAM,GAAG;;;;;;;;;;;;;OAad,CAAC;YAEF,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;YACvC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,6BAA6B,CAAC,CAAC;YACzD,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,sCAAsC,CAAC,CAAC;QACxE,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,6DAA6D,EAAE,GAAG,EAAE;YACrE,MAAM,MAAM,GAAG;;;;;;;;;;;;;;OAcd,CAAC;YAEF,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;YACvC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;YAC3C,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAAC;YACrD,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;YAC1C,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;QAC/C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,iEAAiE,EAAE,GAAG,EAAE;YACzE,MAAM,MAAM,GAAG;;;;;;;;;OASd,CAAC;YAEF,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;YACvC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CACvB,gEAAgE,CACjE,CAAC;YACF,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,6BAA6B,CAAC,CAAC;YACzD,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC;YAC/C,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,mCAAmC,CAAC,CAAC;YAC/D,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,mCAAmC,CAAC,CAAC;QACjE,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,+DAA+D,EAAE,GAAG,EAAE;YACvE,MAAM,MAAM,GAAG;;;;;;;;OAQd,CAAC;YAEF,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;YACvC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,mCAAmC,CAAC,CAAC;YAC/D,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,qCAAqC,CAAC,CAAC;YACjE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,8BAA8B,CAAC,CAAC;YAC1D,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,oBAAoB,CAAC,CAAC;QAClD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mEAAmE,EAAE,GAAG,EAAE;YAC3E,MAAM,MAAM,GAAG;;;;;;;;;OASd,CAAC;YAEF,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;YACvC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,0BAA0B,CAAC,CAAC;YACtD,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,mCAAmC,CAAC,CAAC;YAC/D,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,6BAA6B,CAAC,CAAC;YACzD,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,gCAAgC,CAAC,CAAC;YAC5D,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;YAC/C,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;YAC7C,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;QAChD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,0EAA0E,EAAE,GAAG,EAAE;YAClF,MAAM,MAAM,GAAG;;;;;;;;;;;;;OAad,CAAC;YAEF,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;YACvC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CACvB,qEAAqE,CACtE,CAAC;YACF,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,0BAA0B,CAAC,CAAC;QAC5D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,iEAAiE,EAAE,GAAG,EAAE;YACzE,MAAM,MAAM,GAAG;;;;OAId,CAAC;YAEF,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;YACvC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CACvB,8DAA8D,CAC/D,CAAC;YACF,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,kCAAkC,CAAC,CAAC;QACpE,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,4EAA4E,EAAE,GAAG,EAAE;YACpF,MAAM,MAAM,GAAG;;;;;;;;;;;OAWd,CAAC;YAEF,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;YACvC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CACrB,qHAAqH,CACtH,CAAC;YACF,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,yBAAyB,CAAC,CAAC;QAC3D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,0EAA0E,EAAE,GAAG,EAAE;YAClF,MAAM,MAAM,GAAG;;;;;;;;;OASd,CAAC;YAEF,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;YACvC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,wCAAwC,CAAC,CAAC;YACpE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;YACpC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;YAC3C,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,sBAAsB,CAAC,CAAC;QACxD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,6EAA6E,EAAE,GAAG,EAAE;YACrF,MAAM,MAAM,GAAG;;;;;;;;OAQd,CAAC;YAEF,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;YACvC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,mDAAmD,CAAC,CAAC;YAC/E,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;YACrC,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,iCAAiC,CAAC,CAAC;QACnE,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,0FAA0F,EAAE,GAAG,EAAE;YAClG,MAAM,MAAM,GAAG,eAAe,CAAC;;;;;;;;;;;;OAY9B,CAAC,CAAC;YAEH,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,yBAAyB,CAAC,CAAC;YACrD,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CACrB,gHAAgH,CACjH,CAAC;YACF,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAC3B,4CAA4C,CAC7C,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,sEAAsE,EAAE,GAAG,EAAE;YAC9E,MAAM,MAAM,GAAG;;;;;;;;;;;;;OAad,CAAC;YAEF,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;YACvC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CACrB,2FAA2F,CAC5F,CAAC;YACF,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAC3B,8DAA8D,CAC/D,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,0EAA0E,EAAE,GAAG,EAAE;YAClF,MAAM,MAAM,GAAG;;;;;;;;;;;;;;;;OAgBd,CAAC;YAEF,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;YACvC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CACrB,iGAAiG,CAClG,CAAC;YACF,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,uCAAuC,CAAC,CAAC;QACrE,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,gEAAgE,EAAE,GAAG,EAAE;YACxE,MAAM,MAAM,GAAG;;;;;;;;;OASd,CAAC;YAEF,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;YACvC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CACrB,oFAAoF,CACrF,CAAC;YACF,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,mDAAmD,CAAC,CAAC;QACrF,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,wBAAwB,EAAE,GAAG,EAAE;QACtC,EAAE,CAAC,oEAAoE,EAAE,GAAG,EAAE;YAC5E,MAAM,MAAM,GAAG;;;;;;;;;;;;;OAad,CAAC;YAEF,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;YACvC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC;YAC/C,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;QAC7C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mEAAmE,EAAE,GAAG,EAAE;YAC3E,MAAM,MAAM,GAAG;;;;;;;;;;;;;OAad,CAAC;YAEF,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;YACvC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,4CAA4C,CAAC,CAAC;YACxE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CACvB,uDAAuD,CACxD,CAAC;YACF,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;QAC7C,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
1
+ {"version":3,"file":"integration.test.js","sourceRoot":"","sources":["../src/integration.test.ts"],"names":[],"mappings":"AAAA,OAAO,kDAAkD,CAAC;AAC1D,OAAO,kDAAkD,CAAC;AAC1D,OAAO,sDAAsD,CAAC;AAC9D,OAAO,kDAAkD,CAAC;AAC1D,OAAO,oDAAoD,CAAC;AAC5D,OAAO,mDAAmD,CAAC;AAC3D,OAAO,mDAAmD,CAAC;AAC3D,OAAO,mDAAmD,CAAC;AAC3D,OAAO,0DAA0D,CAAC"}
@@ -0,0 +1,5 @@
1
+ /**
2
+ * Contract Test: Numeric Proof System (Behavioral)
3
+ */
4
+ export {};
5
+ //# sourceMappingURL=emitter-and-annotations.test.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"emitter-and-annotations.test.d.ts","sourceRoot":"","sources":["../../../src/invariants/numeric-proof-contract-cases/emitter-and-annotations.test.ts"],"names":[],"mappings":"AAAA;;GAEG"}
@@ -0,0 +1,93 @@
1
+ /**
2
+ * Contract Test: Numeric Proof System (Behavioral)
3
+ */
4
+ import { describe, it } from "mocha";
5
+ import { expect } from "chai";
6
+ import { runNumericProofPass, } from "@tsonic/frontend";
7
+ import { emitModule } from "../../emitter.js";
8
+ import { createModuleWithAccess } from "./helpers.js";
9
+ describe("Numeric Proof Contract (Behavioral)", () => {
10
+ describe("Emitter contract enforcement", () => {
11
+ it("emits without ICE when proof marker present", () => {
12
+ const module = createModuleWithAccess({
13
+ accessKind: "clrIndexer",
14
+ indexHasProof: true, // Pre-annotated with Int32 proof
15
+ indexValue: 0,
16
+ indexRaw: "0",
17
+ });
18
+ // Should not throw - proof marker is present
19
+ expect(() => emitModule(module)).to.not.throw();
20
+ });
21
+ it("ICE when proof marker missing - even for literal 0", () => {
22
+ // REGRESSION GUARD: This test ensures nobody "helpfully" re-adds
23
+ // literal parsing to the emitter. Even literal 0 must have the proof
24
+ // marker set by the proof pass, or the emitter ICEs.
25
+ const module = createModuleWithAccess({
26
+ accessKind: "clrIndexer",
27
+ indexHasProof: false, // NO proof marker
28
+ indexValue: 0, // Even though it's 0
29
+ indexRaw: "0",
30
+ });
31
+ // Emitter should ICE because proof marker is missing
32
+ expect(() => emitModule(module)).to.throw(/Internal Compiler Error.*Int32 proof/);
33
+ });
34
+ it("ICE when proof marker missing - even for literal 1", () => {
35
+ // REGRESSION GUARD: Same as above for literal 1
36
+ const module = createModuleWithAccess({
37
+ accessKind: "clrIndexer",
38
+ indexHasProof: false,
39
+ indexValue: 1,
40
+ indexRaw: "1",
41
+ });
42
+ expect(() => emitModule(module)).to.throw(/Internal Compiler Error.*Int32 proof/);
43
+ });
44
+ });
45
+ // ============================================================================
46
+ // PROOF PASS ANNOTATION: Markers set correctly for all access kinds
47
+ // ============================================================================
48
+ describe("Proof pass annotation", () => {
49
+ it("clrIndexer: valid index gets primitiveType(name='int')", () => {
50
+ const module = createModuleWithAccess({
51
+ accessKind: "clrIndexer",
52
+ indexHasProof: false,
53
+ indexValue: 0,
54
+ indexRaw: "0",
55
+ });
56
+ const result = runNumericProofPass([module]);
57
+ expect(result.ok).to.be.true;
58
+ const varDecl = result.modules[0]?.body[1];
59
+ if (varDecl?.kind !== "variableDeclaration") {
60
+ throw new Error("Expected variable declaration");
61
+ }
62
+ const access = varDecl.declarations[0]?.initializer;
63
+ const indexExpr = access.property;
64
+ // Index should have primitiveType(name="int") after proof pass
65
+ expect(indexExpr.inferredType?.kind).to.equal("primitiveType");
66
+ if (indexExpr.inferredType?.kind === "primitiveType") {
67
+ expect(indexExpr.inferredType.name).to.equal("int");
68
+ }
69
+ });
70
+ it("stringChar: valid index gets primitiveType(name='int')", () => {
71
+ const module = createModuleWithAccess({
72
+ accessKind: "stringChar",
73
+ indexHasProof: false,
74
+ indexValue: 2,
75
+ indexRaw: "2",
76
+ });
77
+ const result = runNumericProofPass([module]);
78
+ expect(result.ok).to.be.true;
79
+ const varDecl = result.modules[0]?.body[1];
80
+ if (varDecl?.kind !== "variableDeclaration") {
81
+ throw new Error("Expected variable declaration");
82
+ }
83
+ const access = varDecl.declarations[0]?.initializer;
84
+ const indexExpr = access.property;
85
+ // Index should have primitiveType(name="int") after proof pass
86
+ expect(indexExpr.inferredType?.kind).to.equal("primitiveType");
87
+ if (indexExpr.inferredType?.kind === "primitiveType") {
88
+ expect(indexExpr.inferredType.name).to.equal("int");
89
+ }
90
+ });
91
+ });
92
+ });
93
+ //# sourceMappingURL=emitter-and-annotations.test.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"emitter-and-annotations.test.js","sourceRoot":"","sources":["../../../src/invariants/numeric-proof-contract-cases/emitter-and-annotations.test.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,EAIL,mBAAmB,GACpB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,sBAAsB,EAAE,MAAM,cAAc,CAAC;AAEtD,QAAQ,CAAC,qCAAqC,EAAE,GAAG,EAAE;IACnD,QAAQ,CAAC,8BAA8B,EAAE,GAAG,EAAE;QAC5C,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;YACrD,MAAM,MAAM,GAAG,sBAAsB,CAAC;gBACpC,UAAU,EAAE,YAAY;gBACxB,aAAa,EAAE,IAAI,EAAE,iCAAiC;gBACtD,UAAU,EAAE,CAAC;gBACb,QAAQ,EAAE,GAAG;aACd,CAAC,CAAC;YAEH,6CAA6C;YAC7C,MAAM,CAAC,GAAG,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC;QAClD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;YAC5D,iEAAiE;YACjE,qEAAqE;YACrE,qDAAqD;YACrD,MAAM,MAAM,GAAG,sBAAsB,CAAC;gBACpC,UAAU,EAAE,YAAY;gBACxB,aAAa,EAAE,KAAK,EAAE,kBAAkB;gBACxC,UAAU,EAAE,CAAC,EAAE,qBAAqB;gBACpC,QAAQ,EAAE,GAAG;aACd,CAAC,CAAC;YAEH,qDAAqD;YACrD,MAAM,CAAC,GAAG,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CACvC,sCAAsC,CACvC,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;YAC5D,gDAAgD;YAChD,MAAM,MAAM,GAAG,sBAAsB,CAAC;gBACpC,UAAU,EAAE,YAAY;gBACxB,aAAa,EAAE,KAAK;gBACpB,UAAU,EAAE,CAAC;gBACb,QAAQ,EAAE,GAAG;aACd,CAAC,CAAC;YAEH,MAAM,CAAC,GAAG,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CACvC,sCAAsC,CACvC,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,+EAA+E;IAC/E,oEAAoE;IACpE,+EAA+E;IAE/E,QAAQ,CAAC,uBAAuB,EAAE,GAAG,EAAE;QACrC,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;YAChE,MAAM,MAAM,GAAG,sBAAsB,CAAC;gBACpC,UAAU,EAAE,YAAY;gBACxB,aAAa,EAAE,KAAK;gBACpB,UAAU,EAAE,CAAC;gBACb,QAAQ,EAAE,GAAG;aACd,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAC7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAE7B,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAgB,CAAC;YAC1D,IAAI,OAAO,EAAE,IAAI,KAAK,qBAAqB,EAAE,CAAC;gBAC5C,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAC;YACnD,CAAC;YACD,MAAM,MAAM,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,WAAiC,CAAC;YAC1E,MAAM,SAAS,GAAG,MAAM,CAAC,QAAwB,CAAC;YAElD,+DAA+D;YAC/D,MAAM,CAAC,SAAS,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;YAC/D,IAAI,SAAS,CAAC,YAAY,EAAE,IAAI,KAAK,eAAe,EAAE,CAAC;gBACrD,MAAM,CAAC,SAAS,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YACtD,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;YAChE,MAAM,MAAM,GAAG,sBAAsB,CAAC;gBACpC,UAAU,EAAE,YAAY;gBACxB,aAAa,EAAE,KAAK;gBACpB,UAAU,EAAE,CAAC;gBACb,QAAQ,EAAE,GAAG;aACd,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAC7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAE7B,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAgB,CAAC;YAC1D,IAAI,OAAO,EAAE,IAAI,KAAK,qBAAqB,EAAE,CAAC;gBAC5C,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAC;YACnD,CAAC;YACD,MAAM,MAAM,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,WAAiC,CAAC;YAC1E,MAAM,SAAS,GAAG,MAAM,CAAC,QAAwB,CAAC;YAElD,+DAA+D;YAC/D,MAAM,CAAC,SAAS,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;YAC/D,IAAI,SAAS,CAAC,YAAY,EAAE,IAAI,KAAK,eAAe,EAAE,CAAC;gBACrD,MAAM,CAAC,SAAS,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YACtD,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
@@ -0,0 +1,14 @@
1
+ import { IrModule, IrMemberExpression, IrExpression, ComputedAccessKind } from "@tsonic/frontend";
2
+ export type { IrModule, IrMemberExpression, IrExpression, ComputedAccessKind };
3
+ export declare const createModuleWithAccess: (options: {
4
+ accessKind?: ComputedAccessKind;
5
+ indexHasProof: boolean;
6
+ indexValue?: number;
7
+ indexRaw?: string;
8
+ }) => IrModule;
9
+ export declare const createModuleWithIdentifierIndex: (options: {
10
+ accessKind: ComputedAccessKind;
11
+ indexName: string;
12
+ indexHasInt32Type: boolean;
13
+ }) => IrModule;
14
+ //# sourceMappingURL=helpers.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"helpers.d.ts","sourceRoot":"","sources":["../../../src/invariants/numeric-proof-contract-cases/helpers.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EACR,kBAAkB,EAClB,YAAY,EACZ,kBAAkB,EACnB,MAAM,kBAAkB,CAAC;AAE1B,YAAY,EAAE,QAAQ,EAAE,kBAAkB,EAAE,YAAY,EAAE,kBAAkB,EAAE,CAAC;AAE/E,eAAO,MAAM,sBAAsB,GAAI,SAAS;IAC9C,UAAU,CAAC,EAAE,kBAAkB,CAAC;IAChC,aAAa,EAAE,OAAO,CAAC;IACvB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB,KAAG,QAgFH,CAAC;AAEF,eAAO,MAAM,+BAA+B,GAAI,SAAS;IACvD,UAAU,EAAE,kBAAkB,CAAC;IAC/B,SAAS,EAAE,MAAM,CAAC;IAClB,iBAAiB,EAAE,OAAO,CAAC;CAC5B,KAAG,QA+EH,CAAC"}
@@ -0,0 +1,158 @@
1
+ export const createModuleWithAccess = (options) => {
2
+ const indexExpr = {
3
+ kind: "literal",
4
+ value: options.indexValue ?? 0,
5
+ raw: options.indexRaw ?? "0",
6
+ ...(options.indexHasProof
7
+ ? {
8
+ inferredType: {
9
+ kind: "primitiveType",
10
+ name: "int",
11
+ },
12
+ }
13
+ : {}),
14
+ };
15
+ const memberAccess = {
16
+ kind: "memberAccess",
17
+ object: {
18
+ kind: "identifier",
19
+ name: "arr",
20
+ inferredType: {
21
+ kind: "arrayType",
22
+ elementType: { kind: "primitiveType", name: "number" },
23
+ },
24
+ },
25
+ property: indexExpr,
26
+ isComputed: true,
27
+ isOptional: false,
28
+ ...(options.accessKind !== undefined
29
+ ? { accessKind: options.accessKind }
30
+ : {}),
31
+ inferredType: { kind: "primitiveType", name: "number" },
32
+ };
33
+ return {
34
+ kind: "module",
35
+ filePath: "/test/contract.ts",
36
+ namespace: "Test",
37
+ className: "contract",
38
+ isStaticContainer: true,
39
+ imports: [],
40
+ body: [
41
+ {
42
+ kind: "variableDeclaration",
43
+ declarationKind: "const",
44
+ isExported: false,
45
+ declarations: [
46
+ {
47
+ kind: "variableDeclarator",
48
+ name: { kind: "identifierPattern", name: "arr" },
49
+ type: {
50
+ kind: "arrayType",
51
+ elementType: { kind: "primitiveType", name: "number" },
52
+ },
53
+ initializer: {
54
+ kind: "array",
55
+ elements: [
56
+ { kind: "literal", value: 1 },
57
+ { kind: "literal", value: 2 },
58
+ { kind: "literal", value: 3 },
59
+ ],
60
+ },
61
+ },
62
+ ],
63
+ },
64
+ {
65
+ kind: "variableDeclaration",
66
+ declarationKind: "const",
67
+ isExported: false,
68
+ declarations: [
69
+ {
70
+ kind: "variableDeclarator",
71
+ name: { kind: "identifierPattern", name: "x" },
72
+ initializer: memberAccess,
73
+ },
74
+ ],
75
+ },
76
+ ],
77
+ exports: [],
78
+ };
79
+ };
80
+ export const createModuleWithIdentifierIndex = (options) => {
81
+ const indexExpr = {
82
+ kind: "identifier",
83
+ name: options.indexName,
84
+ ...(options.indexHasInt32Type
85
+ ? {
86
+ inferredType: {
87
+ kind: "primitiveType",
88
+ name: "int",
89
+ },
90
+ }
91
+ : {
92
+ inferredType: { kind: "primitiveType", name: "number" },
93
+ }),
94
+ };
95
+ const memberAccess = {
96
+ kind: "memberAccess",
97
+ object: {
98
+ kind: "identifier",
99
+ name: "arr",
100
+ inferredType: {
101
+ kind: "arrayType",
102
+ elementType: { kind: "primitiveType", name: "number" },
103
+ },
104
+ },
105
+ property: indexExpr,
106
+ isComputed: true,
107
+ isOptional: false,
108
+ accessKind: options.accessKind,
109
+ inferredType: { kind: "primitiveType", name: "number" },
110
+ };
111
+ return {
112
+ kind: "module",
113
+ filePath: "/test/contract.ts",
114
+ namespace: "Test",
115
+ className: "contract",
116
+ isStaticContainer: true,
117
+ imports: [],
118
+ body: [
119
+ {
120
+ kind: "variableDeclaration",
121
+ declarationKind: "const",
122
+ isExported: false,
123
+ declarations: [
124
+ {
125
+ kind: "variableDeclarator",
126
+ name: { kind: "identifierPattern", name: "arr" },
127
+ type: {
128
+ kind: "arrayType",
129
+ elementType: { kind: "primitiveType", name: "number" },
130
+ },
131
+ initializer: {
132
+ kind: "array",
133
+ elements: [
134
+ { kind: "literal", value: 1 },
135
+ { kind: "literal", value: 2 },
136
+ { kind: "literal", value: 3 },
137
+ ],
138
+ },
139
+ },
140
+ ],
141
+ },
142
+ {
143
+ kind: "variableDeclaration",
144
+ declarationKind: "const",
145
+ isExported: false,
146
+ declarations: [
147
+ {
148
+ kind: "variableDeclarator",
149
+ name: { kind: "identifierPattern", name: "x" },
150
+ initializer: memberAccess,
151
+ },
152
+ ],
153
+ },
154
+ ],
155
+ exports: [],
156
+ };
157
+ };
158
+ //# sourceMappingURL=helpers.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"helpers.js","sourceRoot":"","sources":["../../../src/invariants/numeric-proof-contract-cases/helpers.ts"],"names":[],"mappings":"AASA,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,OAKtC,EAAY,EAAE;IACb,MAAM,SAAS,GAAiB;QAC9B,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,OAAO,CAAC,UAAU,IAAI,CAAC;QAC9B,GAAG,EAAE,OAAO,CAAC,QAAQ,IAAI,GAAG;QAC5B,GAAG,CAAC,OAAO,CAAC,aAAa;YACvB,CAAC,CAAC;gBACE,YAAY,EAAE;oBACZ,IAAI,EAAE,eAAwB;oBAC9B,IAAI,EAAE,KAAc;iBACrB;aACF;YACH,CAAC,CAAC,EAAE,CAAC;KACR,CAAC;IAEF,MAAM,YAAY,GAAuB;QACvC,IAAI,EAAE,cAAc;QACpB,MAAM,EAAE;YACN,IAAI,EAAE,YAAY;YAClB,IAAI,EAAE,KAAK;YACX,YAAY,EAAE;gBACZ,IAAI,EAAE,WAAW;gBACjB,WAAW,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;aACvD;SACF;QACD,QAAQ,EAAE,SAAS;QACnB,UAAU,EAAE,IAAI;QAChB,UAAU,EAAE,KAAK;QACjB,GAAG,CAAC,OAAO,CAAC,UAAU,KAAK,SAAS;YAClC,CAAC,CAAC,EAAE,UAAU,EAAE,OAAO,CAAC,UAAU,EAAE;YACpC,CAAC,CAAC,EAAE,CAAC;QACP,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;KACxD,CAAC;IAEF,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,QAAQ,EAAE,mBAAmB;QAC7B,SAAS,EAAE,MAAM;QACjB,SAAS,EAAE,UAAU;QACrB,iBAAiB,EAAE,IAAI;QACvB,OAAO,EAAE,EAAE;QACX,IAAI,EAAE;YACJ;gBACE,IAAI,EAAE,qBAAqB;gBAC3B,eAAe,EAAE,OAAO;gBACxB,UAAU,EAAE,KAAK;gBACjB,YAAY,EAAE;oBACZ;wBACE,IAAI,EAAE,oBAAoB;wBAC1B,IAAI,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,KAAK,EAAE;wBAChD,IAAI,EAAE;4BACJ,IAAI,EAAE,WAAW;4BACjB,WAAW,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;yBACvD;wBACD,WAAW,EAAE;4BACX,IAAI,EAAE,OAAO;4BACb,QAAQ,EAAE;gCACR,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE;gCAC7B,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE;gCAC7B,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE;6BAC9B;yBACF;qBACF;iBACF;aACF;YACD;gBACE,IAAI,EAAE,qBAAqB;gBAC3B,eAAe,EAAE,OAAO;gBACxB,UAAU,EAAE,KAAK;gBACjB,YAAY,EAAE;oBACZ;wBACE,IAAI,EAAE,oBAAoB;wBAC1B,IAAI,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;wBAC9C,WAAW,EAAE,YAAY;qBAC1B;iBACF;aACF;SACF;QACD,OAAO,EAAE,EAAE;KACZ,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAAC,OAI/C,EAAY,EAAE;IACb,MAAM,SAAS,GAAiB;QAC9B,IAAI,EAAE,YAAY;QAClB,IAAI,EAAE,OAAO,CAAC,SAAS;QACvB,GAAG,CAAC,OAAO,CAAC,iBAAiB;YAC3B,CAAC,CAAC;gBACE,YAAY,EAAE;oBACZ,IAAI,EAAE,eAAwB;oBAC9B,IAAI,EAAE,KAAc;iBACrB;aACF;YACH,CAAC,CAAC;gBACE,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;aACxD,CAAC;KACP,CAAC;IAEF,MAAM,YAAY,GAAuB;QACvC,IAAI,EAAE,cAAc;QACpB,MAAM,EAAE;YACN,IAAI,EAAE,YAAY;YAClB,IAAI,EAAE,KAAK;YACX,YAAY,EAAE;gBACZ,IAAI,EAAE,WAAW;gBACjB,WAAW,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;aACvD;SACF;QACD,QAAQ,EAAE,SAAS;QACnB,UAAU,EAAE,IAAI;QAChB,UAAU,EAAE,KAAK;QACjB,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;KACxD,CAAC;IAEF,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,QAAQ,EAAE,mBAAmB;QAC7B,SAAS,EAAE,MAAM;QACjB,SAAS,EAAE,UAAU;QACrB,iBAAiB,EAAE,IAAI;QACvB,OAAO,EAAE,EAAE;QACX,IAAI,EAAE;YACJ;gBACE,IAAI,EAAE,qBAAqB;gBAC3B,eAAe,EAAE,OAAO;gBACxB,UAAU,EAAE,KAAK;gBACjB,YAAY,EAAE;oBACZ;wBACE,IAAI,EAAE,oBAAoB;wBAC1B,IAAI,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,KAAK,EAAE;wBAChD,IAAI,EAAE;4BACJ,IAAI,EAAE,WAAW;4BACjB,WAAW,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;yBACvD;wBACD,WAAW,EAAE;4BACX,IAAI,EAAE,OAAO;4BACb,QAAQ,EAAE;gCACR,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE;gCAC7B,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE;gCAC7B,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE;6BAC9B;yBACF;qBACF;iBACF;aACF;YACD;gBACE,IAAI,EAAE,qBAAqB;gBAC3B,eAAe,EAAE,OAAO;gBACxB,UAAU,EAAE,KAAK;gBACjB,YAAY,EAAE;oBACZ;wBACE,IAAI,EAAE,oBAAoB;wBAC1B,IAAI,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;wBAC9C,WAAW,EAAE,YAAY;qBAC1B;iBACF;aACF;SACF;QACD,OAAO,EAAE,EAAE;KACZ,CAAC;AACJ,CAAC,CAAC"}
@@ -0,0 +1,5 @@
1
+ /**
2
+ * Contract Test: Numeric Proof System (Behavioral)
3
+ */
4
+ export {};
5
+ //# sourceMappingURL=proof-and-diagnostics.test.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"proof-and-diagnostics.test.d.ts","sourceRoot":"","sources":["../../../src/invariants/numeric-proof-contract-cases/proof-and-diagnostics.test.ts"],"names":[],"mappings":"AAAA;;GAEG"}
@@ -0,0 +1,242 @@
1
+ /**
2
+ * Contract Test: Numeric Proof System (Behavioral)
3
+ */
4
+ import { describe, it } from "mocha";
5
+ import { expect } from "chai";
6
+ import { runNumericProofPass, } from "@tsonic/frontend";
7
+ import { createModuleWithAccess, createModuleWithIdentifierIndex, } from "./helpers.js";
8
+ describe("Numeric Proof Contract (Behavioral)", () => {
9
+ describe("clrIndexer access (requires Int32 proof)", () => {
10
+ it("double literal (1.5) triggers TSN5107", () => {
11
+ const module = createModuleWithAccess({
12
+ accessKind: "clrIndexer",
13
+ indexHasProof: false,
14
+ indexValue: 1.5,
15
+ indexRaw: "1.5",
16
+ });
17
+ const result = runNumericProofPass([module]);
18
+ expect(result.ok).to.be.false;
19
+ expect(result.diagnostics[0]?.code).to.equal("TSN5107");
20
+ });
21
+ it("unproven identifier triggers TSN5107", () => {
22
+ const module = createModuleWithIdentifierIndex({
23
+ accessKind: "clrIndexer",
24
+ indexName: "i",
25
+ indexHasInt32Type: false,
26
+ });
27
+ const result = runNumericProofPass([module]);
28
+ expect(result.ok).to.be.false;
29
+ expect(result.diagnostics[0]?.code).to.equal("TSN5107");
30
+ });
31
+ it("integer literal (0) passes and gets marker", () => {
32
+ const module = createModuleWithAccess({
33
+ accessKind: "clrIndexer",
34
+ indexHasProof: false,
35
+ indexValue: 0,
36
+ indexRaw: "0",
37
+ });
38
+ const result = runNumericProofPass([module]);
39
+ expect(result.ok).to.be.true;
40
+ expect(result.diagnostics).to.have.length(0);
41
+ // Verify marker was set
42
+ const varDecl = result.modules[0]?.body[1];
43
+ if (varDecl?.kind !== "variableDeclaration") {
44
+ throw new Error("Expected variable declaration");
45
+ }
46
+ const access = varDecl.declarations[0]?.initializer;
47
+ const indexExpr = access.property;
48
+ // Index should have primitiveType(name="int") after proof pass
49
+ expect(indexExpr.inferredType?.kind).to.equal("primitiveType");
50
+ if (indexExpr.inferredType?.kind === "primitiveType") {
51
+ expect(indexExpr.inferredType.name).to.equal("int");
52
+ }
53
+ });
54
+ it("proven identifier passes", () => {
55
+ const module = createModuleWithIdentifierIndex({
56
+ accessKind: "clrIndexer",
57
+ indexName: "i",
58
+ indexHasInt32Type: true,
59
+ });
60
+ const result = runNumericProofPass([module]);
61
+ expect(result.ok).to.be.true;
62
+ });
63
+ });
64
+ describe("stringChar access (requires Int32 proof)", () => {
65
+ it("double literal (1.5) triggers TSN5107", () => {
66
+ const module = createModuleWithAccess({
67
+ accessKind: "stringChar",
68
+ indexHasProof: false,
69
+ indexValue: 1.5,
70
+ indexRaw: "1.5",
71
+ });
72
+ const result = runNumericProofPass([module]);
73
+ expect(result.ok).to.be.false;
74
+ expect(result.diagnostics[0]?.code).to.equal("TSN5107");
75
+ });
76
+ it("unproven identifier triggers TSN5107", () => {
77
+ const module = createModuleWithIdentifierIndex({
78
+ accessKind: "stringChar",
79
+ indexName: "charIdx",
80
+ indexHasInt32Type: false,
81
+ });
82
+ const result = runNumericProofPass([module]);
83
+ expect(result.ok).to.be.false;
84
+ expect(result.diagnostics[0]?.code).to.equal("TSN5107");
85
+ });
86
+ it("integer literal (0) passes and gets marker", () => {
87
+ const module = createModuleWithAccess({
88
+ accessKind: "stringChar",
89
+ indexHasProof: false,
90
+ indexValue: 0,
91
+ indexRaw: "0",
92
+ });
93
+ const result = runNumericProofPass([module]);
94
+ expect(result.ok).to.be.true;
95
+ });
96
+ });
97
+ // ============================================================================
98
+ // ACCESS KIND THAT DOES NOT REQUIRE Int32 PROOF: dictionary
99
+ // ============================================================================
100
+ describe("dictionary access (does NOT require Int32 proof)", () => {
101
+ it("double literal passes (no TSN5107)", () => {
102
+ const module = createModuleWithAccess({
103
+ accessKind: "dictionary",
104
+ indexHasProof: false,
105
+ indexValue: 1.5,
106
+ indexRaw: "1.5",
107
+ });
108
+ const result = runNumericProofPass([module]);
109
+ expect(result.ok).to.be.true;
110
+ expect(result.diagnostics.filter((d) => d.code === "TSN5107")).to.have.length(0);
111
+ });
112
+ it("unproven identifier passes (no TSN5107)", () => {
113
+ const module = createModuleWithIdentifierIndex({
114
+ accessKind: "dictionary",
115
+ indexName: "key",
116
+ indexHasInt32Type: false,
117
+ });
118
+ const result = runNumericProofPass([module]);
119
+ expect(result.ok).to.be.true;
120
+ });
121
+ it("integer literal passes (no TSN5107)", () => {
122
+ const module = createModuleWithAccess({
123
+ accessKind: "dictionary",
124
+ indexHasProof: false,
125
+ indexValue: 0,
126
+ indexRaw: "0",
127
+ });
128
+ const result = runNumericProofPass([module]);
129
+ expect(result.ok).to.be.true;
130
+ });
131
+ });
132
+ // ============================================================================
133
+ // UNKNOWN / MISSING ACCESS KIND: TSN5109 (compiler bug)
134
+ // ============================================================================
135
+ describe("unknown/missing accessKind (TSN5109)", () => {
136
+ it("accessKind='unknown' triggers TSN5109 with debug info", () => {
137
+ const module = createModuleWithAccess({
138
+ accessKind: "unknown",
139
+ indexHasProof: false,
140
+ indexValue: 0,
141
+ indexRaw: "0",
142
+ });
143
+ const result = runNumericProofPass([module]);
144
+ expect(result.ok).to.be.false;
145
+ expect(result.diagnostics[0]?.code).to.equal("TSN5109");
146
+ // Verify message includes debug info for diagnosis
147
+ expect(result.diagnostics[0]?.message).to.include("Computed access kind was not classified");
148
+ expect(result.diagnostics[0]?.message).to.include("accessKind=unknown");
149
+ expect(result.diagnostics[0]?.message).to.include("objectType.kind=");
150
+ });
151
+ it("missing accessKind (undefined) triggers TSN5109 with debug info", () => {
152
+ // accessKind is not set at all
153
+ const module = createModuleWithAccess({
154
+ accessKind: undefined,
155
+ indexHasProof: false,
156
+ indexValue: 0,
157
+ indexRaw: "0",
158
+ });
159
+ const result = runNumericProofPass([module]);
160
+ expect(result.ok).to.be.false;
161
+ expect(result.diagnostics[0]?.code).to.equal("TSN5109");
162
+ // Verify message includes "undefined" for missing accessKind
163
+ expect(result.diagnostics[0]?.message).to.include("accessKind=undefined");
164
+ });
165
+ it("REGRESSION: referenceType without resolvedClrType defaults to clrIndexer (safe)", () => {
166
+ // This test guards against unsafe dictionary misclassification.
167
+ // If a referenceType lacks resolvedClrType, classification defaults to clrIndexer
168
+ // (not "unknown") which is SAFE: it requires Int32 proof for the index.
169
+ // This is the conservative safe behavior - Dictionary would fail at compile time
170
+ // if accessed with a non-Int32 key, which is better than runtime unsoundness.
171
+ const indexExpr = {
172
+ kind: "literal",
173
+ value: 0,
174
+ raw: "0", // Valid integer literal - should pass Int32 check
175
+ };
176
+ const memberAccess = {
177
+ kind: "memberAccess",
178
+ object: {
179
+ kind: "identifier",
180
+ name: "list",
181
+ // referenceType WITHOUT resolvedClrType (e.g., tsbindgen type)
182
+ inferredType: {
183
+ kind: "referenceType",
184
+ name: "List",
185
+ // resolvedClrType is MISSING - defaults to clrIndexer (safe)
186
+ },
187
+ },
188
+ property: indexExpr,
189
+ isComputed: true,
190
+ isOptional: false,
191
+ // accessKind is clrIndexer because classifyComputedAccess defaults to it
192
+ // when resolvedClrType is missing on a referenceType
193
+ accessKind: "clrIndexer",
194
+ inferredType: { kind: "primitiveType", name: "number" },
195
+ };
196
+ const module = {
197
+ kind: "module",
198
+ filePath: "/test/list-regression.ts",
199
+ namespace: "Test",
200
+ className: "listRegression",
201
+ isStaticContainer: true,
202
+ imports: [],
203
+ body: [
204
+ {
205
+ kind: "variableDeclaration",
206
+ declarationKind: "const",
207
+ isExported: false,
208
+ declarations: [
209
+ {
210
+ kind: "variableDeclarator",
211
+ name: { kind: "identifierPattern", name: "x" },
212
+ initializer: memberAccess,
213
+ },
214
+ ],
215
+ },
216
+ ],
217
+ exports: [],
218
+ };
219
+ const result = runNumericProofPass([module]);
220
+ // Should PASS because:
221
+ // 1. accessKind is clrIndexer (default for referenceType without resolvedClrType)
222
+ // 2. index is literal 0, which is valid Int32
223
+ expect(result.ok).to.be.true;
224
+ // Verify the index got annotated with int type
225
+ const varDecl = result.modules[0]?.body[0];
226
+ if (varDecl?.kind !== "variableDeclaration") {
227
+ throw new Error("Expected variable declaration");
228
+ }
229
+ const access = varDecl.declarations[0]?.initializer;
230
+ const processedIndex = access.property;
231
+ // Index should have primitiveType(name="int") after proof pass
232
+ expect(processedIndex.inferredType?.kind).to.equal("primitiveType");
233
+ if (processedIndex.inferredType?.kind === "primitiveType") {
234
+ expect(processedIndex.inferredType.name).to.equal("int");
235
+ }
236
+ });
237
+ });
238
+ // ============================================================================
239
+ // EMITTER CONTRACT: ICE when proof marker missing
240
+ // ============================================================================
241
+ });
242
+ //# sourceMappingURL=proof-and-diagnostics.test.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"proof-and-diagnostics.test.js","sourceRoot":"","sources":["../../../src/invariants/numeric-proof-contract-cases/proof-and-diagnostics.test.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,EAKL,mBAAmB,GACpB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EACL,sBAAsB,EACtB,+BAA+B,GAChC,MAAM,cAAc,CAAC;AAEtB,QAAQ,CAAC,qCAAqC,EAAE,GAAG,EAAE;IACnD,QAAQ,CAAC,0CAA0C,EAAE,GAAG,EAAE;QACxD,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;YAC/C,MAAM,MAAM,GAAG,sBAAsB,CAAC;gBACpC,UAAU,EAAE,YAAY;gBACxB,aAAa,EAAE,KAAK;gBACpB,UAAU,EAAE,GAAG;gBACf,QAAQ,EAAE,KAAK;aAChB,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;YAC9B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAC1D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;YAC9C,MAAM,MAAM,GAAG,+BAA+B,CAAC;gBAC7C,UAAU,EAAE,YAAY;gBACxB,SAAS,EAAE,GAAG;gBACd,iBAAiB,EAAE,KAAK;aACzB,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;YAC9B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAC1D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;YACpD,MAAM,MAAM,GAAG,sBAAsB,CAAC;gBACpC,UAAU,EAAE,YAAY;gBACxB,aAAa,EAAE,KAAK;gBACpB,UAAU,EAAE,CAAC;gBACb,QAAQ,EAAE,GAAG;aACd,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAC7B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAE7C,wBAAwB;YACxB,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAgB,CAAC;YAC1D,IAAI,OAAO,EAAE,IAAI,KAAK,qBAAqB,EAAE,CAAC;gBAC5C,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAC;YACnD,CAAC;YACD,MAAM,MAAM,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,WAAiC,CAAC;YAC1E,MAAM,SAAS,GAAG,MAAM,CAAC,QAAwB,CAAC;YAClD,+DAA+D;YAC/D,MAAM,CAAC,SAAS,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;YAC/D,IAAI,SAAS,CAAC,YAAY,EAAE,IAAI,KAAK,eAAe,EAAE,CAAC;gBACrD,MAAM,CAAC,SAAS,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YACtD,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,0BAA0B,EAAE,GAAG,EAAE;YAClC,MAAM,MAAM,GAAG,+BAA+B,CAAC;gBAC7C,UAAU,EAAE,YAAY;gBACxB,SAAS,EAAE,GAAG;gBACd,iBAAiB,EAAE,IAAI;aACxB,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAC/B,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,0CAA0C,EAAE,GAAG,EAAE;QACxD,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;YAC/C,MAAM,MAAM,GAAG,sBAAsB,CAAC;gBACpC,UAAU,EAAE,YAAY;gBACxB,aAAa,EAAE,KAAK;gBACpB,UAAU,EAAE,GAAG;gBACf,QAAQ,EAAE,KAAK;aAChB,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;YAC9B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAC1D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;YAC9C,MAAM,MAAM,GAAG,+BAA+B,CAAC;gBAC7C,UAAU,EAAE,YAAY;gBACxB,SAAS,EAAE,SAAS;gBACpB,iBAAiB,EAAE,KAAK;aACzB,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;YAC9B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAC1D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;YACpD,MAAM,MAAM,GAAG,sBAAsB,CAAC;gBACpC,UAAU,EAAE,YAAY;gBACxB,aAAa,EAAE,KAAK;gBACpB,UAAU,EAAE,CAAC;gBACb,QAAQ,EAAE,GAAG;aACd,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAC/B,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,+EAA+E;IAC/E,4DAA4D;IAC5D,+EAA+E;IAE/E,QAAQ,CAAC,kDAAkD,EAAE,GAAG,EAAE;QAChE,EAAE,CAAC,oCAAoC,EAAE,GAAG,EAAE;YAC5C,MAAM,MAAM,GAAG,sBAAsB,CAAC;gBACpC,UAAU,EAAE,YAAY;gBACxB,aAAa,EAAE,KAAK;gBACpB,UAAU,EAAE,GAAG;gBACf,QAAQ,EAAE,KAAK;aAChB,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAC7B,MAAM,CACJ,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CACvD,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACtB,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,yCAAyC,EAAE,GAAG,EAAE;YACjD,MAAM,MAAM,GAAG,+BAA+B,CAAC;gBAC7C,UAAU,EAAE,YAAY;gBACxB,SAAS,EAAE,KAAK;gBAChB,iBAAiB,EAAE,KAAK;aACzB,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAC/B,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,qCAAqC,EAAE,GAAG,EAAE;YAC7C,MAAM,MAAM,GAAG,sBAAsB,CAAC;gBACpC,UAAU,EAAE,YAAY;gBACxB,aAAa,EAAE,KAAK;gBACpB,UAAU,EAAE,CAAC;gBACb,QAAQ,EAAE,GAAG;aACd,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAC/B,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,+EAA+E;IAC/E,wDAAwD;IACxD,+EAA+E;IAE/E,QAAQ,CAAC,sCAAsC,EAAE,GAAG,EAAE;QACpD,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;YAC/D,MAAM,MAAM,GAAG,sBAAsB,CAAC;gBACpC,UAAU,EAAE,SAAS;gBACrB,aAAa,EAAE,KAAK;gBACpB,UAAU,EAAE,CAAC;gBACb,QAAQ,EAAE,GAAG;aACd,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;YAC9B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YACxD,mDAAmD;YACnD,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,OAAO,CAC/C,yCAAyC,CAC1C,CAAC;YACF,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,oBAAoB,CAAC,CAAC;YACxE,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC;QACxE,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,iEAAiE,EAAE,GAAG,EAAE;YACzE,+BAA+B;YAC/B,MAAM,MAAM,GAAG,sBAAsB,CAAC;gBACpC,UAAU,EAAE,SAAS;gBACrB,aAAa,EAAE,KAAK;gBACpB,UAAU,EAAE,CAAC;gBACb,QAAQ,EAAE,GAAG;aACd,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;YAC9B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YACxD,6DAA6D;YAC7D,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,sBAAsB,CAAC,CAAC;QAC5E,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,iFAAiF,EAAE,GAAG,EAAE;YACzF,gEAAgE;YAChE,kFAAkF;YAClF,wEAAwE;YACxE,iFAAiF;YACjF,8EAA8E;YAC9E,MAAM,SAAS,GAAiB;gBAC9B,IAAI,EAAE,SAAS;gBACf,KAAK,EAAE,CAAC;gBACR,GAAG,EAAE,GAAG,EAAE,kDAAkD;aAC7D,CAAC;YAEF,MAAM,YAAY,GAAuB;gBACvC,IAAI,EAAE,cAAc;gBACpB,MAAM,EAAE;oBACN,IAAI,EAAE,YAAY;oBAClB,IAAI,EAAE,MAAM;oBACZ,+DAA+D;oBAC/D,YAAY,EAAE;wBACZ,IAAI,EAAE,eAAe;wBACrB,IAAI,EAAE,MAAM;wBACZ,6DAA6D;qBAC9D;iBACF;gBACD,QAAQ,EAAE,SAAS;gBACnB,UAAU,EAAE,IAAI;gBAChB,UAAU,EAAE,KAAK;gBACjB,yEAAyE;gBACzE,qDAAqD;gBACrD,UAAU,EAAE,YAAY;gBACxB,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;aACxD,CAAC;YAEF,MAAM,MAAM,GAAa;gBACvB,IAAI,EAAE,QAAQ;gBACd,QAAQ,EAAE,0BAA0B;gBACpC,SAAS,EAAE,MAAM;gBACjB,SAAS,EAAE,gBAAgB;gBAC3B,iBAAiB,EAAE,IAAI;gBACvB,OAAO,EAAE,EAAE;gBACX,IAAI,EAAE;oBACJ;wBACE,IAAI,EAAE,qBAAqB;wBAC3B,eAAe,EAAE,OAAO;wBACxB,UAAU,EAAE,KAAK;wBACjB,YAAY,EAAE;4BACZ;gCACE,IAAI,EAAE,oBAAoB;gCAC1B,IAAI,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;gCAC9C,WAAW,EAAE,YAAY;6BAC1B;yBACF;qBACF;iBACF;gBACD,OAAO,EAAE,EAAE;aACZ,CAAC;YAEF,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,uBAAuB;YACvB,kFAAkF;YAClF,8CAA8C;YAC9C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAE7B,+CAA+C;YAC/C,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAgB,CAAC;YAC1D,IAAI,OAAO,EAAE,IAAI,KAAK,qBAAqB,EAAE,CAAC;gBAC5C,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAC;YACnD,CAAC;YACD,MAAM,MAAM,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,WAAiC,CAAC;YAC1E,MAAM,cAAc,GAAG,MAAM,CAAC,QAAwB,CAAC;YACvD,+DAA+D;YAC/D,MAAM,CAAC,cAAc,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;YACpE,IAAI,cAAc,CAAC,YAAY,EAAE,IAAI,KAAK,eAAe,EAAE,CAAC;gBAC1D,MAAM,CAAC,cAAc,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YAC3D,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,+EAA+E;IAC/E,kDAAkD;IAClD,+EAA+E;AACjF,CAAC,CAAC,CAAC"}