@hyperscale0/hsx 5.6.0 → 5.8.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,WAAW,EAAE,2oKAA2oK,CAAC;IAC1pK,CAAC,iBAAiB,EAAE,2sNAA2sN,CAAC;IAChuN,CAAC,YAAY,EAAE,+qHAA+qH,CAAC;IAC/rH,CAAC,eAAe,EAAE,gq9DAAgq9D,CAAC;IACnr9D,CAAC,eAAe,EAAE,01KAA01K,CAAC;IAC72K,CAAC,aAAa,EAAE,qwTAAqwT,CAAC;IACtxT,CAAC,iBAAiB,EAAE,s+TAAs+T,CAAC;IAC3/T,CAAC,WAAW,EAAE,u1VAAu1V,CAAC;IACt2V,CAAC,eAAe,EAAE,649CAA649C,CAAC;IACh69C,CAAC,aAAa,EAAE,85JAA85J,CAAC;IAC/6J,CAAC,YAAY,EAAE,o7SAAo7S,CAAC;IACp8S,CAAC,YAAY,EAAE,2jGAA2jG,CAAC;CAC5kG,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,2oKAA2oK,CAAC;IAC1pK,CAAC,iBAAiB,EAAE,2sNAA2sN,CAAC;IAChuN,CAAC,YAAY,EAAE,+qHAA+qH,CAAC;IAC/rH,CAAC,eAAe,EAAE,6m+DAA6m+D,CAAC;IACho+D,CAAC,eAAe,EAAE,01KAA01K,CAAC;IAC72K,CAAC,aAAa,EAAE,qwTAAqwT,CAAC;IACtxT,CAAC,iBAAiB,EAAE,woTAAwoT,CAAC;IAC7pT,CAAC,WAAW,EAAE,u1VAAu1V,CAAC;IACt2V,CAAC,eAAe,EAAE,649CAA649C,CAAC;IACh69C,CAAC,aAAa,EAAE,85JAA85J,CAAC;IAC/6J,CAAC,YAAY,EAAE,o7SAAo7S,CAAC;IACp8S,CAAC,YAAY,EAAE,2jGAA2jG,CAAC;CAC5kG,CAAC,CAAC"}

package/dist/src/version.d.ts

@@ -1,2 +1,2 @@
-export declare const HSX_VERSION = "5.6.0";
+export declare const HSX_VERSION = "5.8.0";
 //# sourceMappingURL=version.d.ts.map

package/dist/src/version.js

@@ -1,2 +1,2 @@
-export const HSX_VERSION = "5.6.0";
+export const HSX_VERSION = "5.8.0";
 //# sourceMappingURL=version.js.map

package/docs/README.md

@@ -388,17 +388,51 @@ adapters are bound, participants have funds, or the flow can finish.
 | `financing.late_charge`                    | `fine` is a fixed money amount, not a percentage of overdue principal.                                                                                                                                                                                                                                                       |
 | `cards.card`                               | `spend_limit` is a per-authorization ceiling, not a monthly aggregate.                                                                                                                                                                                                                                                       |
 
