@hyperscale0/hsx 2.0.0 → 2.0.2

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@hyperscale0/hsx",
-  "version": "2.0.0",
+  "version": "2.0.2",
   "description": "The strictly typed HSX language: compile total financial programs into canonical UDL.",
   "keywords": [
     "hsx",
@@ -85,7 +85,7 @@
     "typecheck": "tsc -p tsconfig.json"
   },
   "dependencies": {
-    "@hyperscale0/udl": "2.0.0"
+    "@hyperscale0/udl": "2.0.2"
   },
   "devDependencies": {
     "bun-types": "1.4.2",
@@ -96,5 +96,5 @@
     "Amir Ayub",
     "Sara AlBakaawi"
   ],
-  "gitHead": "e557d602bb119778f75346179eef480b6e3deb8a"
+  "gitHead": "70ddac0ae5599ca61c7951b027befbeb6eea9f96"
 }

package/skills/hsx/SKILL.md

@@ -11,7 +11,7 @@ Use this skill when a task creates or changes an `.hsx` program, chooses a money
 
 One file declares one `program`. Declare parties and assets before using them. Import money flows from `std/money_flows`. Apply each selected instrument as a `settlement`, and declare every decision port it names. A program may also declare general instruments and subjects.
 
-Start with [the first-program guide](https://github.com/hyperscale0/hyperscale-hsx/blob/main/docs/guide/01-first-program.md). Read the generated [grammar](https://github.com/hyperscale0/hyperscale-hsx/blob/main/docs/reference/grammar.md), [types](https://github.com/hyperscale0/hyperscale-hsx/blob/main/docs/reference/types.md), and [money flows reference](https://github.com/hyperscale0/hyperscale-hsx/tree/main/docs/reference/std) for the exact surface.
+Start with [the first-program guide](https://github.com/hyperscale0/hyperscale-hsx/blob/main/docs/guide/01-first-program.md). Read the [instruments](https://github.com/hyperscale0/hyperscale-hsx/blob/main/docs/guide/03-instruments.md), [lifecycles](https://github.com/hyperscale0/hyperscale-hsx/blob/main/docs/guide/04-lifecycles.md), [composition](https://github.com/hyperscale0/hyperscale-hsx/blob/main/docs/guide/07-composition.md), and [writing a module](https://github.com/hyperscale0/hyperscale-hsx/blob/main/docs/guide/08-writing-a-module.md) chapters for instrument architecture. Read the generated [grammar](https://github.com/hyperscale0/hyperscale-hsx/blob/main/docs/reference/grammar.md), [types](https://github.com/hyperscale0/hyperscale-hsx/blob/main/docs/reference/types.md), and [money flows reference](https://github.com/hyperscale0/hyperscale-hsx/tree/main/docs/reference/std) for the exact surface.
 
 ## Choose a money flow
 
@@ -39,7 +39,7 @@ The money flows are demonstrated below. The marker before each program lets the
 
 ## Diagnostic loop
 
-Run `hsx check` after each coherent edit. Read the first error code, open the [diagnostics reference](https://github.com/hyperscale0/hyperscale-hsx/blob/main/docs/reference/diagnostics.md), apply the catalog fix, and compile again. Match tools on the stable `HSX####` code, not the message. Never patch emitted UDL to bypass a refusal.
+Run `hsx check` after each coherent edit. Read the first error code, open the [diagnostics guide](https://github.com/hyperscale0/hyperscale-hsx/blob/main/docs/guide/10-diagnostics.md) and [diagnostics reference](https://github.com/hyperscale0/hyperscale-hsx/blob/main/docs/reference/diagnostics.md), apply the catalog fix, and compile again. Match tools on the stable `HSX####` code, not the message. Never patch emitted UDL to bypass a refusal.
 
 ## Money rules
 

package/src/diagnostics.ts

@@ -355,6 +355,16 @@ action pay { computes remainder rest { amount_ref: total; on_zero: refuse; total
     fix: "Move all money in one currency; a program bills in one ledger currency.",
     example: instrument("", "amount: money<SAR>; fee: money<USD>;"),
   },
+  {
+    code: "HSX1306",
+    stage: "typecheck",
+    title: "Fixed-currency amount moved in another currency",
+    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.",
+    example: instrument(
+      `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: []; }`,
+      "amount: money<SAR>; payeeAccountId: account<SAR>; payerAccountId: account<SAR>;",
+    ),
+  },
   {
     code: "HSX1401",
     stage: "typecheck",