@hyperscale0/hsx 4.0.0 → 4.1.0

package/dist/src/std-bundle.js.map

@@ -1 +1 @@
-{"version":3,"file":"std-bundle.js","sourceRoot":"","sources":["../../src/std-bundle.ts"],"names":[],"mappings":"AAAA,oEAAoE;AAEpE,MAAM,CAAC,MAAM,iBAAiB,GAAgC,IAAI,GAAG,CAAiB;IACpF,CAAC,eAAe,EAAE,+jCAA+jC,CAAC;IACllC,CAAC,WAAW,EAAE,i5GAAi5G,CAAC;IACh6G,CAAC,iBAAiB,EAAE,2jKAA2jK,CAAC;IAChlK,CAAC,YAAY,EAAE,o2DAAo2D,CAAC;IACp3D,CAAC,eAAe,EAAE,+4tDAA+4tD,CAAC;IACl6tD,CAAC,eAAe,EAAE,0iGAA0iG,CAAC;IAC7jG,CAAC,aAAa,EAAE,q2OAAq2O,CAAC;IACt3O,CAAC,iBAAiB,EAAE,gxPAAgxP,CAAC;IACryP,CAAC,WAAW,EAAE,y+RAAy+R,CAAC;IACx/R,CAAC,eAAe,EAAE,g15CAAg15C,CAAC;IACn25C,CAAC,aAAa,EAAE,qmGAAqmG,CAAC;IACtnG,CAAC,YAAY,EAAE,4wLAA4wL,CAAC;IAC5xL,CAAC,YAAY,EAAE,w1DAAw1D,CAAC;CACz2D,CAAC,CAAC"}
+{"version":3,"file":"std-bundle.js","sourceRoot":"","sources":["../../src/std-bundle.ts"],"names":[],"mappings":"AAAA,oEAAoE;AAEpE,MAAM,CAAC,MAAM,iBAAiB,GAAgC,IAAI,GAAG,CAAiB;IACpF,CAAC,WAAW,EAAE,u+GAAu+G,CAAC;IACt/G,CAAC,iBAAiB,EAAE,mnKAAmnK,CAAC;IACxoK,CAAC,YAAY,EAAE,s5DAAs5D,CAAC;IACt6D,CAAC,eAAe,EAAE,o5tDAAo5tD,CAAC;IACv6tD,CAAC,eAAe,EAAE,g7FAAg7F,CAAC;IACn8F,CAAC,aAAa,EAAE,wjPAAwjP,CAAC;IACzkP,CAAC,iBAAiB,EAAE,gxPAAgxP,CAAC;IACryP,CAAC,WAAW,EAAE,64QAA64Q,CAAC;IAC55Q,CAAC,eAAe,EAAE,gs5CAAgs5C,CAAC;IACnt5C,CAAC,aAAa,EAAE,qmGAAqmG,CAAC;IACtnG,CAAC,YAAY,EAAE,4wLAA4wL,CAAC;IAC5xL,CAAC,YAAY,EAAE,m6DAAm6D,CAAC;CACp7D,CAAC,CAAC"}

package/dist/src/version.d.ts

@@ -1,3 +1,3 @@
-export declare const HSX_VERSION = "4.0.0";
+export declare const HSX_VERSION = "4.0.1";
 export declare const HSX_TARGET_UDL_VERSION = 4;
 //# sourceMappingURL=version.d.ts.map

package/dist/src/version.js

@@ -1,3 +1,3 @@
-export const HSX_VERSION = "4.0.0";
+export const HSX_VERSION = "4.0.1";
 export const HSX_TARGET_UDL_VERSION = 4;
 //# sourceMappingURL=version.js.map

package/docs/README.md

@@ -85,7 +85,6 @@ write ordered requirements and moves as expressions:
 ```hsx
 requires self.payer == self.order.buyer
 requires self.order in [placed]
-requires approval by underwriter
 moves self.price from payer to self.held
 moves self.price from self.held to payee fee fee
 ```
