@hyperscale0/hsx 1.0.265 → 1.0.293

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,aAAa,EAAE,soLAAsoL,CAAC;IACvpL,CAAC,WAAW,EAAE,6wMAA6wM,CAAC;IAC5xM,CAAC,iBAAiB,EAAE,2sNAA2sN,CAAC;IAChuN,CAAC,YAAY,EAAE,yjQAAyjQ,CAAC;IACzkQ,CAAC,eAAe,EAAE,6nrFAA6nrF,CAAC;IAChprF,CAAC,eAAe,EAAE,41LAA41L,CAAC;IAC/2L,CAAC,aAAa,EAAE,03UAA03U,CAAC;IAC34U,CAAC,iBAAiB,EAAE,syTAAsyT,CAAC;IAC3zT,CAAC,WAAW,EAAE,8zYAA8zY,CAAC;IAC70Y,CAAC,eAAe,EAAE,ir2BAAir2B,CAAC;IACps2B,CAAC,aAAa,EAAE,4hKAA4hK,CAAC;IAC7iK,CAAC,YAAY,EAAE,2zIAA2zI,CAAC;CAC50I,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,aAAa,EAAE,m7LAAm7L,CAAC;IACp8L,CAAC,WAAW,EAAE,6wMAA6wM,CAAC;IAC5xM,CAAC,iBAAiB,EAAE,qrNAAqrN,CAAC;IAC1sN,CAAC,YAAY,EAAE,mkOAAmkO,CAAC;IACnlO,CAAC,eAAe,EAAE,kinFAAkinF,CAAC;IACrjnF,CAAC,eAAe,EAAE,41LAA41L,CAAC;IAC/2L,CAAC,aAAa,EAAE,03UAA03U,CAAC;IAC34U,CAAC,iBAAiB,EAAE,ggTAAggT,CAAC;IACrhT,CAAC,WAAW,EAAE,ogYAAogY,CAAC;IACnhY,CAAC,cAAc,EAAE,svJAAsvJ,CAAC;IACxwJ,CAAC,YAAY,EAAE,y1HAAy1H,CAAC;IACz2H,CAAC,eAAe,EAAE,4o1BAA4o1B,CAAC;IAC/p1B,CAAC,aAAa,EAAE,4hKAA4hK,CAAC;IAC7iK,CAAC,YAAY,EAAE,u8HAAu8H,CAAC;CACx9H,CAAC,CAAC"}

package/docs/README.md

@@ -42,10 +42,10 @@ hsx cost lesson.hsx
 `check` exits zero without output on success. `build` writes canonical UDL;
 without `--out` it prints to stdout. `cost` prints instruction counts, described
 below. `format` prints formatted source or writes it with `--out`. `headers --json`
-prints the header manifest. These commands have no `--strict` or `--catalog` option.
-Exit 1 means invalid source; exit 2 means a command or file error. Diagnostics name
-the source, line, column, code, problem and suggested fix. UDL validation keeps
-its UDL diagnostic codes; binding errors can have names such as
+prints the header manifest. Exit 1 means invalid source; exit 2 means a command
+or file error. Diagnostics name the source, line, column, code, problem and
+suggested fix. UDL validation keeps its UDL diagnostic codes; binding errors can
+have names such as
 `subject_party_unbound`. Read the message and fix, not just the code.
 
 At runtime, create a lesson object first, then call `book_lesson` to create its
@@ -56,39 +56,44 @@ and party IDs are not metadata supplied by the caller.
 
 ## A rental deposit in one hour
 
+For a separate hire charge and refundable security, use
+[rental-hire.hsx](../examples/rental-hire.hsx) and the `rental` header.
+Its shared rules refund both paid parts on cancellation before pickup.
+`complete_hire` requires recorded pickup, and an ended hire still counts toward
+the one-hire limit. The operator records pickup, return and damage.
+
 Open [rental-deposit.hsx](../examples/rental-deposit.hsx). It is a complete source
-file for a business renting equipment from the program operator. Copy it to
+file for a customer renting equipment from the program operator. Copy it to
 `rental.hsx` and run the same check, build and cost commands against that file.
 No header import is needed because it declares its own instrument.
 
-The terms are a 1,000 SAR deposit and a one-time 50 SAR late fee. The supplied
-`dueAt` timestamp is the cutoff: a return before it gets the whole deposit back;
-a return at or after it gets 950 SAR back. The operator receives the other 50 SAR.
-The late fee is not a daily charge and is not `financing.late_charge`, which
+The terms are a 1,000 SAR deposit and one late charge of 50 SAR plus 15% VAT,
+which is 7.50 SAR. The record's `startsAt` and `dueAt` timestamps reach the
+agreement through `rename`, so `agree_rental` reads them from the object. A
+return before `dueAt` gets the whole deposit back; a return at or after it gets
+942.50 SAR back. The operator receives 50 SAR and `programTax` receives 7.50 SAR.
+The late charge is not a daily charge and is not `financing.late_charge`, which
 requires a financing plan and an overdue installment.
 