-The financing, collections and reporting samples compose loan agreements; they
-do not supply a complete public repayment path. Insurance and travel also need
-premium-slice records and actions. Savings needs dated contribution records.
-Create aliases in these samples cover the root attachments, not every child
-record. Read each header's creation and lifecycle requirements before execution.
-
-The [lending sample](../examples/lending.hsx) exposes limit approvals, funding and
-commitment creation, and cash prepare/distribute actions. Its repayment and share
-child actions still lack a public execution path. It is a composition example,
-not a complete public repayment flow. Callers still need dates, agreement inputs,
-funded wallets, eligible settlements and the distribution's share records.
+A seller-owned marketplace object can declare `entryActions: [create_order]`
+when `create_order` exposes an attachment's create action with its buyer bound
+to `actor`. This admits active enrolled customers to that action. The default
+is closed. A retained buyer can read the record and run its buyer actions;
+the seller remains owner. Entry never grants access to an existing escrow.
+
+`financing.limits` and `financing.portfolio_limit` declare `scope: product`.
+Create and approve the portfolio limit once per Product and the borrower limit
+once per borrower. Plans on later records resolve those shared references.
+Ordinary references remain on the current record; shared references must match
+the bound party accounts. The aggregate caps still apply across all plans.
+
+`programTax` transfers use an operator-owned cash account keyed `programTax`.
+The account primitive creates it automatically and shares it across the Product.
+Zero-tax escrow releases need no additional party setup.
+
+The financing, collections and lending samples expose payment creation, payment,
+refund and payoff quotes through the object's existing action routes. A child
+alias names the full attachment path, for example:
+
+```hsx
+expose enrolment.tuition.payment.create as create_payment
+expose enrolment.tuition.payment.pay as pay_instalment
+expose enrolment.tuition.payoff_quote.create as request_payoff_quote
+```
+
+Read the parent object's actions and follow pagination to discover child actions.
+Use the returned target, Build, digest and object revision when executing. Creation
+targets the child attachment; later actions target the child's instance ID on the
+same object. The caller must satisfy the header's actor rule. Parties bind from
+the session and object ownership. Retry the same request with the same
+Idempotency-Key to retrieve its result without moving money again.
+
+Supply payment amount and identity at creation. Pass the quote instance as the
+parent payoff's `quote` input. For a late charge on a multi-instalment plan, select
+the overdue child with the creation input `slice`. Repayment uses the declared
+allocation order and payoff rebate; aliases do not change those terms.
+
+The [lending sample](../examples/lending.hsx) also exposes share creation. Callers
+still need dates, agreement inputs, funded wallets and eligible settlements.
+References without an explicit creation input require one matching agreement on
+the object. In particular, lending distributions with multiple settlements or
+commitments need authored selectors before callers can choose among them.
+Insurance and travel need premium-slice records and actions. Savings needs dated
+contribution records. Read each header's creation and lifecycle requirements.
 
 ## Checkout and reversals
 

package/docs/examples.md

@@ -9,7 +9,7 @@ Each file is an authored program. Object creation enters no agreement; an attach
 | [Used device sales](../examples/escrow.hsx) | escrow | Buyers fund a used device purchase, then accept delivery or raise a dispute before release. |
 | [Tuition instalments](../examples/financing.hsx) | financing | A tuition lender funds a student's fees over three interest-free instalments with borrowing limits. |
 | [Device insurance](../examples/insurance.hsx) | insurance, money | A device retailer collects the purchase price and attaches cover with a claim review process. |
-| [Community business lending](../examples/lending.hsx) | lending, financing, wallet | A lending composition with limit approvals, wallet commitments and cash distribution transitions. Repayment and distribution-share child actions still need an execution path; this is not a complete public repayment flow. |
+| [Community business lending](../examples/lending.hsx) | lending, financing, wallet | A lending composition with limit approvals, wallet commitments and cash distribution transitions. |
 | [Financed car sales](../examples/library.hsx) | escrow, financing | A minimal financed car sale connects escrow to a three-instalment plan and lending limits. |
 | [Freelance marketplace](../examples/marketplace.hsx) | marketplace, escrow | Freelancers publish offers and clients place orders with funds held until work is accepted. |
 | [Tutoring studio](../examples/money.hsx) | money | A tutoring studio collects a fixed fee for each lesson and can cancel unpaid bookings. |

package/docs/headers.md

@@ -16,7 +16,7 @@ Bind party parameters to owner, actor, operator or declared parties. Configure d
 | money.metered | `payer: party`, `payee: party`, `unit_price: money`, `units: integer = 1`, `fee: fee = { seller: 0% }` |
 | marketplace.listing | `seller: party` |
 | marketplace.order | `listing: ref<marketplace.listing>`, `buyer: party` |
