@hyperscale0/hsx 1.0.0 → 1.0.124

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 (316) hide show
  1. package/CHANGELOG.md +5 -256
  2. package/LICENSE.md +356 -0
  3. package/NOTICE.md +8 -0
  4. package/README.md +44 -44
  5. package/bin/hsx.ts +0 -7
  6. package/dist/bin/hsx.d.ts +0 -4
  7. package/dist/bin/hsx.d.ts.map +1 -1
  8. package/dist/bin/hsx.js +0 -6
  9. package/dist/bin/hsx.js.map +1 -1
  10. package/dist/src/ast.d.ts +113 -308
  11. package/dist/src/ast.d.ts.map +1 -1
  12. package/dist/src/ast.js +7 -71
  13. package/dist/src/ast.js.map +1 -1
  14. package/dist/src/attachment-economics.d.ts +5 -0
  15. package/dist/src/attachment-economics.d.ts.map +1 -0
  16. package/dist/src/attachment-economics.js +55 -0
  17. package/dist/src/attachment-economics.js.map +1 -0
  18. package/dist/src/binding-contract.d.ts +22 -0
  19. package/dist/src/binding-contract.d.ts.map +1 -0
  20. package/dist/src/binding-contract.js +74 -0
  21. package/dist/src/binding-contract.js.map +1 -0
  22. package/dist/src/cli.d.ts +4 -19
  23. package/dist/src/cli.d.ts.map +1 -1
  24. package/dist/src/cli.js +89 -276
  25. package/dist/src/cli.js.map +1 -1
  26. package/dist/src/compile.d.ts +34 -66
  27. package/dist/src/compile.d.ts.map +1 -1
  28. package/dist/src/compile.js +2949 -117
  29. package/dist/src/compile.js.map +1 -1
  30. package/dist/src/cost.d.ts +8 -75
  31. package/dist/src/cost.d.ts.map +1 -1
  32. package/dist/src/cost.js +54 -364
  33. package/dist/src/cost.js.map +1 -1
  34. package/dist/src/diagnostics.d.ts +14 -9
  35. package/dist/src/diagnostics.d.ts.map +1 -1
  36. package/dist/src/diagnostics.js +39 -416
  37. package/dist/src/diagnostics.js.map +1 -1
  38. package/dist/src/examples-bundle.d.ts +3 -0
  39. package/dist/src/examples-bundle.d.ts.map +1 -0
  40. package/dist/src/examples-bundle.js +18 -0
  41. package/dist/src/examples-bundle.js.map +1 -0
  42. package/dist/src/examples.d.ts +10 -0
  43. package/dist/src/examples.d.ts.map +1 -0
  44. package/dist/src/examples.js +2 -0
  45. package/dist/src/examples.js.map +1 -0
  46. package/dist/src/format.d.ts +8 -7
  47. package/dist/src/format.d.ts.map +1 -1
  48. package/dist/src/format.js +9 -175
  49. package/dist/src/format.js.map +1 -1
  50. package/dist/src/header-source.d.ts +3 -0
  51. package/dist/src/header-source.d.ts.map +1 -0
  52. package/dist/src/header-source.js +41 -0
  53. package/dist/src/header-source.js.map +1 -0
  54. package/dist/src/headers.d.ts +64 -0
  55. package/dist/src/headers.d.ts.map +1 -0
  56. package/dist/src/headers.js +167 -0
  57. package/dist/src/headers.js.map +1 -0
  58. package/dist/src/index.d.ts +7 -11
  59. package/dist/src/index.d.ts.map +1 -1
  60. package/dist/src/index.js +4 -9
  61. package/dist/src/index.js.map +1 -1
  62. package/dist/src/keywords.d.ts +56 -0
  63. package/dist/src/keywords.d.ts.map +1 -0
  64. package/dist/src/keywords.js +133 -0
  65. package/dist/src/keywords.js.map +1 -0
  66. package/dist/src/language.d.ts +26 -0
  67. package/dist/src/language.d.ts.map +1 -0
  68. package/dist/src/language.js +440 -0
  69. package/dist/src/language.js.map +1 -0
  70. package/dist/src/lex.d.ts +13 -28
  71. package/dist/src/lex.d.ts.map +1 -1
  72. package/dist/src/lex.js +119 -145
  73. package/dist/src/lex.js.map +1 -1
  74. package/dist/src/parse.d.ts +4 -17
  75. package/dist/src/parse.d.ts.map +1 -1
  76. package/dist/src/parse.js +484 -1036
  77. package/dist/src/parse.js.map +1 -1
  78. package/dist/src/std-bundle.d.ts.map +1 -1
  79. package/dist/src/std-bundle.js +11 -84
  80. package/dist/src/std-bundle.js.map +1 -1
  81. package/dist/src/std-library.d.ts +1 -1
  82. package/dist/src/std-library.d.ts.map +1 -1
  83. package/dist/src/std-library.js +1 -5
  84. package/dist/src/std-library.js.map +1 -1
  85. package/dist/src/tunables.d.ts +7 -0
  86. package/dist/src/tunables.d.ts.map +1 -0
  87. package/dist/src/tunables.js +27 -0
  88. package/dist/src/tunables.js.map +1 -0
  89. package/docs/README.md +528 -26
  90. package/docs/assets/brand/hsx-horizontal-white.svg +1 -0
  91. package/docs/assets/brand/hsx-horizontal.svg +1 -0
  92. package/docs/assets/brand/hsx-stacked-white.svg +1 -0
  93. package/docs/assets/brand/hsx-stacked.svg +1 -0
  94. package/docs/assets/brand/manifest.json +30 -0
  95. package/docs/assets/hsx.svg +11 -0
  96. package/examples/cards.hsx +34 -0
  97. package/examples/collections.hsx +37 -0
  98. package/examples/cost-table.json +633 -385
  99. package/examples/escrow.hsx +24 -0
  100. package/examples/financing.hsx +32 -0
  101. package/examples/insurance.hsx +30 -0
  102. package/examples/lending.hsx +57 -0
  103. package/examples/library.hsx +15 -0
  104. package/examples/marketplace.hsx +32 -0
  105. package/examples/money.hsx +19 -0
  106. package/examples/rental-deposit.hsx +60 -0
  107. package/examples/repair-approval.hsx +44 -0
  108. package/examples/reporting.hsx +28 -0
  109. package/examples/savings.hsx +21 -0
  110. package/examples/serviced.hsx +25 -0
  111. package/examples/wallet.hsx +24 -0
  112. package/package.json +25 -23
  113. package/src/ast.ts +83 -440
  114. package/src/attachment-economics.ts +103 -0
  115. package/src/binding-contract.ts +104 -0
  116. package/src/cli.ts +95 -325
  117. package/src/compile.ts +4063 -209
  118. package/src/cost.ts +71 -574
  119. package/src/diagnostics.ts +57 -437
  120. package/src/examples-bundle.ts +19 -0
  121. package/src/examples.ts +9 -0
  122. package/src/format.ts +12 -256
  123. package/src/header-source.ts +54 -0
  124. package/src/headers.ts +195 -0
  125. package/src/index.ts +18 -33
  126. package/src/keywords.ts +134 -0
  127. package/src/language.ts +629 -0
  128. package/src/lex.ts +131 -192
  129. package/src/parse.ts +489 -1195
  130. package/src/std-bundle.ts +12 -88
  131. package/src/std-library.ts +2 -7
  132. package/src/tunables.ts +36 -0
  133. package/std/cards.hsx +85 -0
  134. package/std/collections.hsx +90 -0
  135. package/std/escrow.hsx +73 -0
  136. package/std/financing.hsx +683 -0
  137. package/std/insurance.hsx +89 -0
  138. package/std/lending.hsx +138 -0
  139. package/std/marketplace.hsx +123 -0
  140. package/std/money.hsx +173 -0
  141. package/std/reporting.hsx +753 -0
  142. package/std/savings.hsx +68 -0
  143. package/std/wallet.hsx +57 -0
  144. package/LICENSE +0 -661
  145. package/LICENSING.md +0 -52
  146. package/TRADEMARKS.md +0 -35
  147. package/dist/src/emit.d.ts +0 -34
  148. package/dist/src/emit.d.ts.map +0 -1
  149. package/dist/src/emit.js +0 -137
  150. package/dist/src/emit.js.map +0 -1
  151. package/dist/src/entry-overrides.d.ts +0 -58
  152. package/dist/src/entry-overrides.d.ts.map +0 -1
  153. package/dist/src/entry-overrides.js +0 -284
  154. package/dist/src/entry-overrides.js.map +0 -1
  155. package/dist/src/ir.d.ts +0 -66
  156. package/dist/src/ir.d.ts.map +0 -1
  157. package/dist/src/ir.js +0 -15
  158. package/dist/src/ir.js.map +0 -1
  159. package/dist/src/limits.d.ts +0 -21
  160. package/dist/src/limits.d.ts.map +0 -1
  161. package/dist/src/limits.js +0 -21
  162. package/dist/src/limits.js.map +0 -1
  163. package/dist/src/lsp/server.d.ts +0 -32
  164. package/dist/src/lsp/server.d.ts.map +0 -1
  165. package/dist/src/lsp/server.js +0 -391
  166. package/dist/src/lsp/server.js.map +0 -1
  167. package/dist/src/modules.d.ts +0 -38
  168. package/dist/src/modules.d.ts.map +0 -1
  169. package/dist/src/modules.js +0 -368
  170. package/dist/src/modules.js.map +0 -1
  171. package/dist/src/typecheck.d.ts +0 -8
  172. package/dist/src/typecheck.d.ts.map +0 -1
  173. package/dist/src/typecheck.js +0 -2958
  174. package/dist/src/typecheck.js.map +0 -1
  175. package/dist/src/version.d.ts +0 -5
  176. package/dist/src/version.d.ts.map +0 -1
  177. package/dist/src/version.js +0 -5
  178. package/dist/src/version.js.map +0 -1
  179. package/docs/guide/01-first-program.md +0 -24
  180. package/docs/guide/02-money.md +0 -25
  181. package/docs/guide/03-instruments.md +0 -22
  182. package/docs/guide/04-lifecycles.md +0 -25
  183. package/docs/guide/05-fees-and-splits.md +0 -45
  184. package/docs/guide/06-schedules.md +0 -22
  185. package/docs/guide/07-composition.md +0 -46
  186. package/docs/guide/08-writing-a-module.md +0 -26
  187. package/docs/guide/09-cost.md +0 -24
  188. package/docs/guide/10-diagnostics.md +0 -27
  189. package/docs/llms-full.txt +0 -1739
  190. package/docs/llms.txt +0 -45
  191. package/docs/playground.md +0 -54
  192. package/docs/reference/cli.md +0 -35
  193. package/docs/reference/diagnostics.md +0 -619
  194. package/docs/reference/grammar.md +0 -39
  195. package/docs/reference/std/advance.md +0 -35
  196. package/docs/reference/std/cancellable_booking.md +0 -35
  197. package/docs/reference/std/captured_payment.md +0 -43
  198. package/docs/reference/std/conditional_disbursement.md +0 -33
  199. package/docs/reference/std/credit_facility.md +0 -35
  200. package/docs/reference/std/held_payment.md +0 -64
  201. package/docs/reference/std/instant_transfer.md +0 -30
  202. package/docs/reference/std/metered.md +0 -27
  203. package/docs/reference/std/pooled_split.md +0 -26
  204. package/docs/reference/std/premium_forward.md +0 -39
  205. package/docs/reference/std/reconciled_payout.md +0 -33
  206. package/docs/reference/std/recurring_collection.md +0 -25
  207. package/docs/reference/std/rotating_pool.md +0 -42
  208. package/docs/reference/std/scheduled.md +0 -51
  209. package/docs/reference/std/security_deposit.md +0 -46
  210. package/docs/reference/std/settlement_batch.md +0 -42
  211. package/docs/reference/std/swap.md +0 -46
  212. package/docs/reference/std/threshold_pool.md +0 -47
  213. package/docs/reference/std/weighted_distribution.md +0 -39
  214. package/docs/reference/types.md +0 -20
  215. package/docs/reference/udl-output.md +0 -13
  216. package/docs/sessions/2026-09-02-two-instruments.hsx +0 -21
  217. package/docs/sessions/2026-09-02-two-instruments.md +0 -41
  218. package/examples/01-first-program/README.md +0 -45
  219. package/examples/01-first-program/tip-jar.hsx +0 -17
  220. package/examples/02-imports-and-archetypes/README.md +0 -96
  221. package/examples/02-imports-and-archetypes/photo-booth.hsx +0 -37
  222. package/examples/03-diagnostics/README.md +0 -68
  223. package/examples/03-diagnostics/corner-shop-fixed.hsx +0 -22
  224. package/examples/03-diagnostics/corner-shop.hsx +0 -19
  225. package/examples/04-complete-product/README.md +0 -84
  226. package/examples/04-complete-product/study-hall.hsx +0 -67
  227. package/examples/05-watch-club/README.md +0 -9
  228. package/examples/05-watch-club/watch-club.hsx +0 -124
  229. package/examples/README.md +0 -18
  230. package/examples/advance/README.md +0 -3
  231. package/examples/advance/advance.hsx +0 -13
  232. package/examples/advance/advance.udl +0 -339
  233. package/examples/cancellable_booking/README.md +0 -3
  234. package/examples/cancellable_booking/cancellable_booking.hsx +0 -14
  235. package/examples/cancellable_booking/cancellable_booking.udl +0 -391
  236. package/examples/captured_payment/README.md +0 -3
  237. package/examples/captured_payment/captured_payment.hsx +0 -21
  238. package/examples/captured_payment/captured_payment.udl +0 -677
  239. package/examples/conditional_disbursement/README.md +0 -3
  240. package/examples/conditional_disbursement/conditional_disbursement.hsx +0 -17
  241. package/examples/conditional_disbursement/conditional_disbursement.udl +0 -412
  242. package/examples/credit_facility/README.md +0 -3
  243. package/examples/credit_facility/credit_facility.hsx +0 -27
  244. package/examples/credit_facility/credit_facility.udl +0 -1373
  245. package/examples/held_payment/README.md +0 -3
  246. package/examples/held_payment/held_payment.hsx +0 -13
  247. package/examples/held_payment/held_payment.udl +0 -507
  248. package/examples/instant_transfer/README.md +0 -3
  249. package/examples/instant_transfer/instant_transfer.hsx +0 -16
  250. package/examples/instant_transfer/instant_transfer.udl +0 -364
  251. package/examples/metered/README.md +0 -3
  252. package/examples/metered/metered.hsx +0 -13
  253. package/examples/metered/metered.udl +0 -247
  254. package/examples/pooled_split/README.md +0 -3
  255. package/examples/pooled_split/pooled_split.hsx +0 -15
  256. package/examples/pooled_split/pooled_split.udl +0 -425
  257. package/examples/premium_forward/README.md +0 -3
  258. package/examples/premium_forward/premium_forward.hsx +0 -19
  259. package/examples/premium_forward/premium_forward.udl +0 -594
  260. package/examples/reconciled_payout/README.md +0 -3
  261. package/examples/reconciled_payout/reconciled_payout.hsx +0 -13
  262. package/examples/reconciled_payout/reconciled_payout.udl +0 -303
  263. package/examples/recurring_collection/README.md +0 -3
  264. package/examples/recurring_collection/recurring_collection.hsx +0 -21
  265. package/examples/recurring_collection/recurring_collection.udl +0 -1130
  266. package/examples/rotating_pool/README.md +0 -3
  267. package/examples/rotating_pool/rotating_pool.hsx +0 -18
  268. package/examples/rotating_pool/rotating_pool.udl +0 -4352
  269. package/examples/scheduled/README.md +0 -3
  270. package/examples/scheduled/scheduled.hsx +0 -12
  271. package/examples/scheduled/scheduled.udl +0 -335
  272. package/examples/security_deposit/README.md +0 -3
  273. package/examples/security_deposit/security_deposit.hsx +0 -21
  274. package/examples/security_deposit/security_deposit.udl +0 -293
  275. package/examples/settlement_batch/README.md +0 -3
  276. package/examples/settlement_batch/settlement_batch.hsx +0 -19
  277. package/examples/settlement_batch/settlement_batch.udl +0 -753
  278. package/examples/swap/README.md +0 -3
  279. package/examples/swap/swap.hsx +0 -19
  280. package/examples/swap/swap.udl +0 -876
  281. package/examples/threshold_pool/README.md +0 -3
  282. package/examples/threshold_pool/threshold_pool.hsx +0 -16
  283. package/examples/threshold_pool/threshold_pool.udl +0 -667
  284. package/examples/weighted_distribution/README.md +0 -3
  285. package/examples/weighted_distribution/weighted_distribution.hsx +0 -20
  286. package/examples/weighted_distribution/weighted_distribution.udl +0 -337
  287. package/skills/hsx/SKILL.md +0 -483
  288. package/src/emit.ts +0 -201
  289. package/src/entry-overrides.ts +0 -428
  290. package/src/ir.ts +0 -99
  291. package/src/limits.ts +0 -20
  292. package/src/lsp/server.ts +0 -460
  293. package/src/modules.ts +0 -446
  294. package/src/typecheck.ts +0 -3876
  295. package/src/version.ts +0 -5
  296. package/std/SEMANTICS.md +0 -130
  297. package/std/settlements/advance.hsx +0 -177
  298. package/std/settlements/cancellable_booking.hsx +0 -87
  299. package/std/settlements/captured_payment.hsx +0 -144
  300. package/std/settlements/conditional_disbursement.hsx +0 -185
  301. package/std/settlements/credit_facility.hsx +0 -167
  302. package/std/settlements/held_payment.hsx +0 -578
  303. package/std/settlements/index.hsx +0 -3
  304. package/std/settlements/instant_transfer.hsx +0 -190
  305. package/std/settlements/metered.hsx +0 -67
  306. package/std/settlements/pooled_split.hsx +0 -68
  307. package/std/settlements/premium_forward.hsx +0 -257
  308. package/std/settlements/reconciled_payout.hsx +0 -77
  309. package/std/settlements/recurring_collection.hsx +0 -27
  310. package/std/settlements/rotating_pool.hsx +0 -252
  311. package/std/settlements/scheduled.hsx +0 -641
  312. package/std/settlements/security_deposit.hsx +0 -166
  313. package/std/settlements/settlement_batch.hsx +0 -122
  314. package/std/settlements/swap.hsx +0 -1114
  315. package/std/settlements/threshold_pool.hsx +0 -221
  316. package/std/settlements/weighted_distribution.hsx +0 -141