@@ -111,15 +110,6 @@ They cannot add kernel instructions. `at(list, position)` reads a dated list;
 floors a weighted share. `records` declares child types. `invoke` can create a child
 with typed input in the same transaction.
 
-An `approval` tunable binds a party and emits a decision record for each gated
-action, including child actions. `approval: underwriter` needs no separate object.
-Generated records are named `<object>_<action>_decision`; child names retain their
-object prefix. `requires approval by approver for approve is declined` reuses the
-approve decision for a declined branch. Decisions keep the target action's typed
-material input and expiry. `approvals.decision` remains available to attach an
-explicit decision to an action without a library approval tunable. A decision
-alone does not add a requirement to that action. Approval declarations with
-`input: "material"` infer immutable material fields from the target action's input.
 The compiler removes branches excluded by fixed enum tunables. An invalid program reports its source line
 and a correction. No artifact is returned with diagnostics.
 

package/docs/headers.md

@@ -1,8 +1,8 @@
 # Header inventory
 
 Attach library instruments inside authored object kinds. Each program selects policies through typed tunables.
-Bind party parameters to owner, actor, operator or declared parties. Configure declared businesses per Build; staff declarations name approval authority. The authoringTemplate source is an attach fragment for an object block. Expose the chosen business action; instrument creation stays internal.
-`ref<T>[]` accepts one reference or up to 16 references as one policy. `approval` accepts a party and generates the required decision records.
+Bind party parameters to owner, actor, operator or declared parties. Configure declared businesses per Build. The authoringTemplate source is an attach fragment for an object block. Expose the chosen business action; instrument creation stays internal.
+`ref<T>[]` accepts one reference or up to 16 references as one policy.
 
 | Instrument | Tunables |
 | --- | --- |
@@ -12,7 +12,6 @@ Bind party parameters to owner, actor, operator or declared parties. Configure d
 | money.schedule | `payer: party`, `payee: party`, `amount: money = runtime`, `count: integer(1, 366) = 12` |
 | money.pool | `payer: party`, `payee: party`, `target: money`, `closes: date` |
 | money.swap | `first: party`, `second: party`, `first_amount: money`, `second_amount: money`, `expires: date` |
-| money.deposit | `payer: party`, `payee: party`, `amount: money`, `expires: date`, `approval: approval` |
 | money.payout | `payer: party`, `payee: party`, `adapter: text`, `max_age: duration`, `amount: money = runtime` |
 | money.metered | `payer: party`, `payee: party`, `unit_price: money`, `units: integer = 1`, `fee: fee = { seller: 0% }` |
 | marketplace.listing | `seller: party` |
@@ -21,27 +20,27 @@ Bind party parameters to owner, actor, operator or declared parties. Configure d
 | escrow.hold | `payer: party = party(person)`, `payee: party = programOperator`, `accept_within: duration = 48h`, `fee: fee = { seller: 0%, tax: 0% }`, `dispute: policy = { refund_after: return_verified }` |
 | wallet.balance | `holder: party`, `spend_limit: money = 100000 SAR` |
 | wallet.spend | `wallet: ref<wallet.balance>`, `payee: party` |
