@hyperscale0/hsx 2.0.0 → 2.0.1

package/dist/src/version.d.ts

@@ -1,5 +1,5 @@
 /** Package version reported by the command line. */
-export declare const HSX_VERSION = "2.0.0";
+export declare const HSX_VERSION = "2.0.1";
 /** 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.0.0";
+export const HSX_VERSION = "2.0.1";
 /** Canonical UDL contract version emitted by this compiler. */
 export const HSX_TARGET_UDL_VERSION = 1;
 //# sourceMappingURL=version.js.map

package/docs/guide/09-cost.md

@@ -19,6 +19,6 @@ Read an action line as `instrument.action`, followed by the effect signature and
 
 The monthly estimate is an expression over declared meter variables. Billing supplies observed readings to that frozen expression. Recomposition emits a new manifest for the next commercial snapshot. It does not rewrite a prior manifest. During recomposition planning, compose plan calculates the candidate program's proposed estimate and reconciles it against the current Build's frozen pricing quote. The existing Product retains its frozen quote until the recomposition is applied.
 
-An effect without a price row reports `HSX1301`. An invalid price reports `HSX1302`. A missing cost table also reports `HSX1301`. `examples/cost-table.json` ships one rate card per priced billing currency; the compiler picks the card whose currency the program's money fields move. Money in a currency no card prices reports `HSX1304`, and money in two currencies reports `HSX1305`: a program bills in one ledger currency. Do not create another table for documentation.
+An effect without a price row reports `HSX1301`. An invalid price reports `HSX1302`. A missing cost table also reports `HSX1301`. `examples/cost-table.json` ships one rate card per priced billing currency; the compiler picks the card whose currency the program's money fields move. Money in a currency no card prices reports `HSX1304`, and money in two currencies reports `HSX1305`: a program bills in one ledger currency. A move of a `money<SAR>` field moves SAR whatever the caller wrote in the instance currency field: the compiler pins the move's currency binding to the constant, and a binding it cannot pin reports `HSX1306`. Do not create another table for documentation.
 
 Do not confuse an action `quote` with the commercial cost manifest. `cancellable_booking.cancel` quotes a customer-visible cancellation penalty and `confirm` commits it. The compiler counts an instrument that carries a quote as unwind work because an expired or abandoned offer still needs bounded cleanup. The cost manifest prices that runtime work from the shipped rate card. It does not replace, spend, or alter the quoted financial amount.

package/docs/llms-full.txt

@@ -1,4 +1,4 @@
-<!-- Generated by scripts/docs/build.ts for HSX 2.0.0. Do not edit. -->
+<!-- Generated by scripts/docs/build.ts for HSX 2.0.1. Do not edit. -->
 
 # HSX full documentation
 
@@ -339,7 +339,7 @@ Read an action line as `instrument.action`, followed by the effect signature and
 
 The monthly estimate is an expression over declared meter variables. Billing supplies observed readings to that frozen expression. Recomposition emits a new manifest for the next commercial snapshot. It does not rewrite a prior manifest. During recomposition planning, compose plan calculates the candidate program's proposed estimate and reconciles it against the current Build's frozen pricing quote. The existing Product retains its frozen quote until the recomposition is applied.
 
-An effect without a price row reports `HSX1301`. An invalid price reports `HSX1302`. A missing cost table also reports `HSX1301`. `examples/cost-table.json` ships one rate card per priced billing currency; the compiler picks the card whose currency the program's money fields move. Money in a currency no card prices reports `HSX1304`, and money in two currencies reports `HSX1305`: a program bills in one ledger currency. Do not create another table for documentation.
+An effect without a price row reports `HSX1301`. An invalid price reports `HSX1302`. A missing cost table also reports `HSX1301`. `examples/cost-table.json` ships one rate card per priced billing currency; the compiler picks the card whose currency the program's money fields move. Money in a currency no card prices reports `HSX1304`, and money in two currencies reports `HSX1305`: a program bills in one ledger currency. A move of a `money<SAR>` field moves SAR whatever the caller wrote in the instance currency field: the compiler pins the move's currency binding to the constant, and a binding it cannot pin reports `HSX1306`. Do not create another table for documentation.
 
 Do not confuse an action `quote` with the commercial cost manifest. `cancellable_booking.cancel` quotes a customer-visible cancellation penalty and `confirm` commits it. The compiler counts an instrument that carries a quote as unwind work because an expired or abandoned offer still needs bounded cleanup. The cost manifest prices that runtime work from the shipped rate card. It does not replace, spend, or alter the quoted financial amount.
 