package/LICENSING.md DELETED
@@ -1,52 +0,0 @@
1
- # Licensing
2
-
3
- The code in this repository is Copyright 2026 Hyperscale LLC and is licensed
4
- under the GNU Affero General Public License version 3 only
5
- (`AGPL-3.0-only`). The full text is in [`LICENSE`](./LICENSE).
6
-
7
- ## What the AGPL asks of you
8
-
9
- Two obligations matter in practice.
10
-
11
- **If you distribute a copy in object form**, modified or not, you make its
12
- Corresponding Source available under the same license.
13
-
14
- **If you run a modified copy as a network service**, section 13 applies: the
15
- users interacting with it over the network get an offer of the source of the
16
- version you are running. Compiling HSX with an unmodified copy behind your own
17
- service does not trigger this. Changing the lexer, the parser, the lowering, or
18
- the emitted IR and then serving that change does.
19
-
20
- Using `@hyperscale0/hsx` as a library inside your own program is a combined
21
- work under the AGPL. If that does not fit how you ship, take the commercial
22
- license instead.
23
-
24
- ## Commercial license
25
-
26
- Hyperscale LLC sells a commercial license to organisations that cannot accept
27
- the AGPL, for the usual reasons: a proprietary product that links the compiler,
28
- a hosted service you will not open, a procurement policy that refuses copyleft.
29
- It grants the same code under ordinary commercial terms with no source
30
- obligation.
31
-
32
- Ask through <https://hyperscale0.ai>.
33
-
34
- ## The license covers code, not marks
35
-
36
- "Hyperscale" and "HSX" are trademarks of Hyperscale LLC. A copyright license
37
- says nothing about trademarks in either direction, so
38
- [`TRADEMARKS.md`](./TRADEMARKS.md) draws that boundary.
39
-
40
- ## The language is not the compiler
41
-
42
- HSX the language and its output contract are separate from this compiler. The
43
- canonical UDL schema published by the UDL repository and the fixtures under
44
- [`examples/`](./examples) are data describing a language, and anyone may write their own compiler,
45
- formatter, or runtime against them, in any language, under any license, without
46
- touching this code.
47
-
48
- What you may then say about it is a trademark question, not a copyright one.
49
- [`TRADEMARKS.md`](./TRADEMARKS.md) has the rule: claim compatibility with an
50
- HSX IR version only when your implementation emits IR that validates against
51
- that version's published schema, from the published example programs,
52
- unmodified.
package/TRADEMARKS.md DELETED
@@ -1,35 +0,0 @@
1
- # Trademarks
2
-
3
- "Hyperscale" and "HSX" are trademarks of Hyperscale LLC.
4
-
5
- The AGPL covers the code in this repository and nothing else. It grants no
6
- rights to the marks, and it never mentions them: a copyright license says
7
- nothing about trademarks either way. This file draws that boundary so nobody
8
- has to guess where it sits.
9
-
10
- What that means in practice:
11
-
12
- - **Yes.** Say your project uses HSX, compiles HSX, or reads its internal lowering record.
13
- Say it in your README, your docs, your talk, and your package description.
14
- Fork this repository and keep the notices intact.
15
- - **Yes.** Publish an HSX implementation or tool in another language, and name
16
- it in a way that describes what it does: `hsx-rs`, `hsx-lsp`, `tree-sitter-hsx`.
17
- - **No.** Name your project, company, or product in a way that suggests
18
- Hyperscale LLC published it or endorses it. `@hyperscale0/*` on npm and the
19
- `hyperscale0` GitHub organisation are ours.
20
- - **No.** Use the marks or our logo in a way that implies affiliation,
21
- sponsorship, or certification we have not given.
22
-
23
- ## Claiming compatibility
24
-
25
- An independent implementation may say it "implements HSX IR version X" only
26
- while it emits canonical UDL that validates against the UDL schema published
27
- for that version, from the published example programs, unmodified. The UDL
28
- schema and the programs in [`examples/`](./examples) are the whole
29
- test: no edited fixture, no local relaxation of the schema.
30
-
31
- That claim is a statement about your implementation, so keep the marks out of
32
- its name and off its logo, and do not present it as endorsement or
33
- certification by Hyperscale LLC. We certify nothing; the schema does.
34
-
35
- If you are unsure, open an issue and ask. Nobody has ever regretted asking.
@@ -1,34 +0,0 @@
1
- import { type UdlDocument, type UdlIssueCode } from "@hyperscale0/udl";
2
- import type { TypedInstrument, TypedProgram } from "./ir.ts";
3
- export interface OriginMapEntry {
4
- readonly path: string;
5
- readonly span: {
6
- readonly end: number;
7
- readonly start: number;
8
- };
9
- }
10
- export interface GeneralLoweringIssue {
11
- readonly code: string;
12
- readonly fix: string;
13
- readonly message: string;
14
- readonly path: string;
15
- readonly span: {
16
- readonly end: number;
17
- readonly start: number;
18
- };
19
- readonly udlCode: UdlIssueCode;
20
- }
21
- export type GeneralLowerResult = {
22
- readonly issues: readonly GeneralLoweringIssue[];
23
- readonly ok: false;
24
- } | {
25
- readonly ok: true;
26
- readonly value: {
27
- readonly canonicalUdl: string;
28
- readonly document: UdlDocument;
29
- readonly originMap: readonly OriginMapEntry[];
30
- };
31
- };
32
- export declare function lowerGeneralProgram(program: TypedProgram): GeneralLowerResult;
33
- export declare function requiredFields(instrument: TypedInstrument): string[];
34
- //# sourceMappingURL=emit.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"emit.d.ts","sourceRoot":"","sources":["../../src/emit.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,KAAK,WAAW,EAChB,KAAK,YAAY,EAClB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EAAE,eAAe,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAE7D,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE;QAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC;CACjE;AAED,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE;QAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC;IAChE,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC;CAChC;AAED,MAAM,MAAM,kBAAkB,GAC1B;IAAE,QAAQ,CAAC,MAAM,EAAE,SAAS,oBAAoB,EAAE,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAA;CAAE,GACxE;IACE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAClB,QAAQ,CAAC,KAAK,EAAE;QACd,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;QAC9B,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC;QAC/B,QAAQ,CAAC,SAAS,EAAE,SAAS,cAAc,EAAE,CAAC;KAC/C,CAAC;CACH,CAAC;AAEN,wBAAgB,mBAAmB,CAAC,OAAO,EAAE,YAAY,GAAG,kBAAkB,CAoE7E;AA+CD,wBAAgB,cAAc,CAAC,UAAU,EAAE,eAAe,GAAG,MAAM,EAAE,CA4BpE"}
package/dist/src/emit.js DELETED
@@ -1,137 +0,0 @@
1
- import { serializeUdl, validateUdl, } from "@hyperscale0/udl";
2
- export function lowerGeneralProgram(program) {
3
- const candidate = {
4
- instruments: program.instruments.map((instrument) => ({
5
- ...instrument.slots,
6
- actionOrder: instrument.actions.map((action) => action.name),
7
- actions: Object.fromEntries(instrument.actions.map((action) => [action.name, action.slots])),
8
- fields: Object.fromEntries(instrument.fields.map((field) => [field.name, field.schema])),
9
- id: instrument.id,
10
- required: requiredFields(instrument),
11
- })),
12
- product: program.name,
13
- subjects: program.subjects.map((subject) => ({
14
- declaredValue: subject.declaredValue,
15
- kind: subject.kind,
16
- schema: subject.schema,
17
- title: subject.title,
18
- version: subject.version,
19
- })),
20
- title: program.title,
21
- udl: 1,
22
- version: 1,
23
- };
24
- const unresolved = unresolvedCompilerMarkers(candidate);
25
- if (unresolved.length > 0) {
26
- const origins = originMapFor(program);
27
- return {
28
- issues: unresolved.map(({ marker, path }) => ({
29
- code: "HSX1603",
30
- fix: "correct the compile-time block keys or parameter bindings",
31
- message: `${path}: emitted value contains unresolved compiler marker ${marker}`,
32
- path,
33
- span: originForUdlPath(path, origins)?.span ?? program.origin,
34
- udlCode: "UDL1003",
35
- })),
36
- ok: false,
37
- };
38
- }
39
- const validation = validateUdl(candidate);
40
- if (!validation.ok) {
41
- const origins = originMapFor(program);
42
- return {
43
- issues: validation.issues.map((issue) => {
44
- const origin = originForUdlPath(issue.path, origins);
45
- return {
46
- code: issue.category === "invalid_semantics" ? "HSX1602" : "HSX1601",
47
- fix: "correct the named clause so it matches the targeted UDL definition",
48
- message: `${issue.path}: ${issue.message}`,
49
- path: issue.path,
50
- span: origin?.span ?? program.origin,
51
- udlCode: issue.code,
52
- };
53
- }),
54
- ok: false,
55
- };
56
- }
57
- const document = validation.value;
58
- return {
59
- ok: true,
60
- value: {
61
- canonicalUdl: serializeUdl(document),
62
- document,
63
- originMap: originMapFor(program),
64
- },
65
- };
66
- }
67
- const COMPILER_MARKERS = ["__hsx_none__", "invalid_compile_time_name"];
68
- function unresolvedCompilerMarkers(value, path = "$") {
69
- if (typeof value === "string") {
70
- return COMPILER_MARKERS.filter((marker) => value.includes(marker)).map((marker) => ({ marker, path }));
71
- }
72
- if (Array.isArray(value)) {
73
- return value.flatMap((item, index) => unresolvedCompilerMarkers(item, `${path}[${index}]`));
74
- }
75
- if (!value || typeof value !== "object")
76
- return [];
77
- return Object.entries(value).flatMap(([key, item]) => {
78
- const childPath = /^[A-Za-z_][A-Za-z0-9_]*$/.test(key)
79
- ? `${path}.${key}`
80
- : `${path}[${JSON.stringify(key)}]`;
81
- const keyIssues = COMPILER_MARKERS.filter((marker) => key.includes(marker)).map((marker) => ({ marker, path: childPath }));
82
- return [...keyIssues, ...unresolvedCompilerMarkers(item, childPath)];
83
- });
84
- }
85
- function originForUdlPath(path, origins) {
86
- return ([...origins]
87
- .filter((entry) => path === entry.path ||
88
- path.startsWith(`${entry.path}.`) ||
89
- path.startsWith(`${entry.path}[`))
90
- .sort((left, right) => right.path.length - left.path.length)[0] ??
91
- origins.find((entry) => entry.path === "$"));
92
- }
93
- export function requiredFields(instrument) {
94
- const explicit = instrument.slots.required;
95
- if (Array.isArray(explicit) &&
96
- explicit.every((field) => typeof field === "string")) {
97
- return [...explicit];
98
- }
99
- const required = new Set(instrument.fields
100
- .filter((field) => field.required)
101
- .map((field) => field.name));
102
- const partyFields = instrument.slots.parties &&
103
- typeof instrument.slots.parties === "object" &&
104
- !Array.isArray(instrument.slots.parties)
105
- ? Object.values(instrument.slots.parties).filter((value) => typeof value === "string" && required.has(value))
106
- : [];
107
- return [
108
- ...new Set(partyFields),
109
- ...instrument.fields
110
- .map((field) => field.name)
111
- .filter((name) => required.has(name) && !partyFields.includes(name)),
112
- ];
113
- }
114
- function originMapFor(program) {
115
- const entries = [{ path: "$", span: program.origin }];
116
- program.subjects.forEach((subject, index) => {
117
- entries.push({ path: `$.subjects[${index}]`, span: subject.origin });
118
- });
119
- program.instruments.forEach((instrument, index) => {
120
- const base = `$.instruments[${index}]`;
121
- entries.push({ path: base, span: instrument.origin });
122
- instrument.fields.forEach((field) => {
123
- entries.push({
124
- path: `${base}.fields.${field.name}`,
125
- span: field.origin,
126
- });
127
- });
128
- instrument.actions.forEach((action) => {
129
- entries.push({
130
- path: `${base}.actions.${action.name}`,
131
- span: action.origin,
132
- });
133
- });
134
- });
135
- return entries;
136
- }
137
- //# sourceMappingURL=emit.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"emit.js","sourceRoot":"","sources":["../../src/emit.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,YAAY,EACZ,WAAW,GAGZ,MAAM,kBAAkB,CAAC;AA4B1B,MAAM,UAAU,mBAAmB,CAAC,OAAqB;IACvD,MAAM,SAAS,GAAG;QAChB,WAAW,EAAE,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;YACpD,GAAG,UAAU,CAAC,KAAK;YACnB,WAAW,EAAE,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC;YAC5D,OAAO,EAAE,MAAM,CAAC,WAAW,CACzB,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAChE;YACD,MAAM,EAAE,MAAM,CAAC,WAAW,CACxB,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAC7D;YACD,EAAE,EAAE,UAAU,CAAC,EAAE;YACjB,QAAQ,EAAE,cAAc,CAAC,UAAU,CAAC;SACrC,CAAC,CAAC;QACH,OAAO,EAAE,OAAO,CAAC,IAAI;QACrB,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;YAC3C,aAAa,EAAE,OAAO,CAAC,aAAa;YACpC,IAAI,EAAE,OAAO,CAAC,IAAI;YAClB,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,KAAK,EAAE,OAAO,CAAC,KAAK;YACpB,OAAO,EAAE,OAAO,CAAC,OAAO;SACzB,CAAC,CAAC;QACH,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,GAAG,EAAE,CAAC;QACN,OAAO,EAAE,CAAC;KACX,CAAC;IACF,MAAM,UAAU,GAAG,yBAAyB,CAAC,SAAS,CAAC,CAAC;IACxD,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,MAAM,OAAO,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;QACtC,OAAO;YACL,MAAM,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;gBAC5C,IAAI,EAAE,SAAS;gBACf,GAAG,EAAE,2DAA2D;gBAChE,OAAO,EAAE,GAAG,IAAI,uDAAuD,MAAM,EAAE;gBAC/E,IAAI;gBACJ,IAAI,EAAE,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,IAAI,IAAI,OAAO,CAAC,MAAM;gBAC7D,OAAO,EAAE,SAAS;aACnB,CAAC,CAAC;YACH,EAAE,EAAE,KAAK;SACV,CAAC;IACJ,CAAC;IACD,MAAM,UAAU,GAAG,WAAW,CAAC,SAAS,CAAC,CAAC;IAC1C,IAAI,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC;QACnB,MAAM,OAAO,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;QACtC,OAAO;YACL,MAAM,EAAE,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;gBACtC,MAAM,MAAM,GAAG,gBAAgB,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;gBACrD,OAAO;oBACL,IAAI,EAAE,KAAK,CAAC,QAAQ,KAAK,mBAAmB,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS;oBACpE,GAAG,EAAE,oEAAoE;oBACzE,OAAO,EAAE,GAAG,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,OAAO,EAAE;oBAC1C,IAAI,EAAE,KAAK,CAAC,IAAI;oBAChB,IAAI,EAAE,MAAM,EAAE,IAAI,IAAI,OAAO,CAAC,MAAM;oBACpC,OAAO,EAAE,KAAK,CAAC,IAAI;iBACpB,CAAC;YACJ,CAAC,CAAC;YACF,EAAE,EAAE,KAAK;SACV,CAAC;IACJ,CAAC;IACD,MAAM,QAAQ,GAAG,UAAU,CAAC,KAAK,CAAC;IAClC,OAAO;QACL,EAAE,EAAE,IAAI;QACR,KAAK,EAAE;YACL,YAAY,EAAE,YAAY,CAAC,QAAQ,CAAC;YACpC,QAAQ;YACR,SAAS,EAAE,YAAY,CAAC,OAAO,CAAC;SACjC;KACF,CAAC;AACJ,CAAC;AAED,MAAM,gBAAgB,GAAG,CAAC,cAAc,EAAE,2BAA2B,CAAU,CAAC;AAEhF,SAAS,yBAAyB,CAChC,KAAc,EACd,IAAI,GAAG,GAAG;IAEV,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,OAAO,gBAAgB,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CACpE,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAC/B,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CACnC,yBAAyB,CAAC,IAAI,EAAE,GAAG,IAAI,IAAI,KAAK,GAAG,CAAC,CACrD,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,EAAE,CAAC;IACnD,OAAO,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,EAAE;QACnD,MAAM,SAAS,GAAG,0BAA0B,CAAC,IAAI,CAAC,GAAG,CAAC;YACpD,CAAC,CAAC,GAAG,IAAI,IAAI,GAAG,EAAE;YAClB,CAAC,CAAC,GAAG,IAAI,IAAI,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC;QACtC,MAAM,SAAS,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CACnD,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CACrB,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC;QACjD,OAAO,CAAC,GAAG,SAAS,EAAE,GAAG,yBAAyB,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,gBAAgB,CACvB,IAAY,EACZ,OAAkC;IAElC,OAAO,CACL,CAAC,GAAG,OAAO,CAAC;SACT,MAAM,CACL,CAAC,KAAK,EAAE,EAAE,CACR,IAAI,KAAK,KAAK,CAAC,IAAI;QACnB,IAAI,CAAC,UAAU,CAAC,GAAG,KAAK,CAAC,IAAI,GAAG,CAAC;QACjC,IAAI,CAAC,UAAU,CAAC,GAAG,KAAK,CAAC,IAAI,GAAG,CAAC,CACpC;SACA,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACjE,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,CAC5C,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,UAA2B;IACxD,MAAM,QAAQ,GAAG,UAAU,CAAC,KAAK,CAAC,QAAQ,CAAC;IAC3C,IACE,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC;QACvB,QAAQ,CAAC,KAAK,CAAC,CAAC,KAAK,EAAmB,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,CAAC,EACrE,CAAC;QACD,OAAO,CAAC,GAAG,QAAQ,CAAC,CAAC;IACvB,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,GAAG,CACtB,UAAU,CAAC,MAAM;SACd,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC;SACjC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAC9B,CAAC;IACF,MAAM,WAAW,GACf,UAAU,CAAC,KAAK,CAAC,OAAO;QACxB,OAAO,UAAU,CAAC,KAAK,CAAC,OAAO,KAAK,QAAQ;QAC5C,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC;QACtC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,MAAM,CAC5C,CAAC,KAAK,EAAmB,EAAE,CACzB,OAAO,KAAK,KAAK,QAAQ,IAAI,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CACnD;QACH,CAAC,CAAC,EAAE,CAAC;IACT,OAAO;QACL,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC;QACvB,GAAG,UAAU,CAAC,MAAM;aACjB,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC;aAC1B,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;KACvE,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CAAC,OAAqB;IACzC,MAAM,OAAO,GAAqB,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IACxE,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE;QAC1C,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,cAAc,KAAK,GAAG,EAAE,IAAI,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;IACH,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,UAAU,EAAE,KAAK,EAAE,EAAE;QAChD,MAAM,IAAI,GAAG,iBAAiB,KAAK,GAAG,CAAC;QACvC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC;QACtD,UAAU,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE;YAClC,OAAO,CAAC,IAAI,CAAC;gBACX,IAAI,EAAE,GAAG,IAAI,WAAW,KAAK,CAAC,IAAI,EAAE;gBACpC,IAAI,EAAE,KAAK,CAAC,MAAM;aACnB,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QACH,UAAU,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE;YACpC,OAAO,CAAC,IAAI,CAAC;gBACX,IAAI,EAAE,GAAG,IAAI,YAAY,MAAM,CAAC,IAAI,EAAE;gBACtC,IAAI,EAAE,MAAM,CAAC,MAAM;aACpB,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IACH,OAAO,OAAO,CAAC;AACjB,CAAC"}
@@ -1,58 +0,0 @@
1
- /**
2
- * Data-driven replacement of existing settlement entries. This is not syntax:
3
- * callers select a slot that already exists in the parsed program, replace its
4
- * literal value, then run the ordinary general compiler again.
5
- */
6
- import type { Program } from "./ast.ts";
7
- export type ProgramEntryOverrideValue = {
8
- readonly kind: "integer";
9
- readonly value: number;
10
- } | {
11
- readonly kind: "basis_points";
12
- readonly value: number;
13
- } | {
14
- readonly currency: string;
15
- readonly kind: "money";
16
- readonly value: number;
17
- } | {
18
- readonly kind: "duration";
19
- readonly value: string;
20
- };
21
- export type ProgramEntryOverrideBounds = {
22
- readonly max: number;
23
- readonly min: number;
24
- } | {
25
- readonly currency: string;
26
- readonly max: number;
27
- readonly min: number;
28
- } | {
29
- readonly max: string;
30
- readonly min: string;
31
- };
32
- export interface ProgramEntryOverride {
33
- readonly bounds: ProgramEntryOverrideBounds;
34
- readonly settlement: string;
35
- /** Entry keys below the settlement body, for example `["fees", "merchant"]`. */
36
- readonly path: readonly [string, ...string[]];
37
- readonly value: ProgramEntryOverrideValue;
38
- }
39
- export interface ProgramEntryOverrideIssue {
40
- readonly code: "invalid_bounds" | "invalid_target" | "invalid_value" | "missing_settlement";
41
- readonly message: string;
42
- readonly settlement: string;
43
- readonly path: readonly string[];
44
- }
45
- type OverrideResult = {
46
- readonly ok: true;
47
- readonly program: Program;
48
- } | {
49
- readonly issues: readonly ProgramEntryOverrideIssue[];
50
- readonly ok: false;
51
- };
52
- /**
53
- * Applies every override atomically. A missing or non-literal slot returns
54
- * issues and no program, so callers never lower a partially configured shape.
55
- */
56
- export declare function overrideProgramEntries(program: Program, overrides: readonly ProgramEntryOverride[]): OverrideResult;
57
- export {};
58
- //# sourceMappingURL=entry-overrides.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"entry-overrides.d.ts","sourceRoot":"","sources":["../../src/entry-overrides.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAKV,OAAO,EACR,MAAM,UAAU,CAAC;AAElB,MAAM,MAAM,yBAAyB,GACjC;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GACpD;IAAE,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GACzD;IACE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC;AAE1D,MAAM,MAAM,0BAA0B,GAClC;IAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;CAAE,GAC9C;IACE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB,GACD;IAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;CAAE,CAAC;AAEnD,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,MAAM,EAAE,0BAA0B,CAAC;IAC5C,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,gFAAgF;IAChF,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC;IAC9C,QAAQ,CAAC,KAAK,EAAE,yBAAyB,CAAC;CAC3C;AAED,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,IAAI,EACT,gBAAgB,GAChB,gBAAgB,GAChB,eAAe,GACf,oBAAoB,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;CAClC;AAED,KAAK,cAAc,GACf;IACE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAClB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;CAC3B,GACD;IACE,QAAQ,CAAC,MAAM,EAAE,SAAS,yBAAyB,EAAE,CAAC;IACtD,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;CACpB,CAAC;AAgTN;;;GAGG;AACH,wBAAgB,sBAAsB,CACpC,OAAO,EAAE,OAAO,EAChB,SAAS,EAAE,SAAS,oBAAoB,EAAE,GACzC,cAAc,CAwDhB"}
@@ -1,284 +0,0 @@
1
- /**
2
- * Data-driven replacement of existing settlement entries. This is not syntax:
3
- * callers select a slot that already exists in the parsed program, replace its
4
- * literal value, then run the ordinary general compiler again.
5
- */
6
- function percentRaw(bps) {
7
- const whole = Math.floor(bps / 100);
8
- const fraction = bps % 100;
9
- return fraction === 0
10
- ? `${whole}`
11
- : `${whole}.${String(fraction).padStart(2, "0").replace(/0$/, "")}`;
12
- }
13
- function durationMagnitude(value) {
14
- const match = /^P([1-9][0-9]{0,3})([DWMY])$/.exec(value);
15
- if (!match)
16
- return undefined;
17
- const amount = Number(match[1]);
18
- switch (match[2]) {
19
- case "D":
20
- return { amount, family: "days" };
21
- case "W":
22
- return { amount: amount * 7, family: "days" };
23
- case "M":
24
- return { amount, family: "months" };
25
- case "Y":
26
- return { amount: amount * 12, family: "months" };
27
- default:
28
- return undefined;
29
- }
30
- }
31
- function replacementExpr(current, value) {
32
- if (value.kind === "integer") {
33
- return current.kind === "number"
34
- ? {
35
- expr: {
36
- kind: "number",
37
- raw: String(value.value),
38
- span: current.span,
39
- },
40
- }
41
- : { issue: "target is not an integer literal" };
42
- }
43
- if (value.kind === "basis_points") {
44
- return current.kind === "percent"
45
- ? {
46
- expr: {
47
- bps: value.value,
48
- kind: "percent",
49
- raw: percentRaw(value.value),
50
- span: current.span,
51
- },
52
- }
53
- : { issue: "target is not a percentage literal" };
54
- }
55
- if (value.kind === "duration") {
56
- return current.kind === "ident" && durationMagnitude(current.name)
57
- ? {
58
- expr: { kind: "ident", name: value.value, span: current.span },
59
- }
60
- : { issue: "target is not an ISO-8601 duration literal" };
61
- }
62
- if (current.kind !== "binding" ||
63
- current.type.kind !== "call" ||
64
- current.type.callee.name !== "money" ||
65
- current.type.args.length !== 2 ||
66
- current.type.args[0]?.kind !== "ident" ||
67
- current.type.args[1]?.kind !== "number") {
68
- return { issue: "target is not a fixed money literal" };
69
- }
70
- if (current.type.args[0].name !== value.currency) {
71
- return {
72
- issue: `target currency ${current.type.args[0].name} does not match ${value.currency}`,
73
- };
74
- }
75
- return {
76
- expr: {
77
- ...current,
78
- type: {
79
- ...current.type,
80
- args: [
81
- current.type.args[0],
82
- {
83
- kind: "number",
84
- raw: String(value.value),
85
- span: current.type.args[1].span,
86
- },
87
- ],
88
- },
89
- },
90
- };
91
- }
92
- function selectedEntry(block, path) {
93
- const [head, ...tail] = path;
94
- const matches = block.entries
95
- .map((entry, index) => ({ entry, index }))
96
- .filter(({ entry }) => entry.key.name === head);
97
- if (matches.length === 0)
98
- return { issue: `entry ${head} does not exist` };
99
- if (matches.length === 1)
100
- return { match: matches[0], tail };
101
- const occurrence = Number(tail[0]);
102
- if (!Number.isInteger(occurrence) || occurrence < 0) {
103
- return { issue: `entry ${head} is ambiguous` };
104
- }
105
- const match = matches[occurrence];
106
- return match
107
- ? { match, tail: tail.slice(1) }
108
- : { issue: `entry ${head} occurrence ${occurrence} does not exist` };
109
- }
110
- function replaceEntry(block, path, value) {
111
- const selected = selectedEntry(block, path);
112
- if (!("match" in selected))
113
- return selected;
114
- const { match, tail } = selected;
115
- let nextEntry;
116
- if (tail.length === 0) {
117
- const replacement = replacementExpr(match.entry.value, value);
118
- if (!replacement.expr)
119
- return replacement;
120
- nextEntry = {
121
- ...match.entry,
122
- value: replacement.expr,
123
- };
124
- }
125
- else if (tail.length === 1 &&
126
- tail[0] === "within" &&
127
- match.entry.value.kind === "port_ref" &&
128
- match.entry.value.within) {
129
- const replacement = replacementExpr(match.entry.value.within, value);
130
- if (!replacement.expr || replacement.expr.kind !== "ident") {
131
- return replacement;
132
- }
133
- nextEntry = {
134
- ...match.entry,
135
- value: { ...match.entry.value, within: replacement.expr },
136
- };
137
- }
138
- else {
139
- if (match.entry.value.kind !== "block") {
140
- return { issue: `entry ${match.entry.key.name} is not a block` };
141
- }
142
- const nested = replaceEntry(match.entry.value, tail, value);
143
- if (!nested.block)
144
- return nested;
145
- nextEntry = { ...match.entry, value: nested.block };
146
- }
147
- return {
148
- block: {
149
- ...block,
150
- entries: block.entries.map((entry, index) => index === match.index ? nextEntry : entry),
151
- },
152
- };
153
- }
154
- function settlementByName(program, name) {
155
- return program.decls.find((decl) => decl.kind === "instrument_apply" && decl.name.name === name);
156
- }
157
- function applicationBody(settlement) {
158
- return {
159
- entries: settlement.application.args.flatMap((argument) => argument.kind === "binding"
160
- ? [
161
- {
162
- key: argument.name,
163
- qualifiers: [],
164
- span: argument.span,
165
- value: argument.type,
166
- },
167
- ]
168
- : []),
169
- kind: "block",
170
- span: settlement.application.span,
171
- };
172
- }
173
- function validateOverride(override) {
174
- const { max, min } = override.bounds;
175
- if (override.value.kind === "duration") {
176
- if (typeof min !== "string" || typeof max !== "string") {
177
- return issue(override, "invalid_bounds", "duration bounds must be ISO-8601 durations");
178
- }
179
- const minDuration = durationMagnitude(min);
180
- const maxDuration = durationMagnitude(max);
181
- if (!minDuration ||
182
- !maxDuration ||
183
- minDuration.family !== maxDuration.family ||
184
- minDuration.amount > maxDuration.amount) {
185
- return issue(override, "invalid_bounds", `duration bounds ${min}..${max} must be valid, comparable, and ordered`);
186
- }
187
- const value = durationMagnitude(override.value.value);
188
- if (!value ||
189
- value.family !== minDuration.family ||
190
- value.amount < minDuration.amount ||
191
- value.amount > maxDuration.amount) {
192
- return issue(override, "invalid_value", `override value ${override.value.value} is outside ${min}..${max}`);
193
- }
194
- return undefined;
195
- }
196
- if (typeof min !== "number" || typeof max !== "number") {
197
- return issue(override, "invalid_bounds", "numeric bounds must be finite nonnegative integers");
198
- }
199
- if (!Number.isFinite(min) ||
200
- !Number.isInteger(min) ||
201
- min < 0 ||
202
- !Number.isFinite(max) ||
203
- !Number.isInteger(max) ||
204
- max < min) {
205
- return issue(override, "invalid_bounds", `override bounds ${min}..${max} must be finite nonnegative integers with min at most max`);
206
- }
207
- const { value } = override.value;
208
- if (!Number.isFinite(value) || !Number.isInteger(value) || value < 0) {
209
- return issue(override, "invalid_value", `override value ${value} must be a finite nonnegative integer`);
210
- }
211
- if (value < min || value > max) {
212
- return issue(override, "invalid_value", `override value ${value} is outside ${min}..${max}`);
213
- }
214
- if (override.value.kind === "money") {
215
- const boundsCurrency = "currency" in override.bounds ? override.bounds.currency : undefined;
216
- if (!boundsCurrency || boundsCurrency !== override.value.currency) {
217
- return issue(override, "invalid_bounds", `money bounds must use currency ${override.value.currency}`);
218
- }
219
- }
220
- }
221
- function issue(override, code, message) {
222
- return {
223
- code,
224
- message,
225
- path: override.path,
226
- settlement: override.settlement,
227
- };
228
- }
229
- /**
230
- * Applies every override atomically. A missing or non-literal slot returns
231
- * issues and no program, so callers never lower a partially configured shape.
232
- */
233
- export function overrideProgramEntries(program, overrides) {
234
- let current = program;
235
- const issues = [];
236
- for (const override of overrides) {
237
- const validationIssue = validateOverride(override);
238
- if (validationIssue) {
239
- issues.push(validationIssue);
240
- continue;
241
- }
242
- const settlement = settlementByName(current, override.settlement);
243
- if (!settlement) {
244
- issues.push({
245
- code: "missing_settlement",
246
- message: `settlement ${override.settlement} does not exist`,
247
- path: override.path,
248
- settlement: override.settlement,
249
- });
250
- continue;
251
- }
252
- const replaced = replaceEntry(applicationBody(settlement), override.path, override.value);
253
- if (!replaced.block) {
254
- issues.push({
255
- code: "invalid_target",
256
- message: replaced.issue ?? "entry override failed",
257
- path: override.path,
258
- settlement: override.settlement,
259
- });
260
- continue;
261
- }
262
- current = {
263
- ...current,
264
- decls: current.decls.map((decl) => decl === settlement
265
- ? {
266
- ...settlement,
267
- application: {
268
- ...settlement.application,
269
- args: replaced.block.entries.map((entry) => ({
270
- kind: "binding",
271
- name: entry.key,
272
- span: entry.span,
273
- type: entry.value,
274
- })),
275
- },
276
- }
277
- : decl),
278
- };
279
- }
280
- return issues.length > 0
281
- ? { issues, ok: false }
282
- : { ok: true, program: current };
283
- }
284
- //# sourceMappingURL=entry-overrides.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"entry-overrides.js","sourceRoot":"","sources":["../../src/entry-overrides.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AA0DH,SAAS,UAAU,CAAC,GAAW;IAC7B,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,GAAG,GAAG,CAAC,CAAC;IACpC,MAAM,QAAQ,GAAG,GAAG,GAAG,GAAG,CAAC;IAC3B,OAAO,QAAQ,KAAK,CAAC;QACnB,CAAC,CAAC,GAAG,KAAK,EAAE;QACZ,CAAC,CAAC,GAAG,KAAK,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC;AACxE,CAAC;AAED,SAAS,iBAAiB,CACxB,KAAa;IAEb,MAAM,KAAK,GAAG,8BAA8B,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzD,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAC7B,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAChC,QAAQ,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;QACjB,KAAK,GAAG;YACN,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;QACpC,KAAK,GAAG;YACN,OAAO,EAAE,MAAM,EAAE,MAAM,GAAG,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;QAChD,KAAK,GAAG;YACN,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;QACtC,KAAK,GAAG;YACN,OAAO,EAAE,MAAM,EAAE,MAAM,GAAG,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;QACnD;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC;AAED,SAAS,eAAe,CACtB,OAAa,EACb,KAAgC;IAEhC,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC7B,OAAO,OAAO,CAAC,IAAI,KAAK,QAAQ;YAC9B,CAAC,CAAC;gBACE,IAAI,EAAE;oBACJ,IAAI,EAAE,QAAQ;oBACd,GAAG,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC;oBACxB,IAAI,EAAE,OAAO,CAAC,IAAI;iBACnB;aACF;YACH,CAAC,CAAC,EAAE,KAAK,EAAE,kCAAkC,EAAE,CAAC;IACpD,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;QAClC,OAAO,OAAO,CAAC,IAAI,KAAK,SAAS;YAC/B,CAAC,CAAC;gBACE,IAAI,EAAE;oBACJ,GAAG,EAAE,KAAK,CAAC,KAAK;oBAChB,IAAI,EAAE,SAAS;oBACf,GAAG,EAAE,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC;oBAC5B,IAAI,EAAE,OAAO,CAAC,IAAI;iBACnB;aACF;YACH,CAAC,CAAC,EAAE,KAAK,EAAE,oCAAoC,EAAE,CAAC;IACtD,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC9B,OAAO,OAAO,CAAC,IAAI,KAAK,OAAO,IAAI,iBAAiB,CAAC,OAAO,CAAC,IAAI,CAAC;YAChE,CAAC,CAAC;gBACE,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE;aAC/D;YACH,CAAC,CAAC,EAAE,KAAK,EAAE,4CAA4C,EAAE,CAAC;IAC9D,CAAC;IACD,IACE,OAAO,CAAC,IAAI,KAAK,SAAS;QAC1B,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;QAC5B,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,OAAO;QACpC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;QAC9B,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,OAAO;QACtC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,QAAQ,EACvC,CAAC;QACD,OAAO,EAAE,KAAK,EAAE,qCAAqC,EAAE,CAAC;IAC1D,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,QAAQ,EAAE,CAAC;QACjD,OAAO;YACL,KAAK,EAAE,mBAAmB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,mBAAmB,KAAK,CAAC,QAAQ,EAAE;SACvF,CAAC;IACJ,CAAC;IACD,OAAO;QACL,IAAI,EAAE;YACJ,GAAG,OAAO;YACV,IAAI,EAAE;gBACJ,GAAG,OAAO,CAAC,IAAI;gBACf,IAAI,EAAE;oBACJ,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;oBACpB;wBACE,IAAI,EAAE,QAAQ;wBACd,GAAG,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC;wBACxB,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI;qBAChC;iBACF;aACF;SACF;KACF,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CACpB,KAAgB,EAChB,IAAuB;IAOvB,MAAM,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC;IAC7B,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO;SAC1B,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;SACzC,MAAM,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;IAClD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,KAAK,EAAE,SAAS,IAAI,iBAAiB,EAAE,CAAC;IAC3E,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAE,EAAE,IAAI,EAAE,CAAC;IAC9D,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IACnC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,IAAI,UAAU,GAAG,CAAC,EAAE,CAAC;QACpD,OAAO,EAAE,KAAK,EAAE,SAAS,IAAI,eAAe,EAAE,CAAC;IACjD,CAAC;IACD,MAAM,KAAK,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;IAClC,OAAO,KAAK;QACV,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE;QAChC,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,IAAI,eAAe,UAAU,iBAAiB,EAAE,CAAC;AACzE,CAAC;AAED,SAAS,YAAY,CACnB,KAAgB,EAChB,IAAuB,EACvB,KAAgC;IAEhC,MAAM,QAAQ,GAAG,aAAa,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAC5C,IAAI,CAAC,CAAC,OAAO,IAAI,QAAQ,CAAC;QAAE,OAAO,QAAQ,CAAC;IAC5C,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,QAAQ,CAAC;IACjC,IAAI,SAAgB,CAAC;IACrB,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtB,MAAM,WAAW,GAAG,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAC9D,IAAI,CAAC,WAAW,CAAC,IAAI;YAAE,OAAO,WAAW,CAAC;QAC1C,SAAS,GAAG;YACV,GAAG,KAAK,CAAC,KAAK;YACd,KAAK,EAAE,WAAW,CAAC,IAAI;SACxB,CAAC;IACJ,CAAC;SAAM,IACL,IAAI,CAAC,MAAM,KAAK,CAAC;QACjB,IAAI,CAAC,CAAC,CAAC,KAAK,QAAQ;QACpB,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU;QACrC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,EACxB,CAAC;QACD,MAAM,WAAW,GAAG,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACrE,IAAI,CAAC,WAAW,CAAC,IAAI,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC3D,OAAO,WAAW,CAAC;QACrB,CAAC;QACD,SAAS,GAAG;YACV,GAAG,KAAK,CAAC,KAAK;YACd,KAAK,EAAE,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,WAAW,CAAC,IAAI,EAAE;SAC1D,CAAC;IACJ,CAAC;SAAM,CAAC;QACN,IAAI,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YACvC,OAAO,EAAE,KAAK,EAAE,SAAS,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,iBAAiB,EAAE,CAAC;QACnE,CAAC;QACD,MAAM,MAAM,GAAG,YAAY,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;QAC5D,IAAI,CAAC,MAAM,CAAC,KAAK;YAAE,OAAO,MAAM,CAAC;QACjC,SAAS,GAAG,EAAE,GAAG,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC;IACtD,CAAC;IAED,OAAO;QACL,KAAK,EAAE;YACL,GAAG,KAAK;YACR,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAC1C,KAAK,KAAK,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAC1C;SACF;KACF,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CACvB,OAAgB,EAChB,IAAY;IAEZ,OAAO,OAAO,CAAC,KAAK,CAAC,IAAI,CACvB,CAAC,IAAI,EAA+B,EAAE,CACpC,IAAI,CAAC,IAAI,KAAK,kBAAkB,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAC9D,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CAAC,UAA+B;IACtD,OAAO;QACL,OAAO,EAAE,UAAU,CAAC,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE,CACxD,QAAQ,CAAC,IAAI,KAAK,SAAS;YACzB,CAAC,CAAC;gBACE;oBACE,GAAG,EAAE,QAAQ,CAAC,IAAI;oBAClB,UAAU,EAAE,EAAE;oBACd,IAAI,EAAE,QAAQ,CAAC,IAAI;oBACnB,KAAK,EAAE,QAAQ,CAAC,IAAI;iBACrB;aACF;YACH,CAAC,CAAC,EAAE,CACP;QACD,IAAI,EAAE,OAAO;QACb,IAAI,EAAE,UAAU,CAAC,WAAW,CAAC,IAAI;KAClC,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CACvB,QAA8B;IAE9B,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,QAAQ,CAAC,MAAM,CAAC;IACrC,IAAI,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QACvC,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;YACvD,OAAO,KAAK,CACV,QAAQ,EACR,gBAAgB,EAChB,4CAA4C,CAC7C,CAAC;QACJ,CAAC;QACD,MAAM,WAAW,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC;QAC3C,MAAM,WAAW,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC;QAC3C,IACE,CAAC,WAAW;YACZ,CAAC,WAAW;YACZ,WAAW,CAAC,MAAM,KAAK,WAAW,CAAC,MAAM;YACzC,WAAW,CAAC,MAAM,GAAG,WAAW,CAAC,MAAM,EACvC,CAAC;YACD,OAAO,KAAK,CACV,QAAQ,EACR,gBAAgB,EAChB,mBAAmB,GAAG,KAAK,GAAG,yCAAyC,CACxE,CAAC;QACJ,CAAC;QACD,MAAM,KAAK,GAAG,iBAAiB,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACtD,IACE,CAAC,KAAK;YACN,KAAK,CAAC,MAAM,KAAK,WAAW,CAAC,MAAM;YACnC,KAAK,CAAC,MAAM,GAAG,WAAW,CAAC,MAAM;YACjC,KAAK,CAAC,MAAM,GAAG,WAAW,CAAC,MAAM,EACjC,CAAC;YACD,OAAO,KAAK,CACV,QAAQ,EACR,eAAe,EACf,kBAAkB,QAAQ,CAAC,KAAK,CAAC,KAAK,eAAe,GAAG,KAAK,GAAG,EAAE,CACnE,CAAC;QACJ,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;QACvD,OAAO,KAAK,CACV,QAAQ,EACR,gBAAgB,EAChB,oDAAoD,CACrD,CAAC;IACJ,CAAC;IACD,IACE,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC;QACrB,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC;QACtB,GAAG,GAAG,CAAC;QACP,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC;QACrB,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC;QACtB,GAAG,GAAG,GAAG,EACT,CAAC;QACD,OAAO,KAAK,CACV,QAAQ,EACR,gBAAgB,EAChB,mBAAmB,GAAG,KAAK,GAAG,2DAA2D,CAC1F,CAAC;IACJ,CAAC;IAED,MAAM,EAAE,KAAK,EAAE,GAAG,QAAQ,CAAC,KAAK,CAAC;IACjC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;QACrE,OAAO,KAAK,CACV,QAAQ,EACR,eAAe,EACf,kBAAkB,KAAK,uCAAuC,CAC/D,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,GAAG,GAAG,IAAI,KAAK,GAAG,GAAG,EAAE,CAAC;QAC/B,OAAO,KAAK,CACV,QAAQ,EACR,eAAe,EACf,kBAAkB,KAAK,eAAe,GAAG,KAAK,GAAG,EAAE,CACpD,CAAC;IACJ,CAAC;IACD,IAAI,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACpC,MAAM,cAAc,GAClB,UAAU,IAAI,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;QACvE,IAAI,CAAC,cAAc,IAAI,cAAc,KAAK,QAAQ,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;YAClE,OAAO,KAAK,CACV,QAAQ,EACR,gBAAgB,EAChB,kCAAkC,QAAQ,CAAC,KAAK,CAAC,QAAQ,EAAE,CAC5D,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,KAAK,CACZ,QAA8B,EAC9B,IAAuC,EACvC,OAAe;IAEf,OAAO;QACL,IAAI;QACJ,OAAO;QACP,IAAI,EAAE,QAAQ,CAAC,IAAI;QACnB,UAAU,EAAE,QAAQ,CAAC,UAAU;KAChC,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,sBAAsB,CACpC,OAAgB,EAChB,SAA0C;IAE1C,IAAI,OAAO,GAAG,OAAO,CAAC;IACtB,MAAM,MAAM,GAAgC,EAAE,CAAC;IAC/C,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QACjC,MAAM,eAAe,GAAG,gBAAgB,CAAC,QAAQ,CAAC,CAAC;QACnD,IAAI,eAAe,EAAE,CAAC;YACpB,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;YAC7B,SAAS;QACX,CAAC;QACD,MAAM,UAAU,GAAG,gBAAgB,CAAC,OAAO,EAAE,QAAQ,CAAC,UAAU,CAAC,CAAC;QAClE,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,oBAAoB;gBAC1B,OAAO,EAAE,cAAc,QAAQ,CAAC,UAAU,iBAAiB;gBAC3D,IAAI,EAAE,QAAQ,CAAC,IAAI;gBACnB,UAAU,EAAE,QAAQ,CAAC,UAAU;aAChC,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,MAAM,QAAQ,GAAG,YAAY,CAC3B,eAAe,CAAC,UAAU,CAAC,EAC3B,QAAQ,CAAC,IAAI,EACb,QAAQ,CAAC,KAAK,CACf,CAAC;QACF,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC;YACpB,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,gBAAgB;gBACtB,OAAO,EAAE,QAAQ,CAAC,KAAK,IAAI,uBAAuB;gBAClD,IAAI,EAAE,QAAQ,CAAC,IAAI;gBACnB,UAAU,EAAE,QAAQ,CAAC,UAAU;aAChC,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,OAAO,GAAG;YACR,GAAG,OAAO;YACV,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAChC,IAAI,KAAK,UAAU;gBACjB,CAAC,CAAC;oBACE,GAAG,UAAU;oBACb,WAAW,EAAE;wBACX,GAAG,UAAU,CAAC,WAAW;wBACzB,IAAI,EAAE,QAAQ,CAAC,KAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;4BAC5C,IAAI,EAAE,SAAkB;4BACxB,IAAI,EAAE,KAAK,CAAC,GAAG;4BACf,IAAI,EAAE,KAAK,CAAC,IAAI;4BAChB,IAAI,EAAE,KAAK,CAAC,KAAK;yBAClB,CAAC,CAAC;qBACJ;iBACF;gBACH,CAAC,CAAC,IAAI,CACT;SACF,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,GAAG,CAAC;QACtB,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE;QACvB,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;AACrC,CAAC"}