@hyperscale0/hsx 1.0.0 → 2.0.1

package/examples/premium_forward/premium_forward.udl

@@ -53,8 +53,8 @@
                   "path": "fields.piece1Amount"
                 },
                 "currency": {
-                  "from": "instance",
-                  "path": "fields.currency"
+                  "from": "const",
+                  "value": "SAR"
                 },
                 "destinationAccountId": {
                   "from": "instance",
@@ -95,6 +95,7 @@
             ]
           },
           "publicAction": "bindPolicyPremium",
+          "sandboxFailurePoint": "release",
           "steps": [],
           "summary": "Confirm through bind_policy and start the forward payout"
         },
@@ -106,8 +107,8 @@
             {
               "bind": {
                 "currency": {
-                  "from": "instance",
-                  "path": "fields.currency"
+                  "from": "const",
+                  "value": "SAR"
                 },
                 "owner.id": {
                   "from": "instance",
@@ -152,8 +153,8 @@
                   "path": "fields.piece2Amount"
                 },
                 "currency": {
-                  "from": "instance",
-                  "path": "fields.currency"
+                  "from": "const",
+                  "value": "SAR"
                 },
                 "destinationAccountId": {
                   "from": "instance",
@@ -209,8 +210,8 @@
                   "path": "fields.piece1Amount"
                 },
                 "currency": {
-                  "from": "instance",
-                  "path": "fields.currency"
+                  "from": "const",
+                  "value": "SAR"
                 },
                 "destinationAccountId": {
                   "from": "instance",
@@ -245,6 +246,7 @@
             }
           ],
           "publicAction": "fundPiece1Premium",
+          "sandboxFailurePoint": "funding",
           "steps": [],
           "summary": "Fund piece 1 of the held amount into escrow"
         },
@@ -266,8 +268,8 @@
                   "path": "fields.piece2Amount"
                 },
                 "currency": {
-                  "from": "instance",
-                  "path": "fields.currency"
+                  "from": "const",
+                  "value": "SAR"
                 },
                 "destinationAccountId": {
                   "from": "instance",
@@ -302,6 +304,7 @@
             }
           ],
           "publicAction": "fundPiece2Premium",
+          "sandboxFailurePoint": "funding",
           "steps": [],
           "summary": "Fund piece 2 of the held amount into escrow"
         },