-| financing.installments | `months: integer(1, 366)`, `charge_limit: integer(1, 3) = 3`, `profit: percent`, `disburse_to: enum(funds, borrower) = funds`, `profit_earned: enum(on_payment, by_schedule, at_disbursement) = on_payment`, `apply: enum(fines_profit_principal, principal_profit, pro_rata) = fines_profit_principal`, `payoff_rebate: percent = 100%`, `write_off_after: duration = 90d`, `max_extension: duration = 90d`, `max_amendments: integer(0, 366) = 2`, `waiver_limit: percent = 100%`, `amendment_expiry: duration = 7d`, `payoff_quote_expiry: duration = 1h`, `allow_overdue: enum(allowed, blocked) = allowed`, `assessed_fines: enum(carry, require_waiver) = carry`, `down_payment: percent = 0%`, `funds: ref = object(escrow.hold)`, `approval: approval = programOperator`, `borrower: party = party(person)`, `capital: party = programOperator`, `share: percent = 0%`, `limits: ref<financing.limits> = object(financing.limits)` |
-| financing.late_charge | `on: ref<financing.installments>[]`, `grace: duration = 3d`, `fine: money = 50 SAR`, `cap: money = 25 SAR`, `fines_to: party = programOperator`, `costs_to: party = programOperator`, `approval: approval = programOperator`, `borrower: party = party(person)` |
-| financing.limits | `per_borrower: money`, `portfolio: money`, `borrower: party = party(person)`, `active_plans: integer = 1` |
-| financing.credit_line | `borrower: party`, `lender: party`, `limit: money`, `expires: date` |
+| financing.installments | `months: integer(1, 366)`, `charge_limit: integer(1, 3) = 3`, `profit: percent`, `disburse_to: enum(funds, borrower) = funds`, `profit_earned: enum(on_payment, by_schedule, at_disbursement) = on_payment`, `apply: enum(fines_profit_principal, principal_profit, pro_rata) = fines_profit_principal`, `payoff_rebate: percent = 100%`, `write_off_after: duration = 90d`, `max_extension: duration = 90d`, `max_amendments: integer(0, 366) = 2`, `waiver_limit: percent = 100%`, `amendment_expiry: duration = 7d`, `payoff_quote_expiry: duration = 1h`, `allow_overdue: enum(allowed, blocked) = allowed`, `assessed_fines: enum(carry, require_waiver) = carry`, `down_payment: percent = 0%`, `funds: ref<escrow.hold>?`, `borrower: party = party(person)`, `capital: party = programOperator`, `share: percent = 0%`, `limits: ref<financing.limits> = object(financing.limits)`, `portfolio: ref<financing.portfolio_limit> = object(financing.portfolio_limit)` |
+| financing.late_charge | `on: ref<financing.installments>[]`, `grace: duration = 3d`, `fine: money = 50 SAR`, `cap: money = 25 SAR`, `fines_to: party = programOperator`, `costs_to: party = programOperator`, `borrower: party = party(person)` |
+| financing.limits | `per_borrower: money`, `borrower: party = party(person)`, `active_plans: integer = 1` |
+| financing.portfolio_limit | `limit: money` |
+| financing.credit_line | `borrower: party = programOperator`, `adapter: text`, `limit: money`, `expires: date` |
 | financing.advance | `line: ref<financing.credit_line>`, `amount: money = runtime` |
-| lending.round | `borrower: party`, `plan: ref<financing.installments> = object(financing.installments)`, `minimum_ticket: money = 100 SAR`, `investor_cap: percent = 20%`, `commitments: ref<lending.commitment> = object(lending.commitment)` |
+| lending.round | `borrower: party`, `plan: ref<financing.installments> = object(financing.installments)`, `operator: party = programOperator`, `minimum_ticket: money = 100 SAR`, `investor_cap: percent = 20%`, `commitments: ref<lending.commitment> = object(lending.commitment)` |
 | lending.commitment | `round: ref<lending.round>`, `wallet: ref<wallet.balance>`, `investor: party = party(person)` |
