@hyperscale0/hsx 1.0.0-rc.1 → 1.0.123

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 (311) hide show
  1. package/CHANGELOG.md +5 -239
  2. package/LICENSE.md +356 -0
  3. package/NOTICE.md +8 -0
  4. package/README.md +45 -43
  5. package/bin/hsx.ts +0 -5
  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 -4
  9. package/dist/bin/hsx.js.map +1 -1
  10. package/dist/src/ast.d.ts +113 -302
  11. package/dist/src/ast.d.ts.map +1 -1
  12. package/dist/src/ast.js +7 -47
  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 -17
  23. package/dist/src/cli.d.ts.map +1 -1
  24. package/dist/src/cli.js +92 -259
  25. package/dist/src/cli.js.map +1 -1
  26. package/dist/src/compile.d.ts +34 -68
  27. package/dist/src/compile.d.ts.map +1 -1
  28. package/dist/src/compile.js +2949 -118
  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 +8 -11
  59. package/dist/src/index.d.ts.map +1 -1
  60. package/dist/src/index.js +5 -8
  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 +2 -0
  79. package/dist/src/std-bundle.d.ts.map +1 -0
  80. package/dist/src/std-bundle.js +15 -0
  81. package/dist/src/std-bundle.js.map +1 -0
  82. package/dist/src/std-library.d.ts +5 -0
  83. package/dist/src/std-library.d.ts.map +1 -0
  84. package/dist/src/std-library.js +5 -0
  85. package/dist/src/std-library.js.map +1 -0
  86. package/dist/src/tunables.d.ts +7 -0
  87. package/dist/src/tunables.d.ts.map +1 -0
  88. package/dist/src/tunables.js +27 -0
  89. package/dist/src/tunables.js.map +1 -0
  90. package/docs/README.md +528 -23
  91. package/docs/assets/brand/hsx-horizontal-white.svg +1 -0
  92. package/docs/assets/brand/hsx-horizontal.svg +1 -0
  93. package/docs/assets/brand/hsx-stacked-white.svg +1 -0
  94. package/docs/assets/brand/hsx-stacked.svg +1 -0
  95. package/docs/assets/brand/manifest.json +30 -0
  96. package/docs/assets/hsx.svg +11 -0
  97. package/examples/cards.hsx +34 -0
  98. package/examples/collections.hsx +37 -0
  99. package/examples/cost-table.json +633 -385
  100. package/examples/escrow.hsx +24 -0
  101. package/examples/financing.hsx +32 -0
  102. package/examples/insurance.hsx +30 -0
  103. package/examples/lending.hsx +57 -0
  104. package/examples/library.hsx +15 -0
  105. package/examples/marketplace.hsx +32 -0
  106. package/examples/money.hsx +19 -0
  107. package/examples/rental-deposit.hsx +60 -0
  108. package/examples/repair-approval.hsx +44 -0
  109. package/examples/reporting.hsx +28 -0
  110. package/examples/savings.hsx +21 -0
  111. package/examples/serviced.hsx +25 -0
  112. package/examples/wallet.hsx +24 -0
  113. package/package.json +27 -17
  114. package/src/ast.ts +84 -411
  115. package/src/attachment-economics.ts +103 -0
  116. package/src/binding-contract.ts +104 -0
  117. package/src/cli.ts +98 -309
  118. package/src/compile.ts +4063 -212
  119. package/src/cost.ts +71 -574
  120. package/src/diagnostics.ts +57 -437
  121. package/src/examples-bundle.ts +19 -0
  122. package/src/examples.ts +9 -0
  123. package/src/format.ts +12 -256
  124. package/src/header-source.ts +54 -0
  125. package/src/headers.ts +195 -0
  126. package/src/index.ts +16 -29
  127. package/src/keywords.ts +134 -0
  128. package/src/language.ts +629 -0
  129. package/src/lex.ts +131 -192
  130. package/src/parse.ts +489 -1195
  131. package/src/std-bundle.ts +15 -0
  132. package/src/std-library.ts +7 -0
  133. package/src/tunables.ts +36 -0
  134. package/std/cards.hsx +85 -0
  135. package/std/collections.hsx +90 -0
  136. package/std/escrow.hsx +73 -0
  137. package/std/financing.hsx +683 -0
  138. package/std/insurance.hsx +89 -0
  139. package/std/lending.hsx +138 -0
  140. package/std/marketplace.hsx +123 -0
  141. package/std/money.hsx +173 -0
  142. package/std/reporting.hsx +753 -0
  143. package/std/savings.hsx +68 -0
  144. package/std/wallet.hsx +57 -0
  145. package/LICENSE +0 -661
  146. package/LICENSING.md +0 -52
  147. package/TRADEMARKS.md +0 -35
  148. package/dist/src/emit.d.ts +0 -35
  149. package/dist/src/emit.d.ts.map +0 -1
  150. package/dist/src/emit.js +0 -359
  151. package/dist/src/emit.js.map +0 -1
  152. package/dist/src/entry-overrides.d.ts +0 -58
  153. package/dist/src/entry-overrides.d.ts.map +0 -1
  154. package/dist/src/entry-overrides.js +0 -284
  155. package/dist/src/entry-overrides.js.map +0 -1
  156. package/dist/src/ir.d.ts +0 -66
  157. package/dist/src/ir.d.ts.map +0 -1
  158. package/dist/src/ir.js +0 -15
  159. package/dist/src/ir.js.map +0 -1
  160. package/dist/src/limits.d.ts +0 -21
  161. package/dist/src/limits.d.ts.map +0 -1
  162. package/dist/src/limits.js +0 -21
  163. package/dist/src/limits.js.map +0 -1
  164. package/dist/src/modules.d.ts +0 -36
  165. package/dist/src/modules.d.ts.map +0 -1
  166. package/dist/src/modules.js +0 -372
  167. package/dist/src/modules.js.map +0 -1
  168. package/dist/src/typecheck.d.ts +0 -8
  169. package/dist/src/typecheck.d.ts.map +0 -1
  170. package/dist/src/typecheck.js +0 -2958
  171. package/dist/src/typecheck.js.map +0 -1
  172. package/dist/src/version.d.ts +0 -5
  173. package/dist/src/version.d.ts.map +0 -1
  174. package/dist/src/version.js +0 -5
  175. package/dist/src/version.js.map +0 -1
  176. package/docs/guide/01-first-program.md +0 -24
  177. package/docs/guide/02-money.md +0 -25
  178. package/docs/guide/03-instruments.md +0 -22
  179. package/docs/guide/04-lifecycles.md +0 -25
  180. package/docs/guide/05-fees-and-splits.md +0 -45
  181. package/docs/guide/06-schedules.md +0 -22
  182. package/docs/guide/07-composition.md +0 -46
  183. package/docs/guide/08-writing-a-module.md +0 -26
  184. package/docs/guide/09-cost.md +0 -24
  185. package/docs/guide/10-diagnostics.md +0 -27
  186. package/docs/llms-full.txt +0 -1738
  187. package/docs/llms.txt +0 -45
  188. package/docs/reference/cli.md +0 -33
  189. package/docs/reference/diagnostics.md +0 -619
  190. package/docs/reference/grammar.md +0 -39
  191. package/docs/reference/std/advance.md +0 -35
  192. package/docs/reference/std/cancellable_booking.md +0 -35
  193. package/docs/reference/std/captured_payment.md +0 -43
  194. package/docs/reference/std/conditional_disbursement.md +0 -33
  195. package/docs/reference/std/credit_facility.md +0 -35
  196. package/docs/reference/std/held_payment.md +0 -64
  197. package/docs/reference/std/instant_transfer.md +0 -30
  198. package/docs/reference/std/metered.md +0 -27
  199. package/docs/reference/std/pooled_split.md +0 -26
  200. package/docs/reference/std/premium_forward.md +0 -39
  201. package/docs/reference/std/reconciled_payout.md +0 -33
  202. package/docs/reference/std/recurring_collection.md +0 -25
  203. package/docs/reference/std/rotating_pool.md +0 -42
  204. package/docs/reference/std/scheduled.md +0 -51
  205. package/docs/reference/std/security_deposit.md +0 -46
  206. package/docs/reference/std/settlement_batch.md +0 -42
  207. package/docs/reference/std/swap.md +0 -46
  208. package/docs/reference/std/threshold_pool.md +0 -47
  209. package/docs/reference/std/weighted_distribution.md +0 -39
  210. package/docs/reference/types.md +0 -20
  211. package/docs/reference/udl-output.md +0 -14
  212. package/docs/sessions/2026-09-02-two-instruments.hsx +0 -21
  213. package/docs/sessions/2026-09-02-two-instruments.md +0 -41
  214. package/examples/01-first-program/README.md +0 -45
  215. package/examples/01-first-program/tip-jar.hsx +0 -17
  216. package/examples/02-imports-and-archetypes/README.md +0 -99
  217. package/examples/02-imports-and-archetypes/photo-booth.hsx +0 -37
  218. package/examples/03-diagnostics/README.md +0 -68
  219. package/examples/03-diagnostics/corner-shop-fixed.hsx +0 -22
  220. package/examples/03-diagnostics/corner-shop.hsx +0 -19
  221. package/examples/04-complete-product/README.md +0 -87
  222. package/examples/04-complete-product/study-hall.hsx +0 -67
  223. package/examples/05-watch-club/README.md +0 -9
  224. package/examples/05-watch-club/watch-club.hsx +0 -124
  225. package/examples/README.md +0 -18
  226. package/examples/advance/README.md +0 -3
  227. package/examples/advance/advance.hsx +0 -13
  228. package/examples/advance/advance.udl +0 -339
  229. package/examples/cancellable_booking/README.md +0 -3
  230. package/examples/cancellable_booking/cancellable_booking.hsx +0 -14
  231. package/examples/cancellable_booking/cancellable_booking.udl +0 -391
  232. package/examples/captured_payment/README.md +0 -3
  233. package/examples/captured_payment/captured_payment.hsx +0 -21
  234. package/examples/captured_payment/captured_payment.udl +0 -677
  235. package/examples/conditional_disbursement/README.md +0 -3
  236. package/examples/conditional_disbursement/conditional_disbursement.hsx +0 -17
  237. package/examples/conditional_disbursement/conditional_disbursement.udl +0 -412
  238. package/examples/credit_facility/README.md +0 -3
  239. package/examples/credit_facility/credit_facility.hsx +0 -27
  240. package/examples/credit_facility/credit_facility.udl +0 -1373
  241. package/examples/held_payment/README.md +0 -3
  242. package/examples/held_payment/held_payment.hsx +0 -13
  243. package/examples/held_payment/held_payment.udl +0 -507
  244. package/examples/instant_transfer/README.md +0 -3
  245. package/examples/instant_transfer/instant_transfer.hsx +0 -16
  246. package/examples/instant_transfer/instant_transfer.udl +0 -364
  247. package/examples/metered/README.md +0 -3
  248. package/examples/metered/metered.hsx +0 -13
  249. package/examples/metered/metered.udl +0 -247
  250. package/examples/pooled_split/README.md +0 -3
  251. package/examples/pooled_split/pooled_split.hsx +0 -15
  252. package/examples/pooled_split/pooled_split.udl +0 -425
  253. package/examples/premium_forward/README.md +0 -3
  254. package/examples/premium_forward/premium_forward.hsx +0 -19
  255. package/examples/premium_forward/premium_forward.udl +0 -594
  256. package/examples/reconciled_payout/README.md +0 -3
  257. package/examples/reconciled_payout/reconciled_payout.hsx +0 -13
  258. package/examples/reconciled_payout/reconciled_payout.udl +0 -303
  259. package/examples/recurring_collection/README.md +0 -3
  260. package/examples/recurring_collection/recurring_collection.hsx +0 -21
  261. package/examples/recurring_collection/recurring_collection.udl +0 -1130
  262. package/examples/rotating_pool/README.md +0 -3
  263. package/examples/rotating_pool/rotating_pool.hsx +0 -18
  264. package/examples/rotating_pool/rotating_pool.udl +0 -4352
  265. package/examples/scheduled/README.md +0 -3
  266. package/examples/scheduled/scheduled.hsx +0 -12
  267. package/examples/scheduled/scheduled.udl +0 -335
  268. package/examples/security_deposit/README.md +0 -3
  269. package/examples/security_deposit/security_deposit.hsx +0 -21
  270. package/examples/security_deposit/security_deposit.udl +0 -293
  271. package/examples/settlement_batch/README.md +0 -3
  272. package/examples/settlement_batch/settlement_batch.hsx +0 -19
  273. package/examples/settlement_batch/settlement_batch.udl +0 -753
  274. package/examples/swap/README.md +0 -3
  275. package/examples/swap/swap.hsx +0 -19
  276. package/examples/swap/swap.udl +0 -876
  277. package/examples/threshold_pool/README.md +0 -3
  278. package/examples/threshold_pool/threshold_pool.hsx +0 -16
  279. package/examples/threshold_pool/threshold_pool.udl +0 -667
  280. package/examples/weighted_distribution/README.md +0 -3
  281. package/examples/weighted_distribution/weighted_distribution.hsx +0 -20
  282. package/examples/weighted_distribution/weighted_distribution.udl +0 -337
  283. package/skills/hsx/SKILL.md +0 -483
  284. package/src/emit.ts +0 -447
  285. package/src/entry-overrides.ts +0 -428
  286. package/src/ir.ts +0 -99
  287. package/src/limits.ts +0 -20
  288. package/src/modules.ts +0 -444
  289. package/src/typecheck.ts +0 -3876
  290. package/src/version.ts +0 -5
  291. package/std/SEMANTICS.md +0 -130
  292. package/std/settlements/advance.hsx +0 -177
  293. package/std/settlements/cancellable_booking.hsx +0 -87
  294. package/std/settlements/captured_payment.hsx +0 -144
  295. package/std/settlements/conditional_disbursement.hsx +0 -185
  296. package/std/settlements/credit_facility.hsx +0 -167
  297. package/std/settlements/held_payment.hsx +0 -578
  298. package/std/settlements/index.hsx +0 -3
  299. package/std/settlements/instant_transfer.hsx +0 -190
  300. package/std/settlements/metered.hsx +0 -67
  301. package/std/settlements/pooled_split.hsx +0 -68
  302. package/std/settlements/premium_forward.hsx +0 -257
  303. package/std/settlements/reconciled_payout.hsx +0 -77
  304. package/std/settlements/recurring_collection.hsx +0 -27
  305. package/std/settlements/rotating_pool.hsx +0 -252
  306. package/std/settlements/scheduled.hsx +0 -641
  307. package/std/settlements/security_deposit.hsx +0 -166
  308. package/std/settlements/settlement_batch.hsx +0 -122
  309. package/std/settlements/swap.hsx +0 -1114
  310. package/std/settlements/threshold_pool.hsx +0 -221
  311. 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,35 +0,0 @@