@@ -327,7 +330,7 @@
         "record_endorsement": {
           "agentDescription": "Record one endorsement against a policy that already forwarded, from evidence the caller supplies. The forward must be released first, and only the carrier may call it. It moves no money and it does not change the premium.",
           "captureInput": {
-            "endorsementEvidenceReference": "evidenceReference"
+            "evidenceReference": "evidenceReference"
           },
           "effects": {
             "decides": [
@@ -380,8 +383,8 @@
                   "path": "fields.piece1Amount"
                 },
                 "currency": {
-                  "from": "instance",
-                  "path": "fields.currency"
+                  "from": "const",
+                  "value": "SAR"
                 },
                 "destinationAccountId": {
                   "from": "instance",
@@ -444,12 +447,14 @@
         "piece1Amount": {
           "description": "98% of premiumAmount (carries the integer-division remainder): released to the carrier. Computed as floor(premiumAmount * 9800 / 10000) in SAR minor units",
           "pattern": "^[1-9][0-9]{0,17}$",
-          "type": "string"
+          "type": "string",
+          "x-hyperscale-currency": "SAR"
         },
         "piece2Amount": {
           "description": "2% of premiumAmount: released to the platform. Computed as floor(premiumAmount * 200 / 10000) in SAR minor units",
           "pattern": "^[1-9][0-9]{0,17}$",
-          "type": "string"
+          "type": "string",
+          "x-hyperscale-currency": "SAR"
         },
         "platformAccountId": {
           "description": "The product fee collection account",
@@ -484,7 +489,8 @@
         "premiumAmount": {
           "description": "The gross held amount in SAR minor units; the piece fields below partition it exactly",
           "pattern": "^[1-9][0-9]{0,17}$",
-          "type": "string"
+          "type": "string",
+          "x-hyperscale-currency": "SAR"
         },
         "renewalDueAt": {
           "description": "Stored renewal due condition for the forwarded policy",

package/examples/reconciled_payout/reconciled_payout.hsx

@@ -1,5 +1,5 @@
 program reconciled_payout_example "Reconciled payout example"
-import { reconciled_payout } from "std/settlements"
+import { reconciled_payout } from "std/money_flows"
 party treasury: business
 party supplier: business
 settlement supplier_payout = reconciled_payout {

package/examples/reconciled_payout/reconciled_payout.udl

@@ -108,7 +108,8 @@
         "netPayable": {
           "description": "Amount instructed to the supplier in minor units",
           "pattern": "^[1-9][0-9]{0,17}$",
-          "type": "string"
+          "type": "string",
+          "x-hyperscale-currency": "SAR"
         },
         "settleBy": {
           "description": "Instant the expectation stops waiting and the unmatched amount becomes a break",
@@ -265,7 +266,8 @@
         "unmatchedAmount": {
           "description": "Difference between the instructed amount and the evidence, in minor units",
           "pattern": "^[1-9][0-9]{0,17}$",
-          "type": "string"
+          "type": "string",
+          "x-hyperscale-currency": "SAR"
         }
       },
       "id": "supplier_payout_break",

package/examples/recurring_collection/recurring_collection.hsx

@@ -1,5 +1,5 @@
 program recurring_collection_example "Recurring collection example"
-import { recurring_collection, scheduled } from "std/settlements"
+import { recurring_collection, scheduled } from "std/money_flows"
 party debtor: person
 party repayment_source: business
 party recipient: business

package/examples/recurring_collection/recurring_collection.udl

@@ -294,7 +294,8 @@
         "installment1Amount": {
           "description": "Stored amount for installment 1 of 2 (carries the integer-division remainder)",
           "pattern": "^[1-9][0-9]{0,17}$",
-          "type": "string"
+          "type": "string",
+          "x-hyperscale-currency": "SAR"
         },
         "installment1DelinquentAfter": {
           "description": "Machine-set marker proving installment 1 reached its stored due date while unpaid",
@@ -304,7 +305,8 @@
         "installment2Amount": {
           "description": "Stored amount for installment 2 of 2",
           "pattern": "^[1-9][0-9]{0,17}$",
-          "type": "string"
+          "type": "string",
+          "x-hyperscale-currency": "SAR"
         },
         "installment2DelinquentAfter": {
           "description": "Machine-set marker proving installment 2 reached its stored due date while unpaid",
@@ -314,7 +316,8 @@
         "principal": {
           "description": "The principal in SAR minor units; the stored installment anchors partition it exactly",
           "pattern": "^[1-9][0-9]{0,17}$",
-          "type": "string"
+          "type": "string",
+          "x-hyperscale-currency": "SAR"
         },
         "recipientAccountId": {
           "description": "The recipient account",
@@ -492,8 +495,8 @@
                   "path": "fields.amount"
                 },
                 "currency": {
-                  "from": "instance",
-                  "path": "fields.currency"
+                  "from": "const",
+                  "value": "SAR"
                 },
                 "destinationAccountId": {
                   "from": "instance",
@@ -547,7 +550,7 @@
           "summary": "Refund this one stored installment 1 payment whole"
         },
         "repay": {
-          "agentDescription": "Pay this record's amount toward installment 1. The record must be created and its obligation live. Refused when this amount plus the records already paid against that installment would pass the stored amount. This moves the payer's money. Where a mandate applies, only the payer may call it and an evidence reference is required.",
+          "agentDescription": "Pay this record's amount toward installment 1. The record must be created and its obligation live. Refused when this amount plus the records already paid against that installment would pass the stored amount. This moves the payer's money. Where a mandate applies, its declared parties may call it and an evidence reference is required.",
           "captureInput": {
             "mandateEvidenceReference": "evidenceReference"
           },
@@ -594,8 +597,8 @@
                   "path": "fields.amount"
                 },
                 "currency": {
-                  "from": "instance",
-                  "path": "fields.currency"
+                  "from": "const",
+                  "value": "SAR"
                 },
                 "destinationAccountId": {
                   "from": "instance",
@@ -672,7 +675,8 @@
         "amount": {
           "description": "Positive payment amount capped with its paid siblings at installment1Amount",
           "pattern": "^[1-9][0-9]{0,17}$",
-          "type": "string"
+          "type": "string",
+          "x-hyperscale-currency": "SAR"
         },
         "currency": {
           "description": "ISO 4217 currency code",
@@ -808,8 +812,8 @@
                   "path": "fields.amount"
                 },
                 "currency": {
-                  "from": "instance",
-                  "path": "fields.currency"
+                  "from": "const",
+                  "value": "SAR"
                 },
                 "destinationAccountId": {
                   "from": "instance",
@@ -863,7 +867,7 @@
           "summary": "Refund this one stored installment 2 payment whole"
         },
         "repay": {
-          "agentDescription": "Pay this record's amount toward installment 2. The record must be created and its obligation live. Refused when this amount plus the records already paid against that installment would pass the stored amount. This moves the payer's money. Where a mandate applies, only the payer may call it and an evidence reference is required.",
+          "agentDescription": "Pay this record's amount toward installment 2. The record must be created and its obligation live. Refused when this amount plus the records already paid against that installment would pass the stored amount. This moves the payer's money. Where a mandate applies, its declared parties may call it and an evidence reference is required.",
           "captureInput": {
             "mandateEvidenceReference": "evidenceReference"
           },
@@ -910,8 +914,8 @@
                   "path": "fields.amount"
                 },
                 "currency": {
-                  "from": "instance",
-                  "path": "fields.currency"
+                  "from": "const",
+                  "value": "SAR"
                 },
                 "destinationAccountId": {
                   "from": "instance",
@@ -988,7 +992,8 @@
         "amount": {
           "description": "Positive payment amount capped with its paid siblings at installment2Amount",
           "pattern": "^[1-9][0-9]{0,17}$",
-          "type": "string"
+          "type": "string",
+          "x-hyperscale-currency": "SAR"
         },
         "currency": {
           "description": "ISO 4217 currency code",

package/examples/rotating_pool/rotating_pool.hsx

@@ -1,5 +1,5 @@
 program rotating_pool_example "Rotating pool example"
-import { rotating_pool } from "std/settlements"
+import { rotating_pool } from "std/money_flows"
 party member_a: person
 party member_b: person
 party member_c: person