-| lending.distribution | `round: ref<lending.round>`, `receipt: ref`, `commitments: ref<lending.commitment> = object(lending.commitment)`, `mode: enum(cash, loss) = cash`, `residual_to: party = programOperator`, `fee: percent = 1%`, `tax: percent = 15%` |
-| insurance.cover | `holder: party`, `insurer: party`, `approval: approval = programOperator`, `commission: percent = 0%`, `covers: ref`, `premium: money = runtime` |
-| insurance.claim | `cover: ref<insurance.cover>`, `approved_by: approval` |
-| approvals.decision | `for: ref`, `approved_by: approval`, `action: text = "approve"`, `protected_request: text = "self.target"` |
-| collections.case | `on: ref<financing.installments>[]`, `agency: approval`, `overdue: duration = 3d`, `fee: percent = 20%` |
+| lending.distribution | `round: ref<lending.round>`, `receipt: ref`, `commitments: ref<lending.commitment> = object(lending.commitment)`, `mode: enum(cash, loss) = cash`, `residual_to: party = programOperator`, `operator: party = programOperator`, `fee: percent = 1%`, `tax: percent = 15%` |
+| insurance.cover | `holder: party`, `adapter: text`, `commission: percent = 0%`, `covers: ref`, `premium: money = runtime` |
+| insurance.claim | `cover: ref<insurance.cover>`, `inspector: party` |
+| collections.case | `on: ref<financing.installments>[]`, `agency: party`, `capital: party = programOperator`, `overdue: duration = 3d`, `fee: percent = 20%` |
 | collections.contact | `case: ref<collections.case>[]`, `agency: party`, `max_contacts: integer = 10`, `window: duration = 30d`, `contact_from: integer(0, 23) = 8`, `contact_until: integer(1, 23) = 20`, `timezone: text = "Asia/Riyadh"`; contact_from less_than contact_until |
 | collections.reminder | `on: ref<financing.installments>[]`, `operator: party = programOperator`, `before_days: integer(0, 366) = 3`, `overdue_days: integer(1, 366) = 1`, `max_per_day: integer(1, 10) = 1`, `send_from: integer(0, 23) = 8`, `send_until: integer(1, 24) = 20`, `timezone: text = "Asia/Riyadh"`; send_from less_than send_until |
 | travel.package | `price: money`, `supplier_cost: money`, `departure: date`; supplier_cost at_most price |
-| travel.booking | `package: ref<travel.package>`, `buyer: party`, `supplier: party`, `approval: approval = programOperator`, `cover: ref<insurance.cover>`, `deposit: percent = 30%`, `balance_before: duration = 14d`, `confirm_within: duration = 24h`, `tax: percent = 15%`, `early_before: duration = 30d`, `middle_before: duration = 15d`, `middle_penalty: percent = 10%`, `late_penalty: percent = 30%`; early_before greater_than middle_before |
+| travel.booking | `package: ref<travel.package>`, `buyer: party`, `supplier: party`, `operator: party = programOperator`, `cover: ref<insurance.cover>`, `deposit: percent = 30%`, `balance_before: duration = 14d`, `confirm_within: duration = 24h`, `tax: percent = 15%`, `early_before: duration = 30d`, `middle_before: duration = 15d`, `middle_penalty: percent = 10%`, `late_penalty: percent = 30%`; early_before greater_than middle_before |
 | cards.cardholder | `holder: party` |
 | cards.card | `holder: ref<cards.cardholder>`, `spend_limit: money` |
-| cards.authorization | `card: ref<cards.card>`, `merchant: party`, `approval: approval` |
+| cards.authorization | `card: ref<cards.card>`, `merchant: party`, `issuer: party = programOperator` |
 | cards.transaction | `authorization: ref<cards.authorization>` |
-| cards.dispute | `transaction: ref<cards.transaction>`, `approved_by: approval`, `within: duration = 90d` |
+| cards.dispute | `transaction: ref<cards.transaction>`, `issuer: party = programOperator`, `within: duration = 90d` |
 | savings.circle | `contribution: money`, `members: integer(1, 366)`, `starts: date`, `memberships: ref<savings.membership> = object(savings.membership)` |
 | savings.membership | `circle: ref<savings.circle>`, `member: party` |
 | reporting.portfolio | `on: ref<financing.installments>[]`, `default_days: integer(1, 3650) = 90`, `retention_years: integer(1, 100) = 10`, `aging_first_days: integer(1, 3650) = 30`, `aging_second_days: integer(1, 3650) = 60`, `aging_third_days: integer(1, 3650) = 90`, `ratio_scale: integer(1, 1000000) = 10000`, `ratio_rounding: enum(floor, halfUp) = floor`, `lock_wait_ms: integer(1, 2000) = 2000`, `capture_ms: integer(1, 10000) = 10000`, `max_rows: integer(1, 100000) = 10000`, `max_join_rows: integer(1, 1000000) = 100000`, `max_bytes: integer(1024, 16777216) = 8388608`; aging_first_days less_than aging_second_days, aging_second_days less_than aging_third_days |

