@hyperscale0/hsx 2.3.0 → 2.4.1
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.
- package/CHANGELOG.md +15 -1
- package/dist/src/cli.d.ts +1 -1
- package/dist/src/std-bundle.js +1 -1
- package/dist/src/std-bundle.js.map +1 -1
- package/dist/src/typecheck.d.ts.map +1 -1
- package/dist/src/typecheck.js +118 -87
- package/dist/src/typecheck.js.map +1 -1
- package/dist/src/version.d.ts +1 -1
- package/dist/src/version.js +1 -1
- package/docs/llms-full.txt +7 -4
- package/docs/llms.txt +2 -2
- package/docs/reference/cli.md +2 -2
- package/docs/reference/diagnostics.md +1 -1
- package/docs/reference/grammar.md +2 -2
- package/docs/reference/std/advance.md +1 -1
- package/docs/reference/std/cancellable_booking.md +5 -2
- package/docs/reference/std/captured_payment.md +1 -1
- package/docs/reference/std/conditional_disbursement.md +1 -1
- package/docs/reference/std/credit_facility.md +1 -1
- package/docs/reference/std/held_payment.md +1 -1
- package/docs/reference/std/instant_transfer.md +1 -1
- package/docs/reference/std/metered.md +1 -1
- package/docs/reference/std/pooled_split.md +1 -1
- package/docs/reference/std/premium_forward.md +1 -1
- package/docs/reference/std/reconciled_payout.md +1 -1
- package/docs/reference/std/rotating_pool.md +1 -1
- package/docs/reference/std/scheduled.md +1 -1
- package/docs/reference/std/security_deposit.md +1 -1
- package/docs/reference/std/settlement_batch.md +1 -1
- package/docs/reference/std/swap.md +1 -1
- package/docs/reference/std/threshold_pool.md +1 -1
- package/docs/reference/std/weighted_distribution.md +1 -1
- package/docs/reference/types.md +1 -1
- package/docs/reference/udl-output.md +1 -1
- package/examples/cancellable_booking/cancellable_booking.udl +1 -0
- package/examples/cost-table.json +36 -4
- package/package.json +3 -3
- package/src/std-bundle.ts +1 -1
- package/src/typecheck.ts +225 -89
- package/src/version.ts +1 -1
- package/std/money_flows/cancellable_booking.hsx +3 -1
package/dist/src/version.d.ts
CHANGED
|
@@ -1,5 +1,5 @@
|
|
|
1
1
|
/** Package version reported by the command line. */
|
|
2
|
-
export declare const HSX_VERSION = "2.
|
|
2
|
+
export declare const HSX_VERSION = "2.4.1";
|
|
3
3
|
/** Canonical UDL contract version emitted by this compiler. */
|
|
4
4
|
export declare const HSX_TARGET_UDL_VERSION = 1;
|
|
5
5
|
//# sourceMappingURL=version.d.ts.map
|
package/dist/src/version.js
CHANGED
|
@@ -1,5 +1,5 @@
|
|
|
1
1
|
/** Package version reported by the command line. */
|
|
2
|
-
export const HSX_VERSION = "2.
|
|
2
|
+
export const HSX_VERSION = "2.4.1";
|
|
3
3
|
/** Canonical UDL contract version emitted by this compiler. */
|
|
4
4
|
export const HSX_TARGET_UDL_VERSION = 1;
|
|
5
5
|
//# sourceMappingURL=version.js.map
|
package/docs/llms-full.txt
CHANGED
|
@@ -1,4 +1,4 @@
|
|
|
1
|
-
<!-- Generated by scripts/docs/build.ts for HSX 2.
|
|
1
|
+
<!-- Generated by scripts/docs/build.ts for HSX 2.4.1. Do not edit. -->
|
|
2
2
|
|
|
3
3
|
# HSX full documentation
|
|
4
4
|
|
|
@@ -456,7 +456,7 @@ Exit code `0` means the command accepted the program. Exit code `1` means compil
|
|
|
456
456
|
# CLI
|
|
457
457
|
|
|
458
458
|
```text
|
|
459
|
-
hsx 2.
|
|
459
|
+
hsx 2.4.1, the HSX compiler
|
|
460
460
|
|
|
461
461
|
Usage:
|
|
462
462
|
hsx check <file.hsx> [--catalog <catalog.udl>] [--strict]
|
|
@@ -1402,7 +1402,7 @@ The parser is hand-written. This page records the exported lexer vocabulary, the
|
|
|
1402
1402
|
|
|
1403
1403
|
## Typed clause spellings
|
|
1404
1404
|
|
|
1405
|
-
`funding`, `receipt distribution`, `requires allocation`, `allocation`, `contributions`, `allocate`, `contribution stage`, `date order`, `unique`, `transitions refs`, `action library`, `agent description`, `calls`, `requires input`, `engine owned`, `capture engine`, `capture input`, `commit`, `quote`, `decided amount`, `deadline`, `decision`, `computes distribute`, `description`, `due`, `earnable`, `event name`, `examples`, `input`, `moves`, `payout`, `piece plan`, `piece stage`, `port`, `principal`, `public action`, `reconcile`, `computes remainder`, `requires aggregate`, `requires checks`, `requires drained`, `requires exposure`, `requires refs`, `sandbox failure point`, `sets at`, `computes signed_sum`, `steps`, `summary`, `updates`, `notify`, `agent description`, `aggregate invariants`, `caller parked states`, `description`, `dials`, `distinct parties`, `computes derived`, `computes fees`, `id prefix`, `nav`, `partitions`, `subject`, `summary`, `surface visibility`, `template binding`, `template id`, `title`, `update`, `request authority`
|
|
1405
|
+
`funding`, `receipt distribution`, `requires allocation`, `allocation`, `contributions`, `allocate`, `contribution stage`, `date order`, `unique`, `transitions refs`, `cascade`, `action library`, `agent description`, `calls`, `requires input`, `engine owned`, `capture engine`, `capture input`, `commit`, `quote`, `decided amount`, `deadline`, `decision`, `computes distribute`, `description`, `due`, `earnable`, `event name`, `examples`, `input`, `moves`, `payout`, `piece plan`, `piece stage`, `port`, `principal`, `public action`, `reconcile`, `computes remainder`, `requires aggregate`, `requires checks`, `requires drained`, `requires exposure`, `requires refs`, `sandbox failure point`, `sets at`, `computes signed_sum`, `steps`, `summary`, `updates`, `notify`, `agent description`, `aggregate invariants`, `caller parked states`, `description`, `dials`, `distinct parties`, `computes derived`, `computes fees`, `id prefix`, `nav`, `partitions`, `subject`, `summary`, `surface visibility`, `template binding`, `template id`, `title`, `update`, `request authority`
|
|
1406
1406
|
|
|
1407
1407
|
## Standard-library modules
|
|
1408
1408
|
|
|
@@ -1568,6 +1568,7 @@ Source: [`std/money_flows/cancellable_booking.hsx`](../../../std/money_flows/can
|
|
|
1568
1568
|
| `tax_bps` | `optional<integer>` | No | tax_bps applies to margin after the supplier share. |
|
|
1569
1569
|
| `authority_type` | `optional<text>` | No | authority_type and supplier_role bind release to a consumed confirmation decision. |
|
|
1570
1570
|
| `supplier_role` | `optional<text>` | No | authority_type and supplier_role bind release to a consumed confirmation decision. |
|
|
1571
|
+
| `collects` | `optional<json>` | No | collects optionally cascades named actions to linked instruments on deposit. |
|
|
1571
1572
|
|
|
1572
1573
|
Required means required by the template signature. A selected mode may also need parameters marked optional; the guidance below describes those combinations.
|
|
1573
1574
|
|
|
@@ -1633,6 +1634,7 @@ deposit policy. Omit it to return the deposit; a full-refund band also returns i
|
|
|
1633
1634
|
the deposit. balance_before and confirmation_window are positive fixed durations
|
|
1634
1635
|
relative to departure. tax_bps applies to margin after the supplier share.
|
|
1635
1636
|
authority_type and supplier_role bind release to a consumed confirmation decision.
|
|
1637
|
+
collects optionally cascades named actions to linked instruments on deposit.
|
|
1636
1638
|
acceptance optionally supplies an aggregate gate. All actions are private until
|
|
1637
1639
|
expose selects them. Ordered band starts and deadlines prevent a late sweep from
|
|
1638
1640
|
extending an earlier band's cancellation rights. Full timeout refund returns price.
|
|
@@ -1644,6 +1646,7 @@ fixed duration; omitting the direction adds it. Invalid dates or durations refus
|
|
|
1644
1646
|
|
|
1645
1647
|
- `agent description`
|
|
1646
1648
|
- `caller parked states`
|
|
1649
|
+
- `cascade`
|
|
1647
1650
|
- `commit`
|
|
1648
1651
|
- `deadline`
|
|
1649
1652
|
- `description`
|
|
@@ -1680,7 +1683,7 @@ None.
|
|
|
1680
1683
|
| `confirm` | `agent description`, `commit`, `moves`, `steps`, `summary` |
|
|
1681
1684
|
| `retain` | `agent description`, `moves`, `steps`, `summary` |
|
|
1682
1685
|
| `create` | `agent description`, `deadline`, `steps`, `unique` |
|
|
1683
|
-
| `deposit` | `agent description`, `deadline`, `moves`, `port`, `steps` |
|
|
1686
|
+
| `deposit` | `agent description`, `cascade`, `deadline`, `moves`, `port`, `steps` |
|
|
1684
1687
|
| `expire` | `agent description`, `due`, `requires drained`, `steps` |
|
|
1685
1688
|
| `[balance_action]` | `agent description`, `deadline`, `moves`, `port`, `steps` |
|
|
1686
1689
|
| `[open_action]` | `agent description`, `due`, `steps` |
|
package/docs/llms.txt
CHANGED
|
@@ -1,8 +1,8 @@
|
|
|
1
|
-
<!-- Generated by scripts/docs/build.ts for HSX 2.
|
|
1
|
+
<!-- Generated by scripts/docs/build.ts for HSX 2.4.1. Do not edit. -->
|
|
2
2
|
|
|
3
3
|
# HSX documentation
|
|
4
4
|
|
|
5
|
-
> Repository guide and generated compiler reference for HSX 2.
|
|
5
|
+
> Repository guide and generated compiler reference for HSX 2.4.1.
|
|
6
6
|
|
|
7
7
|
## Guide
|
|
8
8
|
|
package/docs/reference/cli.md
CHANGED
|
@@ -1,9 +1,9 @@
|
|
|
1
|
-
<!-- Generated by scripts/docs/build.ts for HSX 2.
|
|
1
|
+
<!-- Generated by scripts/docs/build.ts for HSX 2.4.1. Do not edit. -->
|
|
2
2
|
|
|
3
3
|
# CLI
|
|
4
4
|
|
|
5
5
|
```text
|
|
6
|
-
hsx 2.
|
|
6
|
+
hsx 2.4.1, the HSX compiler
|
|
7
7
|
|
|
8
8
|
Usage:
|
|
9
9
|
hsx check <file.hsx> [--catalog <catalog.udl>] [--strict]
|
|
@@ -1,4 +1,4 @@
|
|
|
1
|
-
<!-- Generated by scripts/docs/build.ts for HSX 2.
|
|
1
|
+
<!-- Generated by scripts/docs/build.ts for HSX 2.4.1. Do not edit. -->
|
|
2
2
|
|
|
3
3
|
# Grammar vocabulary
|
|
4
4
|
|
|
@@ -14,7 +14,7 @@ The parser is hand-written. This page records the exported lexer vocabulary, the
|
|
|
14
14
|
|
|
15
15
|
## Typed clause spellings
|
|
16
16
|
|
|
17
|
-
`funding`, `receipt distribution`, `requires allocation`, `allocation`, `contributions`, `allocate`, `contribution stage`, `date order`, `unique`, `transitions refs`, `action library`, `agent description`, `calls`, `requires input`, `engine owned`, `capture engine`, `capture input`, `commit`, `quote`, `decided amount`, `deadline`, `decision`, `computes distribute`, `description`, `due`, `earnable`, `event name`, `examples`, `input`, `moves`, `payout`, `piece plan`, `piece stage`, `port`, `principal`, `public action`, `reconcile`, `computes remainder`, `requires aggregate`, `requires checks`, `requires drained`, `requires exposure`, `requires refs`, `sandbox failure point`, `sets at`, `computes signed_sum`, `steps`, `summary`, `updates`, `notify`, `agent description`, `aggregate invariants`, `caller parked states`, `description`, `dials`, `distinct parties`, `computes derived`, `computes fees`, `id prefix`, `nav`, `partitions`, `subject`, `summary`, `surface visibility`, `template binding`, `template id`, `title`, `update`, `request authority`
|
|
17
|
+
`funding`, `receipt distribution`, `requires allocation`, `allocation`, `contributions`, `allocate`, `contribution stage`, `date order`, `unique`, `transitions refs`, `cascade`, `action library`, `agent description`, `calls`, `requires input`, `engine owned`, `capture engine`, `capture input`, `commit`, `quote`, `decided amount`, `deadline`, `decision`, `computes distribute`, `description`, `due`, `earnable`, `event name`, `examples`, `input`, `moves`, `payout`, `piece plan`, `piece stage`, `port`, `principal`, `public action`, `reconcile`, `computes remainder`, `requires aggregate`, `requires checks`, `requires drained`, `requires exposure`, `requires refs`, `sandbox failure point`, `sets at`, `computes signed_sum`, `steps`, `summary`, `updates`, `notify`, `agent description`, `aggregate invariants`, `caller parked states`, `description`, `dials`, `distinct parties`, `computes derived`, `computes fees`, `id prefix`, `nav`, `partitions`, `subject`, `summary`, `surface visibility`, `template binding`, `template id`, `title`, `update`, `request authority`
|
|
18
18
|
|
|
19
19
|
## Standard-library modules
|
|
20
20
|
|
|
@@ -1,4 +1,4 @@
|
|
|
1
|
-
<!-- Generated by scripts/docs/build.ts for HSX 2.
|
|
1
|
+
<!-- Generated by scripts/docs/build.ts for HSX 2.4.1. Do not edit. -->
|
|
2
2
|
|
|
3
3
|
# cancellable_booking
|
|
4
4
|
|
|
@@ -32,6 +32,7 @@ Source: [`std/money_flows/cancellable_booking.hsx`](../../../std/money_flows/can
|
|
|
32
32
|
| `tax_bps` | `optional<integer>` | No | tax_bps applies to margin after the supplier share. |
|
|
33
33
|
| `authority_type` | `optional<text>` | No | authority_type and supplier_role bind release to a consumed confirmation decision. |
|
|
34
34
|
| `supplier_role` | `optional<text>` | No | authority_type and supplier_role bind release to a consumed confirmation decision. |
|
|
35
|
+
| `collects` | `optional<json>` | No | collects optionally cascades named actions to linked instruments on deposit. |
|
|
35
36
|
|
|
36
37
|
Required means required by the template signature. A selected mode may also need parameters marked optional; the guidance below describes those combinations.
|
|
37
38
|
|
|
@@ -97,6 +98,7 @@ deposit policy. Omit it to return the deposit; a full-refund band also returns i
|
|
|
97
98
|
the deposit. balance_before and confirmation_window are positive fixed durations
|
|
98
99
|
relative to departure. tax_bps applies to margin after the supplier share.
|
|
99
100
|
authority_type and supplier_role bind release to a consumed confirmation decision.
|
|
101
|
+
collects optionally cascades named actions to linked instruments on deposit.
|
|
100
102
|
acceptance optionally supplies an aggregate gate. All actions are private until
|
|
101
103
|
expose selects them. Ordered band starts and deadlines prevent a late sweep from
|
|
102
104
|
extending an earlier band's cancellation rights. Full timeout refund returns price.
|
|
@@ -108,6 +110,7 @@ fixed duration; omitting the direction adds it. Invalid dates or durations refus
|
|
|
108
110
|
|
|
109
111
|
- `agent description`
|
|
110
112
|
- `caller parked states`
|
|
113
|
+
- `cascade`
|
|
111
114
|
- `commit`
|
|
112
115
|
- `deadline`
|
|
113
116
|
- `description`
|
|
@@ -144,7 +147,7 @@ None.
|
|
|
144
147
|
| `confirm` | `agent description`, `commit`, `moves`, `steps`, `summary` |
|
|
145
148
|
| `retain` | `agent description`, `moves`, `steps`, `summary` |
|
|
146
149
|
| `create` | `agent description`, `deadline`, `steps`, `unique` |
|
|
147
|
-
| `deposit` | `agent description`, `deadline`, `moves`, `port`, `steps` |
|
|
150
|
+
| `deposit` | `agent description`, `cascade`, `deadline`, `moves`, `port`, `steps` |
|
|
148
151
|
| `expire` | `agent description`, `due`, `requires drained`, `steps` |
|
|
149
152
|
| `[balance_action]` | `agent description`, `deadline`, `moves`, `port`, `steps` |
|
|
150
153
|
| `[open_action]` | `agent description`, `due`, `steps` |
|
package/docs/reference/types.md
CHANGED
package/examples/cost-table.json
CHANGED
|
@@ -21,7 +21,7 @@
|
|
|
21
21
|
"verification.kyc.investment.count",
|
|
22
22
|
"verification.kyc.standard.count"
|
|
23
23
|
],
|
|
24
|
-
"effectiveTableDigest": "
|
|
24
|
+
"effectiveTableDigest": "9b5320cba0645fdc2e736873e47aeff7740211869698ab3d12fcd3c51e153b17",
|
|
25
25
|
"fixed": {
|
|
26
26
|
"activationBaseMinor": "500000",
|
|
27
27
|
"activationPerPointMinor": "100000",
|
|
@@ -72,6 +72,14 @@
|
|
|
72
72
|
"settlement": "invoice",
|
|
73
73
|
"signature": "decides.banking_or_card_issuing"
|
|
74
74
|
},
|
|
75
|
+
{
|
|
76
|
+
"bps": 0,
|
|
77
|
+
"meter": "instrument.event.count",
|
|
78
|
+
"payer": "product",
|
|
79
|
+
"perEventMinor": "0",
|
|
80
|
+
"settlement": "invoice",
|
|
81
|
+
"signature": "decides.cascade_transition"
|
|
82
|
+
},
|
|
75
83
|
{
|
|
76
84
|
"bps": 0,
|
|
77
85
|
"meter": "instrument.event.count",
|
|
@@ -439,7 +447,7 @@
|
|
|
439
447
|
"verification.kyc.investment.count",
|
|
440
448
|
"verification.kyc.standard.count"
|
|
441
449
|
],
|
|
442
|
-
"effectiveTableDigest": "
|
|
450
|
+
"effectiveTableDigest": "e75a41ea689c621d41fa563963b2a8822ea54aff9ce756eb2f60aa0dc420dca2",
|
|
443
451
|
"fixed": {
|
|
444
452
|
"activationBaseMinor": "133300",
|
|
445
453
|
"activationPerPointMinor": "26700",
|
|
@@ -490,6 +498,14 @@
|
|
|
490
498
|
"settlement": "invoice",
|
|
491
499
|
"signature": "decides.banking_or_card_issuing"
|
|
492
500
|
},
|
|
501
|
+
{
|
|
502
|
+
"bps": 0,
|
|
503
|
+
"meter": "instrument.event.count",
|
|
504
|
+
"payer": "product",
|
|
505
|
+
"perEventMinor": "0",
|
|
506
|
+
"settlement": "invoice",
|
|
507
|
+
"signature": "decides.cascade_transition"
|
|
508
|
+
},
|
|
493
509
|
{
|
|
494
510
|
"bps": 0,
|
|
495
511
|
"meter": "instrument.event.count",
|
|
@@ -857,7 +873,7 @@
|
|
|
857
873
|
"verification.kyc.investment.count",
|
|
858
874
|
"verification.kyc.standard.count"
|
|
859
875
|
],
|
|
860
|
-
"effectiveTableDigest": "
|
|
876
|
+
"effectiveTableDigest": "905ffe63c1d5e9af686e0be18cd156af159f79c4cc16ad74db8880b6126cb1cf",
|
|
861
877
|
"fixed": {
|
|
862
878
|
"activationBaseMinor": "125000",
|
|
863
879
|
"activationPerPointMinor": "25000",
|
|
@@ -908,6 +924,14 @@
|
|
|
908
924
|
"settlement": "invoice",
|
|
909
925
|
"signature": "decides.banking_or_card_issuing"
|
|
910
926
|
},
|
|
927
|
+
{
|
|
928
|
+
"bps": 0,
|
|
929
|
+
"meter": "instrument.event.count",
|
|
930
|
+
"payer": "product",
|
|
931
|
+
"perEventMinor": "0",
|
|
932
|
+
"settlement": "invoice",
|
|
933
|
+
"signature": "decides.cascade_transition"
|
|
934
|
+
},
|
|
911
935
|
{
|
|
912
936
|
"bps": 0,
|
|
913
937
|
"meter": "instrument.event.count",
|
|
@@ -1275,7 +1299,7 @@
|
|
|
1275
1299
|
"verification.kyc.investment.count",
|
|
1276
1300
|
"verification.kyc.standard.count"
|
|
1277
1301
|
],
|
|
1278
|
-
"effectiveTableDigest": "
|
|
1302
|
+
"effectiveTableDigest": "8b549d4054638116b4a42156cdcf8bf01f3fa50b6891ef0f4718d7922ae0ccf0",
|
|
1279
1303
|
"fixed": {
|
|
1280
1304
|
"activationBaseMinor": "104200",
|
|
1281
1305
|
"activationPerPointMinor": "20800",
|
|
@@ -1326,6 +1350,14 @@
|
|
|
1326
1350
|
"settlement": "invoice",
|
|
1327
1351
|
"signature": "decides.banking_or_card_issuing"
|
|
1328
1352
|
},
|
|
1353
|
+
{
|
|
1354
|
+
"bps": 0,
|
|
1355
|
+
"meter": "instrument.event.count",
|
|
1356
|
+
"payer": "product",
|
|
1357
|
+
"perEventMinor": "0",
|
|
1358
|
+
"settlement": "invoice",
|
|
1359
|
+
"signature": "decides.cascade_transition"
|
|
1360
|
+
},
|
|
1329
1361
|
{
|
|
1330
1362
|
"bps": 0,
|
|
1331
1363
|
"meter": "instrument.event.count",
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@hyperscale0/hsx",
|
|
3
|
-
"version": "2.
|
|
3
|
+
"version": "2.4.1",
|
|
4
4
|
"description": "The strictly typed HSX language: compile total financial programs into canonical UDL.",
|
|
5
5
|
"keywords": [
|
|
6
6
|
"hsx",
|
|
@@ -85,7 +85,7 @@
|
|
|
85
85
|
"generate": "bun run std:bundle && bun run docs:build && bun run playground:build"
|
|
86
86
|
},
|
|
87
87
|
"dependencies": {
|
|
88
|
-
"@hyperscale0/udl": "2.
|
|
88
|
+
"@hyperscale0/udl": "2.6.0"
|
|
89
89
|
},
|
|
90
90
|
"devDependencies": {
|
|
91
91
|
"bun-types": "1.4.2",
|
|
@@ -96,5 +96,5 @@
|
|
|
96
96
|
"Amir Ayub",
|
|
97
97
|
"Sara AlBakaawi"
|
|
98
98
|
],
|
|
99
|
-
"gitHead": "
|
|
99
|
+
"gitHead": "0b840277c3cc73b5b4ca6d2c322d75c294524d29"
|
|
100
100
|
}
|