@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
@@ -0,0 +1,104 @@
1
+ import type { Entry, Expr, InstrumentDecl } from "./ast.ts";
2
+
3
+ export class BindingContractError extends Error {
4
+ constructor(
5
+ readonly entry: Entry,
6
+ message: string,
7
+ ) {
8
+ super(message);
9
+ }
10
+ }
11
+
12
+ function rows(value: Expr): Entry[] {
13
+ if (value.kind === "block") return value.entries;
14
+ throw new BindingContractError(
15
+ { key: "contract", value, span: value.span },
16
+ "Binding contract needs a block.",
17
+ );
18
+ }
19
+ function properties(entry: Entry, allowed: string[]): Map<string, string> {
20
+ const result = new Map<string, string>();
21
+ for (const slot of rows(entry.value)) {
22
+ if (
23
+ !allowed.includes(slot.key) ||
24
+ result.has(slot.key) ||
25
+ (slot.value.kind !== "text" && slot.value.kind !== "name")
26
+ )
27
+ throw new BindingContractError(
28
+ slot,
29
+ "Invalid binding contract property.",
30
+ );
31
+ result.set(slot.key, slot.value.value);
32
+ }
33
+ if (allowed.some((key) => !result.get(key)))
34
+ throw new BindingContractError(
35
+ entry,
36
+ `Binding contract needs ${allowed.join(", ")}.`,
37
+ );
38
+ return result;
39
+ }
40
+ function contractEntries(decl: InstrumentDecl, name: string): Entry[] {
41
+ const blocks = decl.body.entries.filter((entry) => entry.key === name);
42
+ if (blocks.length > 1)
43
+ throw new BindingContractError(blocks[1]!, `Duplicate ${name}.`);
44
+ const entries = blocks[0] ? rows(blocks[0].value) : [];
45
+ const seen = new Set<string>();
46
+ for (const entry of entries) {
47
+ if (
48
+ seen.has(entry.key) ||
49
+ !decl.parameters.some((parameter) => parameter.key === entry.key)
50
+ )
51
+ throw new BindingContractError(
52
+ entry,
53
+ "Binding contract must name each declared tunable once.",
54
+ );
55
+ seen.add(entry.key);
56
+ }
57
+ return entries;
58
+ }
59
+
60
+ /** Conditional requirements are header data, independent of module names. */
61
+ export function bindingDependencies(decl: InstrumentDecl) {
62
+ return contractEntries(decl, "dependencies").map((entry) => {
63
+ const values = properties(entry, ["selector", "is", "message", "fix"]);
64
+ const selector = decl.parameters.find(
65
+ (parameter) => parameter.key === values.get("selector"),
66
+ );
67
+ const type =
68
+ selector?.value.kind === "default"
69
+ ? selector.value.type
70
+ : selector?.value;
71
+ if (
72
+ type?.kind !== "call" ||
73
+ type.name !== "enum" ||
74
+ !type.args.some(
75
+ (arg) => arg.kind === "name" && arg.value === values.get("is"),
76
+ )
77
+ )
78
+ throw new BindingContractError(
79
+ entry,
80
+ "Dependency must select a declared enum choice.",
81
+ );
82
+ return {
83
+ binding: entry.key,
84
+ when: values.get("selector")!,
85
+ is: values.get("is")!,
86
+ message: values.get("message")!,
87
+ fix: values.get("fix")!,
88
+ span: entry.span,
89
+ };
90
+ });
91
+ }
92
+
93
+ /** A header explains why a typed parameter cannot encode a proposed policy. */
94
+ export function parameterDiagnostics(decl: InstrumentDecl) {
95
+ return contractEntries(decl, "parameterDiagnostics").map((entry) => {
96
+ const values = properties(entry, ["accepts", "percentage", "fix"]);
97
+ return {
98
+ parameter: entry.key,
99
+ accepts: values.get("accepts")!,
100
+ percentage: values.get("percentage")!,
101
+ fix: values.get("fix")!,
102
+ };
103
+ });
104
+ }
package/src/cli.ts CHANGED
@@ -1,325 +1,114 @@
1
- /**
2
- * The `hsx` command line over the one compiler entry point and catalog.
3
- *
4
- * `check` prints diagnostics and says nothing else; `build` writes the
5
- * compiled artifacts as JSON. Neither reads the environment, neither touches
6
- * a network, and neither writes outside the path the caller names.
7
- *
8
- * Everything here is a pure function of `argv` plus the injected `Io`, so the
9
- * spec drives the real code paths with an in-memory filesystem instead of
10
- * asserting on a subprocess's scrollback.
11
- */
12
-
13
- import { fileURLToPath } from "node:url";
14
- import { compile, type CompileResult } from "./compile.ts";
15
- import type { UdlCostManifest, UdlCostTable } from "./cost.ts";
16
- import { hsxDiagnostics } from "./diagnostics.ts";
1
+ import { existsSync, readFileSync } from "node:fs";
2
+ import { readFile, writeFile } from "node:fs/promises";
3
+ import { headerManifest } from "./headers.ts";
4
+ import { compile } from "./compile.ts";
17
5
  import { format } from "./format.ts";