@@ -374,7 +374,7 @@ Exit code `0` means the command accepted the program. Exit code `1` means compil
 # CLI
 
 ```text
-hsx 2.0.0, the HSX compiler
+hsx 2.0.1, the HSX compiler
 
 Usage:
   hsx check <file.hsx> [--strict]
@@ -938,6 +938,26 @@ instrument probe {
 }
 ```
 
+## HSX1306: Fixed-currency amount moved in another currency
+
+Stage: `typecheck`
+
+Fix: Bind the currency of a money<CUR> move or account step as the constant CUR; the compiler pins a binding that reads the instrument's currency field.
+
+```hsx expect=HSX1306
+program catalog_probe "Catalog probe"
+instrument probe {
+  agent_description: "Probe instrument for catalog diagnostics.";
+  fields { amount: money<SAR>; payeeAccountId: account<SAR>; payerAccountId: account<SAR>; }
+  lifecycle { states created; initial created; }
+  action create {
+    agent_description: "Create a probe instance.";
+    steps: [];
+  }
+  action pay { agent_description: "Pay the amount."; moves: [{ "bind": { "amount": { "from": "instance"; "path": "fields.amount"; }; "currency": { "from": "const"; "value": "USD"; }; "destinationAccountId": { "from": "instance"; "path": "fields.payeeAccountId"; }; "sourceAccountId": { "from": "instance"; "path": "fields.payerAccountId"; }; }; "key": "transfer"; "operation": "internal_transfer.create"; }]; steps: []; }
+}
+```
+
 ## HSX1401: Unbounded action
 
 Stage: `typecheck`