package/examples/cost-table.json

@@ -4,12 +4,10 @@
     "declaredMeters": [
       "account.active_month",
       "instrument.event.count",
-      "kyb.application.review",
       "transfer.internal.count",
-      "transfer.internal.volume_sar",
-      "verification.kyb.count"
+      "transfer.internal.volume_sar"
     ],
-    "effectiveTableDigest": "dae11d13d84dc4c66ae4f3ec61e26259fb45b25bd29f96a14e0378662e485da0",
+    "effectiveTableDigest": "2d53121d200de2cb7567113ebf5bc0ce9377e7089fd4697f4b694bd557e32063",
     "fixed": {
       "activationBaseMinor": "500000",
       "activationPerPointMinor": "100000",
@@ -51,14 +49,6 @@
         "settlement": "invoice",
         "signature": "clock.due"
       },
-      {
-        "bps": 0,
-        "meter": "verification.kyb.count",
-        "payer": "product",
-        "perEventMinor": "8000",
-        "settlement": "invoice",
-        "signature": "decides.kyb"
-      },
       {
         "bps": 0,
         "meter": "instrument.event.count",
@@ -83,14 +73,6 @@
         "settlement": "invoice",
         "signature": "meters.account.active_month"
       },
-      {
-        "bps": 0,
-        "meter": "billing.invoice.settlement",
-        "payer": "product",
-        "perEventMinor": "1",
-        "settlement": "invoice",
-        "signature": "meters.billing.invoice.settlement"
-      },
       {
         "bps": 0,
         "meter": "instrument.event.count",
@@ -99,14 +81,6 @@
         "settlement": "invoice",
         "signature": "meters.instrument.event.count"
       },
-      {
-        "bps": 0,
-        "meter": "kyb.application.review",
-        "payer": "product",
-        "perEventMinor": "20000",
-        "settlement": "invoice",
-        "signature": "meters.kyb.application.review"
-      },
       {
         "bps": 6,
         "meter": "transfer.internal.count",
@@ -132,14 +106,6 @@
         "settlement": "invoice",
         "signature": "requires.aggregate"
       },
