@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/src/emit.ts DELETED
@@ -1,447 +0,0 @@
1
- import {
2
- serializeUdl,
3
- validateUdl,
4
- type UdlDocument,
5
- type UdlIssueCode,
6
- } from "@hyperscale0/udl";
7
- import type { JsonValue, TypedInstrument, TypedProgram } from "./ir.ts";
8
-
9
- export interface OriginMapEntry {
10
- readonly path: string;
11
- readonly span: { readonly end: number; readonly start: number };
12
- }
13
-
14
- export interface GeneralLoweringIssue {
15
- readonly code: string;
16
- readonly fix: string;
17
- readonly message: string;
18
- readonly path: string;
19
- readonly span: { readonly end: number; readonly start: number };
20
- readonly udlCode: UdlIssueCode;
21
- }
22
-
23
- export type GeneralLowerResult =
24
- | { readonly issues: readonly GeneralLoweringIssue[]; readonly ok: false }
25
- | {
26
- readonly ok: true;
27
- readonly value: {
28
- readonly canonicalUdl: string;
29
- readonly document: UdlDocument;
30
- readonly frame: Record<string, JsonValue>;
31
- readonly originMap: readonly OriginMapEntry[];
32
- };
33
- };
34
-
35
- export function lowerGeneralProgram(program: TypedProgram): GeneralLowerResult {
36
- const candidate = {
37
- instruments: program.instruments.map((instrument) => ({
38
- ...instrument.slots,
39
- actionOrder: instrument.actions.map((action) => action.name),
40
- actions: Object.fromEntries(
41
- instrument.actions.map((action) => [action.name, action.slots]),
42
- ),
43
- fields: Object.fromEntries(
44
- instrument.fields.map((field) => [field.name, field.schema]),
45
- ),
46
- id: instrument.id,
47
- required: requiredFields(instrument),
48
- })),
49
- product: program.name,
50
- subjects: program.subjects.map((subject) => ({
51
- declaredValue: subject.declaredValue,
52
- kind: subject.kind,
53
- schema: subject.schema,
54
- title: subject.title,
55
- version: subject.version,
56
- })),
57
- title: program.title,
58
- udl: 1,
59
- version: 1,
60
- };
61
- const frame = frameFor(program);
62
- const unresolved = [
63
- ...unresolvedCompilerMarkers(candidate),
64
- ...unresolvedCompilerMarkers(frame, "$.frame"),
65
- ];
66
- if (unresolved.length > 0) {
67
- const origins = originMapFor(program);
68
- return {
69
- issues: unresolved.map(({ marker, path }) => ({
70
- code: "HSX1603",
71
- fix: "correct the compile-time block keys or parameter bindings",
72
- message: `${path}: emitted value contains unresolved compiler marker ${marker}`,
73
- path,
74
- span: originForUdlPath(path, origins)?.span ?? program.origin,
75
- udlCode: "UDL1003",
76
- })),
77
- ok: false,
78
- };
79
- }
80
- const validation = validateUdl(candidate);
81
- if (!validation.ok) {
82
- const origins = originMapFor(program);
83
- return {
84
- issues: validation.issues.map((issue) => {
85
- const origin = originForUdlPath(issue.path, origins);
86
- return {
87
- code: issue.category === "invalid_semantics" ? "HSX1602" : "HSX1601",
88
- fix: "correct the named clause so it matches the targeted UDL definition",
89
- message: `${issue.path}: ${issue.message}`,
90
- path: issue.path,
91
- span: origin?.span ?? program.origin,
92
- udlCode: issue.code,
93
- };
94
- }),
95
- ok: false,
96
- };
97
- }
98
- const document = validation.value;
99
- return {
100
- ok: true,
101
- value: {
102
- canonicalUdl: serializeUdl(document),
103
- document,
104
- frame,
105
- originMap: originMapFor(program),
106
- },
107
- };
108
- }
109
-
110
- const COMPILER_MARKERS = ["__hsx_none__", "invalid_compile_time_name"] as const;
111
-
112
- function unresolvedCompilerMarkers(
113
- value: unknown,
114
- path = "$",
115
- ): readonly { readonly marker: string; readonly path: string }[] {
116
- if (typeof value === "string") {
117
- return COMPILER_MARKERS.filter((marker) => value.includes(marker)).map(
118
- (marker) => ({ marker, path }),
119
- );
120
- }
121
- if (Array.isArray(value)) {
122
- return value.flatMap((item, index) =>
123
- unresolvedCompilerMarkers(item, `${path}[${index}]`),
124
- );
125
- }
126
- if (!value || typeof value !== "object") return [];
127
- return Object.entries(value).flatMap(([key, item]) => {
128
- const childPath = /^[A-Za-z_][A-Za-z0-9_]*$/.test(key)
129
- ? `${path}.${key}`
130
- : `${path}[${JSON.stringify(key)}]`;
131
- const keyIssues = COMPILER_MARKERS.filter((marker) =>
132
- key.includes(marker),
133
- ).map((marker) => ({ marker, path: childPath }));
134
- return [...keyIssues, ...unresolvedCompilerMarkers(item, childPath)];
135
- });
136
- }
137
-
138
- function originForUdlPath(
139
- path: string,
140
- origins: readonly OriginMapEntry[],
141
- ): OriginMapEntry | undefined {
142
- return (
143
- [...origins]
144
- .filter(
145
- (entry) =>
146
- path === entry.path ||
147
- path.startsWith(`${entry.path}.`) ||
148
- path.startsWith(`${entry.path}[`),
149
- )
150
- .sort((left, right) => right.path.length - left.path.length)[0] ??
151
- origins.find((entry) => entry.path === "$")
152
- );
153
- }
154
-
155
- export function requiredFields(instrument: TypedInstrument): string[] {
156
- const explicit = instrument.slots.required;
157
- if (
158
- Array.isArray(explicit) &&
159
- explicit.every((field): field is string => typeof field === "string")
160
- ) {
161
- return [...explicit];
162
- }
163
- const required = new Set(
164
- instrument.fields
165
- .filter((field) => field.required)
166
- .map((field) => field.name),
167
- );
168
- const partyFields =
169
- instrument.slots.parties &&
170
- typeof instrument.slots.parties === "object" &&
171
- !Array.isArray(instrument.slots.parties)
172
- ? Object.values(instrument.slots.parties).filter(
173
- (value): value is string =>
174
- typeof value === "string" && required.has(value),
175
- )
176
- : [];
177
- return [
178
- ...new Set(partyFields),
179
- ...instrument.fields
180
- .map((field) => field.name)
181
- .filter((name) => required.has(name) && !partyFields.includes(name)),
182
- ];
183
- }
184
-
185
- function frameFor(program: TypedProgram): Record<string, JsonValue> {
186
- const actors = new Map<string, Record<string, JsonValue>>();
187
- const moneyEvents: Record<string, JsonValue>[] = [];
188
- const design: string[] = [];
189
- const fees: Record<string, JsonValue>[] = [];
190
- const mechanics = new Set<string>();
191
- const eventKeys = new Set<string>();
192
- const ensureActor = (rawKey: string, role: string): string => {
193
- const key = frameKey(rawKey);
194
- if (!actors.has(key)) {
195
- actors.set(key, {
196
- key,
197
- label: titleize(key),
198
- maxCount: 1,
199
- minCount: 1,
200
- role,
201
- });
202
- }
203
- return key;
204
- };
205
- const uniqueEventKey = (raw: string): string => {
206
- const base = frameKey(raw);
207
- let key = base;
208
- let ordinal = 2;
209
- while (eventKeys.has(key)) {
210
- const suffix = `_${ordinal}`;
211
- key = `${base.slice(0, 40 - suffix.length)}${suffix}`;
212
- ordinal += 1;
213
- }
214
- eventKeys.add(key);
215
- return key;
216
- };
217
- for (const instrument of program.instruments) {
218
- const actorByField = new Map<string, string>();
219
- const parties = instrument.slots.parties;
220
- if (parties && typeof parties === "object" && !Array.isArray(parties)) {
221
- for (const [role, value] of Object.entries(parties)) {
222
- if (typeof value !== "string") continue;
223
- const actor = ensureActor(role, frameActorRole(role, "source"));
224
- actorByField.set(value, actor);
225
- }
226
- }
227
- for (const action of instrument.actions) {
228
- if (action.slots.due) mechanics.add("recurring_billing");
229
- const moves = action.slots.moves;
230
- if (!Array.isArray(moves)) continue;
231
- moves.forEach((move, index) => {
232
- if (moneyEvents.length >= 20) return;
233
- if (!move || typeof move !== "object" || Array.isArray(move)) return;
234
- const bind =
235
- move.bind &&
236
- typeof move.bind === "object" &&
237
- !Array.isArray(move.bind)
238
- ? move.bind
239
- : {};
240
- const source = frameActorForBinding(
241
- bind.sourceAccountId,
242
- actorByField,
243
- "source",
244
- ensureActor,
245
- );
246
- const destination = frameActorForBinding(
247
- bind.destinationAccountId,
248
- actorByField,
249
- "destination",
250
- ensureActor,
251
- );
252
- const operation =
253
- typeof move.operation === "string" ? move.operation : "transfer";
254
- if (source === "escrow" || destination === "escrow") {
255
- mechanics.add("escrow");
256
- }
257
- moneyEvents.push({
258
- allocationTotalBps: 0,
259
- amount: bindingWords(bind.amount) || "the declared amount",
260
- amountDependencies: [],
261
- amountMode: "fixed",
262
- amountSchedule: [],
263
- distribution: "single",
264
- fromActor: source,
265
- key: uniqueEventKey(
266
- typeof move.key === "string"
267
- ? move.key
268
- : `${instrument.id}_${action.name}_${index + 1}`,
269
- ),
270
- kind: frameEventKind(operation, source, destination),
271
- label: `${titleize(action.name)} movement`,
272
- occurrence: action.slots.due ? "repeatable" : "once",
273
- timing: action.name === "create" ? "on_create" : "on_lifecycle",
274
- toActor: destination,
275
- trigger: `when ${action.name.replaceAll("_", " ")} runs`,
276
- });
277
- });
278
- }
279
- if (design.length < 10) {
280
- design.push(
281
- `${instrument.id}: ${instrument.fields.length} fields and ${instrument.actions.length} actions`,
282
- );
283
- }
284
- const feeRules = instrument.slots.feeRules;
285
- if (Array.isArray(feeRules)) {
286
- feeRules.forEach((fee, index) => {
287
- if (fees.length >= 4) return;
288
- if (!fee || typeof fee !== "object" || Array.isArray(fee)) return;
289
- fees.push({
290
- label: `${titleize(instrument.id)} fee ${index + 1}`,
291
- on:
292
- typeof fee.baseField === "string"
293
- ? fee.baseField
294
- : `${instrument.id} movement`,
295
- structure:
296
- typeof fee.position === "string"
297
- ? `${fee.position.replaceAll("_", " ")} fee`
298
- : "declared fee",
299
- });
300
- });
301
- }
302
- }
303
- if (actors.size === 0) ensureActor("platform", "platform");
304
- if (moneyEvents.length === 0) {
305
- const actor = actors.keys().next().value ?? "platform";
306
- moneyEvents.push({
307
- allocationTotalBps: 0,
308
- amount: "the declared settlement amount",
309
- amountDependencies: [],
310
- amountMode: "fixed",
311
- amountSchedule: [],
312
- distribution: "single",
313
- fromActor: actor,
314
- key: uniqueEventKey(`${program.name}_create`),
315
- kind: "charge",
316
- label: `${program.title} movement`,
317
- occurrence: "once",
318
- timing: "on_create",
319
- toActor: actor,
320
- trigger: "when the settlement is created",
321
- });
322
- }
323
- if (mechanics.size === 0) mechanics.add("escrow");
324
- return {
325
- actors: [...actors.values()],
326
- confidence: "high",
327
- conservationGroups: [],
328
- design,
329
- feePolicy: fees.length > 0 ? "defined" : "none",
330
- fees,
331
- headline: program.title,
332
- mechanics: [...mechanics],
333
- moneyEvents,
334
- offPlatform: [],
335
- openQuestions: [],
336
- rules: [],
337
- subjects: program.subjects.map((subject) => ({
338
- kind: subject.kind,
339
- title: subject.title,
340
- })),
341
- summary: `${program.title} compiles ${program.instruments.length} financial instrument${program.instruments.length === 1 ? "" : "s"}.`,
342
- };
343
- }
344
-
345
- function frameActorForBinding(
346
- value: JsonValue | undefined,
347
- actorByField: ReadonlyMap<string, string>,
348
- direction: "destination" | "source",
349
- ensureActor: (key: string, role: string) => string,
350
- ): string {
351
- const path = bindingWords(value);
352
- if (path.includes("escrowAccountId")) return "escrow";
353
- const field = path.startsWith("fields.")
354
- ? path.slice("fields.".length)
355
- : path;
356
- const declared = actorByField.get(field);
357
- if (declared) return declared;
358
- if (field.toLowerCase().includes("platform")) {
359
- return ensureActor("platform", "platform");
360
- }
361
- return ensureActor(
362
- direction === "source" ? "payer" : "beneficiary",
363
- direction === "source" ? "payer" : "beneficiary",
364
- );
365
- }
366
-
367
- function frameActorRole(
368
- role: string,
369
- direction: "destination" | "source",
370
- ): string {
371
- return [
372
- "payer",
373
- "beneficiary",
374
- "platform",
375
- "provider",
376
- "guardian",
377
- "holder",
378
- ].includes(role)
379
- ? role
380
- : direction === "source"
381
- ? "payer"
382
- : "beneficiary";
383
- }
384
-
385
- function frameEventKind(
386
- operation: string,
387
- source: string,
388
- destination: string,
389
- ): string {
390
- if (operation.endsWith(".reserve")) return "hold";
391
- if (operation.endsWith(".void") || operation.endsWith(".return")) {
392
- return "refund";
393
- }
394
- if (operation.startsWith("payout.")) return "payout";
395
- if (source === "escrow" || destination === "escrow") return "release";
396
- return "charge";
397
- }
398
-
399
- function frameKey(value: string): string {
400
- const snake = value
401
- .replace(/([a-z0-9])([A-Z])/g, "$1_$2")
402
- .replace(/[^A-Za-z0-9]+/g, "_")
403
- .replace(/^_+|_+$/g, "")
404
- .toLowerCase();
405
- const leading = /^[a-z]/.test(snake) ? snake : `event_${snake}`;
406
- return leading.slice(0, 40) || "event";
407
- }
408
-
409
- function bindingWords(value: JsonValue | undefined): string {
410
- if (typeof value === "string") return value;
411
- if (!value || typeof value !== "object" || Array.isArray(value)) return "";
412
- const binding = value as Readonly<Record<string, JsonValue>>;
413
- if (binding.from === "const" && typeof binding.value === "string")
414
- return binding.value;
415
- if (typeof binding.path === "string") return binding.path;
416
- return "";
417
- }
418
-
419
- function originMapFor(program: TypedProgram): OriginMapEntry[] {
420
- const entries: OriginMapEntry[] = [{ path: "$", span: program.origin }];
421
- program.subjects.forEach((subject, index) => {
422
- entries.push({ path: `$.subjects[${index}]`, span: subject.origin });
423
- });
424
- program.instruments.forEach((instrument, index) => {
425
- const base = `$.instruments[${index}]`;
426
- entries.push({ path: base, span: instrument.origin });
427
- instrument.fields.forEach((field) => {
428
- entries.push({
429
- path: `${base}.fields.${field.name}`,
430
- span: field.origin,
431
- });
432
- });
433
- instrument.actions.forEach((action) => {
434
- entries.push({
435
- path: `${base}.actions.${action.name}`,
436
- span: action.origin,
437
- });
438
- });
439
- });
440
- return entries;
441
- }
442
-
443
- function titleize(value: string): string {
444
- return value
445
- .replaceAll("_", " ")
446
- .replace(/\b[a-z]/g, (letter) => letter.toUpperCase());
447
- }