@hyperscale0/hsx 2.2.1 → 2.4.0

package/dist/src/version.d.ts

@@ -1,5 +1,5 @@
 /** Package version reported by the command line. */
-export declare const HSX_VERSION = "2.2.1";
+export declare const HSX_VERSION = "2.4.0";
 /** Canonical UDL contract version emitted by this compiler. */
 export declare const HSX_TARGET_UDL_VERSION = 1;
 //# sourceMappingURL=version.d.ts.map

package/dist/src/version.js

@@ -1,5 +1,5 @@
 /** Package version reported by the command line. */
-export const HSX_VERSION = "2.2.1";
+export const HSX_VERSION = "2.4.0";
 /** Canonical UDL contract version emitted by this compiler. */
 export const HSX_TARGET_UDL_VERSION = 1;
 //# sourceMappingURL=version.js.map

package/docs/guide/03-instruments.md

@@ -45,6 +45,23 @@ with `column: role` and `values: [...]`. There is no shorter role annotation.
 A bare `customerAccountId: account<SAR>;` compiles as HSX but does not satisfy
 the host's account-role admission law.
 
+## Money fields
+
+A `money<C>` field admits a minor-unit integer string and refuses zero: it lowers to the pattern `^[1-9][0-9]{0,17}$`. Marking the field `optional: true` lets a caller omit it; it does not let a caller send `"0"`. When zero is a real value for the field, opt in with `allow_zero: true`, which lowers to `^(0|[1-9][0-9]{0,17})$`:
+
+```hsx
+fields {
+  amount: money<SAR>;
+  discount { type: money<SAR>; optional: true; allow_zero: true; }
+}
+```
+
+`allow_zero` on any other type is HSX1105. Decision port shapes set it on their money fields, because a decided amount may be zero.
+
+## Date fields
+
+A `date` field lowers to the UDL `hyperscale-date-time` format. Callers may send any RFC 3339 offset, such as `2026-10-03T09:00:00+03:00`; the host admits it and stores the UTC instant, `2026-10-03T06:00:00.000Z`. A value already in `Z` is stored byte for byte. A local date-time without an offset is refused.
+
 ## Port declarations and action clauses
 
 HSX supports two distinct port syntaxes depending on scope:

package/docs/llms-full.txt

@@ -1,4 +1,4 @@
-<!-- Generated by scripts/docs/build.ts for HSX 2.2.1. Do not edit. -->
+<!-- Generated by scripts/docs/build.ts for HSX 2.4.0. Do not edit. -->
 
 # HSX full documentation
 
@@ -100,6 +100,23 @@ with `column: role` and `values: [...]`. There is no shorter role annotation.
 A bare `customerAccountId: account<SAR>;` compiles as HSX but does not satisfy
 the host's account-role admission law.
 
+## Money fields
+
+A `money<C>` field admits a minor-unit integer string and refuses zero: it lowers to the pattern `^[1-9][0-9]{0,17}$`. Marking the field `optional: true` lets a caller omit it; it does not let a caller send `"0"`. When zero is a real value for the field, opt in with `allow_zero: true`, which lowers to `^(0|[1-9][0-9]{0,17})$`:
+
+```hsx
+fields {
+  amount: money<SAR>;
+  discount { type: money<SAR>; optional: true; allow_zero: true; }
+}
+```
+
+`allow_zero` on any other type is HSX1105. Decision port shapes set it on their money fields, because a decided amount may be zero.
+
+## Date fields
+
+A `date` field lowers to the UDL `hyperscale-date-time` format. Callers may send any RFC 3339 offset, such as `2026-10-03T09:00:00+03:00`; the host admits it and stores the UTC instant, `2026-10-03T06:00:00.000Z`. A value already in `Z` is stored byte for byte. A local date-time without an offset is refused.
+
 ## Port declarations and action clauses
 
 HSX supports two distinct port syntaxes depending on scope:
@@ -439,7 +456,7 @@ Exit code `0` means the command accepted the program. Exit code `1` means compil
 # CLI
 
 ```text
-hsx 2.2.1, the HSX compiler
+hsx 2.4.0, the HSX compiler
 
 Usage:
   hsx check <file.hsx> [--catalog <catalog.udl>] [--strict]
@@ -877,6 +894,26 @@ instrument probe {
 }
 ```
 