-| marketplace.reservation | `listing: ref<marketplace.listing>`, `funds: ref<escrow.hold>`, `plans: ref<financing.installments>[]`, `converters: ref[]`, `buyer: party`, `seller: party`, `expires_after: duration = 48h`, `deposit: money = 1000 SAR`, `cancellation_refund: percent = 100%`, `expiry_refund: percent = 100%`, `retained_to: party = programOperator`, `operator: party = programOperator`, `competing_quotes: enum(allowed, blocked) = allowed` |
+| marketplace.reservation | `listing: ref<marketplace.listing>`, `funds: ref<escrow.hold>`, `converters: ref[]`, `buyer: party`, `seller: party`, `expires_after: duration = 48h`, `deposit: money = 1000 SAR`, `cancellation_refund: percent = 100%`, `expiry_refund: percent = 100%`, `retained_to: party = programOperator`, `operator: party = programOperator`, `competing_quotes: enum(allowed, blocked) = allowed` |
 | 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` |

package/examples/collections.hsx

@@ -7,8 +7,8 @@ party agency: business
 object facility "Business loan" {
   fields { businessName: text, purpose: text, price: money }
   columns: [businessName, purpose, price]
-  attach allowance = financing.limits { expose create as create_allowance, borrower: owner, per_borrower: 100000 SAR }
-  attach budget = financing.portfolio_limit { expose create as create_budget, limit: 2000000 SAR }
+  attach allowance = financing.limits { expose create as create_allowance, expose approve as approve_borrower, borrower: owner, per_borrower: 100000 SAR }
+  attach budget = financing.portfolio_limit { expose create as create_budget, expose approve as approve_budget, limit: 2000000 SAR }
   attach loan = financing.installments {
     expose create as create_loan
     borrower: owner, capital: operator
@@ -16,6 +16,7 @@ object facility "Business loan" {
     limits: allowance, portfolio: budget
     expose sign as sign_loan
     expose disburse as release_loan
+    expose payoff as repay_early
   }
   attach recovery = collections.case {
     expose create as create_recovery
@@ -29,3 +30,8 @@ object facility "Business loan" {
     case: recovery, agency: agency
   }
 }
+
+expose facility.loan.payment.create as create_payment
+expose facility.loan.payment.pay as pay_instalment
+expose facility.loan.payment.refund as refund_payment
+expose facility.loan.payoff_quote.create as request_payoff_quote

package/examples/financing.hsx

@@ -25,3 +25,8 @@ object enrolment "Enrolment" {
     expose payoff as repay_early
   }
 }
+
+expose enrolment.tuition.payment.create as create_payment
+expose enrolment.tuition.payment.pay as pay_instalment
+expose enrolment.tuition.payment.refund as refund_payment
+expose enrolment.tuition.payoff_quote.create as request_payoff_quote

package/examples/lending.hsx

@@ -1,5 +1,4 @@
 // A lending composition with limit approvals, wallet commitments and cash distribution transitions.
-// Repayment and distribution-share child actions still need an execution path; this is not a complete public repayment flow.
 program community_business_lending "Community business lending"
 use lending
 use financing
@@ -25,6 +24,7 @@ object business "Business funding" {
     limits: allowance, portfolio: budget
     expose sign as sign_loan
     expose disburse as release_loan
+    expose payoff as repay_early
   }
   attach investor_balance = wallet.balance {
     expose create as create_investor_balance
@@ -49,3 +49,9 @@ object business "Business funding" {
     expose distribute_cash as distribute_returns
   }
 }
+
+expose business.loan.payment.create as create_payment
+expose business.loan.payment.pay as pay_instalment
+expose business.loan.payment.refund as refund_payment
+expose business.loan.payoff_quote.create as request_payoff_quote
+expose business.returns.share.create as create_return_share

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@hyperscale0/hsx",
-  "version": "5.6.0",
+  "version": "5.8.0",
   "description": "The strictly typed HSX language: compile total financial programs into canonical UDL.",
   "keywords": [
     "hsx",
@@ -86,7 +86,7 @@
   },
   "dependencies": {
     "@hyperscale0/adl": "1.0.0-beta.10",
-    "@hyperscale0/udl": "4.8.0",
+    "@hyperscale0/udl": "4.9.0",
     "fast-sha256": "1.3.0"
   },
   "devDependencies": {
@@ -98,5 +98,5 @@
     "Amir Ayub",
     "Sara AlBakaawi"
   ],
-  "gitHead": "be567dd18eb45ea3e02adc1f33b8491aa05df135"
+  "gitHead": "d368f9b62ba1bd8d75e48e77acca613c750ad0b0"
 }