-| Step                         | Public action           | Actor and required values                                                             | Money effect                                       |
-| ---------------------------- | ----------------------- | ------------------------------------------------------------------------------------- | -------------------------------------------------- |
-| Create the object            | Host object creation    | Optional `equipment` metadata                                                         | None                                               |
-| Agree terms                  | `agree_rental`          | Bound renter; `dueAt`, for example `2027-01-10T12:00:00+03:00`, must be in the future | Creates the agreement's held account               |
-| Fund before the cutoff       | `pay_deposit`           | Bound renter with 1,000 SAR available                                                 | Renter pays 1,000 SAR into held                    |
-| Record an on-time return     | `return_equipment`      | Operator; `returnReference` metadata                                                  | Held pays 1,000 SAR to renter                      |
-| Or record a late return      | `return_equipment_late` | Operator; `returnReference` metadata                                                  | Held pays 50 SAR to operator and 950 SAR to renter |
-| Cancel an unfunded agreement | `cancel_rental`         | Bound renter, while pending                                                           | None                                               |
+| Step                         | Public action           | Actor and required values                                                                                 | Money effect                                                           |
+| ---------------------------- | ----------------------- | --------------------------------------------------------------------------------------------------------- | ---------------------------------------------------------------------- |
+| Create the object            | Host object creation    | Optional `equipment`, `serialNumber`, `renterName`, `startsAt` and `dueAt` metadata                       | None                                                                   |
+| Agree terms                  | `agree_rental`          | Bound renter; `startsAt` and `dueAt`, for example `2027-01-10T12:00:00+03:00`, both future, `dueAt` later | Creates the agreement's held account                                   |
+| Fund before pickup           | `pay_deposit`           | Bound renter with 1,000 SAR available, before `startsAt`                                                  | Renter pays 1,000 SAR into held                                        |
+| Record an on-time return     | `return_equipment`      | Operator, before `dueAt`; `returnReference` metadata                                                      | Held pays 1,000 SAR to renter                                          |
+| Or record a late return      | `return_equipment_late` | Operator, at or after `dueAt`; `returnReference` metadata                                                 | Held pays 50 SAR to operator, 7.50 SAR to tax and 942.50 SAR to renter |
+| Cancel before pickup         | `cancel_before_pickup`  | Bound renter on a funded agreement, before `startsAt`                                                     | Held pays 1,000 SAR back to renter                                     |
+| Cancel an unfunded agreement | `cancel_unpaid_rental`  | Bound renter, while pending                                                                               | None                                                                   |
 
 Choose one return action. Both finish the agreement, so the fee and refund cannot
-repeat. The late action calculates the refund from the held balance before either
+repeat. The late action calculates the refund from the held balance before any
 move runs. Both paths empty the held account. `returnReference` records the
 operator's return evidence; it does not verify the physical return. Time means
 the executor's current time when the action runs, not a caller-supplied return date.
 A late `due` permits the operator action; it does not schedule that action.
 
-This sample binds a declared business named `renter` in Product configuration.
-The renter is one business for the whole Build, so the instrument takes no
-parameters. Changing the renter binding is a Build configuration decision, not a
-different party ID on each request. For per-object participants, give a program
-instrument parameters as a header would, such as `instrument purse(holder: party)`,
-and bind `holder: owner` or `holder: actor` in each `attach` block. A
+The renter is a party parameter bound to the rental object's `owner`. Each rental
+can belong to a different customer without a fixed business binding. A
 parameterized program instrument exists only through its attachments. A `fee` on
 a move of an action input, such as `moves input.amount from holder to self.held
 fee { seller: 1% }`, is calculated when that action runs. Reusable custom headers
@@ -97,8 +102,7 @@ this CLI.
 
 Inspect `objects` in the compiled UDL for the attachment and public names, then
 its instrument for fields, transitions, actors, requirements and ordered moves.
-The `hide deposit.*` lines remove public names from the unattached declaration;
-the attachment exposes its own copy. `money.hold` and `escrow.hold` both refund
+`money.hold` and `escrow.hold` both refund
 whole amounts, so neither implements this partial-refund policy by itself.
 
 A local compile gives you a contract. Executing it needs a host with authenticated
@@ -189,7 +193,7 @@ and basis points. Fee and tax calculations round down. Split percentages sum to
 schedules use positions 1 through n and put the division remainder in position 1.
 Amortizing financing is the exception: it rounds half up and puts the remainder in
 the last instalment, as a standard amortization table does.
-Tax binds `programTax`. Fees default to `programOperator`. Fine, recovery and
+Tax binds `programTax`. Fees go to `programOperator`. Fine, recovery and
 residual destinations are party tunables.
 
 Attached actions are private unless the attachment exposes them with