@@ -1479,7 +1499,7 @@ Source: [`std/money_flows/held_payment.hsx`](../../../std/money_flows/held_payme
 | `refund_piece_2`      | `agent description`, `moves`, `steps`, `summary`                                                       |
 | `unfund_piece_1`      | `agent description`, `moves`, `steps`, `summary`                                                       |
 | `abandon`             | `agent description`, `moves`, `steps`, `summary`                                                       |
-| `dispute`             | `agent description`, `description`, `moves`, `steps`, `summary`                                        |
+| `dispute`             | `agent description`, `deadline`, `description`, `moves`, `steps`, `summary`                            |
 | `resume`              | `agent description`, `description`, `moves`, `steps`, `summary`                                        |
 | `create`              | `agent description`, `moves`, `steps`, `summary`                                                       |
 | `fund`                | `agent description`, `moves`, `sandbox failure point`, `steps`, `summary`                              |
@@ -1487,7 +1507,7 @@ Source: [`std/money_flows/held_payment.hsx`](../../../std/money_flows/held_payme
 | `release_on_deadline` | `due`, `event name`, `moves`, `steps`, `summary`                                                       |
 | `cancel`              | `agent description`, `deadline`, `event name`, `moves`, `steps`, `summary`                             |
 | `abandon`             | `agent description`, `moves`, `steps`, `summary`                                                       |
-| `dispute`             | `agent description`, `description`, `moves`, `steps`, `summary`                                        |
+| `dispute`             | `agent description`, `deadline`, `description`, `moves`, `steps`, `summary`                            |
 | `resume`              | `agent description`, `description`, `moves`, `steps`, `summary`                                        |
 
 # instant_transfer

package/docs/llms.txt

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

package/docs/reference/cli.md

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

package/docs/reference/diagnostics.md

@@ -1,4 +1,4 @@
-<!-- Generated by scripts/docs/build.ts for HSX 2.0.0. Do not edit. -->
+<!-- Generated by scripts/docs/build.ts for HSX 2.0.1. Do not edit. -->
 
 # Diagnostics
 
@@ -533,6 +533,26 @@ instrument probe {
 }
 ```
 
+## HSX1306: Fixed-currency amount moved in another currency
+
+Stage: `typecheck`
+
+Fix: Bind the currency of a money<CUR> move or account step as the constant CUR; the compiler pins a binding that reads the instrument's currency field.
+
+```hsx expect=HSX1306
+program catalog_probe "Catalog probe"
+instrument probe {
+  agent_description: "Probe instrument for catalog diagnostics.";
+  fields { amount: money<SAR>; payeeAccountId: account<SAR>; payerAccountId: account<SAR>; }
+  lifecycle { states created; initial created; }
+  action create {
+    agent_description: "Create a probe instance.";
+    steps: [];
+  }
+  action pay { agent_description: "Pay the amount."; moves: [{ "bind": { "amount": { "from": "instance"; "path": "fields.amount"; }; "currency": { "from": "const"; "value": "USD"; }; "destinationAccountId": { "from": "instance"; "path": "fields.payeeAccountId"; }; "sourceAccountId": { "from": "instance"; "path": "fields.payerAccountId"; }; }; "key": "transfer"; "operation": "internal_transfer.create"; }]; steps: []; }
+}
+```
+
 ## HSX1401: Unbounded action
 
 Stage: `typecheck`

package/docs/reference/grammar.md

@@ -1,4 +1,4 @@
-<!-- Generated by scripts/docs/build.ts for HSX 2.0.0. Do not edit. -->
+<!-- Generated by scripts/docs/build.ts for HSX 2.0.1. Do not edit. -->
 
 # Grammar vocabulary
 

package/docs/reference/std/advance.md

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

package/docs/reference/std/cancellable_booking.md

@@ -1,4 +1,4 @@
-<!-- Generated by scripts/docs/build.ts for HSX 2.0.0. Do not edit. -->
+<!-- Generated by scripts/docs/build.ts for HSX 2.0.1. Do not edit. -->
 
 # cancellable_booking
 

package/docs/reference/std/captured_payment.md

@@ -1,4 +1,4 @@
-<!-- Generated by scripts/docs/build.ts for HSX 2.0.0. Do not edit. -->
+<!-- Generated by scripts/docs/build.ts for HSX 2.0.1. 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.0.0. Do not edit. -->
+<!-- Generated by scripts/docs/build.ts for HSX 2.0.1. 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.0.0. Do not edit. -->
+<!-- Generated by scripts/docs/build.ts for HSX 2.0.1. 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.0.0. Do not edit. -->
+<!-- Generated by scripts/docs/build.ts for HSX 2.0.1. Do not edit. -->
 
 # held_payment
 
@@ -56,7 +56,7 @@ Source: [`std/money_flows/held_payment.hsx`](../../../std/money_flows/held_payme
 | `refund_piece_2`      | `agent description`, `moves`, `steps`, `summary`                                                       |
 | `unfund_piece_1`      | `agent description`, `moves`, `steps`, `summary`                                                       |
 | `abandon`             | `agent description`, `moves`, `steps`, `summary`                                                       |
-| `dispute`             | `agent description`, `description`, `moves`, `steps`, `summary`                                        |
+| `dispute`             | `agent description`, `deadline`, `description`, `moves`, `steps`, `summary`                            |
 | `resume`              | `agent description`, `description`, `moves`, `steps`, `summary`                                        |
 | `create`              | `agent description`, `moves`, `steps`, `summary`                                                       |
 | `fund`                | `agent description`, `moves`, `sandbox failure point`, `steps`, `summary`                              |
@@ -64,5 +64,5 @@ Source: [`std/money_flows/held_payment.hsx`](../../../std/money_flows/held_payme
 | `release_on_deadline` | `due`, `event name`, `moves`, `steps`, `summary`                                                       |
 | `cancel`              | `agent description`, `deadline`, `event name`, `moves`, `steps`, `summary`                             |
 | `abandon`             | `agent description`, `moves`, `steps`, `summary`                                                       |
-| `dispute`             | `agent description`, `description`, `moves`, `steps`, `summary`                                        |
+| `dispute`             | `agent description`, `deadline`, `description`, `moves`, `steps`, `summary`                            |
 | `resume`              | `agent description`, `description`, `moves`, `steps`, `summary`                                        |

package/docs/reference/std/instant_transfer.md

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

package/docs/reference/std/metered.md

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

package/docs/reference/std/pooled_split.md

@@ -1,4 +1,4 @@
-<!-- Generated by scripts/docs/build.ts for HSX 2.0.0. Do not edit. -->
+<!-- Generated by scripts/docs/build.ts for HSX 2.0.1. 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.0.0. Do not edit. -->
+<!-- Generated by scripts/docs/build.ts for HSX 2.0.1. 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.0.0. Do not edit. -->
+<!-- Generated by scripts/docs/build.ts for HSX 2.0.1. Do not edit. -->
 
 # reconciled_payout
 

package/docs/reference/std/recurring_collection.md

@@ -1,4 +1,4 @@
-<!-- Generated by scripts/docs/build.ts for HSX 2.0.0. Do not edit. -->
+<!-- Generated by scripts/docs/build.ts for HSX 2.0.1. Do not edit. -->
 
 # recurring_collection
 

package/docs/reference/std/rotating_pool.md

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

package/docs/reference/std/scheduled.md

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

package/docs/reference/std/security_deposit.md

@@ -1,4 +1,4 @@
-<!-- Generated by scripts/docs/build.ts for HSX 2.0.0. Do not edit. -->
+<!-- Generated by scripts/docs/build.ts for HSX 2.0.1. 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.0.0. Do not edit. -->
+<!-- Generated by scripts/docs/build.ts for HSX 2.0.1. Do not edit. -->
 
 # settlement_batch
 

package/docs/reference/std/swap.md

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

package/docs/reference/std/threshold_pool.md

@@ -1,4 +1,4 @@
-<!-- Generated by scripts/docs/build.ts for HSX 2.0.0. Do not edit. -->
+<!-- Generated by scripts/docs/build.ts for HSX 2.0.1. 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.0.0. Do not edit. -->
+<!-- Generated by scripts/docs/build.ts for HSX 2.0.1. Do not edit. -->
 
 # weighted_distribution
 

package/docs/reference/types.md

@@ -1,4 +1,4 @@
-<!-- Generated by scripts/docs/build.ts for HSX 2.0.0. Do not edit. -->
+<!-- Generated by scripts/docs/build.ts for HSX 2.0.1. Do not edit. -->
 
 # Types
 

package/docs/reference/udl-output.md

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

package/examples/advance/advance.udl

@@ -34,8 +34,8 @@
                   "path": "fields.repayment1Amount"
                 },
                 "currency": {
-                  "from": "instance",
-                  "path": "fields.currency"
+                  "from": "const",
+                  "value": "SAR"
                 },
                 "destinationAccountId": {
                   "from": "instance",
@@ -99,8 +99,8 @@
                   "path": "fields.repayment2Amount"
                 },
                 "currency": {
-                  "from": "instance",
-                  "path": "fields.currency"
+                  "from": "const",
+                  "value": "SAR"
                 },
                 "destinationAccountId": {
                   "from": "instance",
@@ -162,8 +162,8 @@
                   "path": "fields.principal"
                 },
                 "currency": {
-                  "from": "instance",
-                  "path": "fields.currency"
+                  "from": "const",
+                  "value": "SAR"
                 },
                 "destinationAccountId": {
                   "from": "instance",

package/examples/cancellable_booking/cancellable_booking.udl

@@ -80,8 +80,8 @@
                   "path": "fields.sessionPrice"
                 },
                 "currency": {
-                  "from": "instance",
-                  "path": "fields.currency"
+                  "from": "const",
+                  "value": "SAR"
                 },
                 "destinationAccountId": {
                   "from": "instance",
@@ -125,8 +125,8 @@
                   "path": "refs.cancellationRefundAmount"
                 },
                 "currency": {
-                  "from": "instance",
-                  "path": "fields.currency"
+                  "from": "const",
+                  "value": "SAR"
                 },
                 "destinationAccountId": {
                   "from": "instance",
@@ -160,8 +160,8 @@
             {
               "bind": {
                 "currency": {
-                  "from": "instance",
-                  "path": "fields.currency"
+                  "from": "const",
+                  "value": "SAR"
                 },
                 "owner.id": {
                   "from": "instance",
@@ -206,8 +206,8 @@
                   "path": "refs.cancellationPenaltyAmount"
                 },
                 "currency": {
-                  "from": "instance",
-                  "path": "fields.currency"
+                  "from": "const",
+                  "value": "SAR"
                 },
                 "destinationAccountId": {
                   "from": "instance",
@@ -251,8 +251,8 @@
                   "path": "fields.sessionPrice"
                 },
                 "currency": {
-                  "from": "instance",
-                  "path": "fields.currency"
+                  "from": "const",
+                  "value": "SAR"
                 },
                 "destinationAccountId": {
                   "from": "instance",

package/examples/captured_payment/captured_payment.udl

@@ -38,8 +38,8 @@
                   "path": "fields.authorizedAmount"
                 },
                 "currency": {
-                  "from": "instance",
-                  "path": "fields.currency"
+                  "from": "const",
+                  "value": "SAR"
                 },
                 "destinationAccountId": {
                   "from": "instance",
@@ -231,8 +231,8 @@
                   "path": "refs.capturedAmount"
                 },
                 "currency": {
-                  "from": "instance",
-                  "path": "fields.currency"
+                  "from": "const",
+                  "value": "SAR"
                 },
                 "destinationAccountId": {
                   "from": "instance",
@@ -374,8 +374,8 @@
                   "path": "refs.capturedAmount"
                 },
                 "currency": {
-                  "from": "instance",
-                  "path": "fields.currency"
+                  "from": "const",
+                  "value": "SAR"
                 },
                 "destinationAccountId": {
                   "from": "instance",

package/examples/conditional_disbursement/conditional_disbursement.udl

@@ -270,8 +270,8 @@
                   "path": "fields.amount"
                 },
                 "currency": {
-                  "from": "instance",
-                  "path": "fields.currency"
+                  "from": "const",
+                  "value": "SAR"
                 },
                 "destinationAccountId": {
                   "from": "instance",