18
- import { HSX_TARGET_UDL_VERSION, HSX_VERSION } from "./version.ts";
6
+ import { serializeUdl, UDL_FORMAT_VERSION } from "@hyperscale0/udl";
7
+ const usage =
8
+ "hsx build|format|cost <file> [--out path]\nhsx check <file>\nhsx headers --json";
9
+ const standardLibrary = {
10
+ source: (header: string) => {
11
+ for (const base of ["../std/", "../../std/"]) {
12
+ const file = new URL(`${base}${header}.hsx`, import.meta.url);
13
+ if (existsSync(file)) return readFileSync(file, "utf8");
14
+ }
15
+ return undefined;
16
+ },
17
+ };
19
18
 
20
- /** Filesystem and streams, injected so the CLI stays testable. */
21
19
  export interface Io {
22
- readonly err: (line: string) => void;
23
- readonly out: (line: string) => void;
24
- readonly readFile: (path: string) => Promise<string>;
25
- readonly writeFile: (path: string, contents: string) => Promise<void>;
20
+ out(line: string): void;
21
+ err(line: string): void;
22
+ readFile(path: string): Promise<string>;
23
+ writeFile(path: string, text: string): Promise<void>;
26
24
  }
27
-
28
- /**
29
- * Exit codes. `warning` exits 0 because a lint note is not a failure; pass
30
- * `--strict` to make it one.
31
- */
32
- const OK = 0;
33
- const REFUSED = 1;
34
- const USAGE = 2;
35
-
36
- export const USAGE_TEXT = `hsx ${HSX_VERSION}, the HSX compiler
37
-
38
- Usage:
39
- hsx check <file.hsx> [--strict]
40
- hsx build <file.hsx> [--out <file.json>] [--strict]
41
- hsx cost <file.hsx> [--json] [--out <file.json>] [--strict]
42
- hsx explain <HSX####>
43
- hsx format <file.hsx>
44
- hsx --version
45
- hsx --help
46
-
47
- Commands:
48
- check Compile and report diagnostics. Prints nothing when the program is clean.
49
- build Compile and write canonical UDL and its Business Frame as JSON.
50
- cost Compile and print the version-pinned cost manifest as a table or JSON.
51
- explain Print one diagnostic title, fix, and source example.
52
- format Print the source in the one canonical HSX style.
53
-
54
- Options:
55
- --json Print the cost manifest as JSON instead of a table.
56
- --out <file> Write build or cost JSON to this path instead of stdout.
57
- --strict Treat warning-severity diagnostics as failures.
58
-
59
- Exit codes:
60
- 0 the program compiled (verdict valid, or warning without --strict)
61
- 1 the program was refused (verdict invalid, or warning with --strict)
62
- 2 the command line or the input file could not be used`;
63
-
64
25
  export async function runCli(argv: readonly string[], io: Io): Promise<number> {
65
- const [command, ...rest] = argv;
66
-
67
- if (command === undefined || command === "--help" || command === "-h") {
68
- io.out(USAGE_TEXT);
69
- return command === undefined ? USAGE : OK;
70
- }
71
- if (command === "--version" || command === "-v") {
72
- io.out(`${HSX_VERSION} (UDL version ${HSX_TARGET_UDL_VERSION})`);
73
- return OK;
26
+ const [command, file, ...options] = argv;
27
+ if (command === "headers") {
28
+ if (file !== "--json" || options.length) {
29
+ io.err("usage: hsx headers --json");
30
+ return 2;
31
+ }
32
+ io.out(JSON.stringify(headerManifest(standardLibrary), null, 2));
33
+ return 0;
34
+ }
35
+ if (["--help", "help", "-h"].includes(command ?? "")) {
36
+ io.out(usage);
37
+ return 0;
38
+ }
39
+ if (command === "--version") {
40
+ // src/cli.ts in a checkout, dist/src/cli.js in the published package.
41
+ for (const base of ["../", "../../"]) {
42
+ const manifest = new URL(`${base}package.json`, import.meta.url);
43
+ if (!existsSync(manifest)) continue;
44
+ const { version } = JSON.parse(readFileSync(manifest, "utf8")) as {
45
+ version: string;
46
+ };
47
+ io.out(`${version} (UDL ${UDL_FORMAT_VERSION})`);
48
+ return 0;
49
+ }
50
+ io.err("hsx: package.json not found");
51
+ return 1;
74
52
  }
75
- if (command === "explain") return explainDiagnostic(rest, io);
76
53
  if (
77
- command !== "check" &&
78
- command !== "build" &&
79
- command !== "cost" &&
80
- command !== "format"
54
+ !command ||
55
+ !file ||
56
+ !["build", "check", "format", "cost"].includes(command)
81
57
  ) {
82
- io.err(`hsx: unknown command "${command}"`);
83
- io.err(USAGE_TEXT);
84
- return USAGE;
85
- }
86
-
87
- const parsed = parseOptions(rest, command);
88
- if ("error" in parsed) {
89
- io.err(`hsx: ${parsed.error}`);
90
- return USAGE;
91
- }
92
-
93
- let source: string;
94
- try {
95
- source = await io.readFile(parsed.file);
96
- } catch (cause) {
97
- io.err(`hsx: cannot read ${parsed.file}: ${messageOf(cause)}`);
98
- return USAGE;
99
- }
100
-
101
- if (command === "format") {
102
- const result = format(source);
103
- if (!result.ok) {
104
- for (const diagnostic of result.diagnostics) {
105
- io.err(`${parsed.file}:1:1: error [parse] ${diagnostic.message}`);
106
- }
107
- return REFUSED;
58
+ io.err(`usage:\n${usage}`);
59
+ return 2;
60
+ }
61
+ let output: string | undefined;
62
+ for (let i = 0; i < options.length; i++) {
63
+ if (
64
+ command !== "check" &&
65
+ options[i] === "--out" &&
66
+ options[i + 1] &&
67
+ !options[i + 1]!.startsWith("--") &&
68
+ output === undefined
69
+ )
70
+ output = options[++i];
71
+ else {
72
+ io.err(`unknown option ${options[i]}`);
73
+ return 2;
108
74
  }
109
- io.out(result.formatted.trimEnd());
110
- return OK;
111
75
  }
112
-
113
- let costTable: UdlCostTable;
114
76
  try {
115
- costTable = await readDefaultCostTable(io);
116
- } catch (cause) {
117
- io.err(`hsx: cannot read the packaged cost table: ${messageOf(cause)}`);
118
- return USAGE;
119
- }
120
- const result = compile(source, { costTable });
121
- for (const line of diagnosticLines(parsed.file, result)) io.err(line);
122
-
123
- const refused =
124
- result.verdict === "invalid" ||
125
- (parsed.strict && result.verdict === "warning");
126
-
127
- if (command === "check") {
128
- return refused ? REFUSED : OK;
129
- }
130
-
131
- if (!result.artifacts) return REFUSED;
132
- if (command === "cost") {
133
- const json = `${JSON.stringify(result.artifacts.costManifest, null, 2)}\n`;
134
- if (parsed.out !== undefined) {
135
- const writeCode = await writeOutput(parsed.out, json, io);
136
- return writeCode === OK && refused ? REFUSED : writeCode;
137
- }
138
- io.out(
139
- parsed.json
140
- ? json.trimEnd()
141
- : renderCostTable(result.artifacts.costManifest),
142
- );
143
- return refused ? REFUSED : OK;
144
- }
145
- const json = `${JSON.stringify(
146
- {
147
- document: result.artifacts.document,
148
- frame: result.artifacts.frame,
149
- },
150
- null,
151
- 2,
152
- )}\n`;
153
- if (parsed.out === undefined) {
154
- io.out(json.trimEnd());
155
- } else {
156
- try {
157
- await io.writeFile(parsed.out, json);
158
- } catch (cause) {
159
- io.err(`hsx: cannot write ${parsed.out}: ${messageOf(cause)}`);
160
- return USAGE;
161
- }
162
- }
163
- return refused ? REFUSED : OK;
164
- }
165
-
166
- interface Options {
167
- readonly file: string;
168
- readonly json: boolean;
169
- readonly out?: string;
170
- readonly strict: boolean;
171
- }
172
-
173
- function parseOptions(
174
- args: readonly string[],
175
- command: "build" | "check" | "cost" | "format",
176
- ): Options | { readonly error: string } {
177
- let file: string | undefined;
178
- let json = false;
179
- let out: string | undefined;
180
- let strict = false;
181
-
182
- for (let index = 0; index < args.length; index += 1) {
183
- const argument = args[index] as string;
184
- if (argument === "--strict") {
185
- if (command === "format") {
186
- return { error: "hsx format has no style options" };
187
- }
188
- strict = true;
189
- continue;
190
- }
191
- if (argument === "--json") {
192
- if (command !== "cost") return { error: "--json belongs to hsx cost" };
193
- json = true;
194
- continue;
195
- }
196
- if (argument === "--out") {
197
- if (command !== "build" && command !== "cost") {
198
- return { error: "--out belongs to hsx build or hsx cost" };
77
+ const source = await io.readFile(file);
78
+ let text: string;
79
+ if (command === "format") {
80
+ const result = format(source);
81
+ if (!result.ok) {
82
+ result.diagnostics.forEach((d) => io.err(`${file}: ${d.message}`));
83
+ return 1;
199
84
  }
200
- const value = args[index + 1];
201
- if (value === undefined || value.startsWith("--")) {
202
- return { error: "--out needs a file path" };
203
- }
204
- out = value;
205
- index += 1;
206
- continue;
207
- }
208
- if (argument.startsWith("-")) {
209
- return { error: `unknown option "${argument}"` };
85
+ text = result.formatted;
86
+ } else {
87
+ const result = compile(source, { standardLibrary });
88
+ for (const d of result.diagnostics)
89
+ io.err(
90
+ `${d.source && d.source !== "program" ? d.source : file}:${d.line}:${d.column}: ${d.code} ${d.message}. ${d.fix}`,
91
+ );
92
+ if (!result.artifacts || result.verdict !== "valid") return 1;
93
+ if (command === "check") return 0;
94
+ text =
95
+ command === "cost"
96
+ ? JSON.stringify(result.artifacts.costManifest, null, 2) + "\n"
97
+ : serializeUdl(result.artifacts.document);
210
98
  }
211
- if (file !== undefined) {
212
- return { error: `hsx ${command} takes one file, got "${argument}" too` };
213
- }
214
- file = argument;
215
- }
216
-
217
- if (file === undefined) return { error: `hsx ${command} needs a file` };
218
- return { file, json, ...(out === undefined ? {} : { out }), strict };
219
- }
220
-
221
- function explainDiagnostic(args: readonly string[], io: Io): number {
222
- if (args.length !== 1 || args[0]?.startsWith("-")) {
223
- io.err("hsx: explain needs one diagnostic code");
224
- return USAGE;
225
- }
226
- const diagnostic = hsxDiagnostics.find(({ code }) => code === args[0]);
227
- if (!diagnostic) {
228
- io.err(`hsx: unknown diagnostic code ${args[0]}`);
229
- return USAGE;
99
+ if (output) await io.writeFile(output, text);
100
+ else io.out(text.trimEnd());
101
+ return 0;
102
+ } catch (error) {
103
+ io.err(error instanceof Error ? error.message : String(error));
104
+ return 2;
230
105
  }
231
- io.out(
232
- [
233
- `${diagnostic.code} ${diagnostic.title}`,
234
- `Stage: ${diagnostic.stage}`,
235
- `Fix: ${diagnostic.fix}`,
236
- diagnostic.example === null
237
- ? "Example: unavailable from source alone"
238
- : `Example:\n${diagnostic.example}`,
239
- ].join("\n"),
240
- );
241
- return OK;
242
106
  }
243
107
 
244
- function renderCostTable(manifest: UdlCostManifest): string {
245
- const rows = [
246
- `costTableVersion\t${manifest.costTableVersion}`,
247
- "instrument.action\teffect\tunit\tcount\ttotal\tpayer",
248
- ];
249
- for (const action of manifest.actions) {
250
- for (const component of action.components) {
251
- const fixed = BigInt(component.perEventMinor) * BigInt(component.count);
252
- const unit = [
253
- `${component.perEventMinor} ${manifest.currency} minor`,
254
- component.bps > 0 ? `${component.bps} bps` : undefined,
255
- ]
256
- .filter((part): part is string => part !== undefined)
257
- .join(" + ");
258
- const total =
259
- component.bps === 0
260
- ? `${fixed} ${manifest.currency} minor`
261
- : [
262
- fixed === 0n ? undefined : `${fixed} ${manifest.currency} minor`,
263
- `amount-dependent (${component.bps} bps)`,
264
- ]
265
- .filter((part): part is string => part !== undefined)
266
- .join(" + ");
267
- rows.push(
268
- [
269
- `${action.instrument}.${action.action}`,
270
- component.signature,
271
- unit,
272
- component.count,
273
- total,
274
- component.payer,
275
- ].join("\t"),
276
- );
277
- }
278
- }
279
- return rows.join("\n");
280
- }
281
-
282
- async function writeOutput(
283
- path: string,
284
- contents: string,
285
- io: Io,
286
- ): Promise<number> {
287
- try {
288
- await io.writeFile(path, contents);
289
- } catch (cause) {
290
- io.err(`hsx: cannot write ${path}: ${messageOf(cause)}`);
291
- return USAGE;
292
- }
293
- return OK;
294
- }
295
-
296
- async function readDefaultCostTable(io: Io): Promise<UdlCostTable> {
297
- const candidates = [
298
- fileURLToPath(new URL("../examples/cost-table.json", import.meta.url)),
299
- fileURLToPath(new URL("../../examples/cost-table.json", import.meta.url)),
300
- ];
301
- let lastError: unknown;
302
- for (const path of candidates) {
303
- try {
304
- return JSON.parse(await io.readFile(path)) as UdlCostTable;
305
- } catch (cause) {
306
- lastError = cause;
307
- }
308
- }
309
- throw lastError;
310
- }
311
-
312
- /** `file:line:col: severity [stage] message`, the shape editors already parse. */
313
- function diagnosticLines(
314
- file: string,
315
- result: CompileResult,
316
- ): readonly string[] {
317
- return result.diagnostics.map(
318
- (diagnostic) =>
319
- `${diagnostic.file ?? file}:${diagnostic.line}:${diagnostic.column}: ${diagnostic.severity} [${diagnostic.stage}] ${diagnostic.message}`,
320
- );
321
- }
322
-
323
- function messageOf(cause: unknown): string {
324
- return cause instanceof Error ? cause.message : String(cause);
325
- }
108
+ if (import.meta.main)
109
+ process.exitCode = await runCli(process.argv.slice(2), {
110
+ out: (line) => process.stdout.write(line + "\n"),
111
+ err: (line) => process.stderr.write(line + "\n"),
112
+ readFile: (path) => readFile(path, "utf8"),
113
+ writeFile: (path, text) => writeFile(path, text, "utf8"),
114
+ });