@@ -284,8 +288,9 @@ maxAge 1d` requires a recent completed provider check.
 only to reservations. Fees settle with create moves, never reservations. A fee move
 also derives `<action>_<move>_debit`, the payer's whole debit: amount plus fee and
 tax when the buyer pays, the amount alone when the seller pays. Repeated clauses keep
-their declaration order. The JSON-like clause form remains accepted and lowers
-to the same [UDL clauses](https://github.com/hyperscale0/hyperscale-udl/blob/main/spec/README.md).
+their declaration order. A clause list after a colon, such as `calculate: [{ ... }]`
+or `invoke: [{ ... }]`, writes [UDL clauses](https://github.com/hyperscale0/hyperscale-udl/blob/main/spec/README.md)
+directly; the std headers use it for calculations, `set` and invocations.
 Use `economics { purpose: earning, sourceParty: merchant }` on a move to
 classify posted money. Other purposes are `principal`, `participant_payout`,
 `internal`, `prepaid_credit`, and `pass_through`. `reversalOf: self.originalTransfer` links a
@@ -369,7 +374,8 @@ the selection limit, so a count is an upper bound rather than observed usage.
 Zero-valued moves can cost fewer actual transfers than their static count.
 
 The rental attachment's create declares one owned account, fund declares one
-transfer, on-time return one, and late return two. These are counts, not SAR
+transfer, on-time return one, and late return three: the charge, its VAT and
+the refund. These are counts, not SAR
 prices. The executor's tariff supplies commercial prices and actual usage.
 
 The compiler API is `compile(source)`. On success, `result.verdict` is `valid`
@@ -395,7 +401,16 @@ customer: `financing.limits` and `financing.installments` (borrower),
 (member). Several customers can each start one on the same record. A plan,
 commitment or other reference resolves the sibling that binds the same
 accounts to the parties both share, so each customer's plan finds its own
-escrow and each investor's commitment finds their own wallet.
+checkout and each investor's commitment finds their own wallet.
+
+A financed purchase connects `financing.installments` to `escrow.hold` through
+`purchase.checkout`. Bind the plan's `funds` to checkout, checkout's `funds` to
+the hold, and checkout's `plans` to the plan. Give the hold the funding policy
+`{ controllers: [checkout], reference: "funds", blocking_states: [active] }`.
+If a marketplace reservation contributes a deposit, its `converters` also names
+checkout. Create the hold, then checkout, then the plan. The coordinator collects
+the missing down payment and returns outstanding lender capital before a buyer
+refund. See [library.hsx](../examples/library.hsx) for the complete wiring.
 
 `financing.limits` and `financing.portfolio_limit` declare `scope: product`.
 Create and approve the portfolio limit once per Product and the borrower limit

package/examples/cards.hsx

@@ -1,6 +1,6 @@
-// Riyadh catering cards lets staff reserve supplier purchases up to 5,000 SAR each.
+// Boston catering cards lets staff reserve supplier purchases up to 5,000 SAR each.
 // Supplier cancellation releases the reservation; captured purchases support a full refund or a reviewed dispute.
-program team_expense_cards "Riyadh catering cards"
+program team_expense_cards "Boston catering cards"
 use cards
 party supplier: business
 

package/examples/collections.hsx

@@ -1,6 +1,6 @@
-// Jeddah cafe equipment finance lends 24,000 SAR over 12 months and refers debt seven days overdue.
+// Portland cafe equipment finance lends 24,000 SAR over 12 months and refers debt seven days overdue.
 // Its agency earns 10% of each recovery from the lender, with at most four contacts per 30 days.
-program business_collections "Jeddah cafe equipment finance"
+program business_collections "Portland cafe equipment finance"
 use collections
 use financing
 party agency: business

package/examples/escrow.hsx

@@ -1,6 +1,6 @@
-// Khobar used laptops holds a buyer's 2,300 SAR until the laptop arrives and passes inspection.
+// Seattle used laptops holds a buyer's 2,300 SAR until the laptop arrives and passes inspection.
 // Delivery has seven days; the buyer has 48 hours to accept or dispute before the operator reviews the sale.
-program used_device_sales "Khobar used laptops"
+program used_device_sales "Seattle used laptops"
 use escrow
 party seller: business
 

package/examples/financing.hsx

@@ -1,6 +1,6 @@
-// Riyadh language academy finance pays 6,900 SAR tuition to the academy at enrolment.
+// Boston language academy finance pays 6,900 SAR tuition to the academy at enrolment.
 // The student repays three monthly instalments of 2,300 SAR with no financing profit or late fee.
-program tuition_instalments "Riyadh language academy finance"
+program tuition_instalments "Boston language academy finance"
 use financing
 party academy: business
 

package/examples/insurance.hsx

@@ -1,6 +1,6 @@
-// Jeddah device cover sells a 1,725 SAR tablet and a 115 SAR annual protection period.
+// Portland device cover sells a 1,725 SAR tablet and a 115 SAR annual protection period.
 // The retailer keeps 10% of each premium; cancelled future periods reverse that commission and the insurer's portion.
-program device_insurance "Jeddah device cover"
+program device_insurance "Portland device cover"
 use insurance
 use money
 

package/examples/lending.hsx

@@ -1,6 +1,6 @@
-// Qassim bakery funding raises 30,000 SAR for ovens from investors who commit at least 1,000 SAR each.
+// Bristol bakery funding raises 30,000 SAR for ovens from investors who commit at least 1,000 SAR each.
 // An unclosed round refunds its wallets at expiry; funded loans distribute repayments or record investor losses.
-program community_business_lending "Qassim bakery funding"
+program community_business_lending "Bristol bakery funding"
 use lending
 use financing
 use wallet
@@ -42,7 +42,6 @@ object business "Bakery oven funding" {
     expose activate as open_wallet
     expose topup as add_funds
     expose withdraw as withdraw_available_funds
-    expose close as close_empty_wallet
   }
   attach funding = lending.round {
     borrower: owner, plan: loan, minimum_ticket: 1000 SAR, investor_cap: 25%

package/examples/library.hsx

@@ -1,8 +1,9 @@
-// Riyadh used van finance funds a 34,500 SAR van over three monthly instalments.
+// Boston used van finance funds a 34,500 SAR van over three monthly instalments.
 // The dealer is paid after delivery and acceptance; a verified return unwinds financing before the buyer gets a refund.
-program cars "Riyadh used van finance"
+program cars "Boston used van finance"
 use escrow
 use financing
+use purchase
 party dealer: business
 
 // Bind dealer to the vehicle seller. Set price to its gross 34,500 SAR invoice;
@@ -13,6 +14,7 @@ object car "Financed van purchase" {
   columns: [make, model, year, vin, price]
   attach sale = escrow.hold {
     payer: actor, payee: dealer
+    funding: { controllers: [checkout], reference: "funds", blocking_states: [active] }
     fee: { seller: 2%, tax: 15% }
     deliver_within: 7d, accept_within: 3d
     expose create as agree_van_purchase
@@ -42,10 +44,14 @@ object car "Financed van purchase" {
   // At 34,500 SAR, 2.5% flat profit is 862.50 SAR for the whole term.
   // Financing fee: 0%, tax: 0% on principal; no separate financing service fee.
   // Supply three future monthly dates and a unique settlementIdentity.
+  attach checkout = purchase.checkout {
+    plans: plan, funds: sale, borrower: actor, capital: operator
+    expose create as prepare_financed_purchase
+  }
   attach plan = financing.installments {
     borrower: actor, capital: operator, share: 0%
     months: 3, pricing: flat_total, profit_rate: 2.5%
-    funds: sale, limits: limits, portfolio: ceiling
+    funds: checkout, limits: limits, portfolio: ceiling
     returned_goods: refund_all, refund_within: 30d, write_off_after: 90d
     expose create as finance
     expose sign as sign_finance_agreement

package/examples/marketplace.hsx

@@ -1,6 +1,6 @@
-// Riyadh design market sells a 2,000 SAR restaurant menu project with delivery in seven days.
+// Boston design market sells a 2,000 SAR restaurant menu project with delivery in seven days.
 // The company keeps 10% plus 15% VAT on its fee; the designer receives 1,770 SAR after client acceptance.
-program freelance_marketplace "Riyadh design market"
+program freelance_marketplace "Boston design market"
 use marketplace
 use escrow
 party designer: business

package/examples/money.hsx

@@ -1,6 +1,6 @@
-// Riyadh tutoring studio charges 172.50 SAR for a private Arabic lesson.
+// Boston tutoring studio charges 172.50 SAR for a private Arabic lesson.
 // A paid booking can be refunded before the lesson or if the tutor cannot teach.
-program tutoring_studio "Riyadh tutoring studio"
+program tutoring_studio "Boston tutoring studio"
 use money
 
 // The customer is the object's owner. Fee: 0% on top of the lesson price.

package/examples/rental-deposit.hsx

@@ -1,11 +1,10 @@
-// Dammam equipment hire holds a 1,000 SAR deposit for a business renter.
+// Equipment rental holds a 1,000 SAR deposit for the customer who owns each rental.
 // Return the deposit in full, or deduct a single 50 SAR late charge plus 7.50 SAR VAT.
-program equipment_rental "Dammam equipment hire"
-party renter: business
+program equipment_rental "Equipment rental deposits"
 
-// Bind renter to the business hiring the equipment. The deposit has fee 0%
+// Bind renter to the customer who owns this rental. The deposit has fee 0%
 // and tax 0% because it stays refundable principal. The late service has 15% VAT.
-instrument deposit {
+instrument deposit(renter: party) {
   summary: "Hold security until return, with one disclosed late charge."
   fields {
     renter: account of renter
@@ -13,20 +12,16 @@ instrument deposit {
     amount: money = 1000 SAR
     lateFee: money = 50 SAR
     lateTax: money = rate(self.lateFee, 15%)
-    startsAt: date
     dueAt: date
     refund: money?
   }
-  lifecycle { states: [pending, funded, returned, cancelled], initial: pending }
+  lifecycle { states: [pending, funded, returned], initial: pending }
   action create {
     actor: { party: renter }
     requires self.dueAt > self.now
-    requires self.startsAt > self.now
-    requires self.dueAt > self.startsAt
   }
   action fund {
     from: pending, to: funded, actor: { party: renter }
-    deadline: { at: self.startsAt }
     moves self.amount from self.renter to self.held
   }
   action return_on_time {
@@ -44,31 +39,18 @@ instrument deposit {
     moves self.lateTax from self.held to programTax
     moves self.refund from self.held to self.renter
   }
-  action refund_before_pickup {
-    from: funded, to: cancelled, actor: { party: renter }
-    deadline: { at: self.startsAt }
-    moves self.held.balance from self.held to self.renter
-  }
-  action cancel { from: pending, to: cancelled, actor: { party: renter } }
+
 }
 
 object rental "Equipment deposit" {
   fields { equipment: text, serialNumber: text, renterName: text }
-  columns: [equipment, serialNumber, renterName, startsAt, dueAt]
+  columns: [equipment, serialNumber, renterName, dueAt]
   attach security = deposit {
-    rename { startsAt: startsAt, dueAt: dueAt }
+    renter: owner
+    rename { dueAt: dueAt }
     expose create as agree_rental
     expose fund as pay_deposit
     expose return_on_time as return_equipment
     expose return_late as return_equipment_late
-    expose refund_before_pickup as cancel_before_pickup
-    expose cancel as cancel_unpaid_rental
   }
 }
-
-hide deposit.create
-hide deposit.fund
-hide deposit.return_on_time
-hide deposit.return_late
-hide deposit.refund_before_pickup
-hide deposit.cancel

package/examples/rental-hire.hsx

@@ -0,0 +1,23 @@
+// Equipment rental: refundable security and one hire, earned only after pickup.
+program equipment_hire "Equipment hire and security"
+use rental
+
+object rental "Rental deposit" {
+  fields { item: text, renter: text, price: money }
+  columns: [item, renter, price]
+  attach hire = rental.hire_charge {
+    renter: owner, security: security
+    expose create as agree_hire
+    expose fund as pay_hire
+    expose release as complete_hire
+  }
+  attach security = rental.deposit {
+    renter: owner, hire: hire
+    rename { price: price }
+    expose create as agree_rental
+    expose fund as pay_deposit
+    expose pickup as collect_equipment
+    expose return as return_equipment
+    expose withhold as withhold_damage
+  }
+}

package/examples/repair-approval.hsx

@@ -1,6 +1,6 @@
-// Jeddah phone repair quotes 350 SAR plus 52.50 SAR VAT for a screen replacement.
+// Portland phone repair quotes 350 SAR plus 52.50 SAR VAT for a screen replacement.
 // The customer approves and funds the repair; acceptance pays the shop, while a failed repair returns all 402.50 SAR.
-program repair_shop "Jeddah phone repair"
+program repair_shop "Portland phone repair"
 
 // Fee: 0% beyond the repair price. The shop keeps 350 SAR and posts 15% VAT.
 instrument assessment(customer: party) {

package/examples/reporting.hsx

@@ -1,6 +1,6 @@
-// Tabuk workshop equipment finance lends 46,000 SAR and reports monthly repayments and arrears.
+// Lyon workshop equipment finance lends 46,000 SAR and reports monthly repayments and arrears.
 // Ageing bands at 30, 60 and 90 days distinguish overdue balances from loans written off after 90 days.
-program equipment_loan_reports "Tabuk workshop equipment finance"
+program equipment_loan_reports "Lyon workshop equipment finance"
 use reporting
 use financing
 

package/examples/savings.hsx

@@ -1,6 +1,6 @@
-// Al Khobar shopkeepers circle collects 500 SAR from each of six members every month.
+// Seattle shopkeepers circle collects 500 SAR from each of six members every month.
 // Each member receives one 3,000 SAR pot in order; missed contributions remain payable and an unfunded pot waits.
-program neighbourhood_savings "Al Khobar shopkeepers circle"
+program neighbourhood_savings "Seattle shopkeepers circle"
 use savings
 
 // Fee: 0%. Tax: 0% because this circle only returns members' principal and

package/examples/serviced.hsx

@@ -1,8 +1,9 @@
-// Dammam delivery van finance funds a 69,000 SAR van with 10% down and 36 monthly instalments.
+// Denver delivery van finance funds a 69,000 SAR van with 10% down and 36 monthly instalments.
 // It records reminders, late charges, hardship extensions, early repayment and financed returns.
-program car_financing "Dammam delivery van finance"
+program car_financing "Denver delivery van finance"
 use escrow
 use financing
+use purchase
 use collections
 party dealer: business
 
@@ -13,6 +14,7 @@ object car "Delivery van finance" {
   columns: [make, model, year, vin, price]
   attach sale = escrow.hold {
     payer: actor, payee: dealer
+    funding: { controllers: [checkout], reference: "funds", blocking_states: [active] }
     fee: { seller: 1%, tax: 15% }, deliver_within: 14d, accept_within: 3d
     expose create as agree_van_purchase
     expose fund as pay_cash_instead
@@ -40,13 +42,17 @@ object car "Delivery van finance" {
   // Down payment is 6,900 SAR. Capital is 62,100 SAR; total flat profit is
   // 5,278.50 SAR. Financing service fee: 0%, tax: 0% on principal repayments.
   // Supply 36 future monthly dates. Approve limits before collecting and funding.
+  attach checkout = purchase.checkout {
+    plans: plan, funds: sale, borrower: actor, capital: operator
+    expose create as prepare_financed_purchase
+  }
   attach plan = financing.installments {
     borrower: actor, capital: operator, share: 0%
     months: 36, pricing: flat_total, profit_rate: 8.5%, down_payment: 10%
     apply: fines_profit_principal, payoff_rebate: 100%, write_off_after: 90d
     refund_within: 30d, payoff_quote_expiry: 1h, returned_goods: refund_all
     max_extension: 60d, max_amendments: 2, amendment_expiry: 7d
-    funds: sale, limits: limits, portfolio: ceiling
+    funds: checkout, limits: limits, portfolio: ceiling
     expose create as finance
     expose sign as sign_contract
     expose collect_down_payment as pay_down_payment

package/examples/wallet.hsx

@@ -1,6 +1,6 @@
-// Madinah pottery studio lets members prepay for visits at 172.50 SAR each.
+// York pottery studio lets members prepay for visits at 172.50 SAR each.
 // A reserved visit can be charged, cancelled or released at expiry; unused credit can be withdrawn.
-program workshop_credits "Madinah pottery studio"
+program workshop_credits "York pottery studio"
 use wallet
 
 // Top-up fee: 0%. Loading and withdrawing credit have tax 0% here because
@@ -18,8 +18,6 @@ object membership "Pottery membership" {
     expose withdraw as withdraw_unused_credit
     expose freeze as freeze_balance
     expose unfreeze as restore_balance
-    expose close as close_empty_balance
-    expose operator_close as close_empty_membership
   }
   // Supply amount: 172.50 SAR and expiresAt: the booked visit time.
   // Each spend has its own inputs; a second visit cannot inherit the first.

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@hyperscale0/hsx",
-  "version": "1.0.265",
+  "version": "1.0.293",
   "description": "The strictly typed HSX language: compile total financial programs into canonical UDL.",
   "keywords": [
     "hsx",
@@ -90,8 +90,8 @@
     "bases:bundle": "bun scripts/bundle-bases.ts"
   },
   "dependencies": {
-    "@hyperscale0/adl": "1.0.265",
-    "@hyperscale0/udl": "1.0.265",
+    "@hyperscale0/adl": "1.0.293",
+    "@hyperscale0/udl": "1.0.293",
     "fast-sha256": "1.3.0"
   },
   "devDependencies": {
@@ -103,5 +103,5 @@
     "Amir Ayub",
     "Sara AlBakaawi"
   ],
-  "gitHead": "3bbe4d5b8ed1989e198ac9e803b7317649682988"
+  "gitHead": "1162996bf1b0230e8bb55a641976ab9bac500aa5"
 }

package/src/bases-bundle.ts

@@ -6,10 +6,10 @@ export const bases: HsxBase[] = [
   {"id":"escrow","title":"Hold payment until delivery","summary":"Hold a buyer’s payment until delivery is accepted.","headers":["escrow"],"source":"// Hold a buyer’s payment until delivery is accepted.\nprogram escrow_base \"Hold payment until delivery\"\nuse escrow\nparty seller: business\n\nobject order \"Order\" {\n  fields { price: money }\n  attach payment = escrow.hold {\n    payer: owner, payee: seller\n    expose create as create\n    expose fund as fund\n    expose deliver as deliver\n    expose accept as accept\n    expose dispute as dispute\n    expose verify_return as verify_return\n    expose refund as refund\n    expose refund_undelivered as refund_undelivered\n    expose settle_release as settle_release\n    expose settle_return as settle_return\n    expose settle_refund as settle_refund\n    expose cancel as cancel\n  }\n}\n"},
   {"id":"financing","title":"Split a purchase into instalments","summary":"Fund a purchase and collect its scheduled repayments.","headers":["financing"],"source":"// Fund a purchase and collect its scheduled repayments.\nprogram financing_base \"Split a purchase into instalments\"\nuse financing\nparty seller: business\n\nobject purchase \"Purchase\" {\n  fields { price: money }\n  attach allowance = financing.limits {\n    borrower: owner, per_borrower: runtime\n    expose create as request_limit\n    expose approve as approve_limit\n  }\n  attach budget = financing.portfolio_limit {\n    limit: runtime\n    expose create as create_budget\n    expose approve as approve_budget\n  }\n  // Architect sets the placeholder profit rate during tailoring.\n  attach plan = financing.installments {\n    borrower: owner, capital: operator\n    months: 2, pricing: flat_total, profit_rate: 0%\n    disburse_to: seller, seller: seller, limits: allowance, portfolio: budget\n    expose create as quote\n    expose sign as sign\n    expose disburse as fund\n    expose cancel as cancel_quote\n    expose void as cancel_plan\n    expose payoff as repay_early\n    expose complete as complete\n  }\n}\n\nexpose purchase.plan.payment.create as record_payment\nexpose purchase.plan.payment.pay as pay_instalment\nexpose purchase.plan.payment.refund as refund_payment\nexpose purchase.plan.payoff_quote.create as quote_payoff\n"},
   {"id":"insurance","title":"Protect a purchase","summary":"Collect cover premiums and reserve approved claims for payment.","headers":["insurance"],"source":"// Collect cover premiums and reserve approved claims for payment.\nprogram insurance_base \"Protect a purchase\"\nuse insurance\n\nobject purchase \"Purchase\" {\n  attach cover = insurance.cover {\n    holder: owner, adapter: \"conformance_boundary\"\n    expose create as create_cover\n    expose activate as activate_cover\n    expose cancel as cancel_cover\n  }\n  attach claim = insurance.claim {\n    cover: cover, inspector: operator\n    expose create as create_claim\n    expose approve as approve_claim\n    expose deny as deny_claim\n    expose pay as pay_claim\n  }\n}\n\nexpose purchase.cover.slice.create as create_period\nexpose purchase.cover.slice.collect as collect_premium\n"},
-  {"id":"lending","title":"Pool funds for lending","summary":"Pool member commitments to fund a loan and distribute repayments or losses.","headers":["lending","financing","wallet"],"source":"// Pool member commitments to fund a loan and distribute repayments or losses.\nprogram lending_base \"Pool funds for lending\"\nuse lending\nuse financing\nuse wallet\n\nobject plan \"Plan\" {\n  fields { price: money }\n  attach allowance = financing.limits {\n    borrower: owner, per_borrower: runtime\n    expose create as request_limit\n    expose approve as approve_limit\n  }\n  attach budget = financing.portfolio_limit {\n    limit: runtime\n    expose create as create_budget\n    expose approve as approve_budget\n  }\n  // Architect sets the placeholder profit rate during tailoring.\n  attach plan = financing.installments {\n    borrower: owner, capital: operator\n    months: 2, pricing: flat_total, profit_rate: 0%\n    disburse_to: borrower, limits: allowance, portfolio: budget\n    expose create as quote\n    expose sign as sign\n    expose disburse as fund\n    expose cancel as cancel_quote\n    expose void as cancel_plan\n    expose payoff as repay_early\n    expose complete as complete\n  }\n  attach balance = wallet.balance {\n    holder: actor\n    expose create as create_balance\n    expose activate as activate_balance\n    expose topup as add_funds\n    expose withdraw as withdraw_funds\n    expose close as close_balance\n  }\n  attach round = lending.round {\n    borrower: owner, plan: plan\n    expose create as open_round\n    expose close as close_round\n  }\n  attach commitment = lending.commitment {\n    round: round, wallet: balance, investor: actor\n    expose create as commit\n    expose withdraw as withdraw_commitment\n  }\n  attach returns = lending.distribution {\n    round: round, receipt: plan.settlement\n    expose create as record_settlement\n    expose prepare_cash as prepare_returns\n    expose distribute_cash as distribute_returns\n  }\n  attach losses = lending.distribution {\n    round: round, receipt: plan.settlement, mode: loss\n    expose create as record_loss\n    expose prepare_loss as prepare_losses\n    expose distribute_loss as distribute_losses\n  }\n}\n\nexpose plan.plan.payment.create as record_payment\nexpose plan.plan.payment.pay as pay_instalment\nexpose plan.plan.payment.refund as refund_payment\nexpose plan.plan.payoff_quote.create as quote_payoff\n\nexpose plan.returns.share.create as create_return_share\nexpose plan.losses.share.create as create_loss_share\nexpose plan.plan.write_off_request.create as request_write_off\nexpose plan.plan.write_off_request.apply as apply_write_off\nexpose plan.plan.write_off_request.cancel as cancel_write_off\n"},
+  {"id":"lending","title":"Pool funds for lending","summary":"Pool member commitments to fund a loan and distribute repayments or losses.","headers":["lending","financing","wallet"],"source":"// Pool member commitments to fund a loan and distribute repayments or losses.\nprogram lending_base \"Pool funds for lending\"\nuse lending\nuse financing\nuse wallet\n\nobject plan \"Plan\" {\n  fields { price: money }\n  attach allowance = financing.limits {\n    borrower: owner, per_borrower: runtime\n    expose create as request_limit\n    expose approve as approve_limit\n  }\n  attach budget = financing.portfolio_limit {\n    limit: runtime\n    expose create as create_budget\n    expose approve as approve_budget\n  }\n  // Architect sets the placeholder profit rate during tailoring.\n  attach plan = financing.installments {\n    borrower: owner, capital: operator\n    months: 2, pricing: flat_total, profit_rate: 0%\n    disburse_to: borrower, limits: allowance, portfolio: budget\n    expose create as quote\n    expose sign as sign\n    expose disburse as fund\n    expose cancel as cancel_quote\n    expose void as cancel_plan\n    expose payoff as repay_early\n    expose complete as complete\n  }\n  attach balance = wallet.balance {\n    holder: actor\n    expose create as create_balance\n    expose activate as activate_balance\n    expose topup as add_funds\n    expose withdraw as withdraw_funds\n  }\n  attach round = lending.round {\n    borrower: owner, plan: plan\n    expose create as open_round\n    expose close as close_round\n  }\n  attach commitment = lending.commitment {\n    round: round, wallet: balance, investor: actor\n    expose create as commit\n    expose withdraw as withdraw_commitment\n  }\n  attach returns = lending.distribution {\n    round: round, receipt: plan.settlement\n    expose create as record_settlement\n    expose prepare_cash as prepare_returns\n    expose distribute_cash as distribute_returns\n  }\n  attach losses = lending.distribution {\n    round: round, receipt: plan.settlement, mode: loss\n    expose create as record_loss\n    expose prepare_loss as prepare_losses\n    expose distribute_loss as distribute_losses\n  }\n}\n\nexpose plan.plan.payment.create as record_payment\nexpose plan.plan.payment.pay as pay_instalment\nexpose plan.plan.payment.refund as refund_payment\nexpose plan.plan.payoff_quote.create as quote_payoff\n\nexpose plan.returns.share.create as create_return_share\nexpose plan.losses.share.create as create_loss_share\nexpose plan.plan.write_off_request.create as request_write_off\nexpose plan.plan.write_off_request.apply as apply_write_off\nexpose plan.plan.write_off_request.cancel as cancel_write_off\n"},
   {"id":"marketplace","title":"Connect buyers and sellers","summary":"Turn a seller’s offer into an order with payment held until acceptance.","headers":["marketplace","escrow"],"source":"// Turn a seller’s offer into an order with payment held until acceptance.\nprogram marketplace_base \"Connect buyers and sellers\"\nuse marketplace\nuse escrow\nparty seller: business\n\nobject order \"Order\" {\n  fields { price: money }\n  attach offer = marketplace.listing {\n    seller: seller\n    expose create as create_offer\n    expose publish as publish_offer\n    expose withdraw as withdraw_offer\n    expose sell as sell_offer\n  }\n  attach order = marketplace.order {\n    listing: offer, buyer: owner, fulfiller: seller\n    expose create as create_order\n    expose commit as commit_order\n    expose fulfill as fulfill_order\n    expose cancel as cancel_order\n  }\n  attach payment = escrow.hold {\n    payer: owner, payee: seller\n    expose create as create\n    expose fund as fund\n    expose deliver as deliver\n    expose accept as accept\n    expose dispute as dispute\n    expose verify_return as verify_return\n    expose refund as refund\n    expose refund_undelivered as refund_undelivered\n    expose settle_release as settle_release\n    expose settle_return as settle_return\n    expose settle_refund as settle_refund\n    expose cancel as cancel\n  }\n}\n"},
   {"id":"money","title":"Collect a payment","summary":"Collect a payment from a customer.","headers":["money"],"source":"// Collect a payment from a customer.\nprogram money_base \"Collect a payment\"\nuse money\n\nobject purchase \"Purchase\" {\n  attach payment = money.transfer {\n    payer: owner, payee: operator\n    expose create as create\n    expose pay as pay\n    expose cancel as cancel\n  }\n}\n"},
   {"id":"reporting","title":"Track repayments","summary":"Report outstanding balances and overdue repayments on financed purchases.","headers":["reporting","financing"],"source":"// Report outstanding balances and overdue repayments on financed purchases.\nprogram reporting_base \"Track repayments\"\nuse reporting\nuse financing\n\nobject purchase \"Purchase\" {\n  fields { price: money }\n  attach allowance = financing.limits {\n    borrower: owner, per_borrower: runtime\n    expose create as request_limit\n    expose approve as approve_limit\n  }\n  attach budget = financing.portfolio_limit {\n    limit: runtime\n    expose create as create_budget\n    expose approve as approve_budget\n  }\n  // Architect sets the placeholder profit rate during tailoring.\n  attach plan = financing.installments {\n    borrower: owner, capital: operator\n    months: 2, pricing: flat_total, profit_rate: 0%\n    disburse_to: borrower, limits: allowance, portfolio: budget\n    expose create as quote\n    expose sign as sign\n    expose disburse as fund\n    expose cancel as cancel_quote\n    expose void as cancel_plan\n    expose payoff as repay_early\n    expose complete as complete\n  }\n  attach reports = reporting.portfolio {\n    on: plan\n    expose create as create_reports\n  }\n}\n\nexpose purchase.plan.payment.create as record_payment\nexpose purchase.plan.payment.pay as pay_instalment\nexpose purchase.plan.payment.refund as refund_payment\nexpose purchase.plan.payoff_quote.create as quote_payoff\n"},
   {"id":"savings","title":"Save as a group","summary":"Collect contributions into a shared pot and pay each member in turn.","headers":["savings"],"source":"// Collect contributions into a shared pot and pay each member in turn.\nprogram savings_base \"Save as a group\"\nuse savings\n\nobject pot \"Pot\" {\n  attach circle = savings.circle {\n    contribution: runtime, members: 2, starts: runtime\n    expose create as create_circle\n    expose disband as disband_circle\n    expose close as close_circle\n  }\n  attach membership = savings.membership {\n    circle: circle, member: actor\n    expose create as join\n    expose activate as activate_membership\n    expose withdraw as withdraw\n  }\n}\n\nexpose pot.membership.contribution.create as schedule_contribution\n"},
-  {"id":"wallet","title":"Offer prepaid credit","summary":"Let a customer add funds and reserve each spend before payment.","headers":["wallet"],"source":"// Let a customer add funds and reserve each spend before payment.\nprogram wallet_base \"Offer prepaid credit\"\nuse wallet\n\nobject balance \"Balance\" {\n  attach balance = wallet.balance {\n    holder: owner\n    expose create as create_balance\n    expose activate as activate_balance\n    expose topup as add_funds\n    expose withdraw as withdraw_funds\n    expose freeze as freeze_balance\n    expose unfreeze as unfreeze_balance\n    expose close as close_balance\n  }\n  attach spend = wallet.spend {\n    wallet: balance, payee: operator, holder: owner\n    expose create as create\n    expose reserve as reserve\n    expose pay as pay\n    expose cancel as cancel\n  }\n}\n"},
+  {"id":"wallet","title":"Offer prepaid credit","summary":"Let a customer add funds and reserve each spend before payment.","headers":["wallet"],"source":"// Let a customer add funds and reserve each spend before payment.\nprogram wallet_base \"Offer prepaid credit\"\nuse wallet\n\nobject balance \"Balance\" {\n  attach balance = wallet.balance {\n    holder: owner\n    expose create as create_balance\n    expose activate as activate_balance\n    expose topup as add_funds\n    expose withdraw as withdraw_funds\n    expose freeze as freeze_balance\n    expose unfreeze as unfreeze_balance\n  }\n  attach spend = wallet.spend {\n    wallet: balance, payee: operator, holder: owner\n    expose create as create\n    expose reserve as reserve\n    expose pay as pay\n    expose cancel as cancel\n  }\n}\n"},
 ];