@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
@@ -1,364 +0,0 @@
1
- {
2
- "instruments": [
3
- {
4
- "actionOrder": [
5
- "create",
6
- "pay_piece_1",
7
- "pay_piece_2",
8
- "collect_service_fee"
9
- ],
10
- "actions": {
11
- "collect_service_fee": {
12
- "agentDescription": "Finish the payment and collect the service fee the customer owes on top of the amount. Both pieces must already be paid. When the product charges no payer fee this only closes the payment out.",
13
- "effects": {
14
- "moves": [
15
- {
16
- "signature": "moves.transfer.internal",
17
- "source": "moves[0]"
18
- }
19
- ]
20
- },
21
- "moves": [
22
- {
23
- "bind": {
24
- "amount": {
25
- "from": "instance",
26
- "path": "fields.checkoutFee"
27
- },
28
- "currency": {
29
- "from": "instance",
30
- "path": "fields.currency"
31
- },
32
- "destinationAccountId": {
33
- "from": "instance",
34
- "path": "fields.platformAccountId"
35
- },
36
- "metadata.instrumentId": {
37
- "from": "const",
38
- "value": "transfer"
39
- },
40
- "metadata.instrumentInstanceId": {
41
- "from": "instance",
42
- "path": "instrumentInstanceId"
43
- },
44
- "metadata.phase": {
45
- "from": "const",
46
- "value": "collect_service_fee"
47
- },
48
- "productId": {
49
- "from": "instance",
50
- "path": "productId"
51
- },
52
- "sourceAccountId": {
53
- "from": "instance",
54
- "path": "fields.customerAccountId"
55
- }
56
- },
57
- "capture": {
58
- "collectServiceFeeTransferTransferId": "transferId"
59
- },
60
- "key": "transfer",
61
- "operation": "internal_transfer.create"
62
- }
63
- ],
64
- "publicAction": "collectServiceFeeTransfer",
65
- "steps": [],
66
- "summary": "Collect the payer-side service fee"
67
- },
68
- "create": {
69
- "agentDescription": "Open the payment row before anything moves. The caller supplies the transferAmount, the currency, and both party accounts. Fee and derived pieces are computed from the transferAmount, callers never supply them. Call pay piece 1 to move the money.",
70
- "moves": [],
71
- "publicAction": "createTransfer",
72
- "steps": [],
73
- "summary": "Create a transfer payment"
74
- },
75
- "pay_piece_1": {
76
- "agentDescription": "Move the first piece from the customer to the merchant. The payment must be created. This moves the whole amount unless the product carves a payee fee, in which case it moves the net share and pay piece 2 takes the fee.",
77
- "effects": {
78
- "moves": [
79
- {
80
- "signature": "moves.transfer.internal",
81
- "source": "moves[0]"
82
- }
83
- ]
84
- },
85
- "moves": [
86
- {
87
- "bind": {
88
- "amount": {
89
- "from": "instance",
90
- "path": "fields.netOfCarvedFeeAmount"
91
- },
92
- "currency": {
93
- "from": "instance",
94
- "path": "fields.currency"
95
- },
96
- "destinationAccountId": {
97
- "from": "instance",
98
- "path": "fields.merchantAccountId"
99
- },
100
- "metadata.instrumentId": {
101
- "from": "const",
102
- "value": "transfer"
103
- },
104
- "metadata.instrumentInstanceId": {
105
- "from": "instance",
106
- "path": "instrumentInstanceId"
107
- },
108
- "metadata.phase": {
109
- "from": "const",
110
- "value": "pay_piece_1"
111
- },
112
- "productId": {
113
- "from": "instance",
114
- "path": "productId"
115
- },
116
- "sourceAccountId": {
117
- "from": "instance",
118
- "path": "fields.customerAccountId"
119
- }
120
- },
121
- "capture": {
122
- "payPiece1TransferTransferId": "transferId"
123
- },
124
- "key": "transfer",
125
- "operation": "internal_transfer.create"
126
- }
127
- ],
128
- "publicAction": "payPiece1Transfer",
129
- "steps": [],
130
- "summary": "Pay piece 1 of the amount through"
131
- },
132
- "pay_piece_2": {
133
- "agentDescription": "Move the carved platform fee out of the amount. Call this after pay piece 1. When the product carves no merchant fee this only steps the payment forward and moves nothing.",
134
- "effects": {
135
- "moves": [
136
- {
137
- "signature": "moves.transfer.internal",
138
- "source": "moves[0]"
139
- }
140
- ]
141
- },
142
- "moves": [
143
- {
144
- "bind": {
145
- "amount": {
146
- "from": "instance",
147
- "path": "fields.carvedFeeAmount"
148
- },
149
- "currency": {
150
- "from": "instance",
151
- "path": "fields.currency"
152
- },
153
- "destinationAccountId": {
154
- "from": "instance",
155
- "path": "fields.platformAccountId"
156
- },
157
- "metadata.instrumentId": {
158
- "from": "const",
159
- "value": "transfer"
160
- },
161
- "metadata.instrumentInstanceId": {
162
- "from": "instance",
163
- "path": "instrumentInstanceId"
164
- },
165
- "metadata.phase": {
166
- "from": "const",
167
- "value": "pay_piece_2"
168
- },
169
- "productId": {
170
- "from": "instance",
171
- "path": "productId"
172
- },
173
- "sourceAccountId": {
174
- "from": "instance",
175
- "path": "fields.customerAccountId"
176
- }
177
- },
178
- "capture": {
179
- "payPiece2TransferTransferId": "transferId"
180
- },
181
- "key": "transfer",
182
- "operation": "internal_transfer.create"
183
- }
184
- ],
185
- "publicAction": "payPiece2Transfer",
186
- "steps": [],
187
- "summary": "Pay piece 2 of the amount through"
188
- }
189
- },
190
- "agentDescription": "Reach for instant transfer when the customer pays the merchant straight through with no custody step. The money leaves and lands in one call. Pick deposit when the money must be held first, and captured payment when the payee takes it in slices.",
191
- "description": "Instant transfer: the customer pays transferAmount straight through to the merchant, no custody",
192
- "feeRules": [
193
- {
194
- "amountField": "checkoutFee",
195
- "baseField": "transferAmount",
196
- "bearerField": "customerAccountId",
197
- "position": "on_top",
198
- "rule": {
199
- "currencyField": "currency",
200
- "field": "checkoutFee",
201
- "kind": "exact"
202
- }
203
- },
204
- {
205
- "amountField": "carvedFeeAmount",
206
- "baseField": "transferAmount",
207
- "bearerField": "merchantAccountId",
208
- "position": "carved",
209
- "rule": {
210
- "kind": "tiered",
211
- "tiers": [
212
- {
213
- "fromInclusive": "0",
214
- "rule": {
215
- "bps": 100,
216
- "kind": "bps"
217
- },
218
- "toExclusive": "10000"
219
- },
220
- {
221
- "fromInclusive": "10000",
222
- "rule": {
223
- "currencyField": "currency",
224
- "field": "highValueFee",
225
- "kind": "exact"
226
- }
227
- }
228
- ]
229
- }
230
- }
231
- ],
232
- "fields": {
233
- "carvedFeeAmount": {
234
- "description": "The carved platform fee selected from transferAmount",
235
- "pattern": "^[1-9][0-9]{0,17}$",
236
- "type": "string"
237
- },
238
- "checkoutFee": {
239
- "description": "Immutable exact customer fee in SAR minor units",
240
- "pattern": "^[1-9][0-9]{0,17}$",
241
- "type": "string"
242
- },
243
- "currency": {
244
- "description": "ISO 4217 currency code",
245
- "maxLength": 3,
246
- "minLength": 3,
247
- "pattern": "^[A-Z]{3}$",
248
- "type": "string"
249
- },
250
- "customerAccountId": {
251
- "description": "The customer account",
252
- "pattern": "^acct_(sandbox|live)_[a-z0-9]{8,64}$",
253
- "type": "string",
254
- "x-hyperscale-reference-filter": {
255
- "column": "role",
256
- "values": [
257
- "customer_balance"
258
- ]
259
- }
260
- },
261
- "highValueFee": {
262
- "description": "Immutable exact merchant fee in SAR minor units",
263
- "pattern": "^[1-9][0-9]{0,17}$",
264
- "type": "string"
265
- },
266
- "merchantAccountId": {
267
- "description": "The merchant account",
268
- "pattern": "^acct_(sandbox|live)_[a-z0-9]{8,64}$",
269
- "type": "string",
270
- "x-hyperscale-reference-filter": {
271
- "column": "role",
272
- "values": [
273
- "customer_balance"
274
- ]
275
- }
276
- },
277
- "netOfCarvedFeeAmount": {
278
- "description": "The remainder of transferAmount after the carved platform fee",
279
- "pattern": "^[1-9][0-9]{0,17}$",
280
- "type": "string"
281
- },
282
- "platformAccountId": {
283
- "description": "The product fee collection account",
284
- "pattern": "^acct_(sandbox|live)_[a-z0-9]{8,64}$",
285
- "type": "string",
286
- "x-hyperscale-fee-collection-port": true,
287
- "x-hyperscale-reference-filter": {
288
- "column": "role",
289
- "values": [
290
- "customer_balance",
291
- "product_revenue"
292
- ]
293
- }
294
- },
295
- "transferAmount": {
296
- "description": "The gross amount in SAR minor units; the piece fields below partition it exactly",
297
- "pattern": "^[1-9][0-9]{0,17}$",
298
- "type": "string"
299
- }
300
- },
301
- "id": "transfer",
302
- "idPrefix": "tran",
303
- "lifecycle": {
304
- "initial": "created",
305
- "states": [
306
- "created",
307
- "paying_1",
308
- "paying_2",
309
- "paid"
310
- ],
311
- "transitions": {
312
- "collect_service_fee": {
313
- "from": [
314
- "paying_2"
315
- ],
316
- "to": "paid"
317
- },
318
- "pay_piece_1": {
319
- "from": [
320
- "created"
321
- ],
322
- "to": "paying_1"
323
- },
324
- "pay_piece_2": {
325
- "from": [
326
- "paying_1"
327
- ],
328
- "to": "paying_2"
329
- }
330
- }
331
- },
332
- "parties": {
333
- "beneficiary": "merchantAccountId",
334
- "payer": "customerAccountId"
335
- },
336
- "partitions": [
337
- {
338
- "pieceFields": [
339
- "netOfCarvedFeeAmount",
340
- "carvedFeeAmount"
341
- ],
342
- "totalField": "transferAmount"
343
- }
344
- ],
345
- "required": [
346
- "customerAccountId",
347
- "merchantAccountId",
348
- "platformAccountId",
349
- "transferAmount",
350
- "netOfCarvedFeeAmount",
351
- "checkoutFee",
352
- "highValueFee",
353
- "currency"
354
- ],
355
- "summary": "Instant payment from customer to merchant",
356
- "title": "Transfer"
357
- }
358
- ],
359
- "product": "instant_transfer_example",
360
- "subjects": [],
361
- "title": "Instant transfer example",
362
- "udl": 1,
363
- "version": 1
364
- }
@@ -1,3 +0,0 @@
1
- # metered
2
-
3
- This example applies the `metered` standard-library module. Its sibling UDL file pins the canonical compiler output byte for byte. The company and parties are invented.
@@ -1,13 +0,0 @@
1
- program metered_example "Metered example"
2
- import { metered } from "std/settlements"
3
- party customer: business
4
- party provider: business
5
- settlement usage = metered {
6
- payer: customer
7
- payee: provider
8
- close_by: periodEnd
9
- rates {
10
- api_call: callRate: money(SAR)
11
- storage_gib: storageRate: money(SAR)
12
- }
13
- }
@@ -1,247 +0,0 @@
1
- {
2
- "instruments": [
3
- {
4
- "actionOrder": [
5
- "create",
6
- "charge_api_call",
7
- "charge_storage_gib",
8
- "close_period"
9
- ],
10
- "actions": {
11
- "charge_api_call": {
12
- "agentDescription": "Charge one metered api call at the committed price. The period must still be open, so charge before periodEnd. The transfer posts from the customer to the provider at once and there is no reversal action.",
13
- "effects": {
14
- "moves": [
15
- {
16
- "signature": "moves.transfer.internal",
17
- "source": "moves[0]"
18
- }
19
- ]
20
- },
21
- "moves": [
22
- {
23
- "bind": {
24
- "amount": {
25
- "from": "instance",
26
- "path": "fields.callRate"
27
- },
28
- "currency": {
29
- "from": "instance",
30
- "path": "fields.currency"
31
- },
32
- "destinationAccountId": {
33
- "from": "instance",
34
- "path": "fields.providerAccountId"
35
- },
36
- "metadata.instrumentId": {
37
- "from": "const",
38
- "value": "usage"
39
- },
40
- "metadata.instrumentInstanceId": {
41
- "from": "instance",
42
- "path": "instrumentInstanceId"
43
- },
44
- "metadata.phase": {
45
- "from": "const",
46
- "value": "charge_api_call"
47
- },
48
- "productId": {
49
- "from": "instance",
50
- "path": "productId"
51
- },
52
- "sourceAccountId": {
53
- "from": "instance",
54
- "path": "fields.customerAccountId"
55
- }
56
- },
57
- "capture": {
58
- "chargeApiCallTransferTransferId": "transferId"
59
- },
60
- "key": "transfer",
61
- "operation": "internal_transfer.create"
62
- }
63
- ],
64
- "publicAction": "chargeApiCallUsage",
65
- "steps": [],
66
- "summary": "Charge one metered api call; the emission is the transfer itself"
67
- },
68
- "charge_storage_gib": {
69
- "agentDescription": "Charge one metered storage gib at the committed price. The period must still be open, so charge before periodEnd. The transfer posts from the customer to the provider at once and there is no reversal action.",
70
- "effects": {
71
- "moves": [
72
- {
73
- "signature": "moves.transfer.internal",
74
- "source": "moves[0]"
75
- }
76
- ]
77
- },
78
- "moves": [
79
- {
80
- "bind": {
81
- "amount": {
82
- "from": "instance",
83
- "path": "fields.storageRate"
84
- },
85
- "currency": {
86
- "from": "instance",
87
- "path": "fields.currency"
88
- },
89
- "destinationAccountId": {
90
- "from": "instance",
91
- "path": "fields.providerAccountId"
92
- },
93
- "metadata.instrumentId": {
94
- "from": "const",
95
- "value": "usage"
96
- },
97
- "metadata.instrumentInstanceId": {
98
- "from": "instance",
99
- "path": "instrumentInstanceId"
100
- },
101
- "metadata.phase": {
102
- "from": "const",
103
- "value": "charge_storage_gib"
104
- },
105
- "productId": {
106
- "from": "instance",
107
- "path": "productId"
108
- },
109
- "sourceAccountId": {
110
- "from": "instance",
111
- "path": "fields.customerAccountId"
112
- }
113
- },
114
- "capture": {
115
- "chargeStorageGibTransferTransferId": "transferId"
116
- },
117
- "key": "transfer",
118
- "operation": "internal_transfer.create"
119
- }
120
- ],
121
- "publicAction": "chargeStorageGibUsage",
122
- "steps": [],
123
- "summary": "Charge one metered storage gib; the emission is the transfer itself"
124
- },
125
- "close_period": {
126
- "due": {
127
- "field": "periodEnd"
128
- },
129
- "effects": {
130
- "schedules": [
131
- {
132
- "signature": "schedules.due",
133
- "source": "due"
134
- }
135
- ]
136
- },
137
- "moves": [],
138
- "steps": [],
139
- "summary": "Close the metering period; no further usage can be charged"
140
- },
141
- "create": {
142
- "agentDescription": "Open the metering period with its committed rate card. The caller supplies the periodEnd anchor and every per-unit price. The prices are fixed here and no later charge can change them. No money moves.",
143
- "moves": [],
144
- "publicAction": "createUsage",
145
- "steps": [],
146
- "summary": "Open a usage period with its committed rate card"
147
- }
148
- },
149
- "agentDescription": "Reach for metered when the customer is billed per unit at a rate card fixed when the period opens, and the period closes on periodEnd. Every charge is its own transfer. Pick recurring collection for a flat repeating amount and instant transfer for a one-off payment.",
150
- "description": "Metered usage: the customer is charged per unit at the committed rate card until the period closes on its stored end date",
151
- "fields": {
152
- "callRate": {
153
- "description": "Per-unit price of api call in SAR minor units, committed at period open",
154
- "pattern": "^[1-9][0-9]{0,17}$",
155
- "type": "string"
156
- },
157
- "currency": {
158
- "description": "ISO 4217 currency code",
159
- "maxLength": 3,
160
- "minLength": 3,
161
- "pattern": "^[A-Z]{3}$",
162
- "type": "string"
163
- },
164
- "customerAccountId": {
165
- "description": "The customer account",
166
- "pattern": "^acct_(sandbox|live)_[a-z0-9]{8,64}$",
167
- "type": "string",
168
- "x-hyperscale-reference-filter": {
169
- "column": "role",
170
- "values": [
171
- "customer_balance"
172
- ]
173
- }
174
- },
175
- "periodEnd": {
176
- "description": "End of this metering period; the close makes further charges unreachable",
177
- "format": "hyperscale-date-time",
178
- "type": "string"
179
- },
180
- "providerAccountId": {
181
- "description": "The provider account",
182
- "pattern": "^acct_(sandbox|live)_[a-z0-9]{8,64}$",
183
- "type": "string",
184
- "x-hyperscale-reference-filter": {
185
- "column": "role",
186
- "values": [
187
- "customer_balance"
188
- ]
189
- }
190
- },
191
- "storageRate": {
192
- "description": "Per-unit price of storage gib in SAR minor units, committed at period open",
193
- "pattern": "^[1-9][0-9]{0,17}$",
194
- "type": "string"
195
- }
196
- },
197
- "id": "usage",
198
- "idPrefix": "usag",
199
- "lifecycle": {
200
- "initial": "open",
201
- "states": [
202
- "open",
203
- "closed"
204
- ],
205
- "transitions": {
206
- "charge_api_call": {
207
- "from": [
208
- "open"
209
- ],
210
- "to": "open"
211
- },
212
- "charge_storage_gib": {
213
- "from": [
214
- "open"
215
- ],
216
- "to": "open"
217
- },
218
- "close_period": {
219
- "from": [
220
- "open"
221
- ],
222
- "to": "closed"
223
- }
224
- }
225
- },
226
- "parties": {
227
- "beneficiary": "providerAccountId",
228
- "payer": "customerAccountId"
229
- },
230
- "required": [
231
- "customerAccountId",
232
- "providerAccountId",
233
- "periodEnd",
234
- "callRate",
235
- "storageRate",
236
- "currency"
237
- ],
238
- "summary": "Metered charges from customer on a committed rate card",
239
- "title": "Usage"
240
- }
241
- ],
242
- "product": "metered_example",
243
- "subjects": [],
244
- "title": "Metered example",
245
- "udl": 1,
246
- "version": 1
247
- }
@@ -1,3 +0,0 @@
1
- # pooled_split
2
-
3
- This example applies the `pooled_split` standard-library module. Its sibling UDL file pins the canonical compiler output byte for byte. The company and parties are invented.
@@ -1,15 +0,0 @@
1
- program pooled_split_example "Pooled split example"
2
- import { pooled_split } from "std/settlements"
3
- party payer: business
4
- party first_recipient: business
5
- party second_recipient: business
6
- settlement pool = pooled_split {
7
- payer: payer
8
- amount: poolAmount: money(SAR)
9
- payout_due: payoutDueAt
10
- split {
11
- first_recipient: 60%
12
- second_recipient: 40%
13
- remainder_to: first_recipient
14
- }
15
- }