@aster-cloud/aster-lang-ts 1.6.0 → 3.0.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (424) hide show
  1. package/CHANGELOG.md +64 -0
  2. package/dist/scripts/aster.js +5 -12
  3. package/dist/scripts/aster.js.map +1 -1
  4. package/dist/scripts/emit-classfiles.js +3 -1
  5. package/dist/scripts/emit-classfiles.js.map +1 -1
  6. package/dist/scripts/generate-core-ir-types.d.ts +16 -0
  7. package/dist/scripts/generate-core-ir-types.d.ts.map +1 -0
  8. package/dist/scripts/generate-core-ir-types.js +116 -0
  9. package/dist/scripts/generate-core-ir-types.js.map +1 -0
  10. package/dist/scripts/generate-naming-rules.d.ts +5 -0
  11. package/dist/scripts/generate-naming-rules.d.ts.map +1 -0
  12. package/dist/scripts/generate-naming-rules.js +35 -0
  13. package/dist/scripts/generate-naming-rules.js.map +1 -0
  14. package/dist/scripts/golden.js +1 -1
  15. package/dist/scripts/golden.js.map +1 -1
  16. package/dist/src/ast/ast_visitor.d.ts +27 -27
  17. package/dist/src/ast/ast_visitor.d.ts.map +1 -1
  18. package/dist/src/ast/ast_visitor.js.map +1 -1
  19. package/dist/src/browser/schema.d.ts.map +1 -1
  20. package/dist/src/browser/schema.js +1 -3
  21. package/dist/src/browser/schema.js.map +1 -1
  22. package/dist/src/browser.d.ts +7 -0
  23. package/dist/src/browser.d.ts.map +1 -1
  24. package/dist/src/browser.js +7 -4
  25. package/dist/src/browser.js.map +1 -1
  26. package/dist/src/cli/policy-converter.js +6 -10
  27. package/dist/src/cli/policy-converter.js.map +1 -1
  28. package/dist/src/cli/utils/core-ir-file.d.ts +8 -0
  29. package/dist/src/cli/utils/core-ir-file.d.ts.map +1 -0
  30. package/dist/src/cli/utils/core-ir-file.js +29 -0
  31. package/dist/src/cli/utils/core-ir-file.js.map +1 -0
  32. package/dist/src/cnl-printer.d.ts.map +1 -1
  33. package/dist/src/cnl-printer.js +13 -3
  34. package/dist/src/cnl-printer.js.map +1 -1
  35. package/dist/src/compile-pipeline.d.ts.map +1 -1
  36. package/dist/src/compile-pipeline.js +2 -3
  37. package/dist/src/compile-pipeline.js.map +1 -1
  38. package/dist/src/config/lexicons/diagnostic-overlays.generated.d.ts.map +1 -1
  39. package/dist/src/config/lexicons/diagnostic-overlays.generated.js +18 -6
  40. package/dist/src/config/lexicons/diagnostic-overlays.generated.js.map +1 -1
  41. package/dist/src/config/lexicons/fallback-lexicon.d.ts +1 -1
  42. package/dist/src/config/lexicons/fallback-lexicon.d.ts.map +1 -1
  43. package/dist/src/config/lexicons/fallback-lexicon.js +1 -4
  44. package/dist/src/config/lexicons/fallback-lexicon.js.map +1 -1
  45. package/dist/src/config/lexicons/overlay-loader.d.ts +0 -13
  46. package/dist/src/config/lexicons/overlay-loader.d.ts.map +1 -1
  47. package/dist/src/config/lexicons/overlay-loader.js +0 -18
  48. package/dist/src/config/lexicons/overlay-loader.js.map +1 -1
  49. package/dist/src/config/lexicons/types.d.ts +0 -3
  50. package/dist/src/config/lexicons/types.d.ts.map +1 -1
  51. package/dist/src/config/lexicons/types.js.map +1 -1
  52. package/dist/src/core/canonical-decimal.d.ts +3 -0
  53. package/dist/src/core/canonical-decimal.d.ts.map +1 -0
  54. package/dist/src/core/canonical-decimal.js +19 -0
  55. package/dist/src/core/canonical-decimal.js.map +1 -0
  56. package/dist/src/core/canonical-json.d.ts +59 -0
  57. package/dist/src/core/canonical-json.d.ts.map +1 -0
  58. package/dist/src/core/canonical-json.js +250 -0
  59. package/dist/src/core/canonical-json.js.map +1 -0
  60. package/dist/src/core/core-ir-v2.generated.d.ts +807 -0
  61. package/dist/src/core/core-ir-v2.generated.d.ts.map +1 -0
  62. package/dist/src/core/core-ir-v2.generated.js +6 -0
  63. package/dist/src/core/core-ir-v2.generated.js.map +1 -0
  64. package/dist/src/core/core-ir-v2.schema.generated.d.ts +6 -0
  65. package/dist/src/core/core-ir-v2.schema.generated.d.ts.map +1 -0
  66. package/dist/src/core/core-ir-v2.schema.generated.js +2636 -0
  67. package/dist/src/core/core-ir-v2.schema.generated.js.map +1 -0
  68. package/dist/src/core/core_ir.d.ts +27 -11
  69. package/dist/src/core/core_ir.d.ts.map +1 -1
  70. package/dist/src/core/core_ir.js +118 -63
  71. package/dist/src/core/core_ir.js.map +1 -1
  72. package/dist/src/core/index.d.ts +4 -3
  73. package/dist/src/core/index.d.ts.map +1 -1
  74. package/dist/src/core/index.js +3 -2
  75. package/dist/src/core/index.js.map +1 -1
  76. package/dist/src/core/inferred_fields.d.ts +9 -11
  77. package/dist/src/core/inferred_fields.d.ts.map +1 -1
  78. package/dist/src/core/inferred_fields.js +7 -28
  79. package/dist/src/core/inferred_fields.js.map +1 -1
  80. package/dist/src/core/interpreter.js +16 -35
  81. package/dist/src/core/interpreter.js.map +1 -1
  82. package/dist/src/core/lambda-captures.d.ts +14 -0
  83. package/dist/src/core/lambda-captures.d.ts.map +1 -0
  84. package/dist/src/core/lambda-captures.js +128 -0
  85. package/dist/src/core/lambda-captures.js.map +1 -0
  86. package/dist/src/core/pretty_core.d.ts.map +1 -1
  87. package/dist/src/core/pretty_core.js +6 -10
  88. package/dist/src/core/pretty_core.js.map +1 -1
  89. package/dist/src/core/read-core-ir.d.ts +15 -0
  90. package/dist/src/core/read-core-ir.d.ts.map +1 -0
  91. package/dist/src/core/read-core-ir.js +69 -0
  92. package/dist/src/core/read-core-ir.js.map +1 -0
  93. package/dist/src/core/resolution-mark.d.ts +3 -4
  94. package/dist/src/core/resolution-mark.d.ts.map +1 -1
  95. package/dist/src/core/resolution-mark.js +2 -3
  96. package/dist/src/core/resolution-mark.js.map +1 -1
  97. package/dist/src/core/resolve-typed-references.d.ts.map +1 -1
  98. package/dist/src/core/resolve-typed-references.js +11 -27
  99. package/dist/src/core/resolve-typed-references.js.map +1 -1
  100. package/dist/src/core/serialize-core-ir.d.ts +13 -0
  101. package/dist/src/core/serialize-core-ir.d.ts.map +1 -0
  102. package/dist/src/core/serialize-core-ir.js +125 -0
  103. package/dist/src/core/serialize-core-ir.js.map +1 -0
  104. package/dist/src/core/visitor.d.ts.map +1 -1
  105. package/dist/src/core/visitor.js +4 -1
  106. package/dist/src/core/visitor.js.map +1 -1
  107. package/dist/src/diagnostics/error_codes.d.ts +2 -0
  108. package/dist/src/diagnostics/error_codes.d.ts.map +1 -1
  109. package/dist/src/diagnostics/error_codes.js +16 -0
  110. package/dist/src/diagnostics/error_codes.js.map +1 -1
  111. package/dist/src/effects/declared-effects.d.ts +17 -0
  112. package/dist/src/effects/declared-effects.d.ts.map +1 -0
  113. package/dist/src/effects/declared-effects.js +27 -0
  114. package/dist/src/effects/declared-effects.js.map +1 -0
  115. package/dist/src/effects/effect_inference.d.ts.map +1 -1
  116. package/dist/src/effects/effect_inference.js +14 -10
  117. package/dist/src/effects/effect_inference.js.map +1 -1
  118. package/dist/src/effects/effect_inference_browser.d.ts.map +1 -1
  119. package/dist/src/effects/effect_inference_browser.js +14 -9
  120. package/dist/src/effects/effect_inference_browser.js.map +1 -1
  121. package/dist/src/frontend/keyword-translator.d.ts.map +1 -1
  122. package/dist/src/frontend/keyword-translator.js +3 -0
  123. package/dist/src/frontend/keyword-translator.js.map +1 -1
  124. package/dist/src/frontend/lexer.d.ts.map +1 -1
  125. package/dist/src/frontend/lexer.js +7 -3
  126. package/dist/src/frontend/lexer.js.map +1 -1
  127. package/dist/src/frontend/resolve-declarations.d.ts.map +1 -1
  128. package/dist/src/frontend/resolve-declarations.js +3 -23
  129. package/dist/src/frontend/resolve-declarations.js.map +1 -1
  130. package/dist/src/governance/input-refs.js +5 -8
  131. package/dist/src/governance/input-refs.js.map +1 -1
  132. package/dist/src/index.d.ts +5 -0
  133. package/dist/src/index.d.ts.map +1 -1
  134. package/dist/src/index.js +4 -0
  135. package/dist/src/index.js.map +1 -1
  136. package/dist/src/jvm/emitter.d.ts.map +1 -1
  137. package/dist/src/jvm/emitter.js +20 -29
  138. package/dist/src/jvm/emitter.js.map +1 -1
  139. package/dist/src/lower_to_core.d.ts +2 -19
  140. package/dist/src/lower_to_core.d.ts.map +1 -1
  141. package/dist/src/lower_to_core.js +194 -384
  142. package/dist/src/lower_to_core.js.map +1 -1
  143. package/dist/src/lsp/pii_diagnostics.d.ts.map +1 -1
  144. package/dist/src/lsp/pii_diagnostics.js +3 -8
  145. package/dist/src/lsp/pii_diagnostics.js.map +1 -1
  146. package/dist/src/mapping/mapping-ir.d.ts +3 -3
  147. package/dist/src/mapping/mapping-ir.js +3 -3
  148. package/dist/src/nodeid/node-id-map.d.ts +6 -15
  149. package/dist/src/nodeid/node-id-map.d.ts.map +1 -1
  150. package/dist/src/nodeid/node-id-map.js +6 -15
  151. package/dist/src/nodeid/node-id-map.js.map +1 -1
  152. package/dist/src/parser/constraint-parser.js +25 -6
  153. package/dist/src/parser/constraint-parser.js.map +1 -1
  154. package/dist/src/parser/decl-parser.d.ts.map +1 -1
  155. package/dist/src/parser/decl-parser.js +30 -59
  156. package/dist/src/parser/decl-parser.js.map +1 -1
  157. package/dist/src/parser/expr-stmt-parser.d.ts.map +1 -1
  158. package/dist/src/parser/expr-stmt-parser.js +17 -10
  159. package/dist/src/parser/expr-stmt-parser.js.map +1 -1
  160. package/dist/src/parser/field-variant-parser.d.ts.map +1 -1
  161. package/dist/src/parser/field-variant-parser.js +9 -3
  162. package/dist/src/parser/field-variant-parser.js.map +1 -1
  163. package/dist/src/parser/naming-rules.d.ts +19 -0
  164. package/dist/src/parser/naming-rules.d.ts.map +1 -0
  165. package/dist/src/parser/naming-rules.generated.d.ts +7 -0
  166. package/dist/src/parser/naming-rules.generated.d.ts.map +1 -0
  167. package/dist/src/parser/naming-rules.generated.js +392 -0
  168. package/dist/src/parser/naming-rules.generated.js.map +1 -0
  169. package/dist/src/parser/naming-rules.js +2 -0
  170. package/dist/src/parser/naming-rules.js.map +1 -0
  171. package/dist/src/parser/parse-issue.d.ts +2 -0
  172. package/dist/src/parser/parse-issue.d.ts.map +1 -1
  173. package/dist/src/parser/parse-issue.js +2 -0
  174. package/dist/src/parser/parse-issue.js.map +1 -1
  175. package/dist/src/parser/type-inference.d.ts +29 -70
  176. package/dist/src/parser/type-inference.d.ts.map +1 -1
  177. package/dist/src/parser/type-inference.js +82 -212
  178. package/dist/src/parser/type-inference.js.map +1 -1
  179. package/dist/src/parser/type-parser.d.ts +1 -1
  180. package/dist/src/parser/type-parser.d.ts.map +1 -1
  181. package/dist/src/parser/type-parser.js +31 -21
  182. package/dist/src/parser/type-parser.js.map +1 -1
  183. package/dist/src/parser.d.ts.map +1 -1
  184. package/dist/src/parser.js +2 -5
  185. package/dist/src/parser.js.map +1 -1
  186. package/dist/src/stability/stability_gate.d.ts +1 -1
  187. package/dist/src/stability/stability_gate.d.ts.map +1 -1
  188. package/dist/src/stability/stability_gate.js +2 -26
  189. package/dist/src/stability/stability_gate.js.map +1 -1
  190. package/dist/src/typecheck/async.d.ts.map +1 -1
  191. package/dist/src/typecheck/async.js +4 -1
  192. package/dist/src/typecheck/async.js.map +1 -1
  193. package/dist/src/typecheck/browser.d.ts.map +1 -1
  194. package/dist/src/typecheck/browser.js +4 -3
  195. package/dist/src/typecheck/browser.js.map +1 -1
  196. package/dist/src/typecheck/capabilities.d.ts.map +1 -1
  197. package/dist/src/typecheck/capabilities.js +3 -2
  198. package/dist/src/typecheck/capabilities.js.map +1 -1
  199. package/dist/src/typecheck/context.d.ts +5 -5
  200. package/dist/src/typecheck/context.d.ts.map +1 -1
  201. package/dist/src/typecheck/context.js.map +1 -1
  202. package/dist/src/typecheck/diagnostics.d.ts +2 -2
  203. package/dist/src/typecheck/diagnostics.d.ts.map +1 -1
  204. package/dist/src/typecheck/diagnostics.js.map +1 -1
  205. package/dist/src/typecheck/effects.js +18 -11
  206. package/dist/src/typecheck/effects.js.map +1 -1
  207. package/dist/src/typecheck/expression.d.ts +4 -4
  208. package/dist/src/typecheck/expression.d.ts.map +1 -1
  209. package/dist/src/typecheck/expression.js +1 -1
  210. package/dist/src/typecheck/expression.js.map +1 -1
  211. package/dist/src/typecheck/generics.d.ts +2 -2
  212. package/dist/src/typecheck/generics.d.ts.map +1 -1
  213. package/dist/src/typecheck/generics.js +23 -12
  214. package/dist/src/typecheck/generics.js.map +1 -1
  215. package/dist/src/typecheck/governance.d.ts +1 -1
  216. package/dist/src/typecheck/governance.d.ts.map +1 -1
  217. package/dist/src/typecheck/governance.js +1 -1
  218. package/dist/src/typecheck/governance.js.map +1 -1
  219. package/dist/src/typecheck/module.d.ts.map +1 -1
  220. package/dist/src/typecheck/module.js +7 -6
  221. package/dist/src/typecheck/module.js.map +1 -1
  222. package/dist/src/typecheck/pattern.d.ts +2 -2
  223. package/dist/src/typecheck/pattern.d.ts.map +1 -1
  224. package/dist/src/typecheck/pattern.js +12 -46
  225. package/dist/src/typecheck/pattern.js.map +1 -1
  226. package/dist/src/typecheck/pure.d.ts +19 -19
  227. package/dist/src/typecheck/pure.d.ts.map +1 -1
  228. package/dist/src/typecheck/pure.js.map +1 -1
  229. package/dist/src/typecheck/statement.d.ts +6 -6
  230. package/dist/src/typecheck/statement.d.ts.map +1 -1
  231. package/dist/src/typecheck/statement.js +17 -20
  232. package/dist/src/typecheck/statement.js.map +1 -1
  233. package/dist/src/typecheck/symbol_table.d.ts +2 -2
  234. package/dist/src/typecheck/symbol_table.d.ts.map +1 -1
  235. package/dist/src/typecheck/symbol_table.js.map +1 -1
  236. package/dist/src/typecheck/type_system.d.ts +4 -4
  237. package/dist/src/typecheck/type_system.d.ts.map +1 -1
  238. package/dist/src/typecheck/type_system.js +1 -1
  239. package/dist/src/typecheck/type_system.js.map +1 -1
  240. package/dist/src/typecheck/workflow.d.ts +3 -3
  241. package/dist/src/typecheck/workflow.d.ts.map +1 -1
  242. package/dist/src/typecheck/workflow.js.map +1 -1
  243. package/dist/src/typecheck-pii.d.ts.map +1 -1
  244. package/dist/src/typecheck-pii.js +2 -13
  245. package/dist/src/typecheck-pii.js.map +1 -1
  246. package/dist/src/types/type-inference.d.ts +1 -13
  247. package/dist/src/types/type-inference.d.ts.map +1 -1
  248. package/dist/src/types/type-inference.js +1 -2
  249. package/dist/src/types/type-inference.js.map +1 -1
  250. package/dist/src/types.d.ts +160 -172
  251. package/dist/src/types.d.ts.map +1 -1
  252. package/dist/src/types.js.map +1 -1
  253. package/dist/src/version.d.ts +3 -3
  254. package/dist/src/version.js +3 -3
  255. package/dist/test/helpers/core-ir-v2.d.ts +5 -0
  256. package/dist/test/helpers/core-ir-v2.d.ts.map +1 -0
  257. package/dist/test/helpers/core-ir-v2.js +123 -0
  258. package/dist/test/helpers/core-ir-v2.js.map +1 -0
  259. package/dist/test/helpers/locales-core-ir.d.ts +7 -0
  260. package/dist/test/helpers/locales-core-ir.d.ts.map +1 -0
  261. package/dist/test/helpers/locales-core-ir.js +15 -0
  262. package/dist/test/helpers/locales-core-ir.js.map +1 -0
  263. package/dist/test/helpers/locales-type-inference.d.ts +6 -0
  264. package/dist/test/helpers/locales-type-inference.d.ts.map +1 -0
  265. package/dist/test/helpers/locales-type-inference.js +14 -0
  266. package/dist/test/helpers/locales-type-inference.js.map +1 -0
  267. package/dist/test/helpers/test-factories.d.ts +5 -5
  268. package/dist/test/helpers/test-factories.d.ts.map +1 -1
  269. package/dist/test/helpers/test-factories.js +9 -8
  270. package/dist/test/helpers/test-factories.js.map +1 -1
  271. package/dist/test/integration/compliance/compliance-smoke.test.js +1 -2
  272. package/dist/test/integration/compliance/compliance-smoke.test.js.map +1 -1
  273. package/dist/test/integration/pipeline/pipeline.test.js +1 -1
  274. package/dist/test/integration/pipeline/pipeline.test.js.map +1 -1
  275. package/dist/test/integration/vocabulary-resolution.test.js +1 -1
  276. package/dist/test/integration/vocabulary-resolution.test.js.map +1 -1
  277. package/dist/test/regression/type-checker-golden.test.js +1 -1
  278. package/dist/test/regression/type-checker-golden.test.js.map +1 -1
  279. package/dist/test/type-checker/pii-propagation.test.js +7 -6
  280. package/dist/test/type-checker/pii-propagation.test.js.map +1 -1
  281. package/dist/test/types/core-ir-v2.test-d.d.ts +28 -0
  282. package/dist/test/types/core-ir-v2.test-d.d.ts.map +1 -0
  283. package/dist/test/types/core-ir-v2.test-d.js +5 -0
  284. package/dist/test/types/core-ir-v2.test-d.js.map +1 -0
  285. package/dist/test/unit/browser/typecheck-browser-pii-failure.test.js +4 -3
  286. package/dist/test/unit/browser/typecheck-browser-pii-failure.test.js.map +1 -1
  287. package/dist/test/unit/canonicalizer/article-declaration-names.test.js +1 -1
  288. package/dist/test/unit/canonicalizer/article-declaration-names.test.js.map +1 -1
  289. package/dist/test/unit/canonicalizer/chinese-function-syntax.test.js +2 -1
  290. package/dist/test/unit/canonicalizer/chinese-function-syntax.test.js.map +1 -1
  291. package/dist/test/unit/core/canonical-json.test.d.ts +2 -0
  292. package/dist/test/unit/core/canonical-json.test.d.ts.map +1 -0
  293. package/dist/test/unit/core/canonical-json.test.js +38 -0
  294. package/dist/test/unit/core/canonical-json.test.js.map +1 -0
  295. package/dist/test/unit/core/caseless-pattern-name.test.js +6 -8
  296. package/dist/test/unit/core/caseless-pattern-name.test.js.map +1 -1
  297. package/dist/test/unit/core/core-ir-conformance.test.d.ts +2 -0
  298. package/dist/test/unit/core/core-ir-conformance.test.d.ts.map +1 -0
  299. package/dist/test/unit/core/core-ir-conformance.test.js +39 -0
  300. package/dist/test/unit/core/core-ir-conformance.test.js.map +1 -0
  301. package/dist/test/unit/core/core-ir-schema-parity.test.d.ts +2 -0
  302. package/dist/test/unit/core/core-ir-schema-parity.test.d.ts.map +1 -0
  303. package/dist/test/unit/core/core-ir-schema-parity.test.js +25 -0
  304. package/dist/test/unit/core/core-ir-schema-parity.test.js.map +1 -0
  305. package/dist/test/unit/core/core-ir-v2-outputs.test.d.ts +2 -0
  306. package/dist/test/unit/core/core-ir-v2-outputs.test.d.ts.map +1 -0
  307. package/dist/test/unit/core/core-ir-v2-outputs.test.js +128 -0
  308. package/dist/test/unit/core/core-ir-v2-outputs.test.js.map +1 -0
  309. package/dist/test/unit/core/read-core-ir.test.d.ts +2 -0
  310. package/dist/test/unit/core/read-core-ir.test.d.ts.map +1 -0
  311. package/dist/test/unit/core/read-core-ir.test.js +129 -0
  312. package/dist/test/unit/core/read-core-ir.test.js.map +1 -0
  313. package/dist/test/unit/core/resolve-typed-references.test.js +22 -18
  314. package/dist/test/unit/core/resolve-typed-references.test.js.map +1 -1
  315. package/dist/test/unit/diagnostics/lowering-diagnostics-parity.test.js +5 -5
  316. package/dist/test/unit/diagnostics/lowering-diagnostics-parity.test.js.map +1 -1
  317. package/dist/test/unit/diagnostics/parse-diagnostics-parity.test.js +3 -2
  318. package/dist/test/unit/diagnostics/parse-diagnostics-parity.test.js.map +1 -1
  319. package/dist/test/unit/effect/effect-caps-explicit-only.test.d.ts +2 -0
  320. package/dist/test/unit/effect/effect-caps-explicit-only.test.d.ts.map +1 -0
  321. package/dist/test/unit/effect/effect-caps-explicit-only.test.js +73 -0
  322. package/dist/test/unit/effect/effect-caps-explicit-only.test.js.map +1 -0
  323. package/dist/test/unit/effect/effect-inference.test.js +17 -13
  324. package/dist/test/unit/effect/effect-inference.test.js.map +1 -1
  325. package/dist/test/unit/emitter/emitter.test.js +47 -46
  326. package/dist/test/unit/emitter/emitter.test.js.map +1 -1
  327. package/dist/test/unit/formatter-corpus-roundtrip.test.js +5 -1
  328. package/dist/test/unit/formatter-corpus-roundtrip.test.js.map +1 -1
  329. package/dist/test/unit/formatter-roundtrip.test.js +5 -4
  330. package/dist/test/unit/formatter-roundtrip.test.js.map +1 -1
  331. package/dist/test/unit/frontend/resolve-declarations.test.js +13 -14
  332. package/dist/test/unit/frontend/resolve-declarations.test.js.map +1 -1
  333. package/dist/test/unit/governance/governance-check.test.js +1 -1
  334. package/dist/test/unit/governance/governance-check.test.js.map +1 -1
  335. package/dist/test/unit/governance/input-refs-parity.test.js +1 -1
  336. package/dist/test/unit/governance/input-refs-parity.test.js.map +1 -1
  337. package/dist/test/unit/governance/input-refs.test.js +2 -2
  338. package/dist/test/unit/governance/input-refs.test.js.map +1 -1
  339. package/dist/test/unit/governance/no-profile-ir-unchanged.test.js +6 -6
  340. package/dist/test/unit/governance/no-profile-ir-unchanged.test.js.map +1 -1
  341. package/dist/test/unit/interpreter/interpreter.test.js +23 -21
  342. package/dist/test/unit/interpreter/interpreter.test.js.map +1 -1
  343. package/dist/test/unit/interpreter/scope-writeback.test.js +28 -27
  344. package/dist/test/unit/interpreter/scope-writeback.test.js.map +1 -1
  345. package/dist/test/unit/keyword-aliases.test.js +1 -1
  346. package/dist/test/unit/lambda-capture-parity.test.js +43 -14
  347. package/dist/test/unit/lambda-capture-parity.test.js.map +1 -1
  348. package/dist/test/unit/lexicons/fallback-lexicon.test.d.ts +1 -1
  349. package/dist/test/unit/lexicons/fallback-lexicon.test.js +2 -4
  350. package/dist/test/unit/lexicons/fallback-lexicon.test.js.map +1 -1
  351. package/dist/test/unit/lowering/core-ir-v2.test.d.ts +2 -0
  352. package/dist/test/unit/lowering/core-ir-v2.test.d.ts.map +1 -0
  353. package/dist/test/unit/lowering/core-ir-v2.test.js +253 -0
  354. package/dist/test/unit/lowering/core-ir-v2.test.js.map +1 -0
  355. package/dist/test/unit/lowering/lowering.test.js +19 -14
  356. package/dist/test/unit/lowering/lowering.test.js.map +1 -1
  357. package/dist/test/unit/lsp/pii-diagnostics.test.js +33 -30
  358. package/dist/test/unit/lsp/pii-diagnostics.test.js.map +1 -1
  359. package/dist/test/unit/lsp/utils.test.js +5 -4
  360. package/dist/test/unit/lsp/utils.test.js.map +1 -1
  361. package/dist/test/unit/parser/effect-unknown-name.test.js +7 -7
  362. package/dist/test/unit/parser/effect-unknown-name.test.js.map +1 -1
  363. package/dist/test/unit/parser/entry-annotations.test.js +2 -1
  364. package/dist/test/unit/parser/entry-annotations.test.js.map +1 -1
  365. package/dist/test/unit/parser/func-type.test.js +3 -3
  366. package/dist/test/unit/parser/func-type.test.js.map +1 -1
  367. package/dist/test/unit/parser/governance-sugar.test.js +4 -4
  368. package/dist/test/unit/parser/governance-sugar.test.js.map +1 -1
  369. package/dist/test/unit/parser/inferred-type-anchor.test.d.ts +2 -0
  370. package/dist/test/unit/parser/inferred-type-anchor.test.d.ts.map +1 -0
  371. package/dist/test/unit/parser/inferred-type-anchor.test.js +83 -0
  372. package/dist/test/unit/parser/inferred-type-anchor.test.js.map +1 -0
  373. package/dist/test/unit/parser/naming-rules-parity.test.d.ts +2 -0
  374. package/dist/test/unit/parser/naming-rules-parity.test.d.ts.map +1 -0
  375. package/dist/test/unit/parser/naming-rules-parity.test.js +26 -0
  376. package/dist/test/unit/parser/naming-rules-parity.test.js.map +1 -0
  377. package/dist/test/unit/parser/parser.test.js +11 -32
  378. package/dist/test/unit/parser/parser.test.js.map +1 -1
  379. package/dist/test/unit/parser/type-inference-vectors.test.d.ts +2 -0
  380. package/dist/test/unit/parser/type-inference-vectors.test.d.ts.map +1 -0
  381. package/dist/test/unit/parser/type-inference-vectors.test.js +40 -0
  382. package/dist/test/unit/parser/type-inference-vectors.test.js.map +1 -0
  383. package/dist/test/unit/parser/type-inference.test.d.ts +2 -1
  384. package/dist/test/unit/parser/type-inference.test.d.ts.map +1 -1
  385. package/dist/test/unit/parser/type-inference.test.js +93 -159
  386. package/dist/test/unit/parser/type-inference.test.js.map +1 -1
  387. package/dist/test/unit/regex-guard.test.js +6 -6
  388. package/dist/test/unit/regex-guard.test.js.map +1 -1
  389. package/dist/test/unit/rule-call-checks.test.js +2 -1
  390. package/dist/test/unit/rule-call-checks.test.js.map +1 -1
  391. package/dist/test/unit/typecheck/async-discipline-extended.test.js +11 -10
  392. package/dist/test/unit/typecheck/async-discipline-extended.test.js.map +1 -1
  393. package/dist/test/unit/typecheck/effect-prefix-injection.test.js +3 -2
  394. package/dist/test/unit/typecheck/effect-prefix-injection.test.js.map +1 -1
  395. package/dist/test/unit/typecheck/function-return-inference.test.js +33 -32
  396. package/dist/test/unit/typecheck/function-return-inference.test.js.map +1 -1
  397. package/dist/test/unit/typecheck/pii-cross-runtime-conformance.test.js +5 -4
  398. package/dist/test/unit/typecheck/pii-cross-runtime-conformance.test.js.map +1 -1
  399. package/dist/test/unit/typecheck/regression-fixes.test.js +110 -112
  400. package/dist/test/unit/typecheck/regression-fixes.test.js.map +1 -1
  401. package/dist/test/unit/typecheck/symbol-table.test.js +3 -2
  402. package/dist/test/unit/typecheck/symbol-table.test.js.map +1 -1
  403. package/dist/test/unit/typecheck/type-system-extended.test.js +6 -5
  404. package/dist/test/unit/typecheck/type-system-extended.test.js.map +1 -1
  405. package/dist/test/unit/typecheck/type-system.test.js +20 -19
  406. package/dist/test/unit/typecheck/type-system.test.js.map +1 -1
  407. package/dist/test/unit/typecheck/typecheck-advanced.test.js +19 -18
  408. package/dist/test/unit/typecheck/typecheck-advanced.test.js.map +1 -1
  409. package/dist/test/unit/typecheck/untyped-field-dynamic.test.js +6 -4
  410. package/dist/test/unit/typecheck/untyped-field-dynamic.test.js.map +1 -1
  411. package/dist/test/unit/version.test.js +3 -3
  412. package/package.json +4 -3
  413. package/dist/src/config/lexicons/type-inference-rules.d.ts +0 -19
  414. package/dist/src/config/lexicons/type-inference-rules.d.ts.map +0 -1
  415. package/dist/src/config/lexicons/type-inference-rules.js +0 -63
  416. package/dist/src/config/lexicons/type-inference-rules.js.map +0 -1
  417. package/dist/src/core/core_ir_json.d.ts +0 -62
  418. package/dist/src/core/core_ir_json.d.ts.map +0 -1
  419. package/dist/src/core/core_ir_json.js +0 -81
  420. package/dist/src/core/core_ir_json.js.map +0 -1
  421. package/dist/test/unit/core_ir_json/core_ir_json.test.d.ts +0 -2
  422. package/dist/test/unit/core_ir_json/core_ir_json.test.d.ts.map +0 -1
  423. package/dist/test/unit/core_ir_json/core_ir_json.test.js +0 -218
  424. package/dist/test/unit/core_ir_json/core_ir_json.test.js.map +0 -1