-      {
-        "bps": 0,
-        "meter": "instrument.event.count",
-        "payer": "product",
-        "perEventMinor": "0",
-        "settlement": "invoice",
-        "signature": "requires.approval"
-      },
       {
         "bps": 0,
         "meter": "instrument.event.count",
@@ -196,12 +162,10 @@
     "declaredMeters": [
       "account.active_month",
       "instrument.event.count",
-      "kyb.application.review",
       "transfer.internal.count",
-      "transfer.internal.volume_usd",
-      "verification.kyb.count"
+      "transfer.internal.volume_usd"
     ],
-    "effectiveTableDigest": "6c96c3fb4174551132edfbab439b1ca709fa2d75a029d7a6da7e584726cb7ba3",
+    "effectiveTableDigest": "44fa81226359fcafa8bd66b70c2311ee999c9bae66ff59c85ccb14d7d68126a9",
     "fixed": {
       "activationBaseMinor": "133300",
       "activationPerPointMinor": "26700",
@@ -243,14 +207,6 @@
         "settlement": "invoice",
         "signature": "clock.due"
       },
-      {
-        "bps": 0,
-        "meter": "verification.kyb.count",
-        "payer": "product",
-        "perEventMinor": "2133",
-        "settlement": "invoice",
-        "signature": "decides.kyb"
-      },
       {
         "bps": 0,
         "meter": "instrument.event.count",
@@ -275,14 +231,6 @@
         "settlement": "invoice",
         "signature": "meters.account.active_month"
       },
-      {
-        "bps": 0,
-        "meter": "billing.invoice.settlement",
-        "payer": "product",
-        "perEventMinor": "1",
-        "settlement": "invoice",
-        "signature": "meters.billing.invoice.settlement"
-      },
       {
         "bps": 0,
         "meter": "instrument.event.count",
@@ -291,14 +239,6 @@
         "settlement": "invoice",
         "signature": "meters.instrument.event.count"
       },
-      {
-        "bps": 0,
-        "meter": "kyb.application.review",
-        "payer": "product",
-        "perEventMinor": "5333",
-        "settlement": "invoice",
-        "signature": "meters.kyb.application.review"
-      },
       {
         "bps": 6,
         "meter": "transfer.internal.count",
@@ -324,14 +264,6 @@
         "settlement": "invoice",
         "signature": "requires.aggregate"
       },
-      {
-        "bps": 0,
-        "meter": "instrument.event.count",
-        "payer": "product",
-        "perEventMinor": "0",
-        "settlement": "invoice",
-        "signature": "requires.approval"
-      },
       {
         "bps": 0,
         "meter": "instrument.event.count",
@@ -388,12 +320,10 @@
     "declaredMeters": [
       "account.active_month",
       "instrument.event.count",
-      "kyb.application.review",
       "transfer.internal.count",
-      "transfer.internal.volume_eur",
-      "verification.kyb.count"
+      "transfer.internal.volume_eur"
     ],
-    "effectiveTableDigest": "302de8af1672e643a0e173c4e1fedbcc90fd59b120897ab41b29daf123ee619b",
+    "effectiveTableDigest": "613d900e38f98a6bf3934e7940ff4d06c76f1dddc695c79ee3b5ee1ad45b8636",
     "fixed": {
       "activationBaseMinor": "125000",
       "activationPerPointMinor": "25000",
@@ -435,14 +365,6 @@
         "settlement": "invoice",
         "signature": "clock.due"
       },
-      {
-        "bps": 0,
-        "meter": "verification.kyb.count",
-        "payer": "product",
-        "perEventMinor": "2000",
-        "settlement": "invoice",
-        "signature": "decides.kyb"
-      },
       {
         "bps": 0,
         "meter": "instrument.event.count",
@@ -467,14 +389,6 @@
         "settlement": "invoice",
         "signature": "meters.account.active_month"
       },
-      {
-        "bps": 0,
-        "meter": "billing.invoice.settlement",
-        "payer": "product",
-        "perEventMinor": "1",
-        "settlement": "invoice",
-        "signature": "meters.billing.invoice.settlement"
-      },
       {
         "bps": 0,
         "meter": "instrument.event.count",
@@ -483,14 +397,6 @@
         "settlement": "invoice",
         "signature": "meters.instrument.event.count"
       },
-      {
-        "bps": 0,
-        "meter": "kyb.application.review",
-        "payer": "product",
-        "perEventMinor": "5000",
-        "settlement": "invoice",
-        "signature": "meters.kyb.application.review"
-      },
       {
         "bps": 6,
         "meter": "transfer.internal.count",
@@ -516,14 +422,6 @@
         "settlement": "invoice",
         "signature": "requires.aggregate"
       },
-      {
-        "bps": 0,
-        "meter": "instrument.event.count",
-        "payer": "product",
-        "perEventMinor": "0",
-        "settlement": "invoice",
-        "signature": "requires.approval"
-      },
       {
         "bps": 0,
         "meter": "instrument.event.count",
@@ -580,12 +478,10 @@
     "declaredMeters": [
       "account.active_month",
       "instrument.event.count",
-      "kyb.application.review",
       "transfer.internal.count",
-      "transfer.internal.volume_gbp",
-      "verification.kyb.count"
+      "transfer.internal.volume_gbp"
     ],
-    "effectiveTableDigest": "1620e8016c6dcd451d220e024ef66852528ce6aef20038810bcfdb10a03ea70e",
+    "effectiveTableDigest": "11ff399b5078ba8ba544a518d5483fced9da63da9c7b1cc2124fea1f17a5b01c",
     "fixed": {
       "activationBaseMinor": "104200",
       "activationPerPointMinor": "20800",
@@ -627,14 +523,6 @@
         "settlement": "invoice",
         "signature": "clock.due"
       },
-      {
-        "bps": 0,
-        "meter": "verification.kyb.count",
-        "payer": "product",
-        "perEventMinor": "1667",
-        "settlement": "invoice",
-        "signature": "decides.kyb"
-      },
       {
         "bps": 0,
         "meter": "instrument.event.count",
@@ -659,14 +547,6 @@
         "settlement": "invoice",
         "signature": "meters.account.active_month"
       },
-      {
-        "bps": 0,
-        "meter": "billing.invoice.settlement",
-        "payer": "product",
-        "perEventMinor": "1",
-        "settlement": "invoice",
-        "signature": "meters.billing.invoice.settlement"
-      },
       {
         "bps": 0,
         "meter": "instrument.event.count",
@@ -675,14 +555,6 @@
         "settlement": "invoice",
         "signature": "meters.instrument.event.count"
       },
-      {
-        "bps": 0,
-        "meter": "kyb.application.review",
-        "payer": "product",
-        "perEventMinor": "4167",
-        "settlement": "invoice",
-        "signature": "meters.kyb.application.review"
-      },
       {
         "bps": 6,
         "meter": "transfer.internal.count",
@@ -708,14 +580,6 @@
         "settlement": "invoice",
         "signature": "requires.aggregate"
       },
-      {
-        "bps": 0,
-        "meter": "instrument.event.count",
-        "payer": "product",
-        "perEventMinor": "0",
-        "settlement": "invoice",
-        "signature": "requires.approval"
-      },
       {
         "bps": 0,
         "meter": "instrument.event.count",

package/examples/library.hsx

@@ -1,14 +1,14 @@
 program cars "Cars"
 use escrow
 use financing
-party underwriter: staff role credit_underwriter
 object car "Cars" {
  fields { make: text, model: text, year: integer }
  attach sale = escrow.hold { payer: actor, payee: owner, expose fund as sell }
- attach limits = financing.limits { borrower: actor, per_borrower: 60000 SAR, portfolio: 1500000 SAR }
+ attach limits = financing.limits { borrower: actor, per_borrower: 60000 SAR }
+ attach ceiling = financing.portfolio_limit { limit: 1500000 SAR }
  attach plan = financing.installments {
-  borrower: actor, capital: operator, share: 25%, approval: underwriter
-  months: 3, profit: 2.5%, funds: sale, limits: limits
+  borrower: actor, capital: operator, share: 25%
+  months: 3, profit: 2.5%, funds: sale, limits: limits, portfolio: ceiling
   expose create as finance
  }
 }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@hyperscale0/hsx",
-  "version": "4.0.0",
+  "version": "4.1.0",
   "description": "The strictly typed HSX language: compile total financial programs into canonical UDL.",
   "keywords": [
     "hsx",
@@ -76,8 +76,8 @@
     "check": "bun run typecheck && tsc -p playground/tsconfig.json && bun test test"
   },
   "dependencies": {
-    "@hyperscale0/adl": "1.0.0-beta.7",
-    "@hyperscale0/udl": "4.0.0",
+    "@hyperscale0/adl": "1.0.0-beta.8",
+    "@hyperscale0/udl": "4.1.0",
     "fast-sha256": "1.3.0"
   },
   "devDependencies": {
@@ -89,5 +89,5 @@
     "Amir Ayub",
     "Sara AlBakaawi"
   ],
-  "gitHead": "5fffb99534e07501367844e1453421605ee05566"
+  "gitHead": "1e2dfa276165e489976ae18b72b975ec190ed05c"
 }