1
- import { type UdlDocument, type UdlIssueCode } from "@hyperscale0/udl";
2
- import type { JsonValue, 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 frame: Record<string, JsonValue>;
30
- readonly originMap: readonly OriginMapEntry[];
31
- };
32
- };
33
- export declare function lowerGeneralProgram(program: TypedProgram): GeneralLowerResult;
34
- export declare function requiredFields(instrument: TypedInstrument): string[];
35
- //# 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,SAAS,EAAE,eAAe,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAExE,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,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;QAC1C,QAAQ,CAAC,SAAS,EAAE,SAAS,cAAc,EAAE,CAAC;KAC/C,CAAC;CACH,CAAC;AAEN,wBAAgB,mBAAmB,CAAC,OAAO,EAAE,YAAY,GAAG,kBAAkB,CAyE7E;AA+CD,wBAAgB,cAAc,CAAC,UAAU,EAAE,eAAe,GAAG,MAAM,EAAE,CA4BpE"}
package/dist/src/emit.js DELETED
@@ -1,359 +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 frame = frameFor(program);
25
- const unresolved = [
26
- ...unresolvedCompilerMarkers(candidate),
27
- ...unresolvedCompilerMarkers(frame, "$.frame"),
28
- ];
29
- if (unresolved.length > 0) {
30
- const origins = originMapFor(program);
31
- return {
32
- issues: unresolved.map(({ marker, path }) => ({
33
- code: "HSX1603",
34
- fix: "correct the compile-time block keys or parameter bindings",
35
- message: `${path}: emitted value contains unresolved compiler marker ${marker}`,
36
- path,
37
- span: originForUdlPath(path, origins)?.span ?? program.origin,
38
- udlCode: "UDL1003",
39
- })),
40
- ok: false,
41
- };
42
- }
43
- const validation = validateUdl(candidate);
44
- if (!validation.ok) {
45
- const origins = originMapFor(program);
46
- return {
47
- issues: validation.issues.map((issue) => {
48
- const origin = originForUdlPath(issue.path, origins);
49
- return {
50
- code: issue.category === "invalid_semantics" ? "HSX1602" : "HSX1601",
51
- fix: "correct the named clause so it matches the targeted UDL definition",
52
- message: `${issue.path}: ${issue.message}`,
53
- path: issue.path,
54
- span: origin?.span ?? program.origin,
55
- udlCode: issue.code,
56
- };
57
- }),
58
- ok: false,
59
- };
60
- }
61
- const document = validation.value;
62
- return {
63
- ok: true,
64
- value: {
65
- canonicalUdl: serializeUdl(document),
66
- document,
67
- frame,
68
- originMap: originMapFor(program),
69
- },
70
- };
71
- }
72
- const COMPILER_MARKERS = ["__hsx_none__", "invalid_compile_time_name"];
73
- function unresolvedCompilerMarkers(value, path = "$") {
74
- if (typeof value === "string") {
75
- return COMPILER_MARKERS.filter((marker) => value.includes(marker)).map((marker) => ({ marker, path }));
76
- }
77
- if (Array.isArray(value)) {
78
- return value.flatMap((item, index) => unresolvedCompilerMarkers(item, `${path}[${index}]`));
79
- }
80
- if (!value || typeof value !== "object")
81
- return [];
82
- return Object.entries(value).flatMap(([key, item]) => {
83
- const childPath = /^[A-Za-z_][A-Za-z0-9_]*$/.test(key)
84
- ? `${path}.${key}`
85
- : `${path}[${JSON.stringify(key)}]`;
86
- const keyIssues = COMPILER_MARKERS.filter((marker) => key.includes(marker)).map((marker) => ({ marker, path: childPath }));
87
- return [...keyIssues, ...unresolvedCompilerMarkers(item, childPath)];
88
- });
89
- }
90
- function originForUdlPath(path, origins) {
91
- return ([...origins]
92
- .filter((entry) => path === entry.path ||
93
- path.startsWith(`${entry.path}.`) ||
94
- path.startsWith(`${entry.path}[`))
95
- .sort((left, right) => right.path.length - left.path.length)[0] ??
96
- origins.find((entry) => entry.path === "$"));
97
- }
98
- export function requiredFields(instrument) {
99
- const explicit = instrument.slots.required;
100
- if (Array.isArray(explicit) &&
101
- explicit.every((field) => typeof field === "string")) {
102
- return [...explicit];
103
- }
104
- const required = new Set(instrument.fields
105
- .filter((field) => field.required)
106
- .map((field) => field.name));
107
- const partyFields = instrument.slots.parties &&
108
- typeof instrument.slots.parties === "object" &&
109
- !Array.isArray(instrument.slots.parties)
110
- ? Object.values(instrument.slots.parties).filter((value) => typeof value === "string" && required.has(value))
111
- : [];
112
- return [
113
- ...new Set(partyFields),
114
- ...instrument.fields
115
- .map((field) => field.name)
116
- .filter((name) => required.has(name) && !partyFields.includes(name)),
117
- ];
118
- }
119
- function frameFor(program) {
120
- const actors = new Map();
121
- const moneyEvents = [];
122
- const design = [];
123
- const fees = [];
124
- const mechanics = new Set();
125
- const eventKeys = new Set();
126
- const ensureActor = (rawKey, role) => {
127
- const key = frameKey(rawKey);
128
- if (!actors.has(key)) {
129
- actors.set(key, {
130
- key,
131
- label: titleize(key),
132
- maxCount: 1,
133
- minCount: 1,
134
- role,
135
- });
136
- }
137
- return key;
138
- };
139
- const uniqueEventKey = (raw) => {
140
- const base = frameKey(raw);
141
- let key = base;
142
- let ordinal = 2;
143
- while (eventKeys.has(key)) {
144
- const suffix = `_${ordinal}`;
145
- key = `${base.slice(0, 40 - suffix.length)}${suffix}`;
146
- ordinal += 1;
147
- }
148
- eventKeys.add(key);
149
- return key;
150
- };
151
- for (const instrument of program.instruments) {
152
- const actorByField = new Map();
153
- const parties = instrument.slots.parties;
154
- if (parties && typeof parties === "object" && !Array.isArray(parties)) {
155
- for (const [role, value] of Object.entries(parties)) {
156
- if (typeof value !== "string")
157
- continue;
158
- const actor = ensureActor(role, frameActorRole(role, "source"));
159
- actorByField.set(value, actor);
160
- }
161
- }
162
- for (const action of instrument.actions) {
163
- if (action.slots.due)
164
- mechanics.add("recurring_billing");
165
- const moves = action.slots.moves;
166
- if (!Array.isArray(moves))
167
- continue;
168
- moves.forEach((move, index) => {
169
- if (moneyEvents.length >= 20)
170
- return;
171
- if (!move || typeof move !== "object" || Array.isArray(move))
172
- return;
173
- const bind = move.bind &&
174
- typeof move.bind === "object" &&
175
- !Array.isArray(move.bind)
176
- ? move.bind
177
- : {};
178
- const source = frameActorForBinding(bind.sourceAccountId, actorByField, "source", ensureActor);
179
- const destination = frameActorForBinding(bind.destinationAccountId, actorByField, "destination", ensureActor);
180
- const operation = typeof move.operation === "string" ? move.operation : "transfer";
181
- if (source === "escrow" || destination === "escrow") {
182
- mechanics.add("escrow");
183
- }
184
- moneyEvents.push({
185
- allocationTotalBps: 0,
186
- amount: bindingWords(bind.amount) || "the declared amount",
187
- amountDependencies: [],
188
- amountMode: "fixed",
189
- amountSchedule: [],
190
- distribution: "single",
191
- fromActor: source,
192
- key: uniqueEventKey(typeof move.key === "string"
193
- ? move.key
194
- : `${instrument.id}_${action.name}_${index + 1}`),
195
- kind: frameEventKind(operation, source, destination),
196
- label: `${titleize(action.name)} movement`,
197
- occurrence: action.slots.due ? "repeatable" : "once",
198
- timing: action.name === "create" ? "on_create" : "on_lifecycle",
199
- toActor: destination,
200
- trigger: `when ${action.name.replaceAll("_", " ")} runs`,
201
- });
202
- });
203
- }
204
- if (design.length < 10) {
205
- design.push(`${instrument.id}: ${instrument.fields.length} fields and ${instrument.actions.length} actions`);
206
- }
207
- const feeRules = instrument.slots.feeRules;
208
- if (Array.isArray(feeRules)) {
209
- feeRules.forEach((fee, index) => {
210
- if (fees.length >= 4)
211
- return;
212
- if (!fee || typeof fee !== "object" || Array.isArray(fee))
213
- return;
214
- fees.push({
215
- label: `${titleize(instrument.id)} fee ${index + 1}`,
216
- on: typeof fee.baseField === "string"
217
- ? fee.baseField
218
- : `${instrument.id} movement`,
219
- structure: typeof fee.position === "string"
220
- ? `${fee.position.replaceAll("_", " ")} fee`
221
- : "declared fee",
222
- });
223
- });
224
- }
225
- }
226
- if (actors.size === 0)
227
- ensureActor("platform", "platform");
228
- if (moneyEvents.length === 0) {
229
- const actor = actors.keys().next().value ?? "platform";
230
- moneyEvents.push({
231
- allocationTotalBps: 0,
232
- amount: "the declared settlement amount",
233
- amountDependencies: [],
234
- amountMode: "fixed",
235
- amountSchedule: [],
236
- distribution: "single",
237
- fromActor: actor,
238
- key: uniqueEventKey(`${program.name}_create`),
239
- kind: "charge",
240
- label: `${program.title} movement`,
241
- occurrence: "once",
242
- timing: "on_create",
243
- toActor: actor,
244
- trigger: "when the settlement is created",
245
- });
246
- }
247
- if (mechanics.size === 0)
248
- mechanics.add("escrow");
249
- return {
250
- actors: [...actors.values()],
251
- confidence: "high",
252
- conservationGroups: [],
253
- design,
254
- feePolicy: fees.length > 0 ? "defined" : "none",
255
- fees,
256
- headline: program.title,
257
- mechanics: [...mechanics],
258
- moneyEvents,
259
- offPlatform: [],
260
- openQuestions: [],
261
- rules: [],
262
- subjects: program.subjects.map((subject) => ({
263
- kind: subject.kind,
264
- title: subject.title,
265
- })),
266
- summary: `${program.title} compiles ${program.instruments.length} financial instrument${program.instruments.length === 1 ? "" : "s"}.`,
267
- };
268
- }
269
- function frameActorForBinding(value, actorByField, direction, ensureActor) {
270
- const path = bindingWords(value);
271
- if (path.includes("escrowAccountId"))
272
- return "escrow";
273
- const field = path.startsWith("fields.")
274
- ? path.slice("fields.".length)
275
- : path;
276
- const declared = actorByField.get(field);
277
- if (declared)
278
- return declared;
279
- if (field.toLowerCase().includes("platform")) {
280
- return ensureActor("platform", "platform");
281
- }
282
- return ensureActor(direction === "source" ? "payer" : "beneficiary", direction === "source" ? "payer" : "beneficiary");
283
- }
284
- function frameActorRole(role, direction) {
285
- return [
286
- "payer",
287
- "beneficiary",
288
- "platform",
289
- "provider",
290
- "guardian",
291
- "holder",
292
- ].includes(role)
293
- ? role
294
- : direction === "source"
295
- ? "payer"
296
- : "beneficiary";
297
- }
298
- function frameEventKind(operation, source, destination) {
299
- if (operation.endsWith(".reserve"))
300
- return "hold";
301
- if (operation.endsWith(".void") || operation.endsWith(".return")) {
302
- return "refund";
303
- }
304
- if (operation.startsWith("payout."))
305
- return "payout";
306
- if (source === "escrow" || destination === "escrow")
307
- return "release";
308
- return "charge";
309
- }
310
- function frameKey(value) {
311
- const snake = value
312
- .replace(/([a-z0-9])([A-Z])/g, "$1_$2")
313
- .replace(/[^A-Za-z0-9]+/g, "_")
314
- .replace(/^_+|_+$/g, "")
315
- .toLowerCase();
316
- const leading = /^[a-z]/.test(snake) ? snake : `event_${snake}`;
317
- return leading.slice(0, 40) || "event";
318
- }
319
- function bindingWords(value) {
320
- if (typeof value === "string")
321
- return value;
322
- if (!value || typeof value !== "object" || Array.isArray(value))
323
- return "";
324
- const binding = value;
325
- if (binding.from === "const" && typeof binding.value === "string")
326
- return binding.value;
327
- if (typeof binding.path === "string")
328
- return binding.path;
329
- return "";
330
- }
331
- function originMapFor(program) {
332
- const entries = [{ path: "$", span: program.origin }];
333
- program.subjects.forEach((subject, index) => {
334
- entries.push({ path: `$.subjects[${index}]`, span: subject.origin });
335
- });
336
- program.instruments.forEach((instrument, index) => {
337
- const base = `$.instruments[${index}]`;
338
- entries.push({ path: base, span: instrument.origin });
339
- instrument.fields.forEach((field) => {
340
- entries.push({
341
- path: `${base}.fields.${field.name}`,
342
- span: field.origin,
343
- });
344
- });
345
- instrument.actions.forEach((action) => {
346
- entries.push({
347
- path: `${base}.actions.${action.name}`,
348
- span: action.origin,
349
- });
350
- });
351
- });
352
- return entries;
353
- }
354
- function titleize(value) {
355
- return value
356
- .replaceAll("_", " ")
357
- .replace(/\b[a-z]/g, (letter) => letter.toUpperCase());
358
- }
359
- //# 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;AA6B1B,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,KAAK,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC;IAChC,MAAM,UAAU,GAAG;QACjB,GAAG,yBAAyB,CAAC,SAAS,CAAC;QACvC,GAAG,yBAAyB,CAAC,KAAK,EAAE,SAAS,CAAC;KAC/C,CAAC;IACF,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,KAAK;YACL,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,QAAQ,CAAC,OAAqB;IACrC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAqC,CAAC;IAC5D,MAAM,WAAW,GAAgC,EAAE,CAAC;IACpD,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,MAAM,IAAI,GAAgC,EAAE,CAAC;IAC7C,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,MAAM,WAAW,GAAG,CAAC,MAAc,EAAE,IAAY,EAAU,EAAE;QAC3D,MAAM,GAAG,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;QAC7B,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACrB,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE;gBACd,GAAG;gBACH,KAAK,EAAE,QAAQ,CAAC,GAAG,CAAC;gBACpB,QAAQ,EAAE,CAAC;gBACX,QAAQ,EAAE,CAAC;gBACX,IAAI;aACL,CAAC,CAAC;QACL,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;IACF,MAAM,cAAc,GAAG,CAAC,GAAW,EAAU,EAAE;QAC7C,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC;QAC3B,IAAI,GAAG,GAAG,IAAI,CAAC;QACf,IAAI,OAAO,GAAG,CAAC,CAAC;QAChB,OAAO,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAC1B,MAAM,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;YAC7B,GAAG,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,MAAM,EAAE,CAAC;YACtD,OAAO,IAAI,CAAC,CAAC;QACf,CAAC;QACD,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACnB,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;IACF,KAAK,MAAM,UAAU,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC;QAC7C,MAAM,YAAY,GAAG,IAAI,GAAG,EAAkB,CAAC;QAC/C,MAAM,OAAO,GAAG,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC;QACzC,IAAI,OAAO,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;YACtE,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;gBACpD,IAAI,OAAO,KAAK,KAAK,QAAQ;oBAAE,SAAS;gBACxC,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,EAAE,cAAc,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;gBAChE,YAAY,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YACjC,CAAC;QACH,CAAC;QACD,KAAK,MAAM,MAAM,IAAI,UAAU,CAAC,OAAO,EAAE,CAAC;YACxC,IAAI,MAAM,CAAC,KAAK,CAAC,GAAG;gBAAE,SAAS,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC;YACzD,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC;YACjC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;gBAAE,SAAS;YACpC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;gBAC5B,IAAI,WAAW,CAAC,MAAM,IAAI,EAAE;oBAAE,OAAO;gBACrC,IAAI,CAAC,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;oBAAE,OAAO;gBACrE,MAAM,IAAI,GACR,IAAI,CAAC,IAAI;oBACT,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ;oBAC7B,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC;oBACvB,CAAC,CAAC,IAAI,CAAC,IAAI;oBACX,CAAC,CAAC,EAAE,CAAC;gBACT,MAAM,MAAM,GAAG,oBAAoB,CACjC,IAAI,CAAC,eAAe,EACpB,YAAY,EACZ,QAAQ,EACR,WAAW,CACZ,CAAC;gBACF,MAAM,WAAW,GAAG,oBAAoB,CACtC,IAAI,CAAC,oBAAoB,EACzB,YAAY,EACZ,aAAa,EACb,WAAW,CACZ,CAAC;gBACF,MAAM,SAAS,GACb,OAAO,IAAI,CAAC,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC;gBACnE,IAAI,MAAM,KAAK,QAAQ,IAAI,WAAW,KAAK,QAAQ,EAAE,CAAC;oBACpD,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;gBAC1B,CAAC;gBACD,WAAW,CAAC,IAAI,CAAC;oBACf,kBAAkB,EAAE,CAAC;oBACrB,MAAM,EAAE,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,qBAAqB;oBAC1D,kBAAkB,EAAE,EAAE;oBACtB,UAAU,EAAE,OAAO;oBACnB,cAAc,EAAE,EAAE;oBAClB,YAAY,EAAE,QAAQ;oBACtB,SAAS,EAAE,MAAM;oBACjB,GAAG,EAAE,cAAc,CACjB,OAAO,IAAI,CAAC,GAAG,KAAK,QAAQ;wBAC1B,CAAC,CAAC,IAAI,CAAC,GAAG;wBACV,CAAC,CAAC,GAAG,UAAU,CAAC,EAAE,IAAI,MAAM,CAAC,IAAI,IAAI,KAAK,GAAG,CAAC,EAAE,CACnD;oBACD,IAAI,EAAE,cAAc,CAAC,SAAS,EAAE,MAAM,EAAE,WAAW,CAAC;oBACpD,KAAK,EAAE,GAAG,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW;oBAC1C,UAAU,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,MAAM;oBACpD,MAAM,EAAE,MAAM,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,cAAc;oBAC/D,OAAO,EAAE,WAAW;oBACpB,OAAO,EAAE,QAAQ,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,OAAO;iBACzD,CAAC,CAAC;YACL,CAAC,CAAC,CAAC;QACL,CAAC;QACD,IAAI,MAAM,CAAC,MAAM,GAAG,EAAE,EAAE,CAAC;YACvB,MAAM,CAAC,IAAI,CACT,GAAG,UAAU,CAAC,EAAE,KAAK,UAAU,CAAC,MAAM,CAAC,MAAM,eAAe,UAAU,CAAC,OAAO,CAAC,MAAM,UAAU,CAChG,CAAC;QACJ,CAAC;QACD,MAAM,QAAQ,GAAG,UAAU,CAAC,KAAK,CAAC,QAAQ,CAAC;QAC3C,IAAI,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC5B,QAAQ,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE;gBAC9B,IAAI,IAAI,CAAC,MAAM,IAAI,CAAC;oBAAE,OAAO;gBAC7B,IAAI,CAAC,GAAG,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;oBAAE,OAAO;gBAClE,IAAI,CAAC,IAAI,CAAC;oBACR,KAAK,EAAE,GAAG,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC,QAAQ,KAAK,GAAG,CAAC,EAAE;oBACpD,EAAE,EACA,OAAO,GAAG,CAAC,SAAS,KAAK,QAAQ;wBAC/B,CAAC,CAAC,GAAG,CAAC,SAAS;wBACf,CAAC,CAAC,GAAG,UAAU,CAAC,EAAE,WAAW;oBACjC,SAAS,EACP,OAAO,GAAG,CAAC,QAAQ,KAAK,QAAQ;wBAC9B,CAAC,CAAC,GAAG,GAAG,CAAC,QAAQ,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,MAAM;wBAC5C,CAAC,CAAC,cAAc;iBACrB,CAAC,CAAC;YACL,CAAC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,KAAK,CAAC;QAAE,WAAW,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;IAC3D,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7B,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC,KAAK,IAAI,UAAU,CAAC;QACvD,WAAW,CAAC,IAAI,CAAC;YACf,kBAAkB,EAAE,CAAC;YACrB,MAAM,EAAE,gCAAgC;YACxC,kBAAkB,EAAE,EAAE;YACtB,UAAU,EAAE,OAAO;YACnB,cAAc,EAAE,EAAE;YAClB,YAAY,EAAE,QAAQ;YACtB,SAAS,EAAE,KAAK;YAChB,GAAG,EAAE,cAAc,CAAC,GAAG,OAAO,CAAC,IAAI,SAAS,CAAC;YAC7C,IAAI,EAAE,QAAQ;YACd,KAAK,EAAE,GAAG,OAAO,CAAC,KAAK,WAAW;YAClC,UAAU,EAAE,MAAM;YAClB,MAAM,EAAE,WAAW;YACnB,OAAO,EAAE,KAAK;YACd,OAAO,EAAE,gCAAgC;SAC1C,CAAC,CAAC;IACL,CAAC;IACD,IAAI,SAAS,CAAC,IAAI,KAAK,CAAC;QAAE,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAClD,OAAO;QACL,MAAM,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;QAC5B,UAAU,EAAE,MAAM;QAClB,kBAAkB,EAAE,EAAE;QACtB,MAAM;QACN,SAAS,EAAE,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM;QAC/C,IAAI;QACJ,QAAQ,EAAE,OAAO,CAAC,KAAK;QACvB,SAAS,EAAE,CAAC,GAAG,SAAS,CAAC;QACzB,WAAW;QACX,WAAW,EAAE,EAAE;QACf,aAAa,EAAE,EAAE;QACjB,KAAK,EAAE,EAAE;QACT,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;YAC3C,IAAI,EAAE,OAAO,CAAC,IAAI;YAClB,KAAK,EAAE,OAAO,CAAC,KAAK;SACrB,CAAC,CAAC;QACH,OAAO,EAAE,GAAG,OAAO,CAAC,KAAK,aAAa,OAAO,CAAC,WAAW,CAAC,MAAM,wBAAwB,OAAO,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG;KACvI,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAC3B,KAA4B,EAC5B,YAAyC,EACzC,SAAmC,EACnC,WAAkD;IAElD,MAAM,IAAI,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;IACjC,IAAI,IAAI,CAAC,QAAQ,CAAC,iBAAiB,CAAC;QAAE,OAAO,QAAQ,CAAC;IACtD,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC;QACtC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC;QAC9B,CAAC,CAAC,IAAI,CAAC;IACT,MAAM,QAAQ,GAAG,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACzC,IAAI,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC9B,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;QAC7C,OAAO,WAAW,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;IAC7C,CAAC;IACD,OAAO,WAAW,CAChB,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,aAAa,EAChD,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,aAAa,CACjD,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CACrB,IAAY,EACZ,SAAmC;IAEnC,OAAO;QACL,OAAO;QACP,aAAa;QACb,UAAU;QACV,UAAU;QACV,UAAU;QACV,QAAQ;KACT,CAAC,QAAQ,CAAC,IAAI,CAAC;QACd,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,SAAS,KAAK,QAAQ;YACtB,CAAC,CAAC,OAAO;YACT,CAAC,CAAC,aAAa,CAAC;AACtB,CAAC;AAED,SAAS,cAAc,CACrB,SAAiB,EACjB,MAAc,EACd,WAAmB;IAEnB,IAAI,SAAS,CAAC,QAAQ,CAAC,UAAU,CAAC;QAAE,OAAO,MAAM,CAAC;IAClD,IAAI,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,SAAS,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;QACjE,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,IAAI,SAAS,CAAC,UAAU,CAAC,SAAS,CAAC;QAAE,OAAO,QAAQ,CAAC;IACrD,IAAI,MAAM,KAAK,QAAQ,IAAI,WAAW,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IACtE,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,QAAQ,CAAC,KAAa;IAC7B,MAAM,KAAK,GAAG,KAAK;SAChB,OAAO,CAAC,oBAAoB,EAAE,OAAO,CAAC;SACtC,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC;SAC9B,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC;SACvB,WAAW,EAAE,CAAC;IACjB,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,KAAK,EAAE,CAAC;IAChE,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,OAAO,CAAC;AACzC,CAAC;AAED,SAAS,YAAY,CAAC,KAA4B;IAChD,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC5C,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAC3E,MAAM,OAAO,GAAG,KAA4C,CAAC;IAC7D,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO,IAAI,OAAO,OAAO,CAAC,KAAK,KAAK,QAAQ;QAC/D,OAAO,OAAO,CAAC,KAAK,CAAC;IACvB,IAAI,OAAO,OAAO,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,OAAO,CAAC,IAAI,CAAC;IAC1D,OAAO,EAAE,CAAC;AACZ,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;AAED,SAAS,QAAQ,CAAC,KAAa;IAC7B,OAAO,KAAK;SACT,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC;SACpB,OAAO,CAAC,UAAU,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC;AAC3D,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"}