@@ -0,0 +1 @@
1
+ {"version":3,"file":"core-ir-v2.schema.generated.js","sourceRoot":"","sources":["../../../src/core/core-ir-v2.schema.generated.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAsC;IAClE,SAAS,EAAE,8CAA8C;IACzD,KAAK,EAAE,4CAA4C;IACnD,OAAO,EAAE,kBAAkB;IAC3B,aAAa,EAAE,+GAA+G;IAC9H,MAAM,EAAE,gBAAgB;IACxB,OAAO,EAAE;QACP,OAAO,EAAE;YACP,aAAa,EAAE,2FAA2F;YAC1G,MAAM,EAAE,SAAS;YACjB,SAAS,EAAE,CAAC,UAAU;YACtB,SAAS,EAAE,UAAU;SACtB;QACD,SAAS,EAAE;YACT,aAAa,EAAE,wEAAwE;YACvF,MAAM,EAAE,SAAS;YACjB,SAAS,EAAE,CAAC,gBAAgB;YAC5B,SAAS,EAAE,gBAAgB;SAC5B;QACD,kBAAkB,EAAE;YAClB,aAAa,EAAE,wFAAwF;YACvG,MAAM,EAAE,QAAQ;YAChB,SAAS,EAAE,wDAAwD;SACpE;QACD,eAAe,EAAE;YACf,aAAa,EAAE,+DAA+D;YAC9E,MAAM,EAAE;gBACN,IAAI;gBACJ,KAAK;aACN;SACF;QACD,oBAAoB,EAAE;YACpB,aAAa,EAAE,wMAAwM;YACvN,MAAM,EAAE;gBACN,IAAI;gBACJ,KAAK;gBACL,MAAM;gBACN,OAAO;aACR;SACF;QACD,eAAe,EAAE;YACf,aAAa,EAAE,0FAA0F;YACzG,MAAM,EAAE,QAAQ;YAChB,SAAS,EAAE,0EAA0E;SACtF;QACD,UAAU,EAAE;YACV,aAAa,EAAE,iCAAiC;YAChD,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,MAAM,EAAE,eAAe;iBACxB;gBACD,KAAK,EAAE;oBACL,MAAM,EAAE,eAAe;iBACxB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,KAAK;aACN;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,QAAQ,EAAE;YACR,aAAa,EAAE,kGAAkG;YACjH,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,MAAM,EAAE;wBACN,QAAQ;wBACR,MAAM;qBACP;iBACF;gBACD,OAAO,EAAE;oBACP,MAAM,EAAE,kBAAkB;iBAC3B;gBACD,KAAK,EAAE;oBACL,MAAM,EAAE,kBAAkB;iBAC3B;gBACD,SAAS,EAAE;oBACT,MAAM,EAAE;wBACN,QAAQ;wBACR,MAAM;qBACP;iBACF;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE;wBACN,WAAW;wBACX,YAAY;wBACZ,aAAa;wBACb,WAAW;wBACX,MAAM;wBACN,WAAW;wBACX,YAAY;wBACZ,UAAU;wBACV,WAAW;wBACX,OAAO;wBACP,IAAI;qBACL;iBACF;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,OAAO;gBACP,KAAK;gBACL,SAAS;gBACT,MAAM;aACP;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,QAAQ,EAAE;YACR,aAAa,EAAE,0GAA0G;YACzH,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,QAAQ;iBAClB;gBACD,eAAe,EAAE;oBACf,OAAO,EAAE,CAAC;iBACX;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE;wBACN,QAAQ;wBACR,MAAM;qBACP;iBACF;gBACD,SAAS,EAAE;oBACT,MAAM,EAAE;wBACN,QAAQ;wBACR,MAAM;qBACP;iBACF;gBACD,OAAO,EAAE;oBACP,MAAM,EAAE,OAAO;oBACf,OAAO,EAAE;wBACP,MAAM,EAAE,cAAc;qBACvB;iBACF;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,eAAe;gBACf,MAAM;gBACN,SAAS;gBACT,OAAO;gBACP,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,MAAM,EAAE;YACN,aAAa,EAAE,OAAO;YACtB,MAAM,EAAE,QAAQ;YAChB,UAAU,EAAE;gBACV,MAAM;aACP;YACD,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,MAAM,EAAE;wBACN,QAAQ;wBACR,MAAM;wBACN,MAAM;wBACN,MAAM;qBACP;iBACF;aACF;YACD,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,QAAQ;6BAClB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,gBAAgB;qBACzB;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,MAAM;6BAChB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,cAAc;qBACvB;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,MAAM;6BAChB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,cAAc;qBACvB;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,MAAM;6BAChB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,cAAc;qBACvB;iBACF;aACF;SACF;QACD,QAAQ,EAAE;YACR,aAAa,EAAE,kFAAkF;YACjG,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,QAAQ;iBAClB;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE,QAAQ;iBACjB;gBACD,OAAO,EAAE;oBACP,MAAM,EAAE;wBACN,QAAQ;wBACR,MAAM;qBACP;iBACF;gBACD,SAAS,EAAE;oBACT,OAAO,EAAE;wBACP;4BACE,MAAM,EAAE,eAAe;yBACxB;wBACD;4BACE,MAAM,EAAE,MAAM;yBACf;qBACF;iBACF;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,MAAM;gBACN,OAAO;gBACP,SAAS;gBACT,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,MAAM,EAAE;YACN,aAAa,EAAE,SAAS;YACxB,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,MAAM;iBAChB;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE,QAAQ;iBACjB;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,OAAO;oBACf,OAAO,EAAE;wBACP,MAAM,EAAE,eAAe;qBACxB;iBACF;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,MAAM;gBACN,QAAQ;gBACR,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,OAAO,EAAE;YACP,aAAa,EAAE,kFAAkF;YACjG,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,MAAM,EAAE,QAAQ;iBACjB;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE,cAAc;iBACvB;gBACD,aAAa,EAAE;oBACb,MAAM,EAAE,OAAO;oBACf,OAAO,EAAE;wBACP,MAAM,EAAE,oBAAoB;qBAC7B;iBACF;gBACD,aAAa,EAAE;oBACb,MAAM,EAAE,OAAO;oBACf,OAAO,EAAE;wBACP,MAAM,EAAE,oBAAoB;qBAC7B;iBACF;gBACD,cAAc,EAAE;oBACd,MAAM,EAAE,SAAS;iBAClB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,MAAM;gBACN,aAAa;gBACb,aAAa;gBACb,cAAc;aACf;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,MAAM,EAAE;YACN,aAAa,EAAE,OAAO;YACtB,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,MAAM;iBAChB;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE,QAAQ;iBACjB;gBACD,UAAU,EAAE;oBACV,MAAM,EAAE,OAAO;oBACf,OAAO,EAAE;wBACP,MAAM,EAAE,QAAQ;qBACjB;iBACF;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,MAAM;gBACN,UAAU;gBACV,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,MAAM,EAAE;YACN,aAAa,EAAE,sNAAsN;YACrO,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,MAAM;iBAChB;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE,QAAQ;iBACjB;gBACD,YAAY,EAAE;oBACZ,MAAM,EAAE,OAAO;oBACf,OAAO,EAAE;wBACP,MAAM,EAAE,QAAQ;qBACjB;iBACF;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,OAAO;oBACf,OAAO,EAAE;wBACP,MAAM,EAAE,eAAe;qBACxB;iBACF;gBACD,KAAK,EAAE;oBACL,MAAM,EAAE,cAAc;iBACvB;gBACD,iBAAiB,EAAE;oBACjB,MAAM,EAAE,SAAS;iBAClB;gBACD,aAAa,EAAE;oBACb,MAAM,EAAE,OAAO;oBACf,OAAO,EAAE;wBACP,MAAM,EAAE,oBAAoB;qBAC7B;iBACF;gBACD,gBAAgB,EAAE;oBAChB,MAAM,EAAE,OAAO;oBACf,OAAO,EAAE;wBACP,MAAM,EAAE,oBAAoB;qBAC7B;iBACF;gBACD,SAAS,EAAE;oBACT,MAAM,EAAE,OAAO;oBACf,OAAO,EAAE;wBACP,OAAO,EAAE;4BACP;gCACE,MAAM,EAAE,uBAAuB;6BAChC;4BACD;gCACE,MAAM,EAAE,uBAAuB;6BAChC;yBACF;qBACF;iBACF;gBACD,cAAc,EAAE;oBACd,MAAM,EAAE,OAAO;oBACf,OAAO,EAAE;wBACP,MAAM,EAAE,QAAQ;qBACjB;iBACF;gBACD,YAAY,EAAE;oBACZ,MAAM,EAAE,OAAO;oBACf,OAAO,EAAE;wBACP,MAAM,EAAE,QAAQ;qBACjB;iBACF;gBACD,oBAAoB,EAAE;oBACpB,MAAM,EAAE,SAAS;iBAClB;gBACD,WAAW,EAAE;oBACX,OAAO,EAAE;wBACP;4BACE,MAAM,EAAE,OAAO;4BACf,OAAO,EAAE;gCACP,MAAM,EAAE,QAAQ;6BACjB;yBACF;wBACD;4BACE,MAAM,EAAE,MAAM;yBACf;qBACF;iBACF;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE,eAAe;iBACxB;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,MAAM;gBACN,YAAY;gBACZ,QAAQ;gBACR,KAAK;gBACL,iBAAiB;gBACjB,aAAa;gBACb,gBAAgB;gBAChB,SAAS;gBACT,cAAc;gBACd,YAAY;gBACZ,oBAAoB;gBACpB,WAAW;gBACX,MAAM;gBACN,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,OAAO,EAAE;YACP,aAAa,EAAE,8BAA8B;YAC7C,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,MAAM,EAAE,QAAQ;iBACjB;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE,cAAc;iBACvB;gBACD,aAAa,EAAE;oBACb,MAAM,EAAE,OAAO;oBACf,OAAO,EAAE;wBACP,MAAM,EAAE,oBAAoB;qBAC7B;iBACF;gBACD,aAAa,EAAE;oBACb,MAAM,EAAE,OAAO;oBACf,OAAO,EAAE;wBACP,MAAM,EAAE,oBAAoB;qBAC7B;iBACF;gBACD,cAAc,EAAE;oBACd,MAAM,EAAE,SAAS;iBAClB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,MAAM;gBACN,aAAa;gBACb,aAAa;gBACb,cAAc;aACf;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,YAAY,EAAE;YACZ,aAAa,EAAE,4DAA4D;YAC3E,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,MAAM,EAAE,QAAQ;iBACjB;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE,OAAO;oBACf,OAAO,EAAE;wBACP,MAAM,EAAE,uBAAuB;qBAChC;iBACF;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,MAAM;aACP;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,eAAe,EAAE;YACf,aAAa,EAAE,qFAAqF;YACpG,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,MAAM,EAAE,QAAQ;oBAChB,SAAS,EAAE,+BAA+B;iBAC3C;gBACD,OAAO,EAAE;oBACP,OAAO,EAAE;wBACP;4BACE,MAAM,EAAE,QAAQ;yBACjB;wBACD;4BACE,MAAM,EAAE,SAAS;yBAClB;wBACD;4BACE,MAAM,EAAE,eAAe;yBACxB;qBACF;iBACF;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,OAAO;aACR;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,YAAY,EAAE;YACZ,aAAa,EAAE,uDAAuD;YACtE,MAAM,EAAE,QAAQ;YAChB,UAAU,EAAE;gBACV,MAAM;aACP;YACD,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,MAAM,EAAE;wBACN,UAAU;wBACV,OAAO;wBACP,SAAS;qBACV;iBACF;aACF;YACD,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,UAAU;6BACpB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,kBAAkB;qBAC3B;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,OAAO;6BACjB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,eAAe;qBACxB;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,SAAS;6BACnB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,iBAAiB;qBAC1B;iBACF;aACF;SACF;QACD,UAAU,EAAE;YACV,aAAa,EAAE,OAAO;YACtB,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,UAAU;iBACpB;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,OAAO,EAAE;YACP,aAAa,EAAE,oCAAoC;YACnD,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,OAAO;iBACjB;gBACD,KAAK,EAAE;oBACL,OAAO,EAAE;wBACP;4BACE,MAAM,EAAE,0BAA0B;yBACnC;wBACD;4BACE,MAAM,EAAE,MAAM;yBACf;qBACF;iBACF;gBACD,KAAK,EAAE;oBACL,OAAO,EAAE;wBACP;4BACE,MAAM,EAAE,0BAA0B;yBACnC;wBACD;4BACE,MAAM,EAAE,MAAM;yBACf;qBACF;iBACF;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,KAAK;gBACL,KAAK;gBACL,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;YAC7B,KAAK,EAAE;gBACL,YAAY,EAAE;oBACZ,KAAK,EAAE;wBACL,MAAM,EAAE,MAAM;qBACf;oBACD,KAAK,EAAE;wBACL,MAAM,EAAE,MAAM;qBACf;iBACF;aACF;SACF;QACD,SAAS,EAAE;YACT,aAAa,EAAE,0BAA0B;YACzC,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,SAAS;iBACnB;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,QAAQ;iBACjB;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,QAAQ;gBACR,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,MAAM,EAAE;YACN,aAAa,EAAE,sCAAsC;YACrD,MAAM,EAAE,QAAQ;YAChB,UAAU,EAAE;gBACV,MAAM;aACP;YACD,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,MAAM,EAAE;wBACN,UAAU;wBACV,SAAS;wBACT,SAAS;wBACT,QAAQ;wBACR,OAAO;wBACP,QAAQ;wBACR,MAAM;wBACN,KAAK;wBACL,UAAU;wBACV,SAAS;qBACV;iBACF;aACF;YACD,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,UAAU;6BACpB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,kBAAkB;qBAC3B;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,SAAS;6BACnB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,iBAAiB;qBAC1B;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,SAAS;6BACnB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,iBAAiB;qBAC1B;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,QAAQ;6BAClB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,gBAAgB;qBACzB;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,OAAO;6BACjB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,eAAe;qBACxB;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,QAAQ;6BAClB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,gBAAgB;qBACzB;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,MAAM;6BAChB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,cAAc;qBACvB;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,KAAK;6BACf;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,aAAa;qBACtB;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,UAAU;6BACpB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,kBAAkB;qBAC3B;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,SAAS;6BACnB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,iBAAiB;qBAC1B;iBACF;aACF;SACF;QACD,UAAU,EAAE;YACV,aAAa,EAAE,OAAO;YACtB,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,UAAU;iBACpB;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE,QAAQ;iBACjB;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,MAAM;gBACN,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,SAAS,EAAE;YACT,aAAa,EAAE,OAAO;YACtB,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,SAAS;iBACnB;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE,QAAQ;iBACjB;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,MAAM;gBACN,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,SAAS,EAAE;YACT,aAAa,EAAE,OAAO;YACtB,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,SAAS;iBACnB;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE,QAAQ;iBACjB;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE,OAAO;oBACf,OAAO,EAAE;wBACP,MAAM,EAAE,cAAc;qBACvB;iBACF;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,MAAM;gBACN,MAAM;gBACN,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,QAAQ,EAAE;YACR,aAAa,EAAE,OAAO;YACtB,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,QAAQ;iBAClB;gBACD,IAAI,EAAE;oBACJ,MAAM,EAAE,cAAc;iBACvB;gBACD,KAAK,EAAE;oBACL,MAAM,EAAE,cAAc;iBACvB;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,IAAI;gBACJ,KAAK;gBACL,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,OAAO,EAAE;YACP,aAAa,EAAE,OAAO;YACtB,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,OAAO;iBACjB;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE,cAAc;iBACvB;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,MAAM;gBACN,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,QAAQ,EAAE;YACR,aAAa,EAAE,OAAO;YACtB,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,QAAQ;iBAClB;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE,cAAc;iBACvB;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,MAAM;gBACN,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,MAAM,EAAE;YACN,aAAa,EAAE,OAAO;YACtB,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,MAAM;iBAChB;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE,cAAc;iBACvB;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,MAAM;gBACN,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,KAAK,EAAE;YACL,aAAa,EAAE,OAAO;YACtB,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,KAAK;iBACf;gBACD,KAAK,EAAE;oBACL,MAAM,EAAE,cAAc;iBACvB;gBACD,KAAK,EAAE;oBACL,MAAM,EAAE,cAAc;iBACvB;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,KAAK;gBACL,KAAK;gBACL,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,UAAU,EAAE;YACV,aAAa,EAAE,OAAO;YACtB,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,UAAU;iBACpB;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,OAAO;oBACf,OAAO,EAAE;wBACP,MAAM,EAAE,cAAc;qBACvB;iBACF;gBACD,KAAK,EAAE;oBACL,MAAM,EAAE,cAAc;iBACvB;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,QAAQ;gBACR,KAAK;gBACL,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,SAAS,EAAE;YACT,aAAa,EAAE,WAAW;YAC1B,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,SAAS;iBACnB;gBACD,UAAU,EAAE;oBACV,MAAM,EAAE,cAAc;iBACvB;gBACD,aAAa,EAAE;oBACb,MAAM,EAAE,QAAQ;iBACjB;gBACD,UAAU,EAAE;oBACV,MAAM,EAAE,QAAQ;iBACjB;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,UAAU;gBACV,aAAa;gBACb,UAAU;gBACV,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,MAAM,EAAE;YACN,aAAa,EAAE,KAAK;YACpB,MAAM,EAAE,QAAQ;YAChB,UAAU,EAAE;gBACV,MAAM;aACP;YACD,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,MAAM,EAAE;wBACN,KAAK;wBACL,KAAK;wBACL,QAAQ;wBACR,IAAI;wBACJ,OAAO;wBACP,OAAO;wBACP,OAAO;wBACP,OAAO;wBACP,MAAM;wBACN,UAAU;qBACX;iBACF;aACF;YACD,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,KAAK;6BACf;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,aAAa;qBACtB;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,KAAK;6BACf;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,aAAa;qBACtB;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,QAAQ;6BAClB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,gBAAgB;qBACzB;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,IAAI;6BACd;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,YAAY;qBACrB;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,OAAO;6BACjB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,eAAe;qBACxB;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,OAAO;6BACjB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,eAAe;qBACxB;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,OAAO;6BACjB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,eAAe;qBACxB;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,OAAO;6BACjB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,eAAe;qBACxB;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,MAAM;6BAChB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,cAAc;qBACvB;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,UAAU;6BACpB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,kBAAkB;qBAC3B;iBACF;aACF;SACF;QACD,KAAK,EAAE;YACL,aAAa,EAAE,OAAO;YACtB,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,KAAK;iBACf;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE,QAAQ;iBACjB;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE,cAAc;iBACvB;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,MAAM;gBACN,MAAM;gBACN,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,KAAK,EAAE;YACL,aAAa,EAAE,KAAK;YACpB,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,KAAK;iBACf;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE,QAAQ;iBACjB;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE,cAAc;iBACvB;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,MAAM;gBACN,MAAM;gBACN,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,QAAQ,EAAE;YACR,aAAa,EAAE,KAAK;YACpB,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,QAAQ;iBAClB;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE,cAAc;iBACvB;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,MAAM;gBACN,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,IAAI,EAAE;YACJ,aAAa,EAAE,oCAAoC;YACnD,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,IAAI;iBACd;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE,cAAc;iBACvB;gBACD,WAAW,EAAE;oBACX,MAAM,EAAE,eAAe;iBACxB;gBACD,WAAW,EAAE;oBACX,OAAO,EAAE;wBACP;4BACE,MAAM,EAAE,eAAe;yBACxB;wBACD;4BACE,MAAM,EAAE,MAAM;yBACf;qBACF;iBACF;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,MAAM;gBACN,WAAW;gBACX,WAAW;gBACX,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,OAAO,EAAE;YACP,aAAa,EAAE,OAAO;YACtB,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,OAAO;iBACjB;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE,cAAc;iBACvB;gBACD,OAAO,EAAE;oBACP,MAAM,EAAE,OAAO;oBACf,OAAO,EAAE;wBACP,MAAM,EAAE,cAAc;qBACvB;iBACF;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,MAAM;gBACN,OAAO;gBACP,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,MAAM,EAAE;YACN,aAAa,EAAE,OAAO;YACtB,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,MAAM;iBAChB;gBACD,SAAS,EAAE;oBACT,MAAM,EAAE,aAAa;iBACtB;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE,kBAAkB;iBAC3B;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,SAAS;gBACT,MAAM;gBACN,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,UAAU,EAAE;YACV,aAAa,EAAE,uBAAuB;YACtC,MAAM,EAAE,QAAQ;YAChB,UAAU,EAAE;gBACV,MAAM;aACP;YACD,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,MAAM,EAAE;wBACN,QAAQ;wBACR,OAAO;qBACR;iBACF;aACF;YACD,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,QAAQ;6BAClB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,gBAAgB;qBACzB;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,OAAO;6BACjB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,eAAe;qBACxB;iBACF;aACF;SACF;QACD,OAAO,EAAE;YACP,aAAa,EAAE,MAAM;YACrB,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,OAAO;iBACjB;gBACD,YAAY,EAAE;oBACZ,MAAM,EAAE,OAAO;oBACf,OAAO,EAAE;wBACP,MAAM,EAAE,cAAc;qBACvB;iBACF;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,YAAY;gBACZ,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,OAAO,EAAE;YACP,aAAa,EAAE,MAAM;YACrB,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,OAAO;iBACjB;gBACD,YAAY,EAAE;oBACZ,MAAM,EAAE,OAAO;oBACf,OAAO,EAAE;wBACP,MAAM,EAAE,cAAc;qBACvB;iBACF;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,YAAY;gBACZ,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,OAAO,EAAE;YACP,aAAa,EAAE,SAAS;YACxB,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,OAAO;iBACjB;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE,QAAQ;iBACjB;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE,cAAc;iBACvB;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,MAAM;gBACN,MAAM;gBACN,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,MAAM,EAAE;YACN,aAAa,EAAE,SAAS;YACxB,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,MAAM;iBAChB;gBACD,OAAO,EAAE;oBACP,MAAM,EAAE,OAAO;oBACf,OAAO,EAAE;wBACP,MAAM,EAAE,QAAQ;qBACjB;iBACF;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,OAAO;gBACP,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,UAAU,EAAE;YACV,aAAa,EAAE,4DAA4D;YAC3E,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,UAAU;iBACpB;gBACD,OAAO,EAAE;oBACP,MAAM,EAAE,OAAO;oBACf,OAAO,EAAE;wBACP,MAAM,EAAE,cAAc;qBACvB;iBACF;gBACD,YAAY,EAAE;oBACZ,MAAM,EAAE,OAAO;oBACf,OAAO,EAAE;wBACP,MAAM,EAAE,QAAQ;qBACjB;iBACF;gBACD,OAAO,EAAE;oBACP,OAAO,EAAE;wBACP;4BACE,MAAM,EAAE,qBAAqB;yBAC9B;wBACD;4BACE,MAAM,EAAE,MAAM;yBACf;qBACF;iBACF;gBACD,SAAS,EAAE;oBACT,OAAO,EAAE;wBACP;4BACE,MAAM,EAAE,iBAAiB;yBAC1B;wBACD;4BACE,MAAM,EAAE,MAAM;yBACf;qBACF;iBACF;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,OAAO;gBACP,YAAY;gBACZ,OAAO;gBACP,SAAS;gBACT,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,MAAM,EAAE;YACN,aAAa,EAAE,gDAAgD;YAC/D,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,MAAM;iBAChB;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE,QAAQ;iBACjB;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE,eAAe;iBACxB;gBACD,YAAY,EAAE;oBACZ,OAAO,EAAE;wBACP;4BACE,MAAM,EAAE,eAAe;yBACxB;wBACD;4BACE,MAAM,EAAE,MAAM;yBACf;qBACF;iBACF;gBACD,cAAc,EAAE;oBACd,MAAM,EAAE,OAAO;oBACf,OAAO,EAAE;wBACP,MAAM,EAAE,QAAQ;qBACjB;iBACF;gBACD,YAAY,EAAE;oBACZ,MAAM,EAAE,OAAO;oBACf,OAAO,EAAE;wBACP,MAAM,EAAE,QAAQ;qBACjB;iBACF;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,MAAM;gBACN,MAAM;gBACN,YAAY;gBACZ,cAAc;gBACd,YAAY;gBACZ,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,aAAa,EAAE;YACb,aAAa,EAAE,OAAO;YACtB,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,aAAa,EAAE;oBACb,MAAM,EAAE,eAAe;iBACxB;gBACD,SAAS,EAAE;oBACT,MAAM,EAAE;wBACN,aAAa;wBACb,QAAQ;qBACT;iBACF;aACF;YACD,UAAU,EAAE;gBACV,aAAa;gBACb,SAAS;aACV;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,SAAS,EAAE;YACT,aAAa,EAAE,SAAS;YACxB,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,cAAc,EAAE;oBACd,MAAM,EAAE,iBAAiB;iBAC1B;aACF;YACD,UAAU,EAAE;gBACV,cAAc;aACf;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,KAAK,EAAE;YACL,aAAa,EAAE,OAAO;YACtB,MAAM,EAAE,QAAQ;YAChB,UAAU,EAAE;gBACV,MAAM;aACP;YACD,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,MAAM,EAAE;wBACN,SAAS;wBACT,SAAS;wBACT,SAAS;wBACT,QAAQ;qBACT;iBACF;aACF;YACD,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,SAAS;6BACnB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,iBAAiB;qBAC1B;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,SAAS;6BACnB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,iBAAiB;qBAC1B;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,SAAS;6BACnB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,iBAAiB;qBAC1B;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,QAAQ;6BAClB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,gBAAgB;qBACzB;iBACF;aACF;SACF;QACD,SAAS,EAAE;YACT,aAAa,EAAE,UAAU;YACzB,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,SAAS;iBACnB;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,SAAS,EAAE;YACT,aAAa,EAAE,yDAAyD;YACxE,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,SAAS;iBACnB;gBACD,UAAU,EAAE;oBACV,MAAM,EAAE,QAAQ;iBACjB;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE,OAAO;oBACf,OAAO,EAAE;wBACP,MAAM,EAAE,aAAa;qBACtB;iBACF;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,UAAU;gBACV,MAAM;gBACN,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,SAAS,EAAE;YACT,aAAa,EAAE,kBAAkB;YACjC,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,SAAS;iBACnB;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE,QAAQ;iBACjB;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,MAAM;gBACN,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,QAAQ,EAAE;YACR,aAAa,EAAE,OAAO;YACtB,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,QAAQ;iBAClB;gBACD,OAAO,EAAE;oBACP,MAAM,EAAE,eAAe;iBACxB;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,OAAO;gBACP,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,MAAM,EAAE;YACN,aAAa,EAAE,MAAM;YACrB,MAAM,EAAE,QAAQ;YAChB,UAAU,EAAE;gBACV,MAAM;aACP;YACD,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,MAAM,EAAE;wBACN,MAAM;wBACN,MAAM;wBACN,KAAK;wBACL,MAAM;wBACN,QAAQ;wBACR,SAAS;wBACT,QAAQ;wBACR,MAAM;wBACN,IAAI;wBACJ,KAAK;wBACL,MAAM;wBACN,MAAM;wBACN,WAAW;wBACX,MAAM;wBACN,QAAQ;wBACR,OAAO;wBACP,QAAQ;wBACR,SAAS;qBACV;iBACF;aACF;YACD,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,MAAM;6BAChB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,cAAc;qBACvB;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,MAAM;6BAChB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,cAAc;qBACvB;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,KAAK;6BACf;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,aAAa;qBACtB;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,MAAM;6BAChB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,cAAc;qBACvB;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,QAAQ;6BAClB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,gBAAgB;qBACzB;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,SAAS;6BACnB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,iBAAiB;qBAC1B;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,QAAQ;6BAClB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,gBAAgB;qBACzB;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,MAAM;6BAChB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,cAAc;qBACvB;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,IAAI;6BACd;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,YAAY;qBACrB;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,KAAK;6BACf;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,aAAa;qBACtB;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,MAAM;6BAChB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,cAAc;qBACvB;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,MAAM;6BAChB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,cAAc;qBACvB;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,WAAW;6BACrB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,mBAAmB;qBAC5B;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,MAAM;6BAChB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,cAAc;qBACvB;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,QAAQ;6BAClB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,gBAAgB;qBACzB;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,OAAO;6BACjB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,eAAe;qBACxB;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,QAAQ;6BAClB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,gBAAgB;qBACzB;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,SAAS;6BACnB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,iBAAiB;qBAC1B;iBACF;aACF;SACF;QACD,MAAM,EAAE;YACN,aAAa,EAAE,OAAO;YACtB,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,MAAM;iBAChB;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE,QAAQ;iBACjB;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,MAAM;gBACN,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,MAAM,EAAE;YACN,aAAa,EAAE,QAAQ;YACvB,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,MAAM;iBAChB;gBACD,OAAO,EAAE;oBACP,MAAM,EAAE,SAAS;iBAClB;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,OAAO;gBACP,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,KAAK,EAAE;YACL,aAAa,EAAE,YAAY;YAC3B,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,KAAK;iBACf;gBACD,OAAO,EAAE;oBACP,MAAM,EAAE,eAAe;iBACxB;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,OAAO;gBACP,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,MAAM,EAAE;YACN,aAAa,EAAE,sBAAsB;YACrC,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,MAAM;iBAChB;gBACD,OAAO,EAAE;oBACP,MAAM,EAAE,QAAQ;iBACjB;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,OAAO;gBACP,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,QAAQ,EAAE;YACR,aAAa,EAAE,qCAAqC;YACpD,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,QAAQ;iBAClB;gBACD,OAAO,EAAE;oBACP,MAAM,EAAE,0BAA0B;iBACnC;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,OAAO;gBACP,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,SAAS,EAAE;YACT,aAAa,EAAE,yCAAyC;YACxD,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,SAAS;iBACnB;gBACD,OAAO,EAAE;oBACP,MAAM,EAAE,QAAQ;iBACjB;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,OAAO;gBACP,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,QAAQ,EAAE;YACR,aAAa,EAAE,SAAS;YACxB,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,QAAQ;iBAClB;gBACD,OAAO,EAAE;oBACP,MAAM,EAAE,QAAQ;iBACjB;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,OAAO;gBACP,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,MAAM,EAAE;YACN,aAAa,EAAE,WAAW;YAC1B,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,MAAM;iBAChB;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,IAAI,EAAE;YACJ,aAAa,EAAE,cAAc;YAC7B,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,IAAI;iBACd;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE,cAAc;iBACvB;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,MAAM;gBACN,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,KAAK,EAAE;YACL,aAAa,EAAE,cAAc;YAC7B,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,KAAK;iBACf;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE,cAAc;iBACvB;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,MAAM;gBACN,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,MAAM,EAAE;YACN,aAAa,EAAE,cAAc;YAC7B,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,MAAM;iBAChB;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE,cAAc;iBACvB;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,MAAM;gBACN,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,MAAM,EAAE;YACN,aAAa,EAAE,YAAY;YAC3B,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,MAAM;iBAChB;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,WAAW,EAAE;YACX,aAAa,EAAE,QAAQ;YACvB,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,WAAW;iBACrB;gBACD,UAAU,EAAE;oBACV,MAAM,EAAE,QAAQ;iBACjB;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,OAAO;oBACf,OAAO,EAAE;wBACP,MAAM,EAAE,mBAAmB;qBAC5B;iBACF;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,UAAU;gBACV,QAAQ;gBACR,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,WAAW,EAAE;YACX,aAAa,EAAE,mBAAmB;YAClC,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,MAAM,EAAE,QAAQ;iBACjB;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE,cAAc;iBACvB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,MAAM;aACP;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,MAAM,EAAE;YACN,aAAa,EAAE,KAAK;YACpB,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,MAAM;iBAChB;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,cAAc;iBACvB;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE,OAAO;oBACf,OAAO,EAAE;wBACP,MAAM,EAAE,cAAc;qBACvB;iBACF;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,QAAQ;gBACR,MAAM;gBACN,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,QAAQ,EAAE;YACR,aAAa,EAAE,qDAAqD;YACpE,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,QAAQ;iBAClB;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,OAAO;oBACf,OAAO,EAAE;wBACP,MAAM,EAAE,eAAe;qBACxB;iBACF;gBACD,KAAK,EAAE;oBACL,MAAM,EAAE,cAAc;iBACvB;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE,eAAe;iBACxB;gBACD,UAAU,EAAE;oBACV,MAAM,EAAE,OAAO;oBACf,OAAO,EAAE;wBACP,MAAM,EAAE,QAAQ;qBACjB;iBACF;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,QAAQ;gBACR,KAAK;gBACL,MAAM;gBACN,UAAU;gBACV,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,OAAO,EAAE;YACP,aAAa,EAAE,SAAS;YACxB,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,OAAO;iBACjB;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE,cAAc;iBACvB;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,MAAM;gBACN,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,QAAQ,EAAE;YACR,aAAa,EAAE,uBAAuB;YACtC,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,QAAQ;iBAClB;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE,cAAc;iBACvB;gBACD,OAAO,EAAE;oBACP,MAAM,EAAE,cAAc;iBACvB;gBACD,OAAO,EAAE;oBACP,MAAM,EAAE,cAAc;iBACvB;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,MAAM;gBACN,OAAO;gBACP,OAAO;gBACP,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,SAAS,EAAE;YACT,aAAa,EAAE,QAAQ;YACvB,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,SAAS;iBACnB;gBACD,UAAU,EAAE;oBACV,MAAM,EAAE,OAAO;oBACf,OAAO,EAAE;wBACP,MAAM,EAAE,cAAc;qBACvB;iBACF;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,UAAU;gBACV,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;KACF;CACF,CAAC"}
@@ -1,14 +1,27 @@
1
1
  import { Effect } from '../types.js';
2
2
  import type { Core as CoreTypes } from '../types.js';
3
3
  export { Effect };
4
+ /** 尚未挂上源码位置的占位 origin(行列号 0)。只用于构造阶段与类型检查合成的节点。 */
5
+ export declare const NO_ORIGIN: CoreTypes.Origin;
6
+ /** 判断 origin 是否仍是占位值。 */
7
+ export declare function isNoOrigin(origin: CoreTypes.Origin): boolean;
8
+ /** Core IR v2 的 schemaVersion(ADR 0055 #1)。 */
9
+ export declare const CORE_IR_SCHEMA_VERSION: 2;
10
+ type Caps = readonly string[];
4
11
  export declare const Core: {
5
- Module: (name: string | null, decls: readonly CoreTypes.Declaration[], profile?: string) => CoreTypes.Module;
6
- Import: (name: string, asName: string | null, version?: number | null) => CoreTypes.Import;
12
+ Module: (name: string | null, decls: readonly CoreTypes.Declaration[], profile?: string | null) => CoreTypes.Module;
13
+ /** ADR 0055 #2:path 为点分模块路径,alias 为绑定名,version 为钉住的版本(均可空)。 */
14
+ Import: (path: string, alias: string | null, version?: number | null) => CoreTypes.Import;
7
15
  Data: (name: string, fields: readonly CoreTypes.Field[]) => CoreTypes.Data;
16
+ Field: (name: string, type: CoreTypes.Type, constraints?: readonly CoreTypes.Constraint[], typeInferred?: boolean) => CoreTypes.Field;
17
+ Param: (name: string, type: CoreTypes.Type, constraints?: readonly CoreTypes.Constraint[], typeInferred?: boolean) => CoreTypes.Parameter;
8
18
  Enum: (name: string, variants: readonly string[]) => CoreTypes.Enum;
9
- Func: (name: string, typeParams: readonly string[] | undefined, params: readonly CoreTypes.Parameter[], ret: CoreTypes.Type, effects: readonly Effect[], body: CoreTypes.Block, effectCaps?: readonly import("../types.js").CapabilityKind[], effectCapsExplicit?: boolean, effectParams?: readonly string[], declaredEffects?: readonly (Effect | CoreTypes.EffectVar)[], annotations?: readonly import("../types.js").Annotation[]) => CoreTypes.Func;
19
+ Func: (name: string, typeParams: readonly string[] | undefined, params: readonly CoreTypes.Parameter[], ret: CoreTypes.Type, effects: readonly string[], body: CoreTypes.Block, effectCaps?: Caps, effectCapsExplicit?: boolean, effectParams?: readonly string[], annotations?: readonly CoreTypes.Annotation[]) => CoreTypes.Func;
10
20
  Block: (statements: readonly CoreTypes.Statement[]) => CoreTypes.Block;
11
21
  Scope: (statements: readonly CoreTypes.Statement[]) => CoreTypes.Scope;
22
+ Required: () => CoreTypes.ConstraintRequired;
23
+ Range: (min: string | null, max: string | null) => CoreTypes.ConstraintRange;
24
+ Pattern: (regexp: string) => CoreTypes.ConstraintPattern;
12
25
  Let: (name: string, expr: CoreTypes.Expression) => CoreTypes.Let;
13
26
  Set: (name: string, expr: CoreTypes.Expression) => CoreTypes.Set;
14
27
  Return: (expr: CoreTypes.Expression) => CoreTypes.Return;
@@ -17,13 +30,14 @@ export declare const Core: {
17
30
  Case: (pattern: CoreTypes.Pattern, body: CoreTypes.Return | CoreTypes.Block) => CoreTypes.Case;
18
31
  Start: (name: string, expr: CoreTypes.Expression) => CoreTypes.Start;
19
32
  Wait: (names: readonly string[]) => CoreTypes.Wait;
20
- Workflow: (steps: readonly CoreTypes.Step[], effectCaps: readonly import("../types.js").CapabilityKind[], retry?: CoreTypes.RetryPolicy, timeout?: CoreTypes.Timeout) => CoreTypes.Workflow;
21
- Step: (name: string, body: CoreTypes.Block, effectCaps: readonly import("../types.js").CapabilityKind[], compensate?: CoreTypes.Block, dependencies?: readonly string[]) => CoreTypes.Step;
33
+ Workflow: (steps: readonly CoreTypes.Step[], effectCaps: Caps, retry?: CoreTypes.RetryPolicy | null, timeout?: CoreTypes.Timeout | null) => CoreTypes.Workflow;
34
+ Step: (name: string, body: CoreTypes.Block, effectCaps: Caps, compensate?: CoreTypes.Block | null, dependencies?: readonly string[]) => CoreTypes.Step;
22
35
  Name: (name: string) => CoreTypes.Name;
23
36
  Bool: (value: boolean) => CoreTypes.Bool;
24
37
  Int: (value: number) => CoreTypes.Int;
25
38
  Long: (value: string) => CoreTypes.Long;
26
- Double: (value: number) => CoreTypes.Double;
39
+ /** ADR 0055 #18:value 是规范十进制串(由 lowering 从字面量原文求出)。 */
40
+ Double: (value: string) => CoreTypes.Double;
27
41
  Decimal: (value: string) => CoreTypes.Decimal;
28
42
  String: (value: string) => CoreTypes.String;
29
43
  Null: () => CoreTypes.Null;
@@ -33,6 +47,10 @@ export declare const Core: {
33
47
  Err: (expr: CoreTypes.Expression) => CoreTypes.Err;
34
48
  Some: (expr: CoreTypes.Expression) => CoreTypes.Some;
35
49
  None: () => CoreTypes.None;
50
+ Lambda: (params: readonly CoreTypes.Parameter[], ret: CoreTypes.Type, body: CoreTypes.Block, captures?: readonly string[]) => CoreTypes.Lambda;
51
+ Await: (expr: CoreTypes.Expression) => CoreTypes.Await;
52
+ IfExpr: (cond: CoreTypes.Expression, thenE: CoreTypes.Expression, elseE: CoreTypes.Expression) => CoreTypes.IfExpr;
53
+ ListLit: (elements: readonly CoreTypes.Expression[]) => CoreTypes.ListLit;
36
54
  TypeName: (name: string) => CoreTypes.TypeName;
37
55
  Maybe: (type: CoreTypes.Type) => CoreTypes.Maybe;
38
56
  Option: (type: CoreTypes.Type) => CoreTypes.Option;
@@ -43,12 +61,10 @@ export declare const Core: {
43
61
  /** 与 Java CoreModel.FuncType 一致:只有 params / ret,不带 effects */
44
62
  FuncType: (params: readonly CoreTypes.Type[], ret: CoreTypes.Type) => CoreTypes.FuncType;
45
63
  TypeVar: (name: string) => CoreTypes.TypeVar;
46
- Pii: (baseType: CoreTypes.Type, sensitivity: "L1" | "L2" | "L3", category: import("../types.js").PiiDataCategory) => CoreTypes.PiiType;
64
+ Pii: (baseType: CoreTypes.Type, sensitivity: string, category: string) => CoreTypes.PiiType;
47
65
  PatNull: () => CoreTypes.PatNull;
48
- Await: (expr: CoreTypes.Expression) => CoreTypes.Await;
49
- IfExpr: (cond: CoreTypes.Expression, thenE: CoreTypes.Expression, elseE: CoreTypes.Expression) => CoreTypes.IfExpr;
50
- ListLit: (elements: readonly CoreTypes.Expression[]) => CoreTypes.ListLit;
51
- PatCtor: (typeName: string, names?: readonly string[], args?: readonly CoreTypes.Pattern[]) => CoreTypes.PatCtor;
66
+ /** ADR 0055 #15、#16:构造器 / 枚举变体模式只用 args(嵌套模式),0 参变体为 args:[]。 */
67
+ PatCtor: (typeName: string, args?: readonly CoreTypes.Pattern[]) => CoreTypes.PatCtor;
52
68
  PatName: (name: string) => CoreTypes.PatName;
53
69
  PatInt: (value: number) => CoreTypes.PatInt;
54
70
  };
@@ -1 +1 @@
1
- {"version":3,"file":"core_ir.d.ts","sourceRoot":"","sources":["../../../src/core/core_ir.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,OAAO,KAAK,EAAE,IAAI,IAAI,SAAS,EAAE,MAAM,aAAa,CAAC;AAErD,OAAO,EAAE,MAAM,EAAE,CAAC;AAElB,eAAO,MAAM,IAAI;mBAGA,MAAM,GAAG,IAAI,SAAS,SAAS,SAAS,CAAC,WAAW,EAAE,YAAY,MAAM,KAAG,SAAS,CAAC,MAAM;mBAM3F,MAAM,UAAU,MAAM,GAAG,IAAI,YAAY,MAAM,GAAG,IAAI,KAAG,SAAS,CAAC,MAAM;iBAM3E,MAAM,UAAU,SAAS,SAAS,CAAC,KAAK,EAAE,KAAG,SAAS,CAAC,IAAI;iBAK3D,MAAM,YAAY,SAAS,MAAM,EAAE,KAAG,SAAS,CAAC,IAAI;iBAMzD,MAAM,cACA,SAAS,MAAM,EAAE,GAAG,SAAS,UACjC,SAAS,SAAS,CAAC,SAAS,EAAE,OACjC,SAAS,CAAC,IAAI,WACV,SAAS,MAAM,EAAE,QACpB,SAAS,CAAC,KAAK,eACT,SAAS,OAAO,aAAa,EAAE,cAAc,EAAE,+CAE5C,SAAS,MAAM,EAAE,oBACd,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,SAAS,CAAC,EAAE,gBAC9C,SAAS,OAAO,aAAa,EAAE,UAAU,EAAE,KACvD,SAAS,CAAC,IAAI;wBAeG,SAAS,SAAS,CAAC,SAAS,EAAE,KAAG,SAAS,CAAC,KAAK;wBAIhD,SAAS,SAAS,CAAC,SAAS,EAAE,KAAG,SAAS,CAAC,KAAK;gBAMxD,MAAM,QAAQ,SAAS,CAAC,UAAU,KAAG,SAAS,CAAC,GAAG;gBAClD,MAAM,QAAQ,SAAS,CAAC,UAAU,KAAG,SAAS,CAAC,GAAG;mBAC/C,SAAS,CAAC,UAAU,KAAG,SAAS,CAAC,MAAM;eAE9C,SAAS,CAAC,UAAU,aACf,SAAS,CAAC,KAAK,aACf,SAAS,CAAC,KAAK,GAAG,IAAI,KAChC,SAAS,CAAC,EAAE;kBACD,SAAS,CAAC,UAAU,SAAS,SAAS,SAAS,CAAC,IAAI,EAAE,KAAG,SAAS,CAAC,KAAK;oBAKtE,SAAS,CAAC,OAAO,QAAQ,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,KAAK,KAAG,SAAS,CAAC,IAAI;kBAK9E,MAAM,QAAQ,SAAS,CAAC,UAAU,KAAG,SAAS,CAAC,KAAK;kBAKpD,SAAS,MAAM,EAAE,KAAG,SAAS,CAAC,IAAI;sBAEvC,SAAS,SAAS,CAAC,IAAI,EAAE,cACpB,SAAS,OAAO,aAAa,EAAE,cAAc,EAAE,UACnD,SAAS,CAAC,WAAW,YACnB,SAAS,CAAC,OAAO,KAC1B,SAAS,CAAC,QAAQ;iBAQb,MAAM,QACN,SAAS,CAAC,KAAK,cACT,SAAS,OAAO,aAAa,EAAE,cAAc,EAAE,eAC9C,SAAS,CAAC,KAAK,iBACd,SAAS,MAAM,EAAE,KAC9B,SAAS,CAAC,IAAI;iBAUJ,MAAM,KAAG,SAAS,CAAC,IAAI;kBACtB,OAAO,KAAG,SAAS,CAAC,IAAI;iBACzB,MAAM,KAAG,SAAS,CAAC,GAAG;kBACrB,MAAM,KAAG,SAAS,CAAC,IAAI;oBACrB,MAAM,KAAG,SAAS,CAAC,MAAM;qBACxB,MAAM,KAAG,SAAS,CAAC,OAAO;oBAC3B,MAAM,KAAG,SAAS,CAAC,MAAM;gBAC/B,SAAS,CAAC,IAAI;mBACT,SAAS,CAAC,UAAU,QAAQ,SAAS,SAAS,CAAC,UAAU,EAAE,KAAG,SAAS,CAAC,IAAI;0BAM/E,MAAM,UACR,SAAS,SAAS,CAAC,cAAc,EAAE,KAC1C,SAAS,CAAC,SAAS;eACX,SAAS,CAAC,UAAU,KAAG,SAAS,CAAC,EAAE;gBAClC,SAAS,CAAC,UAAU,KAAG,SAAS,CAAC,GAAG;iBACnC,SAAS,CAAC,UAAU,KAAG,SAAS,CAAC,IAAI;gBACxC,SAAS,CAAC,IAAI;qBAGP,MAAM,KAAG,SAAS,CAAC,QAAQ;kBAC9B,SAAS,CAAC,IAAI,KAAG,SAAS,CAAC,KAAK;mBAC/B,SAAS,CAAC,IAAI,KAAG,SAAS,CAAC,MAAM;iBACnC,SAAS,CAAC,IAAI,OAAO,SAAS,CAAC,IAAI,KAAG,SAAS,CAAC,MAAM;iBAKtD,SAAS,CAAC,IAAI,KAAG,SAAS,CAAC,IAAI;eACjC,SAAS,CAAC,IAAI,OAAO,SAAS,CAAC,IAAI,KAAG,SAAS,CAAC,GAAG;oBAC9C,MAAM,QAAQ,SAAS,SAAS,CAAC,IAAI,EAAE,KAAG,SAAS,CAAC,OAAO;IAK3E,8DAA8D;uBAC3C,SAAS,SAAS,CAAC,IAAI,EAAE,OAAO,SAAS,CAAC,IAAI,KAAG,SAAS,CAAC,QAAQ;oBAKtE,MAAM,KAAG,SAAS,CAAC,OAAO;oBAE9B,SAAS,CAAC,IAAI,eACX,IAAI,GAAG,IAAI,GAAG,IAAI,YACrB,OAAO,aAAa,EAAE,eAAe,KAC9C,SAAS,CAAC,OAAO;mBAQP,SAAS,CAAC,OAAO;kBAChB,SAAS,CAAC,UAAU,KAAG,SAAS,CAAC,KAAK;mBAM5C,SAAS,CAAC,UAAU,SACnB,SAAS,CAAC,UAAU,SACpB,SAAS,CAAC,UAAU,KAC1B,SAAS,CAAC,MAAM;wBAOC,SAAS,SAAS,CAAC,UAAU,EAAE,KAAG,SAAS,CAAC,OAAO;wBAK3D,MAAM,UACT,SAAS,MAAM,EAAE,SACjB,SAAS,SAAS,CAAC,OAAO,EAAE,KAClC,SAAS,CAAC,OAAO;oBAMJ,MAAM,KAAG,SAAS,CAAC,OAAO;oBAC1B,MAAM,KAAG,SAAS,CAAC,MAAM;CAC1C,CAAC"}
1
+ {"version":3,"file":"core_ir.d.ts","sourceRoot":"","sources":["../../../src/core/core_ir.ts"],"names":[],"mappings":"AAOA,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,OAAO,KAAK,EAAE,IAAI,IAAI,SAAS,EAAE,MAAM,aAAa,CAAC;AAErD,OAAO,EAAE,MAAM,EAAE,CAAC;AAElB,mDAAmD;AACnD,eAAO,MAAM,SAAS,EAAE,SAAS,CAAC,MAMhC,CAAC;AAEH,yBAAyB;AACzB,wBAAgB,UAAU,CAAC,MAAM,EAAE,SAAS,CAAC,MAAM,GAAG,OAAO,CAE5D;AAED,+CAA+C;AAC/C,eAAO,MAAM,sBAAsB,EAAG,CAAU,CAAC;AAEjD,KAAK,IAAI,GAAG,SAAS,MAAM,EAAE,CAAC;AAE9B,eAAO,MAAM,IAAI;mBAEA,MAAM,GAAG,IAAI,SAAS,SAAS,SAAS,CAAC,WAAW,EAAE,YAAW,MAAM,GAAG,IAAI,KAAU,SAAS,CAAC,MAAM;IAQvH,+DAA+D;mBAChD,MAAM,SAAS,MAAM,GAAG,IAAI,YAAW,MAAM,GAAG,IAAI,KAAU,SAAS,CAAC,MAAM;iBAOhF,MAAM,UAAU,SAAS,SAAS,CAAC,KAAK,EAAE,KAAG,SAAS,CAAC,IAAI;kBAOhE,MAAM,QACN,SAAS,CAAC,IAAI,gBACP,SAAS,SAAS,CAAC,UAAU,EAAE,6BAE3C,SAAS,CAAC,KAAK;kBAEV,MAAM,QACN,SAAS,CAAC,IAAI,gBACP,SAAS,SAAS,CAAC,UAAU,EAAE,6BAE3C,SAAS,CAAC,SAAS;iBACT,MAAM,YAAY,SAAS,MAAM,EAAE,KAAG,SAAS,CAAC,IAAI;iBAOzD,MAAM,cACA,SAAS,MAAM,EAAE,GAAG,SAAS,UACjC,SAAS,SAAS,CAAC,SAAS,EAAE,OACjC,SAAS,CAAC,IAAI,WACV,SAAS,MAAM,EAAE,QACpB,SAAS,CAAC,KAAK,eACT,IAAI,+CAEF,SAAS,MAAM,EAAE,gBAClB,SAAS,SAAS,CAAC,UAAU,EAAE,KAC3C,SAAS,CAAC,IAAI;wBAiBG,SAAS,SAAS,CAAC,SAAS,EAAE,KAAG,SAAS,CAAC,KAAK;wBAKhD,SAAS,SAAS,CAAC,SAAS,EAAE,KAAG,SAAS,CAAC,KAAK;oBAOtD,SAAS,CAAC,kBAAkB;iBAC7B,MAAM,GAAG,IAAI,OAAO,MAAM,GAAG,IAAI,KAAG,SAAS,CAAC,eAAe;sBAMxD,MAAM,KAAG,SAAS,CAAC,iBAAiB;gBAG1C,MAAM,QAAQ,SAAS,CAAC,UAAU,KAAG,SAAS,CAAC,GAAG;gBAClD,MAAM,QAAQ,SAAS,CAAC,UAAU,KAAG,SAAS,CAAC,GAAG;mBAC/C,SAAS,CAAC,UAAU,KAAG,SAAS,CAAC,MAAM;eAE9C,SAAS,CAAC,UAAU,aACf,SAAS,CAAC,KAAK,aACf,SAAS,CAAC,KAAK,GAAG,IAAI,KAChC,SAAS,CAAC,EAAE;kBACD,SAAS,CAAC,UAAU,SAAS,SAAS,SAAS,CAAC,IAAI,EAAE,KAAG,SAAS,CAAC,KAAK;oBAMtE,SAAS,CAAC,OAAO,QAAQ,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,KAAK,KAAG,SAAS,CAAC,IAAI;kBAM9E,MAAM,QAAQ,SAAS,CAAC,UAAU,KAAG,SAAS,CAAC,KAAK;kBAMpD,SAAS,MAAM,EAAE,KAAG,SAAS,CAAC,IAAI;sBAEvC,SAAS,SAAS,CAAC,IAAI,EAAE,cACpB,IAAI,UACT,SAAS,CAAC,WAAW,GAAG,IAAI,YAC1B,SAAS,CAAC,OAAO,GAAG,IAAI,KAChC,SAAS,CAAC,QAAQ;iBASb,MAAM,QACN,SAAS,CAAC,KAAK,cACT,IAAI,eACJ,SAAS,CAAC,KAAK,GAAG,IAAI,iBACpB,SAAS,MAAM,EAAE,KAC9B,SAAS,CAAC,IAAI;iBAWJ,MAAM,KAAG,SAAS,CAAC,IAAI;kBACtB,OAAO,KAAG,SAAS,CAAC,IAAI;iBACzB,MAAM,KAAG,SAAS,CAAC,GAAG;kBACrB,MAAM,KAAG,SAAS,CAAC,IAAI;IACrC,uDAAuD;oBACvC,MAAM,KAAG,SAAS,CAAC,MAAM;qBACxB,MAAM,KAAG,SAAS,CAAC,OAAO;oBAC3B,MAAM,KAAG,SAAS,CAAC,MAAM;gBAC/B,SAAS,CAAC,IAAI;mBACT,SAAS,CAAC,UAAU,QAAQ,SAAS,SAAS,CAAC,UAAU,EAAE,KAAG,SAAS,CAAC,IAAI;0BAO/E,MAAM,UACR,SAAS,SAAS,CAAC,cAAc,EAAE,KAC1C,SAAS,CAAC,SAAS;eACX,SAAS,CAAC,UAAU,KAAG,SAAS,CAAC,EAAE;gBAClC,SAAS,CAAC,UAAU,KAAG,SAAS,CAAC,GAAG;iBACnC,SAAS,CAAC,UAAU,KAAG,SAAS,CAAC,IAAI;gBACxC,SAAS,CAAC,IAAI;qBAEd,SAAS,SAAS,CAAC,SAAS,EAAE,OACjC,SAAS,CAAC,IAAI,QACb,SAAS,CAAC,KAAK,aACX,SAAS,MAAM,EAAE,KAC1B,SAAS,CAAC,MAAM;kBACL,SAAS,CAAC,UAAU,KAAG,SAAS,CAAC,KAAK;mBAO5C,SAAS,CAAC,UAAU,SACnB,SAAS,CAAC,UAAU,SACpB,SAAS,CAAC,UAAU,KAC1B,SAAS,CAAC,MAAM;wBAQC,SAAS,SAAS,CAAC,UAAU,EAAE,KAAG,SAAS,CAAC,OAAO;qBAOtD,MAAM,KAAG,SAAS,CAAC,QAAQ;kBAC9B,SAAS,CAAC,IAAI,KAAG,SAAS,CAAC,KAAK;mBAC/B,SAAS,CAAC,IAAI,KAAG,SAAS,CAAC,MAAM;iBACnC,SAAS,CAAC,IAAI,OAAO,SAAS,CAAC,IAAI,KAAG,SAAS,CAAC,MAAM;iBAMtD,SAAS,CAAC,IAAI,KAAG,SAAS,CAAC,IAAI;eACjC,SAAS,CAAC,IAAI,OAAO,SAAS,CAAC,IAAI,KAAG,SAAS,CAAC,GAAG;oBAC9C,MAAM,QAAQ,SAAS,SAAS,CAAC,IAAI,EAAE,KAAG,SAAS,CAAC,OAAO;IAM3E,8DAA8D;uBAC3C,SAAS,SAAS,CAAC,IAAI,EAAE,OAAO,SAAS,CAAC,IAAI,KAAG,SAAS,CAAC,QAAQ;oBAMtE,MAAM,KAAG,SAAS,CAAC,OAAO;oBAC1B,SAAS,CAAC,IAAI,eAAe,MAAM,YAAY,MAAM,KAAG,SAAS,CAAC,OAAO;mBAS5E,SAAS,CAAC,OAAO;IAC9B,iEAAiE;wBAC7C,MAAM,SAAQ,SAAS,SAAS,CAAC,OAAO,EAAE,KAAQ,SAAS,CAAC,OAAO;oBAMvE,MAAM,KAAG,SAAS,CAAC,OAAO;oBAC1B,MAAM,KAAG,SAAS,CAAC,MAAM;CAC1C,CAAC"}
@@ -1,163 +1,218 @@
1
1
  // Core IR for Aster (distinct from CNL AST)
2
+ //
3
+ // Core IR v2(ADR 0055)构造函数:每个构造函数都输出该节点的全部字段(#19 恒输出:标量与对象用
4
+ // null,列表用 [],布尔用 false)。带 kind 的节点必有 origin(#17);构造时先填 NO_ORIGIN,
5
+ // lowering 的 withOrigin 再换成源码位置。NO_ORIGIN 的行号为 0(真实行号从 1 开始),
6
+ // 所以 lowering 漏挂 origin 能被测试发现(test/unit/lowering/core-ir-v2.test.ts 的 every_node_has_origin)。
2
7
  import { Effect } from '../types.js';
3
8
  export { Effect };
9
+ /** 尚未挂上源码位置的占位 origin(行列号 0)。只用于构造阶段与类型检查合成的节点。 */
10
+ export const NO_ORIGIN = Object.freeze({
11
+ file: null,
12
+ start: Object.freeze({ line: 0, col: 0 }),
13
+ end: Object.freeze({ line: 0, col: 0 }),
14
+ written: null,
15
+ role: null,
16
+ });
17
+ /** 判断 origin 是否仍是占位值。 */
18
+ export function isNoOrigin(origin) {
19
+ return origin.start.line === 0;
20
+ }
21
+ /** Core IR v2 的 schemaVersion(ADR 0055 #1)。 */
22
+ export const CORE_IR_SCHEMA_VERSION = 2;
4
23
  export const Core = {
5
24
  // Program structure
6
- // ADR 0046:profile 仅在声明时输出(与 Java NON_NULL 一致),未声明档案的模块 IR 逐字节不变
7
- Module: (name, decls, profile) => ({
25
+ Module: (name, decls, profile = null) => ({
8
26
  kind: 'Module',
27
+ schemaVersion: CORE_IR_SCHEMA_VERSION,
9
28
  name,
10
- ...(profile !== undefined ? { profile } : {}),
29
+ profile,
11
30
  decls,
31
+ origin: NO_ORIGIN,
12
32
  }),
13
- Import: (name, asName, version) => ({
33
+ /** ADR 0055 #2:path 为点分模块路径,alias 为绑定名,version 为钉住的版本(均可空)。 */
34
+ Import: (path, alias, version = null) => ({
14
35
  kind: 'Import',
15
- name,
16
- ...(typeof version === 'number' ? { version } : {}),
17
- asName,
36
+ path,
37
+ alias,
38
+ version,
39
+ origin: NO_ORIGIN,
18
40
  }),
19
41
  Data: (name, fields) => ({
20
42
  kind: 'Data',
21
43
  name,
22
44
  fields,
45
+ origin: NO_ORIGIN,
23
46
  }),
47
+ Field: (name, type, constraints = [], typeInferred = false) => ({ name, type, annotations: [], constraints, typeInferred }),
48
+ Param: (name, type, constraints = [], typeInferred = false) => ({ name, type, annotations: [], constraints, typeInferred }),
24
49
  Enum: (name, variants) => ({
25
50
  kind: 'Enum',
26
51
  name,
27
52
  variants,
53
+ origin: NO_ORIGIN,
28
54
  }),
29
- Func: (name, typeParams, params, ret, effects, body, effectCaps = [], effectCapsExplicit = false, effectParams, declaredEffects, annotations = []) => ({
55
+ Func: (name, typeParams, params, ret, effects, body, effectCaps = [], effectCapsExplicit = false, effectParams = [], annotations = []) => ({
30
56
  kind: 'Func',
31
57
  name,
32
58
  typeParams: typeParams ?? [],
33
- // annotations 为空时省略,与既有 golden 基线保持一致(仅 @entry 等显式注解时输出)
34
- ...(annotations.length > 0 ? { annotations } : {}),
35
59
  params,
36
60
  ret,
61
+ retTypeInferred: false,
62
+ annotations,
63
+ retAnnotations: [],
37
64
  effects,
65
+ effectParams,
38
66
  effectCaps: [...effectCaps],
39
67
  effectCapsExplicit,
68
+ inputRefs: null,
40
69
  body,
41
- ...(effectParams && effectParams.length > 0 ? { effectParams } : {}),
42
- ...(declaredEffects && declaredEffects.length > 0 ? { declaredEffects } : {}),
70
+ origin: NO_ORIGIN,
43
71
  }),
44
72
  Block: (statements) => ({
45
73
  kind: 'Block',
46
74
  statements,
75
+ origin: NO_ORIGIN,
47
76
  }),
48
77
  Scope: (statements) => ({
49
78
  kind: 'Scope',
50
79
  statements,
80
+ origin: NO_ORIGIN,
81
+ }),
82
+ // Constraints(ADR 0055 #4:Range 两端为规范十进制串)
83
+ Required: () => ({ kind: 'Required', origin: NO_ORIGIN }),
84
+ Range: (min, max) => ({
85
+ kind: 'Range',
86
+ min,
87
+ max,
88
+ origin: NO_ORIGIN,
51
89
  }),
90
+ Pattern: (regexp) => ({ kind: 'Pattern', regexp, origin: NO_ORIGIN }),
52
91
  // Statements
53
- Let: (name, expr) => ({ kind: 'Let', name, expr }),
54
- Set: (name, expr) => ({ kind: 'Set', name, expr }),
55
- Return: (expr) => ({ kind: 'Return', expr }),
56
- If: (cond, thenBlock, elseBlock) => ({ kind: 'If', cond, thenBlock, elseBlock }),
92
+ Let: (name, expr) => ({ kind: 'Let', name, expr, origin: NO_ORIGIN }),
93
+ Set: (name, expr) => ({ kind: 'Set', name, expr, origin: NO_ORIGIN }),
94
+ Return: (expr) => ({ kind: 'Return', expr, origin: NO_ORIGIN }),
95
+ If: (cond, thenBlock, elseBlock) => ({ kind: 'If', cond, thenBlock, elseBlock, origin: NO_ORIGIN }),
57
96
  Match: (expr, cases) => ({
58
97
  kind: 'Match',
59
98
  expr,
60
99
  cases,
100
+ origin: NO_ORIGIN,
61
101
  }),
62
102
  Case: (pattern, body) => ({
63
103
  kind: 'Case',
64
104
  pattern,
65
105
  body,
106
+ origin: NO_ORIGIN,
66
107
  }),
67
108
  Start: (name, expr) => ({
68
109
  kind: 'Start',
69
110
  name,
70
111
  expr,
112
+ origin: NO_ORIGIN,
71
113
  }),
72
- Wait: (names) => ({ kind: 'Wait', names }),
73
- Workflow: (steps, effectCaps, retry, timeout) => ({
114
+ Wait: (names) => ({ kind: 'Wait', names, origin: NO_ORIGIN }),
115
+ Workflow: (steps, effectCaps, retry = null, timeout = null) => ({
74
116
  kind: 'workflow',
75
117
  steps,
76
118
  effectCaps: [...effectCaps],
77
- ...(retry ? { retry } : {}),
78
- ...(timeout ? { timeout } : {}),
119
+ retry,
120
+ timeout,
121
+ origin: NO_ORIGIN,
79
122
  }),
80
- Step: (name, body, effectCaps, compensate, dependencies = []) => ({
123
+ Step: (name, body, effectCaps, compensate = null, dependencies = []) => ({
81
124
  kind: 'step',
82
125
  name,
83
126
  body,
127
+ compensate,
84
128
  dependencies,
85
129
  effectCaps: [...effectCaps],
86
- ...(compensate ? { compensate } : {}),
130
+ origin: NO_ORIGIN,
87
131
  }),
88
132
  // Expressions
89
- Name: (name) => ({ kind: 'Name', name }),
90
- Bool: (value) => ({ kind: 'Bool', value }),
91
- Int: (value) => ({ kind: 'Int', value }),
92
- Long: (value) => ({ kind: 'Long', value }),
93
- Double: (value) => ({ kind: 'Double', value }),
94
- Decimal: (value) => ({ kind: 'Decimal', value }),
95
- String: (value) => ({ kind: 'String', value }),
96
- Null: () => ({ kind: 'Null' }),
133
+ Name: (name) => ({ kind: 'Name', name, origin: NO_ORIGIN }),
134
+ Bool: (value) => ({ kind: 'Bool', value, origin: NO_ORIGIN }),
135
+ Int: (value) => ({ kind: 'Int', value, origin: NO_ORIGIN }),
136
+ Long: (value) => ({ kind: 'Long', value, origin: NO_ORIGIN }),
137
+ /** ADR 0055 #18:value 是规范十进制串(由 lowering 从字面量原文求出)。 */
138
+ Double: (value) => ({ kind: 'Double', value, origin: NO_ORIGIN }),
139
+ Decimal: (value) => ({ kind: 'Decimal', value, origin: NO_ORIGIN }),
140
+ String: (value) => ({ kind: 'String', value, origin: NO_ORIGIN }),
141
+ Null: () => ({ kind: 'Null', origin: NO_ORIGIN }),
97
142
  Call: (target, args) => ({
98
143
  kind: 'Call',
99
144
  target,
100
145
  args,
146
+ origin: NO_ORIGIN,
147
+ }),
148
+ Construct: (typeName, fields) => ({ kind: 'Construct', typeName, fields, origin: NO_ORIGIN }),
149
+ Ok: (expr) => ({ kind: 'Ok', expr, origin: NO_ORIGIN }),
150
+ Err: (expr) => ({ kind: 'Err', expr, origin: NO_ORIGIN }),
151
+ Some: (expr) => ({ kind: 'Some', expr, origin: NO_ORIGIN }),
152
+ None: () => ({ kind: 'None', origin: NO_ORIGIN }),
153
+ Lambda: (params, ret, body, captures = []) => ({ kind: 'Lambda', params, ret, body, captures, origin: NO_ORIGIN }),
154
+ Await: (expr) => ({
155
+ kind: 'Await',
156
+ expr,
157
+ origin: NO_ORIGIN,
158
+ }),
159
+ // ADR 0019 G2b:表达式级 if(kind="IfExpr",与 core/truffle 对齐)。
160
+ IfExpr: (cond, thenE, elseE) => ({
161
+ kind: 'IfExpr',
162
+ cond,
163
+ thenE,
164
+ elseE,
165
+ origin: NO_ORIGIN,
166
+ }),
167
+ // ADR 0024 C0:列表字面量(kind="ListLit",与 Java CoreModel.ListE 对齐)。
168
+ ListLit: (elements) => ({
169
+ kind: 'ListLit',
170
+ elements,
171
+ origin: NO_ORIGIN,
101
172
  }),
102
- Construct: (typeName, fields) => ({ kind: 'Construct', typeName, fields }),
103
- Ok: (expr) => ({ kind: 'Ok', expr }),
104
- Err: (expr) => ({ kind: 'Err', expr }),
105
- Some: (expr) => ({ kind: 'Some', expr }),
106
- None: () => ({ kind: 'None' }),
107
173
  // Types
108
- TypeName: (name) => ({ kind: 'TypeName', name }),
109
- Maybe: (type) => ({ kind: 'Maybe', type }),
110
- Option: (type) => ({ kind: 'Option', type }),
174
+ TypeName: (name) => ({ kind: 'TypeName', name, origin: NO_ORIGIN }),
175
+ Maybe: (type) => ({ kind: 'Maybe', type, origin: NO_ORIGIN }),
176
+ Option: (type) => ({ kind: 'Option', type, origin: NO_ORIGIN }),
111
177
  Result: (ok, err) => ({
112
178
  kind: 'Result',
113
179
  ok,
114
180
  err,
181
+ origin: NO_ORIGIN,
115
182
  }),
116
- List: (type) => ({ kind: 'List', type }),
117
- Map: (key, val) => ({ kind: 'Map', key, val }),
183
+ List: (type) => ({ kind: 'List', type, origin: NO_ORIGIN }),
184
+ Map: (key, val) => ({ kind: 'Map', key, val, origin: NO_ORIGIN }),
118
185
  TypeApp: (base, args) => ({
119
186
  kind: 'TypeApp',
120
187
  base,
121
188
  args,
189
+ origin: NO_ORIGIN,
122
190
  }),
123
191
  /** 与 Java CoreModel.FuncType 一致:只有 params / ret,不带 effects */
124
192
  FuncType: (params, ret) => ({
125
193
  kind: 'FuncType',
126
194
  params,
127
195
  ret,
196
+ origin: NO_ORIGIN,
128
197
  }),
129
- TypeVar: (name) => ({ kind: 'TypeVar', name }),
198
+ TypeVar: (name) => ({ kind: 'TypeVar', name, origin: NO_ORIGIN }),
130
199
  Pii: (baseType, sensitivity, category) => ({
131
200
  kind: 'PiiType',
132
201
  baseType,
133
202
  sensitivity,
134
203
  category,
204
+ origin: NO_ORIGIN,
135
205
  }),
136
206
  // Patterns
137
- PatNull: () => ({ kind: 'PatNull' }),
138
- Await: (expr) => ({
139
- kind: 'Await',
140
- expr,
141
- }),
142
- // ADR 0019 G2b:表达式级 if(kind="IfExpr",与 core/truffle 对齐)。
143
- IfExpr: (cond, thenE, elseE) => ({
144
- kind: 'IfExpr',
145
- cond,
146
- thenE,
147
- elseE,
148
- }),
149
- // ADR 0024 C0:列表字面量(kind="ListLit",与 Java CoreModel.ListE 对齐)。
150
- ListLit: (elements) => ({
151
- kind: 'ListLit',
152
- elements,
153
- }),
154
- PatCtor: (typeName, names = [], args) => ({
207
+ PatNull: () => ({ kind: 'PatNull', origin: NO_ORIGIN }),
208
+ /** ADR 0055 #15、#16:构造器 / 枚举变体模式只用 args(嵌套模式),0 参变体为 args:[]。 */
209
+ PatCtor: (typeName, args = []) => ({
155
210
  kind: 'PatCtor',
156
211
  typeName,
157
- names,
158
- ...(args && args.length > 0 ? { args } : {}),
212
+ args,
213
+ origin: NO_ORIGIN,
159
214
  }),
160
- PatName: (name) => ({ kind: 'PatName', name }),
161
- PatInt: (value) => ({ kind: 'PatInt', value }),
215
+ PatName: (name) => ({ kind: 'PatName', name, origin: NO_ORIGIN }),
216
+ PatInt: (value) => ({ kind: 'PatInt', value, origin: NO_ORIGIN }),
162
217
  };
163
218
  //# sourceMappingURL=core_ir.js.map
@@ -1 +1 @@
1
- {"version":3,"file":"core_ir.js","sourceRoot":"","sources":["../../../src/core/core_ir.ts"],"names":[],"mappings":"AAAA,4CAA4C;AAE5C,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAGrC,OAAO,EAAE,MAAM,EAAE,CAAC;AAElB,MAAM,CAAC,MAAM,IAAI,GAAG;IAClB,oBAAoB;IACpB,iEAAiE;IACjE,MAAM,EAAE,CAAC,IAAmB,EAAE,KAAuC,EAAE,OAAgB,EAAoB,EAAE,CAAC,CAAC;QAC7G,IAAI,EAAE,QAAQ;QACd,IAAI;QACJ,GAAG,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7C,KAAK;KACN,CAAC;IACF,MAAM,EAAE,CAAC,IAAY,EAAE,MAAqB,EAAE,OAAuB,EAAoB,EAAE,CAAC,CAAC;QAC3F,IAAI,EAAE,QAAQ;QACd,IAAI;QACJ,GAAG,CAAC,OAAO,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACnD,MAAM;KACP,CAAC;IACF,IAAI,EAAE,CAAC,IAAY,EAAE,MAAkC,EAAkB,EAAE,CAAC,CAAC;QAC3E,IAAI,EAAE,MAAM;QACZ,IAAI;QACJ,MAAM;KACP,CAAC;IACF,IAAI,EAAE,CAAC,IAAY,EAAE,QAA2B,EAAkB,EAAE,CAAC,CAAC;QACpE,IAAI,EAAE,MAAM;QACZ,IAAI;QACJ,QAAQ;KACT,CAAC;IACF,IAAI,EAAE,CACJ,IAAY,EACZ,UAAyC,EACzC,MAAsC,EACtC,GAAmB,EACnB,OAA0B,EAC1B,IAAqB,EACrB,aAA8D,EAAE,EAChE,kBAAkB,GAAG,KAAK,EAC1B,YAAgC,EAChC,eAA2D,EAC3D,cAA2D,EAAE,EAC7C,EAAE,CAAC,CAAC;QACpB,IAAI,EAAE,MAAM;QACZ,IAAI;QACJ,UAAU,EAAG,UAAgC,IAAI,EAAE;QACnD,yDAAyD;QACzD,GAAG,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAClD,MAAM;QACN,GAAG;QACH,OAAO;QACP,UAAU,EAAE,CAAC,GAAG,UAAU,CAAC;QAC3B,kBAAkB;QAClB,IAAI;QACJ,GAAG,CAAC,YAAY,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACpE,GAAG,CAAC,eAAe,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC9E,CAAC;IACF,KAAK,EAAE,CAAC,UAA0C,EAAmB,EAAE,CAAC,CAAC;QACvE,IAAI,EAAE,OAAO;QACb,UAAU;KACX,CAAC;IACF,KAAK,EAAE,CAAC,UAA0C,EAAmB,EAAE,CAAC,CAAC;QACvE,IAAI,EAAE,OAAO;QACb,UAAU;KACX,CAAC;IAEF,aAAa;IACb,GAAG,EAAE,CAAC,IAAY,EAAE,IAA0B,EAAiB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IAC/F,GAAG,EAAE,CAAC,IAAY,EAAE,IAA0B,EAAiB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IAC/F,MAAM,EAAE,CAAC,IAA0B,EAAoB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;IACpF,EAAE,EAAE,CACF,IAA0B,EAC1B,SAA0B,EAC1B,SAAiC,EACnB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC;IAC/D,KAAK,EAAE,CAAC,IAA0B,EAAE,KAAgC,EAAmB,EAAE,CAAC,CAAC;QACzF,IAAI,EAAE,OAAO;QACb,IAAI;QACJ,KAAK;KACN,CAAC;IACF,IAAI,EAAE,CAAC,OAA0B,EAAE,IAAwC,EAAkB,EAAE,CAAC,CAAC;QAC/F,IAAI,EAAE,MAAM;QACZ,OAAO;QACP,IAAI;KACL,CAAC;IACF,KAAK,EAAE,CAAC,IAAY,EAAE,IAA0B,EAAmB,EAAE,CAAC,CAAC;QACrE,IAAI,EAAE,OAAO;QACb,IAAI;QACJ,IAAI;KACL,CAAC;IACF,IAAI,EAAE,CAAC,KAAwB,EAAkB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;IAC7E,QAAQ,EAAE,CACR,KAAgC,EAChC,UAA2D,EAC3D,KAA6B,EAC7B,OAA2B,EACP,EAAE,CAAC,CAAC;QACxB,IAAI,EAAE,UAAU;QAChB,KAAK;QACL,UAAU,EAAE,CAAC,GAAG,UAAU,CAAC;QAC3B,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3B,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAChC,CAAC;IACF,IAAI,EAAE,CACJ,IAAY,EACZ,IAAqB,EACrB,UAA2D,EAC3D,UAA4B,EAC5B,eAAkC,EAAE,EACpB,EAAE,CAAC,CAAC;QACpB,IAAI,EAAE,MAAM;QACZ,IAAI;QACJ,IAAI;QACJ,YAAY;QACZ,UAAU,EAAE,CAAC,GAAG,UAAU,CAAC;QAC3B,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACtC,CAAC;IAEF,cAAc;IACd,IAAI,EAAE,CAAC,IAAY,EAAkB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;IAChE,IAAI,EAAE,CAAC,KAAc,EAAkB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;IACnE,GAAG,EAAE,CAAC,KAAa,EAAiB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;IAC/D,IAAI,EAAE,CAAC,KAAa,EAAkB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;IAClE,MAAM,EAAE,CAAC,KAAa,EAAoB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IACxE,OAAO,EAAE,CAAC,KAAa,EAAqB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;IAC3E,MAAM,EAAE,CAAC,KAAa,EAAoB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IACxE,IAAI,EAAE,GAAmB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAC9C,IAAI,EAAE,CAAC,MAA4B,EAAE,IAAqC,EAAkB,EAAE,CAAC,CAAC;QAC9F,IAAI,EAAE,MAAM;QACZ,MAAM;QACN,IAAI;KACL,CAAC;IACF,SAAS,EAAE,CACT,QAAgB,EAChB,MAA2C,EACtB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnE,EAAE,EAAE,CAAC,IAA0B,EAAgB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IACxE,GAAG,EAAE,CAAC,IAA0B,EAAiB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IAC3E,IAAI,EAAE,CAAC,IAA0B,EAAkB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;IAC9E,IAAI,EAAE,GAAmB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAE9C,QAAQ;IACR,QAAQ,EAAE,CAAC,IAAY,EAAsB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;IAC5E,KAAK,EAAE,CAAC,IAAoB,EAAmB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IAC3E,MAAM,EAAE,CAAC,IAAoB,EAAoB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;IAC9E,MAAM,EAAE,CAAC,EAAkB,EAAE,GAAmB,EAAoB,EAAE,CAAC,CAAC;QACtE,IAAI,EAAE,QAAQ;QACd,EAAE;QACF,GAAG;KACJ,CAAC;IACF,IAAI,EAAE,CAAC,IAAoB,EAAkB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;IACxE,GAAG,EAAE,CAAC,GAAmB,EAAE,GAAmB,EAAiB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IAC7F,OAAO,EAAE,CAAC,IAAY,EAAE,IAA+B,EAAqB,EAAE,CAAC,CAAC;QAC9E,IAAI,EAAE,SAAS;QACf,IAAI;QACJ,IAAI;KACL,CAAC;IACF,8DAA8D;IAC9D,QAAQ,EAAE,CAAC,MAAiC,EAAE,GAAmB,EAAsB,EAAE,CAAC,CAAC;QACzF,IAAI,EAAE,UAAU;QAChB,MAAM;QACN,GAAG;KACJ,CAAC;IACF,OAAO,EAAE,CAAC,IAAY,EAAqB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;IACzE,GAAG,EAAE,CACH,QAAwB,EACxB,WAA+B,EAC/B,QAA+C,EAC5B,EAAE,CAAC,CAAC;QACvB,IAAI,EAAE,SAAS;QACf,QAAQ;QACR,WAAW;QACX,QAAQ;KACT,CAAC;IAEF,WAAW;IACX,OAAO,EAAE,GAAsB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;IACvD,KAAK,EAAE,CAAC,IAA0B,EAAmB,EAAE,CAAC,CAAC;QACvD,IAAI,EAAE,OAAO;QACb,IAAI;KACL,CAAC;IACF,yDAAyD;IACzD,MAAM,EAAE,CACN,IAA0B,EAC1B,KAA2B,EAC3B,KAA2B,EACT,EAAE,CAAC,CAAC;QACtB,IAAI,EAAE,QAAQ;QACd,IAAI;QACJ,KAAK;QACL,KAAK;KACN,CAAC;IACF,+DAA+D;IAC/D,OAAO,EAAE,CAAC,QAAyC,EAAqB,EAAE,CAAC,CAAC;QAC1E,IAAI,EAAE,SAAS;QACf,QAAQ;KACT,CAAC;IACF,OAAO,EAAE,CACP,QAAgB,EAChB,QAA2B,EAAE,EAC7B,IAAmC,EAChB,EAAE,CAAC,CAAC;QACvB,IAAI,EAAE,SAAS;QACf,QAAQ;QACR,KAAK;QACL,GAAG,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC7C,CAAC;IACF,OAAO,EAAE,CAAC,IAAY,EAAqB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;IACzE,MAAM,EAAE,CAAC,KAAa,EAAoB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;CACzE,CAAC"}
1
+ {"version":3,"file":"core_ir.js","sourceRoot":"","sources":["../../../src/core/core_ir.ts"],"names":[],"mappings":"AAAA,4CAA4C;AAC5C,EAAE;AACF,4DAA4D;AAC5D,mEAAmE;AACnE,8DAA8D;AAC9D,+FAA+F;AAE/F,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAGrC,OAAO,EAAE,MAAM,EAAE,CAAC;AAElB,mDAAmD;AACnD,MAAM,CAAC,MAAM,SAAS,GAAqB,MAAM,CAAC,MAAM,CAAC;IACvD,IAAI,EAAE,IAAI;IACV,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;IACzC,GAAG,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;IACvC,OAAO,EAAE,IAAI;IACb,IAAI,EAAE,IAAI;CACX,CAAC,CAAC;AAEH,yBAAyB;AACzB,MAAM,UAAU,UAAU,CAAC,MAAwB;IACjD,OAAO,MAAM,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,CAAC;AACjC,CAAC;AAED,+CAA+C;AAC/C,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAU,CAAC;AAIjD,MAAM,CAAC,MAAM,IAAI,GAAG;IAClB,oBAAoB;IACpB,MAAM,EAAE,CAAC,IAAmB,EAAE,KAAuC,EAAE,UAAyB,IAAI,EAAoB,EAAE,CAAC,CAAC;QAC1H,IAAI,EAAE,QAAQ;QACd,aAAa,EAAE,sBAAsB;QACrC,IAAI;QACJ,OAAO;QACP,KAAK;QACL,MAAM,EAAE,SAAS;KAClB,CAAC;IACF,+DAA+D;IAC/D,MAAM,EAAE,CAAC,IAAY,EAAE,KAAoB,EAAE,UAAyB,IAAI,EAAoB,EAAE,CAAC,CAAC;QAChG,IAAI,EAAE,QAAQ;QACd,IAAI;QACJ,KAAK;QACL,OAAO;QACP,MAAM,EAAE,SAAS;KAClB,CAAC;IACF,IAAI,EAAE,CAAC,IAAY,EAAE,MAAkC,EAAkB,EAAE,CAAC,CAAC;QAC3E,IAAI,EAAE,MAAM;QACZ,IAAI;QACJ,MAAM;QACN,MAAM,EAAE,SAAS;KAClB,CAAC;IACF,KAAK,EAAE,CACL,IAAY,EACZ,IAAoB,EACpB,cAA+C,EAAE,EACjD,YAAY,GAAG,KAAK,EACH,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,WAAW,EAAE,YAAY,EAAE,CAAC;IAClF,KAAK,EAAE,CACL,IAAY,EACZ,IAAoB,EACpB,cAA+C,EAAE,EACjD,YAAY,GAAG,KAAK,EACC,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,WAAW,EAAE,YAAY,EAAE,CAAC;IACtF,IAAI,EAAE,CAAC,IAAY,EAAE,QAA2B,EAAkB,EAAE,CAAC,CAAC;QACpE,IAAI,EAAE,MAAM;QACZ,IAAI;QACJ,QAAQ;QACR,MAAM,EAAE,SAAS;KAClB,CAAC;IACF,IAAI,EAAE,CACJ,IAAY,EACZ,UAAyC,EACzC,MAAsC,EACtC,GAAmB,EACnB,OAA0B,EAC1B,IAAqB,EACrB,aAAmB,EAAE,EACrB,kBAAkB,GAAG,KAAK,EAC1B,eAAkC,EAAE,EACpC,cAA+C,EAAE,EACjC,EAAE,CAAC,CAAC;QACpB,IAAI,EAAE,MAAM;QACZ,IAAI;QACJ,UAAU,EAAE,UAAU,IAAI,EAAE;QAC5B,MAAM;QACN,GAAG;QACH,eAAe,EAAE,KAAK;QACtB,WAAW;QACX,cAAc,EAAE,EAAE;QAClB,OAAO;QACP,YAAY;QACZ,UAAU,EAAE,CAAC,GAAG,UAAU,CAAC;QAC3B,kBAAkB;QAClB,SAAS,EAAE,IAAI;QACf,IAAI;QACJ,MAAM,EAAE,SAAS;KAClB,CAAC;IACF,KAAK,EAAE,CAAC,UAA0C,EAAmB,EAAE,CAAC,CAAC;QACvE,IAAI,EAAE,OAAO;QACb,UAAU;QACV,MAAM,EAAE,SAAS;KAClB,CAAC;IACF,KAAK,EAAE,CAAC,UAA0C,EAAmB,EAAE,CAAC,CAAC;QACvE,IAAI,EAAE,OAAO;QACb,UAAU;QACV,MAAM,EAAE,SAAS;KAClB,CAAC;IAEF,2CAA2C;IAC3C,QAAQ,EAAE,GAAiC,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IACvF,KAAK,EAAE,CAAC,GAAkB,EAAE,GAAkB,EAA6B,EAAE,CAAC,CAAC;QAC7E,IAAI,EAAE,OAAO;QACb,GAAG;QACH,GAAG;QACH,MAAM,EAAE,SAAS;KAClB,CAAC;IACF,OAAO,EAAE,CAAC,MAAc,EAA+B,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IAE1G,aAAa;IACb,GAAG,EAAE,CAAC,IAAY,EAAE,IAA0B,EAAiB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IAClH,GAAG,EAAE,CAAC,IAAY,EAAE,IAA0B,EAAiB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IAClH,MAAM,EAAE,CAAC,IAA0B,EAAoB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IACvG,EAAE,EAAE,CACF,IAA0B,EAC1B,SAA0B,EAC1B,SAAiC,EACnB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IAClF,KAAK,EAAE,CAAC,IAA0B,EAAE,KAAgC,EAAmB,EAAE,CAAC,CAAC;QACzF,IAAI,EAAE,OAAO;QACb,IAAI;QACJ,KAAK;QACL,MAAM,EAAE,SAAS;KAClB,CAAC;IACF,IAAI,EAAE,CAAC,OAA0B,EAAE,IAAwC,EAAkB,EAAE,CAAC,CAAC;QAC/F,IAAI,EAAE,MAAM;QACZ,OAAO;QACP,IAAI;QACJ,MAAM,EAAE,SAAS;KAClB,CAAC;IACF,KAAK,EAAE,CAAC,IAAY,EAAE,IAA0B,EAAmB,EAAE,CAAC,CAAC;QACrE,IAAI,EAAE,OAAO;QACb,IAAI;QACJ,IAAI;QACJ,MAAM,EAAE,SAAS;KAClB,CAAC;IACF,IAAI,EAAE,CAAC,KAAwB,EAAkB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IAChG,QAAQ,EAAE,CACR,KAAgC,EAChC,UAAgB,EAChB,QAAsC,IAAI,EAC1C,UAAoC,IAAI,EACpB,EAAE,CAAC,CAAC;QACxB,IAAI,EAAE,UAAU;QAChB,KAAK;QACL,UAAU,EAAE,CAAC,GAAG,UAAU,CAAC;QAC3B,KAAK;QACL,OAAO;QACP,MAAM,EAAE,SAAS;KAClB,CAAC;IACF,IAAI,EAAE,CACJ,IAAY,EACZ,IAAqB,EACrB,UAAgB,EAChB,aAAqC,IAAI,EACzC,eAAkC,EAAE,EACpB,EAAE,CAAC,CAAC;QACpB,IAAI,EAAE,MAAM;QACZ,IAAI;QACJ,IAAI;QACJ,UAAU;QACV,YAAY;QACZ,UAAU,EAAE,CAAC,GAAG,UAAU,CAAC;QAC3B,MAAM,EAAE,SAAS;KAClB,CAAC;IAEF,cAAc;IACd,IAAI,EAAE,CAAC,IAAY,EAAkB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IACnF,IAAI,EAAE,CAAC,KAAc,EAAkB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IACtF,GAAG,EAAE,CAAC,KAAa,EAAiB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IAClF,IAAI,EAAE,CAAC,KAAa,EAAkB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IACrF,uDAAuD;IACvD,MAAM,EAAE,CAAC,KAAa,EAAoB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IAC3F,OAAO,EAAE,CAAC,KAAa,EAAqB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IAC9F,MAAM,EAAE,CAAC,KAAa,EAAoB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IAC3F,IAAI,EAAE,GAAmB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IACjE,IAAI,EAAE,CAAC,MAA4B,EAAE,IAAqC,EAAkB,EAAE,CAAC,CAAC;QAC9F,IAAI,EAAE,MAAM;QACZ,MAAM;QACN,IAAI;QACJ,MAAM,EAAE,SAAS;KAClB,CAAC;IACF,SAAS,EAAE,CACT,QAAgB,EAChB,MAA2C,EACtB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IACtF,EAAE,EAAE,CAAC,IAA0B,EAAgB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IAC3F,GAAG,EAAE,CAAC,IAA0B,EAAiB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IAC9F,IAAI,EAAE,CAAC,IAA0B,EAAkB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IACjG,IAAI,EAAE,GAAmB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IACjE,MAAM,EAAE,CACN,MAAsC,EACtC,GAAmB,EACnB,IAAqB,EACrB,WAA8B,EAAE,EACd,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IAC3F,KAAK,EAAE,CAAC,IAA0B,EAAmB,EAAE,CAAC,CAAC;QACvD,IAAI,EAAE,OAAO;QACb,IAAI;QACJ,MAAM,EAAE,SAAS;KAClB,CAAC;IACF,yDAAyD;IACzD,MAAM,EAAE,CACN,IAA0B,EAC1B,KAA2B,EAC3B,KAA2B,EACT,EAAE,CAAC,CAAC;QACtB,IAAI,EAAE,QAAQ;QACd,IAAI;QACJ,KAAK;QACL,KAAK;QACL,MAAM,EAAE,SAAS;KAClB,CAAC;IACF,+DAA+D;IAC/D,OAAO,EAAE,CAAC,QAAyC,EAAqB,EAAE,CAAC,CAAC;QAC1E,IAAI,EAAE,SAAS;QACf,QAAQ;QACR,MAAM,EAAE,SAAS;KAClB,CAAC;IAEF,QAAQ;IACR,QAAQ,EAAE,CAAC,IAAY,EAAsB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IAC/F,KAAK,EAAE,CAAC,IAAoB,EAAmB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IAC9F,MAAM,EAAE,CAAC,IAAoB,EAAoB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IACjG,MAAM,EAAE,CAAC,EAAkB,EAAE,GAAmB,EAAoB,EAAE,CAAC,CAAC;QACtE,IAAI,EAAE,QAAQ;QACd,EAAE;QACF,GAAG;QACH,MAAM,EAAE,SAAS;KAClB,CAAC;IACF,IAAI,EAAE,CAAC,IAAoB,EAAkB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IAC3F,GAAG,EAAE,CAAC,GAAmB,EAAE,GAAmB,EAAiB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IAChH,OAAO,EAAE,CAAC,IAAY,EAAE,IAA+B,EAAqB,EAAE,CAAC,CAAC;QAC9E,IAAI,EAAE,SAAS;QACf,IAAI;QACJ,IAAI;QACJ,MAAM,EAAE,SAAS;KAClB,CAAC;IACF,8DAA8D;IAC9D,QAAQ,EAAE,CAAC,MAAiC,EAAE,GAAmB,EAAsB,EAAE,CAAC,CAAC;QACzF,IAAI,EAAE,UAAU;QAChB,MAAM;QACN,GAAG;QACH,MAAM,EAAE,SAAS;KAClB,CAAC;IACF,OAAO,EAAE,CAAC,IAAY,EAAqB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IAC5F,GAAG,EAAE,CAAC,QAAwB,EAAE,WAAmB,EAAE,QAAgB,EAAqB,EAAE,CAAC,CAAC;QAC5F,IAAI,EAAE,SAAS;QACf,QAAQ;QACR,WAAW;QACX,QAAQ;QACR,MAAM,EAAE,SAAS;KAClB,CAAC;IAEF,WAAW;IACX,OAAO,EAAE,GAAsB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IAC1E,iEAAiE;IACjE,OAAO,EAAE,CAAC,QAAgB,EAAE,OAAqC,EAAE,EAAqB,EAAE,CAAC,CAAC;QAC1F,IAAI,EAAE,SAAS;QACf,QAAQ;QACR,IAAI;QACJ,MAAM,EAAE,SAAS;KAClB,CAAC;IACF,OAAO,EAAE,CAAC,IAAY,EAAqB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IAC5F,MAAM,EAAE,CAAC,KAAa,EAAoB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;CAC5F,CAAC"}
@@ -7,14 +7,15 @@
7
7
  * - Core IR 构造器 (Core)
8
8
  * - Core IR 遍历器 (DefaultCoreVisitor, CoreVisitor)
9
9
  * - Core IR 格式化器 (formatModule)
10
- * - Core IR JSON 序列化 (serializeCoreIR, deserializeCoreIR)
10
+ * - Core IR v2 规范序列化与严格读入 (serializeCoreIr, readCoreIr,ADR 0055)
11
11
  */
12
12
  export { Core, Effect } from './core_ir.js';
13
13
  export { DefaultCoreVisitor, createVisitorContext, } from './visitor.js';
14
14
  export type { CoreVisitor, VisitorContext } from './visitor.js';
15
15
  export { formatModule } from './pretty_core.js';
16
- export { serializeCoreIR, deserializeCoreIR, isValidCoreIRJson, } from './core_ir_json.js';
17
- export type { CoreIREnvelope } from './core_ir_json.js';
16
+ export { serializeCoreIr, validateCoreIrInvariants } from './serialize-core-ir.js';
17
+ export type { CoreIrProblem } from './serialize-core-ir.js';
18
+ export { readCoreIr, CoreIrFormatError } from './read-core-ir.js';
18
19
  export { evaluate, serializeGuestValue } from './interpreter.js';
19
20
  export type { EvalResult } from './interpreter.js';
20
21
  //# sourceMappingURL=index.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/core/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,EACL,kBAAkB,EAClB,oBAAoB,GACrB,MAAM,cAAc,CAAC;AACtB,YAAY,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAChE,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAChD,OAAO,EACL,eAAe,EACf,iBAAiB,EACjB,iBAAiB,GAClB,MAAM,mBAAmB,CAAC;AAC3B,YAAY,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACxD,OAAO,EAAE,QAAQ,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AACjE,YAAY,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC"}
1
+ {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/core/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,EACL,kBAAkB,EAClB,oBAAoB,GACrB,MAAM,cAAc,CAAC;AACtB,YAAY,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAChE,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAChD,OAAO,EAAE,eAAe,EAAE,wBAAwB,EAAE,MAAM,wBAAwB,CAAC;AACnF,YAAY,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAC5D,OAAO,EAAE,UAAU,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAClE,OAAO,EAAE,QAAQ,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AACjE,YAAY,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC"}
@@ -7,11 +7,12 @@
7
7
  * - Core IR 构造器 (Core)
8
8
  * - Core IR 遍历器 (DefaultCoreVisitor, CoreVisitor)
9
9
  * - Core IR 格式化器 (formatModule)
10
- * - Core IR JSON 序列化 (serializeCoreIR, deserializeCoreIR)
10
+ * - Core IR v2 规范序列化与严格读入 (serializeCoreIr, readCoreIr,ADR 0055)
11
11
  */
12
12
  export { Core, Effect } from './core_ir.js';
13
13
  export { DefaultCoreVisitor, createVisitorContext, } from './visitor.js';
14
14
  export { formatModule } from './pretty_core.js';
15
- export { serializeCoreIR, deserializeCoreIR, isValidCoreIRJson, } from './core_ir_json.js';
15
+ export { serializeCoreIr, validateCoreIrInvariants } from './serialize-core-ir.js';
16
+ export { readCoreIr, CoreIrFormatError } from './read-core-ir.js';
16
17
  export { evaluate, serializeGuestValue } from './interpreter.js';
17
18
  //# sourceMappingURL=index.js.map
@@ -1 +1 @@
1
- {"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/core/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,EACL,kBAAkB,EAClB,oBAAoB,GACrB,MAAM,cAAc,CAAC;AAEtB,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAChD,OAAO,EACL,eAAe,EACf,iBAAiB,EACjB,iBAAiB,GAClB,MAAM,mBAAmB,CAAC;AAE3B,OAAO,EAAE,QAAQ,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC"}
1
+ {"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/core/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,EACL,kBAAkB,EAClB,oBAAoB,GACrB,MAAM,cAAc,CAAC;AAEtB,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAChD,OAAO,EAAE,eAAe,EAAE,wBAAwB,EAAE,MAAM,wBAAwB,CAAC;AAEnF,OAAO,EAAE,UAAU,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAClE,OAAO,EAAE,QAAQ,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC"}
@@ -1,16 +1,14 @@
1
1
  import type { Core } from '../types.js';
2
- /** 登记一个未声明类型的字段(仅供降级阶段调用)。 */
3
- export declare function markFieldTypeInferred(field: Core.Field): void;
4
- /** 字段是否在源码中未声明类型。 */
5
- export declare function isFieldTypeInferred(field: Core.Field): boolean;
6
2
  /**
7
- * 「未声明类型的 lambda 参数」旁路表:Core lambda 参数不携带 typeInferred(加入会改变 IR),
8
- * 同理以对象身份登记。名称解析 R2(ADR 0051 §4、裁决 R31)只把声明类型当作类型来源,据此视其类型未知。
3
+ * 「类型未在源码中声明」的查询(ADR 0055 #9:typeInferred 是 Core IR v2 的恒输出字段)。
4
+ *
5
+ * `Define X has a, b.` 这类字段没有 `as <Type>`,降级时 `type` 按命名推断填入,构造器检查继续沿用
6
+ * 推断类型;但成员访问时类型检查器要把它当作动态值(Unknown),与 Java BaseTypeChecker 对点号名
7
+ * 一律给 Unknown 的语义对齐。名称解析 R2(ADR 0051 §4、裁决 R31)只把声明类型当作类型来源。
8
+ * v1 用旁路表携带这一事实以免改变 IR;v2 起它就是 IR 字段,这里只读字段。
9
9
  */
10
- type LambdaParam = Core.Lambda['params'][number];
11
- /** 登记一个未声明类型的 lambda 参数(仅供降级阶段调用)。 */
12
- export declare function markLambdaParamTypeInferred(param: LambdaParam): void;
10
+ /** 字段是否在源码中未声明类型。 */
11
+ export declare function isFieldTypeInferred(field: Core.Field): boolean;
13
12
  /** lambda 参数是否在源码中未声明类型。 */
14
- export declare function isLambdaParamTypeInferred(param: LambdaParam): boolean;
15
- export {};
13
+ export declare function isLambdaParamTypeInferred(param: Core.Parameter): boolean;
16
14
  //# sourceMappingURL=inferred_fields.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"inferred_fields.d.ts","sourceRoot":"","sources":["../../../src/core/inferred_fields.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,aAAa,CAAC;AAuBxC,8BAA8B;AAC9B,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,GAAG,IAAI,CAE7D;AAED,qBAAqB;AACrB,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,GAAG,OAAO,CAE9D;AAED;;;GAGG;AACH,KAAK,WAAW,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC;AAGjD,sCAAsC;AACtC,wBAAgB,2BAA2B,CAAC,KAAK,EAAE,WAAW,GAAG,IAAI,CAEpE;AAED,4BAA4B;AAC5B,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,WAAW,GAAG,OAAO,CAErE"}
1
+ {"version":3,"file":"inferred_fields.d.ts","sourceRoot":"","sources":["../../../src/core/inferred_fields.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,aAAa,CAAC;AAExC;;;;;;;GAOG;AAEH,qBAAqB;AACrB,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,GAAG,OAAO,CAE9D;AAED,4BAA4B;AAC5B,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,IAAI,CAAC,SAAS,GAAG,OAAO,CAExE"}