+## HSX1105: allow_zero needs a money field
+
+Stage: `typecheck`
+
+Fix: Put allow_zero: true on a money field, or remove it; amounts are strictly positive unless a money field opts in.
+
+```hsx expect=HSX1105
+program catalog_probe "Catalog probe"
+instrument probe {
+  agent_description: "Probe instrument for catalog diagnostics.";
+  fields { memo { type: text; allow_zero: true; } }
+  lifecycle { states created; initial created; }
+  action create {
+    agent_description: "Create a probe instance.";
+    steps: [];
+  }
+  
+}
+```
+
 ## HSX1110: Unsupported parameter combination
 
 Stage: `typecheck`
@@ -1365,7 +1402,7 @@ The parser is hand-written. This page records the exported lexer vocabulary, the
 
 ## Typed clause spellings
 
-`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`
+`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`
 
 ## Standard-library modules
 
@@ -1531,6 +1568,7 @@ Source: [`std/money_flows/cancellable_booking.hsx`](../../../std/money_flows/can
 | `tax_bps` | `optional<integer>` | No | tax_bps applies to margin after the supplier share. |
 | `authority_type` | `optional<text>` | No | authority_type and supplier_role bind release to a consumed confirmation decision. |
 | `supplier_role` | `optional<text>` | No | authority_type and supplier_role bind release to a consumed confirmation decision. |
+| `collects` | `optional<json>` | No | collects optionally cascades named actions to linked instruments on deposit. |
 
 Required means required by the template signature. A selected mode may also need parameters marked optional; the guidance below describes those combinations.
 
@@ -1596,6 +1634,7 @@ deposit policy. Omit it to return the deposit; a full-refund band also returns i
 the deposit. balance_before and confirmation_window are positive fixed durations
 relative to departure. tax_bps applies to margin after the supplier share.
 authority_type and supplier_role bind release to a consumed confirmation decision.
+collects optionally cascades named actions to linked instruments on deposit.
 acceptance optionally supplies an aggregate gate. All actions are private until
 expose selects them. Ordered band starts and deadlines prevent a late sweep from
 extending an earlier band's cancellation rights. Full timeout refund returns price.
@@ -1607,6 +1646,7 @@ fixed duration; omitting the direction adds it. Invalid dates or durations refus
 
 - `agent description`
 - `caller parked states`
+- `cascade`
 - `commit`
 - `deadline`
 - `description`
@@ -1643,7 +1683,7 @@ None.
 | `confirm` | `agent description`, `commit`, `moves`, `steps`, `summary` |
 | `retain` | `agent description`, `moves`, `steps`, `summary` |
 | `create` | `agent description`, `deadline`, `steps`, `unique` |
-| `deposit` | `agent description`, `deadline`, `moves`, `port`, `steps` |
+| `deposit` | `agent description`, `cascade`, `deadline`, `moves`, `port`, `steps` |
 | `expire` | `agent description`, `due`, `requires drained`, `steps` |
 | `[balance_action]` | `agent description`, `deadline`, `moves`, `port`, `steps` |
 | `[open_action]` | `agent description`, `due`, `steps` |
@@ -3614,6 +3654,23 @@ with `column: role` and `values: [...]`. There is no shorter role annotation.
 A bare `customerAccountId: account<SAR>;` compiles as HSX but does not satisfy
 the host's account-role admission law.
 
+## Money fields
+
+A `money<C>` field admits a minor-unit integer string and refuses zero: it lowers to the pattern `^[1-9][0-9]{0,17}$`. Marking the field `optional: true` lets a caller omit it; it does not let a caller send `"0"`. When zero is a real value for the field, opt in with `allow_zero: true`, which lowers to `^(0|[1-9][0-9]{0,17})$`:
+
+```hsx
+fields {
+  amount: money<SAR>;
+  discount { type: money<SAR>; optional: true; allow_zero: true; }
+}
+```
+
+`allow_zero` on any other type is HSX1105. Decision port shapes set it on their money fields, because a decided amount may be zero.
+
+## Date fields
+
+A `date` field lowers to the UDL `hyperscale-date-time` format. Callers may send any RFC 3339 offset, such as `2026-10-03T09:00:00+03:00`; the host admits it and stores the UTC instant, `2026-10-03T06:00:00.000Z`. A value already in `Z` is stored byte for byte. A local date-time without an offset is refused.
+
 # UDL output
 
 An accepted compile returns three artifacts.

package/docs/llms.txt

@@ -1,8 +1,8 @@
-<!-- Generated by scripts/docs/build.ts for HSX 2.2.1. Do not edit. -->
+<!-- Generated by scripts/docs/build.ts for HSX 2.4.0. Do not edit. -->
 
 # HSX documentation
 
-> Repository guide and generated compiler reference for HSX 2.2.1.
+> Repository guide and generated compiler reference for HSX 2.4.0.
 
 ## Guide
 

package/docs/reference/cli.md

@@ -1,9 +1,9 @@
-<!-- Generated by scripts/docs/build.ts for HSX 2.2.1. Do not edit. -->
+<!-- Generated by scripts/docs/build.ts for HSX 2.4.0. Do not edit. -->
 
 # CLI
 
 ```text
-hsx 2.2.1, the HSX compiler
+hsx 2.4.0, the HSX compiler
 
 Usage:
   hsx check <file.hsx> [--catalog <catalog.udl>] [--strict]

package/docs/reference/diagnostics.md

@@ -1,4 +1,4 @@
-<!-- Generated by scripts/docs/build.ts for HSX 2.2.1. Do not edit. -->
+<!-- Generated by scripts/docs/build.ts for HSX 2.4.0. Do not edit. -->
 
 # Diagnostics
 
@@ -406,6 +406,26 @@ instrument probe {
 }
 ```
 
+## HSX1105: allow_zero needs a money field
+
+Stage: `typecheck`
+
+Fix: Put allow_zero: true on a money field, or remove it; amounts are strictly positive unless a money field opts in.
+
+```hsx expect=HSX1105
+program catalog_probe "Catalog probe"
+instrument probe {
+  agent_description: "Probe instrument for catalog diagnostics.";
+  fields { memo { type: text; allow_zero: true; } }
+  lifecycle { states created; initial created; }
+  action create {
+    agent_description: "Create a probe instance.";
+    steps: [];
+  }
+  
+}
+```
+
 ## HSX1110: Unsupported parameter combination
 
 Stage: `typecheck`

package/docs/reference/grammar.md

@@ -1,4 +1,4 @@
-<!-- Generated by scripts/docs/build.ts for HSX 2.2.1. Do not edit. -->
+<!-- Generated by scripts/docs/build.ts for HSX 2.4.0. Do not edit. -->
 
 # Grammar vocabulary
 
@@ -14,7 +14,7 @@ The parser is hand-written. This page records the exported lexer vocabulary, the
 
 ## Typed clause spellings
 
-`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`
+`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`
 
 ## Standard-library modules
 

package/docs/reference/std/advance.md

@@ -1,4 +1,4 @@
-<!-- Generated by scripts/docs/build.ts for HSX 2.2.1. Do not edit. -->
+<!-- Generated by scripts/docs/build.ts for HSX 2.4.0. Do not edit. -->
 
 # advance
 

package/docs/reference/std/cancellable_booking.md

@@ -1,4 +1,4 @@
-<!-- Generated by scripts/docs/build.ts for HSX 2.2.1. Do not edit. -->
+<!-- Generated by scripts/docs/build.ts for HSX 2.4.0. Do not edit. -->
 
 # cancellable_booking
 
@@ -32,6 +32,7 @@ Source: [`std/money_flows/cancellable_booking.hsx`](../../../std/money_flows/can
 | `tax_bps` | `optional<integer>` | No | tax_bps applies to margin after the supplier share. |
 | `authority_type` | `optional<text>` | No | authority_type and supplier_role bind release to a consumed confirmation decision. |
 | `supplier_role` | `optional<text>` | No | authority_type and supplier_role bind release to a consumed confirmation decision. |
+| `collects` | `optional<json>` | No | collects optionally cascades named actions to linked instruments on deposit. |
 
 Required means required by the template signature. A selected mode may also need parameters marked optional; the guidance below describes those combinations.
 
@@ -97,6 +98,7 @@ deposit policy. Omit it to return the deposit; a full-refund band also returns i
 the deposit. balance_before and confirmation_window are positive fixed durations
 relative to departure. tax_bps applies to margin after the supplier share.
 authority_type and supplier_role bind release to a consumed confirmation decision.
+collects optionally cascades named actions to linked instruments on deposit.
 acceptance optionally supplies an aggregate gate. All actions are private until
 expose selects them. Ordered band starts and deadlines prevent a late sweep from
 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
 
 - `agent description`
 - `caller parked states`
+- `cascade`
 - `commit`
 - `deadline`
 - `description`
@@ -144,7 +147,7 @@ None.
 | `confirm` | `agent description`, `commit`, `moves`, `steps`, `summary` |
 | `retain` | `agent description`, `moves`, `steps`, `summary` |
 | `create` | `agent description`, `deadline`, `steps`, `unique` |
-| `deposit` | `agent description`, `deadline`, `moves`, `port`, `steps` |
+| `deposit` | `agent description`, `cascade`, `deadline`, `moves`, `port`, `steps` |
 | `expire` | `agent description`, `due`, `requires drained`, `steps` |
 | `[balance_action]` | `agent description`, `deadline`, `moves`, `port`, `steps` |
 | `[open_action]` | `agent description`, `due`, `steps` |

package/docs/reference/std/captured_payment.md

@@ -1,4 +1,4 @@
-<!-- Generated by scripts/docs/build.ts for HSX 2.2.1. Do not edit. -->
+<!-- Generated by scripts/docs/build.ts for HSX 2.4.0. Do not edit. -->
 
 # captured_payment
 

package/docs/reference/std/conditional_disbursement.md

@@ -1,4 +1,4 @@
-<!-- Generated by scripts/docs/build.ts for HSX 2.2.1. Do not edit. -->
+<!-- Generated by scripts/docs/build.ts for HSX 2.4.0. Do not edit. -->
 
 # conditional_disbursement
 

package/docs/reference/std/credit_facility.md

@@ -1,4 +1,4 @@
-<!-- Generated by scripts/docs/build.ts for HSX 2.2.1. Do not edit. -->
+<!-- Generated by scripts/docs/build.ts for HSX 2.4.0. Do not edit. -->
 
 # credit_facility
 

package/docs/reference/std/held_payment.md

@@ -1,4 +1,4 @@
-<!-- Generated by scripts/docs/build.ts for HSX 2.2.1. Do not edit. -->
+<!-- Generated by scripts/docs/build.ts for HSX 2.4.0. Do not edit. -->
 
 # held_payment
 

package/docs/reference/std/instant_transfer.md

@@ -1,4 +1,4 @@
-<!-- Generated by scripts/docs/build.ts for HSX 2.2.1. Do not edit. -->
+<!-- Generated by scripts/docs/build.ts for HSX 2.4.0. Do not edit. -->
 
 # instant_transfer
 

package/docs/reference/std/metered.md

@@ -1,4 +1,4 @@
-<!-- Generated by scripts/docs/build.ts for HSX 2.2.1. Do not edit. -->
+<!-- Generated by scripts/docs/build.ts for HSX 2.4.0. Do not edit. -->
 
 # metered
 

package/docs/reference/std/pooled_split.md

@@ -1,4 +1,4 @@
-<!-- Generated by scripts/docs/build.ts for HSX 2.2.1. Do not edit. -->
+<!-- Generated by scripts/docs/build.ts for HSX 2.4.0. Do not edit. -->
 
 # pooled_split
 

package/docs/reference/std/premium_forward.md

@@ -1,4 +1,4 @@
-<!-- Generated by scripts/docs/build.ts for HSX 2.2.1. Do not edit. -->
+<!-- Generated by scripts/docs/build.ts for HSX 2.4.0. Do not edit. -->
 
 # premium_forward
 

package/docs/reference/std/reconciled_payout.md

@@ -1,4 +1,4 @@
-<!-- Generated by scripts/docs/build.ts for HSX 2.2.1. Do not edit. -->
+<!-- Generated by scripts/docs/build.ts for HSX 2.4.0. Do not edit. -->
 
 # reconciled_payout
 

package/docs/reference/std/rotating_pool.md

@@ -1,4 +1,4 @@
-<!-- Generated by scripts/docs/build.ts for HSX 2.2.1. Do not edit. -->
+<!-- Generated by scripts/docs/build.ts for HSX 2.4.0. Do not edit. -->
 
 # rotating_pool
 

package/docs/reference/std/scheduled.md

@@ -1,4 +1,4 @@
-<!-- Generated by scripts/docs/build.ts for HSX 2.2.1. Do not edit. -->
+<!-- Generated by scripts/docs/build.ts for HSX 2.4.0. Do not edit. -->
 
 # scheduled
 

package/docs/reference/std/security_deposit.md

@@ -1,4 +1,4 @@
-<!-- Generated by scripts/docs/build.ts for HSX 2.2.1. Do not edit. -->
+<!-- Generated by scripts/docs/build.ts for HSX 2.4.0. Do not edit. -->
 
 # security_deposit
 

package/docs/reference/std/settlement_batch.md

@@ -1,4 +1,4 @@
-<!-- Generated by scripts/docs/build.ts for HSX 2.2.1. Do not edit. -->
+<!-- Generated by scripts/docs/build.ts for HSX 2.4.0. Do not edit. -->
 
 # settlement_batch
 

package/docs/reference/std/swap.md

@@ -1,4 +1,4 @@
-<!-- Generated by scripts/docs/build.ts for HSX 2.2.1. Do not edit. -->
+<!-- Generated by scripts/docs/build.ts for HSX 2.4.0. Do not edit. -->
 
 # swap
 

package/docs/reference/std/threshold_pool.md

@@ -1,4 +1,4 @@
-<!-- Generated by scripts/docs/build.ts for HSX 2.2.1. Do not edit. -->
+<!-- Generated by scripts/docs/build.ts for HSX 2.4.0. Do not edit. -->
 
 # threshold_pool
 

package/docs/reference/std/weighted_distribution.md

@@ -1,4 +1,4 @@
-<!-- Generated by scripts/docs/build.ts for HSX 2.2.1. Do not edit. -->
+<!-- Generated by scripts/docs/build.ts for HSX 2.4.0. Do not edit. -->
 
 # weighted_distribution
 

package/docs/reference/types.md

@@ -1,4 +1,4 @@
-<!-- Generated by scripts/docs/build.ts for HSX 2.2.1. Do not edit. -->
+<!-- Generated by scripts/docs/build.ts for HSX 2.4.0. Do not edit. -->
 
 # Types
 
@@ -42,3 +42,20 @@ Use the quoted `"x-hyperscale-reference-filter"` key inside the field block,
 with `column: role` and `values: [...]`. There is no shorter role annotation.
 A bare `customerAccountId: account<SAR>;` compiles as HSX but does not satisfy
 the host's account-role admission law.
+
+## Money fields
+
+A `money<C>` field admits a minor-unit integer string and refuses zero: it lowers to the pattern `^[1-9][0-9]{0,17}$`. Marking the field `optional: true` lets a caller omit it; it does not let a caller send `"0"`. When zero is a real value for the field, opt in with `allow_zero: true`, which lowers to `^(0|[1-9][0-9]{0,17})$`:
+
+```hsx
+fields {
+  amount: money<SAR>;
+  discount { type: money<SAR>; optional: true; allow_zero: true; }
+}
+```
+
+`allow_zero` on any other type is HSX1105. Decision port shapes set it on their money fields, because a decided amount may be zero.
+
+## Date fields
+
+A `date` field lowers to the UDL `hyperscale-date-time` format. Callers may send any RFC 3339 offset, such as `2026-10-03T09:00:00+03:00`; the host admits it and stores the UTC instant, `2026-10-03T06:00:00.000Z`. A value already in `Z` is stored byte for byte. A local date-time without an offset is refused.

package/docs/reference/udl-output.md

@@ -1,4 +1,4 @@
-<!-- Generated by scripts/docs/build.ts for HSX 2.2.1. Do not edit. -->
+<!-- Generated by scripts/docs/build.ts for HSX 2.4.0. Do not edit. -->
 
 # UDL output
 

package/examples/cancellable_booking/cancellable_booking.udl

@@ -389,6 +389,7 @@
           "authorityType": false,
           "balanceBefore": false,
           "cancelBands": false,
+          "collects": false,
           "confirmationWindow": false,
           "departure": false,
           "depositBps": false,

package/examples/cost-table.json

@@ -21,7 +21,7 @@
       "verification.kyc.investment.count",
       "verification.kyc.standard.count"
     ],
-    "effectiveTableDigest": "4273afec16c56ae97282eda8a0a349b006b0e7f41a49d4dbebda3172e449cb58",
+    "effectiveTableDigest": "9b5320cba0645fdc2e736873e47aeff7740211869698ab3d12fcd3c51e153b17",
     "fixed": {
       "activationBaseMinor": "500000",
       "activationPerPointMinor": "100000",
@@ -72,6 +72,14 @@
         "settlement": "invoice",
         "signature": "decides.banking_or_card_issuing"
       },
+      {
+        "bps": 0,
+        "meter": "instrument.event.count",
+        "payer": "product",
+        "perEventMinor": "0",
+        "settlement": "invoice",
+        "signature": "decides.cascade_transition"
+      },
       {
         "bps": 0,
         "meter": "instrument.event.count",
@@ -439,7 +447,7 @@
       "verification.kyc.investment.count",
       "verification.kyc.standard.count"
     ],
-    "effectiveTableDigest": "88c0a5ae2f12de977d156a04a32cdecbad107076bc74a1b8398239c590f3eb0a",
+    "effectiveTableDigest": "e75a41ea689c621d41fa563963b2a8822ea54aff9ce756eb2f60aa0dc420dca2",
     "fixed": {
       "activationBaseMinor": "133300",
       "activationPerPointMinor": "26700",
@@ -490,6 +498,14 @@
         "settlement": "invoice",
         "signature": "decides.banking_or_card_issuing"
       },
+      {
+        "bps": 0,
+        "meter": "instrument.event.count",
+        "payer": "product",
+        "perEventMinor": "0",
+        "settlement": "invoice",
+        "signature": "decides.cascade_transition"
+      },
       {
         "bps": 0,
         "meter": "instrument.event.count",
@@ -857,7 +873,7 @@
       "verification.kyc.investment.count",
       "verification.kyc.standard.count"
     ],
-    "effectiveTableDigest": "004d1a8156aac9cd7cb789f36f6abef508ea304327703ba12844b65b66f03ab2",
+    "effectiveTableDigest": "905ffe63c1d5e9af686e0be18cd156af159f79c4cc16ad74db8880b6126cb1cf",
     "fixed": {
       "activationBaseMinor": "125000",
       "activationPerPointMinor": "25000",
@@ -908,6 +924,14 @@
         "settlement": "invoice",
         "signature": "decides.banking_or_card_issuing"
       },
+      {
+        "bps": 0,
+        "meter": "instrument.event.count",
+        "payer": "product",
+        "perEventMinor": "0",
+        "settlement": "invoice",
+        "signature": "decides.cascade_transition"
+      },
       {
         "bps": 0,
         "meter": "instrument.event.count",
@@ -1275,7 +1299,7 @@
       "verification.kyc.investment.count",
       "verification.kyc.standard.count"
     ],
-    "effectiveTableDigest": "72155c0ce9eb3157f87b7f613bb3f05b3ab50a91248c9260e1b2ceae6b199286",
+    "effectiveTableDigest": "8b549d4054638116b4a42156cdcf8bf01f3fa50b6891ef0f4718d7922ae0ccf0",
     "fixed": {
       "activationBaseMinor": "104200",
       "activationPerPointMinor": "20800",
@@ -1326,6 +1350,14 @@
         "settlement": "invoice",
         "signature": "decides.banking_or_card_issuing"
       },
+      {
+        "bps": 0,
+        "meter": "instrument.event.count",
+        "payer": "product",
+        "perEventMinor": "0",
+        "settlement": "invoice",
+        "signature": "decides.cascade_transition"
+      },
       {
         "bps": 0,
         "meter": "instrument.event.count",

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@hyperscale0/hsx",
-  "version": "2.2.1",
+  "version": "2.4.0",
   "description": "The strictly typed HSX language: compile total financial programs into canonical UDL.",
   "keywords": [
     "hsx",
@@ -85,7 +85,7 @@
     "generate": "bun run std:bundle && bun run docs:build && bun run playground:build"
   },
   "dependencies": {
-    "@hyperscale0/udl": "2.4.0"
+    "@hyperscale0/udl": "2.6.0"
   },
   "devDependencies": {
     "bun-types": "1.4.2",
@@ -96,5 +96,5 @@
     "Amir Ayub",
     "Sara AlBakaawi"
   ],
-  "gitHead": "ea452e2225cddaaf17be584d4f3cbef6932de3e9"
+  "gitHead": "cd1e1ff5c188de94ff8bb0761cb3258746196bf2"
 }

package/src/diagnostics.ts

@@ -294,6 +294,13 @@ port pass_inspection { allowed: [seller] shape { invalidField: mystery_type } }`
     fix: "Pass the type declared by the parameter or UDL slot.",
     example: instrument("summary: money(SAR, 2500);"),
   },
+  {
+    code: "HSX1105",
+    stage: "typecheck",
+    title: "allow_zero needs a money field",
+    fix: "Put allow_zero: true on a money field, or remove it; amounts are strictly positive unless a money field opts in.",
+    example: instrument("", "memo { type: text; allow_zero: true; }"),
+  },
   {
     code: "HSX1110",
     stage: "typecheck",