@hyperscale0/hsx 1.0.258 → 1.0.284

package/CHANGELOG.md

@@ -1,10 +1,45 @@
 # Changelog
 
-## Unreleased
+## Since 1.0.123
 
-- Rewrite all 15 ready-made products as Saudi business examples with SAR prices,
-  explicit fees and VAT treatment, named business counterparties, useful list
-  columns, and supported payment, refund, dispute and overdue paths.
+Releases after 1.0.123 shipped without per-release entries. This entry
+summarises what changed in the language, the compiler and the bundled programs
+since then.
+
+Added:
+
+- Eleven neutral archetype programs in `bases/` and the browser export
+  `@hyperscale0/hsx/bases`. Generation and preparation bundle their source and
+  metadata. Package checks enforce compilation, coverage and neutral content.
+- The `booking` std header, with deposit, balance and cancellation windows.
+- `financing.installments` prices a plan as `amortizing` or `flat_total`, and
+  `refund_within` (default 30d) bounds refunds after a plan is paid.
+- `wallet.balance` takes a `topup_fee`; `escrow.hold` takes `deliver_within`.
+- Selections accept `overlaps: { start, end, from, until }` to match rows whose
+  date period meets a range.
+- Program instruments take party parameters, and a `fee` on a move of an action
+  input is calculated when that action runs.
+- Every agreement reference is an optional creation input on an exposed create.
+- Customers can start the std agreements whose first party can be a customer on
+  a record they do not own, through the object's `entryActions`.
+- `economics` can name a party reached through a reference.
+
+Changed:
+
+- All 15 examples are Saudi businesses with SAR prices, explicit fees and VAT
+  treatment, named business counterparties, list columns, and payment, refund,
+  dispute and overdue paths.
+- A required instrument value with no fixed value becomes create `input` on the
+  agreement. Only an explicit `rename` shares it as record metadata.
+- Record actions stay private until the program exposes them.
+- Std actions name an accountable actor, and std money pulled from a customer
+  needs that customer's authority.
+- A split binds declared business and subject-role recipients itself, and a
+  share the payer keeps stays in the source account with no self-transfer.
+- Late charges and recovery costs are bounded across the whole plan, and an
+  insurance cover's claim limit is shared across every claim attachment.
+- Financing and escrow plans have exits for returned, undelivered and paid-off
+  goods, and a paid-off plan closes once its refund window passes.
 
 ## 1.0.123
 

package/README.md

@@ -20,7 +20,8 @@ npx hsx cost rental.hsx
 
 Start with the [first program and rental guide](docs/README.md). Save the
 [rental source](examples/rental-deposit.hsx) as `rental.hsx` for these commands.
-It holds 1,000 SAR, charges a one-time 50 SAR late fee, and returns the remainder.
+It holds 1,000 SAR, charges one 50 SAR late fee plus 7.50 SAR VAT, and returns
+the remainder.
 The guide explains the fixed business binding and the host needed to execute it.
 
 `npx hsx headers --json` prints every std instrument and its tunables from the
@@ -28,6 +29,34 @@ bundled headers as JSON. The [samples](examples/) include both complete action p
 compositions that still need child-record actions or adapter bindings. A compile
 pass does not prove that a flow is publicly executable or funded.
 
+## Bases and examples
+
+Choose one of three starting points: write a bespoke program, tailor a neutral
+[base](bases/), or adapt a company from [examples](examples/). The `std/` headers
+supply the mechanisms behind both bases and examples. A base supplies one object
+and the actions its mechanism needs, without a company's names or prices.
+
+```ts
+import { bases, type HsxBase } from "@hyperscale0/hsx/bases";
+
+const escrow: HsxBase = bases.find((base) => base.id === "escrow")!;
+const source = escrow.source;
+```
+
+Each base has `id`, `title`, `summary`, `headers` and `source`. Its ID is the std
+header name. The array is sorted by ID and imports no filesystem APIs. The eleven
+bases cover escrow, money, wallet, cards, financing, savings, marketplace,
+insurance, lending, collections and reporting.
+
+Architect tailors the base's name, parties, fields, economics and action paths.
+Required amounts come from action inputs or the object's price. Optional settings
+use std defaults. Financing starts with two instalments and a required zero profit
+rate. Savings starts with two members and collects its start date and contribution
+at creation. Architect sets these terms during tailoring. Insurance binds the
+sandbox `conformance_boundary` adapter; replace it with the insurer's registered
+adapter for that provider. Parties, accounts, funding, inputs and lifecycle
+prerequisites still govern execution.
+
 ## Browser language service
 
 ```ts
@@ -54,9 +83,9 @@ by filename and contains no filesystem imports. Workspace imports use
 
 Run `bun install` and `bun run build` in this package's public source checkout.
 Run `bun bin/hsx.ts check examples/rental-deposit.hsx` to use the source CLI.
-`bun run check` checks types, compiles bundled examples and checks bundle freshness.
+`bun run check` checks types, compiles bases and examples and checks bundle freshness.
 
-Edit prose in `docs/README.md`, programs in `examples/`, and header comments in
+Edit prose in `docs/README.md`, programs in `bases/` and `examples/`, and header comments in
 `std/`. Run `bun run generate` after changing these inputs. It emits the header
-and example bundles.
+base and example bundles.
 `bun run build` also builds the browser playground.

package/SECURITY.md

@@ -9,9 +9,8 @@ security-sensitive belongs in an issue, a pull request, a discussion, or a
 commit message.
 
 A report we can act on names the affected version and gives us something to
-run: the `.hsx` source, and what you expected the compiler to do with it. If
-you can shape it as a fixture under `test/fixtures/`, do that; it goes straight
-into the fix.
+run: the `.hsx` source, and what you expected the compiler to do with it. A
+failing spec is the most useful shape; it goes straight into the fix.
 
 ## What counts
 
@@ -23,22 +22,12 @@ executes, so the interesting failures are the ones a source file can cause:
   whose fees move money the source did not authorise. A `valid` verdict on an
   unsound program is the worst bug this package can have.
 - **A program that makes the lexer, parser, checker, or lowering burn
-  unbounded time or memory.** The schedule, split, and money-event limits bound
-  the output; `src/limits.ts` bounds the input, and a source over either of its
-  ceilings is refused with a diagnostic rather than read.
-
-  The stages behind that ceiling are linear, measured rather than assumed. The
-  lexer was timed on 21 adversarial inputs, one per branch of the scanner:
-  unterminated strings, unclosed comments, single-character invalid runs, one
-  quarter-megabyte invalid run, digit and percent soup, and interleaved open
-  delimiters. Across a 64x range of input size its cost per byte grew at most
-  1.44x, where a quadratic scanner would grow 64x. The worst admitted file
-  costs 9.8 ms to lex and 21.1 ms to compile. A payload that makes any stage
-  cost meaningfully more than that per byte is a finding worth reporting.
-
-- **A crash.** Parsing and checking are total by design: they return
-  diagnostics, they never throw. A source file that throws out of `compile()`
-  is a bug even when the program is nonsense.
+  unbounded time or memory.** The parser refuses source over 256 KiB with
+  `HSX1004`, and block or expression nesting deeper than 32. A way around
+  either, or a stage whose cost grows faster than its input, is a finding
+  worth reporting.
+- **A crash.** `compile()` reports invalid source as diagnostics. A source
+  file that makes it throw is a bug even when the program is nonsense.
 - **A diagnostic that reports the wrong source coordinates**, which sends an
   author to fix the wrong line.
 
@@ -47,8 +36,8 @@ anything that requires already controlling the machine running it.
 
 ## Supported versions
 
-Alpha releases are supported at the newest published `alpha` version only.
-Fixes land there; there is no backport branch before 1.0.0.
+Fixes land in the newest published `1.0.N` release. Older releases get no
+backports.
 
 ## Disclosure
 

package/bases/cards.hsx

@@ -0,0 +1,38 @@
+// Reserve a card payment within its spending limit before capture.
+program cards_base "Control card spending"
+use cards
+party seller: business
+
+object card "Card" {
+  attach holder = cards.cardholder {
+    holder: owner
+    expose create as create_holder
+    expose activate as activate_holder
+    expose suspend as suspend_holder
+    expose resume as resume_holder
+    expose close as close_holder
+  }
+  attach card = cards.card {
+    holder: holder, person: owner, issuer: operator, spend_limit: runtime
+    expose create as create_card
+    expose activate as activate_card
+    expose freeze as freeze_card
+    expose unfreeze as unfreeze_card
+    expose issuer_freeze as issuer_freeze_card
+    expose issuer_unfreeze as issuer_unfreeze_card
+    expose cancel as cancel_card
+  }
+  attach payment = cards.authorization {
+    card: card, merchant: seller, issuer: operator
+    expose create as create
+    expose approve as approve
+    expose decline as decline
+    expose capture as capture
+    expose reverse as reverse
+  }
+  attach receipt = cards.transaction {
+    authorization: payment
+    expose create as record_payment
+    expose refund as refund
+  }
+}

package/bases/collections.hsx

@@ -0,0 +1,51 @@
+// Refer overdue instalments for collection and limit contact attempts.
+program collections_base "Follow up overdue payments"
+use collections
+use financing
+party collector: business
+
+object plan "Plan" {
+  fields { price: money }
+  attach allowance = financing.limits {
+    borrower: owner, per_borrower: runtime
+    expose create as request_limit
+    expose approve as approve_limit
+  }
+  attach budget = financing.portfolio_limit {
+    limit: runtime
+    expose create as create_budget
+    expose approve as approve_budget
+  }
+  // Architect sets the placeholder profit rate during tailoring.
+  attach plan = financing.installments {
+    borrower: owner, capital: operator
+    months: 2, pricing: flat_total, profit_rate: 0%
+    disburse_to: borrower, limits: allowance, portfolio: budget
+    expose create as quote
+    expose sign as sign
+    expose disburse as fund
+    expose cancel as cancel_quote
+    expose void as cancel_plan
+    expose payoff as repay_early
+    expose complete as complete
+  }
+  attach recovery = collections.case {
+    on: plan, agency: collector, capital: operator
+    expose create as refer
+    expose assign as assign
+    expose recover as recover
+    expose recall as recall
+    expose return_uncollected as return_uncollected
+  }
+  attach contact = collections.contact {
+    case: recovery, agency: collector
+    expose create as record_contact
+  }
+}
+
+expose plan.plan.payment.create as record_payment
+expose plan.plan.payment.pay as pay_instalment
+expose plan.plan.payment.refund as refund_payment
+expose plan.plan.payoff_quote.create as quote_payoff
+
+expose plan.contact.outcome.create as record_contact_outcome

package/bases/escrow.hsx

@@ -0,0 +1,23 @@
+// Hold a buyer’s payment until delivery is accepted.
+program escrow_base "Hold payment until delivery"
+use escrow
+party seller: business
+
+object order "Order" {
+  fields { price: money }
+  attach payment = escrow.hold {
+    payer: owner, payee: seller
+    expose create as create
+    expose fund as fund
+    expose deliver as deliver
+    expose accept as accept
+    expose dispute as dispute
+    expose verify_return as verify_return
+    expose refund as refund
+    expose refund_undelivered as refund_undelivered
+    expose settle_release as settle_release
+    expose settle_return as settle_return
+    expose settle_refund as settle_refund
+    expose cancel as cancel
+  }
+}

package/bases/financing.hsx

@@ -0,0 +1,36 @@
+// Fund a purchase and collect its scheduled repayments.
+program financing_base "Split a purchase into instalments"
+use financing
+party seller: business
+
+object purchase "Purchase" {
+  fields { price: money }
+  attach allowance = financing.limits {
+    borrower: owner, per_borrower: runtime
+    expose create as request_limit
+    expose approve as approve_limit
+  }
+  attach budget = financing.portfolio_limit {
+    limit: runtime
+    expose create as create_budget
+    expose approve as approve_budget
+  }
+  // Architect sets the placeholder profit rate during tailoring.
+  attach plan = financing.installments {
+    borrower: owner, capital: operator
+    months: 2, pricing: flat_total, profit_rate: 0%
+    disburse_to: seller, seller: seller, limits: allowance, portfolio: budget
+    expose create as quote
+    expose sign as sign
+    expose disburse as fund
+    expose cancel as cancel_quote
+    expose void as cancel_plan
+    expose payoff as repay_early
+    expose complete as complete
+  }
+}
+
+expose purchase.plan.payment.create as record_payment
+expose purchase.plan.payment.pay as pay_instalment
+expose purchase.plan.payment.refund as refund_payment
+expose purchase.plan.payoff_quote.create as quote_payoff

package/bases/insurance.hsx

@@ -0,0 +1,22 @@
+// Collect cover premiums and reserve approved claims for payment.
+program insurance_base "Protect a purchase"
+use insurance
+
+object purchase "Purchase" {
+  attach cover = insurance.cover {
+    holder: owner, adapter: "conformance_boundary"
+    expose create as create_cover
+    expose activate as activate_cover
+    expose cancel as cancel_cover
+  }
+  attach claim = insurance.claim {
+    cover: cover, inspector: operator
+    expose create as create_claim
+    expose approve as approve_claim
+    expose deny as deny_claim
+    expose pay as pay_claim
+  }
+}
+
+expose purchase.cover.slice.create as create_period
+expose purchase.cover.slice.collect as collect_premium

package/bases/lending.hsx

@@ -0,0 +1,73 @@
+// Pool member commitments to fund a loan and distribute repayments or losses.
+program lending_base "Pool funds for lending"
+use lending
+use financing
+use wallet
+
+object plan "Plan" {
+  fields { price: money }
+  attach allowance = financing.limits {
+    borrower: owner, per_borrower: runtime
+    expose create as request_limit
+    expose approve as approve_limit
+  }
+  attach budget = financing.portfolio_limit {
+    limit: runtime
+    expose create as create_budget
+    expose approve as approve_budget
+  }
+  // Architect sets the placeholder profit rate during tailoring.
+  attach plan = financing.installments {
+    borrower: owner, capital: operator
+    months: 2, pricing: flat_total, profit_rate: 0%
+    disburse_to: borrower, limits: allowance, portfolio: budget
+    expose create as quote
+    expose sign as sign
+    expose disburse as fund
+    expose cancel as cancel_quote
+    expose void as cancel_plan
+    expose payoff as repay_early
+    expose complete as complete
+  }
+  attach balance = wallet.balance {
+    holder: actor
+    expose create as create_balance
+    expose activate as activate_balance
+    expose topup as add_funds
+    expose withdraw as withdraw_funds
+    expose close as close_balance
+  }
+  attach round = lending.round {
+    borrower: owner, plan: plan
+    expose create as open_round
+    expose close as close_round
+  }
+  attach commitment = lending.commitment {
+    round: round, wallet: balance, investor: actor
+    expose create as commit
+    expose withdraw as withdraw_commitment
+  }
+  attach returns = lending.distribution {
+    round: round, receipt: plan.settlement
+    expose create as record_settlement
+    expose prepare_cash as prepare_returns
+    expose distribute_cash as distribute_returns
+  }
+  attach losses = lending.distribution {
+    round: round, receipt: plan.settlement, mode: loss
+    expose create as record_loss
+    expose prepare_loss as prepare_losses
+    expose distribute_loss as distribute_losses
+  }
+}
+
+expose plan.plan.payment.create as record_payment
+expose plan.plan.payment.pay as pay_instalment
+expose plan.plan.payment.refund as refund_payment
+expose plan.plan.payoff_quote.create as quote_payoff
+
+expose plan.returns.share.create as create_return_share
+expose plan.losses.share.create as create_loss_share
+expose plan.plan.write_off_request.create as request_write_off
+expose plan.plan.write_off_request.apply as apply_write_off
+expose plan.plan.write_off_request.cancel as cancel_write_off

package/bases/marketplace.hsx

@@ -0,0 +1,38 @@
+// Turn a seller’s offer into an order with payment held until acceptance.
+program marketplace_base "Connect buyers and sellers"
+use marketplace
+use escrow
+party seller: business
+
+object order "Order" {
+  fields { price: money }
+  attach offer = marketplace.listing {
+    seller: seller
+    expose create as create_offer
+    expose publish as publish_offer
+    expose withdraw as withdraw_offer
+    expose sell as sell_offer
+  }
+  attach order = marketplace.order {
+    listing: offer, buyer: owner, fulfiller: seller
+    expose create as create_order
+    expose commit as commit_order
+    expose fulfill as fulfill_order
+    expose cancel as cancel_order
+  }
+  attach payment = escrow.hold {
+    payer: owner, payee: seller
+    expose create as create
+    expose fund as fund
+    expose deliver as deliver
+    expose accept as accept
+    expose dispute as dispute
+    expose verify_return as verify_return
+    expose refund as refund
+    expose refund_undelivered as refund_undelivered
+    expose settle_release as settle_release
+    expose settle_return as settle_return
+    expose settle_refund as settle_refund
+    expose cancel as cancel
+  }
+}

package/bases/money.hsx

@@ -0,0 +1,12 @@
+// Collect a payment from a customer.
+program money_base "Collect a payment"
+use money
+
+object purchase "Purchase" {
+  attach payment = money.transfer {
+    payer: owner, payee: operator
+    expose create as create
+    expose pay as pay
+    expose cancel as cancel
+  }
+}

package/bases/reporting.hsx

@@ -0,0 +1,40 @@
+// Report outstanding balances and overdue repayments on financed purchases.
+program reporting_base "Track repayments"
+use reporting
+use financing
+
+object purchase "Purchase" {
+  fields { price: money }
+  attach allowance = financing.limits {
+    borrower: owner, per_borrower: runtime
+    expose create as request_limit
+    expose approve as approve_limit
+  }
+  attach budget = financing.portfolio_limit {
+    limit: runtime
+    expose create as create_budget
+    expose approve as approve_budget
+  }
+  // Architect sets the placeholder profit rate during tailoring.
+  attach plan = financing.installments {
+    borrower: owner, capital: operator
+    months: 2, pricing: flat_total, profit_rate: 0%
+    disburse_to: borrower, limits: allowance, portfolio: budget
+    expose create as quote
+    expose sign as sign
+    expose disburse as fund
+    expose cancel as cancel_quote
+    expose void as cancel_plan
+    expose payoff as repay_early
+    expose complete as complete
+  }
+  attach reports = reporting.portfolio {
+    on: plan
+    expose create as create_reports
+  }
+}
+
+expose purchase.plan.payment.create as record_payment
+expose purchase.plan.payment.pay as pay_instalment
+expose purchase.plan.payment.refund as refund_payment
+expose purchase.plan.payoff_quote.create as quote_payoff

package/bases/savings.hsx

@@ -0,0 +1,20 @@
+// Collect contributions into a shared pot and pay each member in turn.
+program savings_base "Save as a group"
+use savings
+
+object pot "Pot" {
+  attach circle = savings.circle {
+    contribution: runtime, members: 2, starts: runtime
+    expose create as create_circle
+    expose disband as disband_circle
+    expose close as close_circle
+  }
+  attach membership = savings.membership {
+    circle: circle, member: actor
+    expose create as join
+    expose activate as activate_membership
+    expose withdraw as withdraw
+  }
+}
+
+expose pot.membership.contribution.create as schedule_contribution

package/bases/wallet.hsx

@@ -0,0 +1,23 @@
+// Let a customer add funds and reserve each spend before payment.
+program wallet_base "Offer prepaid credit"
+use wallet
+
+object balance "Balance" {
+  attach balance = wallet.balance {
+    holder: owner
+    expose create as create_balance
+    expose activate as activate_balance
+    expose topup as add_funds
+    expose withdraw as withdraw_funds
+    expose freeze as freeze_balance
+    expose unfreeze as unfreeze_balance
+    expose close as close_balance
+  }
+  attach spend = wallet.spend {
+    wallet: balance, payee: operator, holder: owner
+    expose create as create
+    expose reserve as reserve
+    expose pay as pay
+    expose cancel as cancel
+  }
+}

package/dist/src/bases-bundle.d.ts

@@ -0,0 +1,3 @@
+import type { HsxBase } from "./bases.ts";
+export declare const bases: HsxBase[];
+//# sourceMappingURL=bases-bundle.d.ts.map

package/dist/src/bases-bundle.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"bases-bundle.d.ts","sourceRoot":"","sources":["../../src/bases-bundle.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAC1C,eAAO,MAAM,KAAK,EAAE,OAAO,EAY1B,CAAC"}

package/dist/src/bases-bundle.js

@@ -0,0 +1,14 @@
+export const bases = [
+    { "id": "cards", "title": "Control card spending", "summary": "Reserve a card payment within its spending limit before capture.", "headers": ["cards"], "source": "// Reserve a card payment within its spending limit before capture.\nprogram cards_base \"Control card spending\"\nuse cards\nparty seller: business\n\nobject card \"Card\" {\n  attach holder = cards.cardholder {\n    holder: owner\n    expose create as create_holder\n    expose activate as activate_holder\n    expose suspend as suspend_holder\n    expose resume as resume_holder\n    expose close as close_holder\n  }\n  attach card = cards.card {\n    holder: holder, person: owner, issuer: operator, spend_limit: runtime\n    expose create as create_card\n    expose activate as activate_card\n    expose freeze as freeze_card\n    expose unfreeze as unfreeze_card\n    expose issuer_freeze as issuer_freeze_card\n    expose issuer_unfreeze as issuer_unfreeze_card\n    expose cancel as cancel_card\n  }\n  attach payment = cards.authorization {\n    card: card, merchant: seller, issuer: operator\n    expose create as create\n    expose approve as approve\n    expose decline as decline\n    expose capture as capture\n    expose reverse as reverse\n  }\n  attach receipt = cards.transaction {\n    authorization: payment\n    expose create as record_payment\n    expose refund as refund\n  }\n}\n" },
+    { "id": "collections", "title": "Follow up overdue payments", "summary": "Refer overdue instalments for collection and limit contact attempts.", "headers": ["collections", "financing"], "source": "// Refer overdue instalments for collection and limit contact attempts.\nprogram collections_base \"Follow up overdue payments\"\nuse collections\nuse financing\nparty collector: business\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 recovery = collections.case {\n    on: plan, agency: collector, capital: operator\n    expose create as refer\n    expose assign as assign\n    expose recover as recover\n    expose recall as recall\n    expose return_uncollected as return_uncollected\n  }\n  attach contact = collections.contact {\n    case: recovery, agency: collector\n    expose create as record_contact\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.contact.outcome.create as record_contact_outcome\n" },
+    { "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": "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" },
+];
+//# sourceMappingURL=bases-bundle.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"bases-bundle.js","sourceRoot":"","sources":["../../src/bases-bundle.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,KAAK,GAAc;IAC9B,EAAC,IAAI,EAAC,OAAO,EAAC,OAAO,EAAC,uBAAuB,EAAC,SAAS,EAAC,kEAAkE,EAAC,SAAS,EAAC,CAAC,OAAO,CAAC,EAAC,QAAQ,EAAC,srCAAsrC,EAAC;IAC/0C,EAAC,IAAI,EAAC,aAAa,EAAC,OAAO,EAAC,4BAA4B,EAAC,SAAS,EAAC,sEAAsE,EAAC,SAAS,EAAC,CAAC,aAAa,EAAC,WAAW,CAAC,EAAC,QAAQ,EAAC,wqDAAwqD,EAAC;IACl2D,EAAC,IAAI,EAAC,QAAQ,EAAC,OAAO,EAAC,6BAA6B,EAAC,SAAS,EAAC,oDAAoD,EAAC,SAAS,EAAC,CAAC,QAAQ,CAAC,EAAC,QAAQ,EAAC,ksBAAksB,EAAC;IACr1B,EAAC,IAAI,EAAC,WAAW,EAAC,OAAO,EAAC,mCAAmC,EAAC,SAAS,EAAC,uDAAuD,EAAC,SAAS,EAAC,CAAC,WAAW,CAAC,EAAC,QAAQ,EAAC,0uCAA0uC,EAAC;IAC54C,EAAC,IAAI,EAAC,WAAW,EAAC,OAAO,EAAC,oBAAoB,EAAC,SAAS,EAAC,iEAAiE,EAAC,SAAS,EAAC,CAAC,WAAW,CAAC,EAAC,QAAQ,EAAC,wrBAAwrB,EAAC;IACr1B,EAAC,IAAI,EAAC,SAAS,EAAC,OAAO,EAAC,wBAAwB,EAAC,SAAS,EAAC,6EAA6E,EAAC,SAAS,EAAC,CAAC,SAAS,EAAC,WAAW,EAAC,QAAQ,CAAC,EAAC,QAAQ,EAAC,8+EAA8+E,EAAC;IAC5qF,EAAC,IAAI,EAAC,aAAa,EAAC,OAAO,EAAC,4BAA4B,EAAC,SAAS,EAAC,yEAAyE,EAAC,SAAS,EAAC,CAAC,aAAa,EAAC,QAAQ,CAAC,EAAC,QAAQ,EAAC,yqCAAyqC,EAAC;IACn2C,EAAC,IAAI,EAAC,OAAO,EAAC,OAAO,EAAC,mBAAmB,EAAC,SAAS,EAAC,oCAAoC,EAAC,SAAS,EAAC,CAAC,OAAO,CAAC,EAAC,QAAQ,EAAC,iSAAiS,EAAC;IACxZ,EAAC,IAAI,EAAC,WAAW,EAAC,OAAO,EAAC,kBAAkB,EAAC,SAAS,EAAC,2EAA2E,EAAC,SAAS,EAAC,CAAC,WAAW,EAAC,WAAW,CAAC,EAAC,QAAQ,EAAC,wzCAAwzC,EAAC;IACz+C,EAAC,IAAI,EAAC,SAAS,EAAC,OAAO,EAAC,iBAAiB,EAAC,SAAS,EAAC,sEAAsE,EAAC,SAAS,EAAC,CAAC,SAAS,CAAC,EAAC,QAAQ,EAAC,4mBAA4mB,EAAC;IACvwB,EAAC,IAAI,EAAC,QAAQ,EAAC,OAAO,EAAC,sBAAsB,EAAC,SAAS,EAAC,iEAAiE,EAAC,SAAS,EAAC,CAAC,QAAQ,CAAC,EAAC,QAAQ,EAAC,grBAAgrB,EAAC;CAC10B,CAAC"}

package/dist/src/bases.d.ts

@@ -0,0 +1,10 @@
+/** Neutral programs generated from bases/*.hsx. */
+export interface HsxBase {
+    id: string;
+    title: string;
+    summary: string;
+    headers: string[];
+    source: string;
+}
+export { bases } from "./bases-bundle.ts";
+//# sourceMappingURL=bases.d.ts.map

package/dist/src/bases.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"bases.d.ts","sourceRoot":"","sources":["../../src/bases.ts"],"names":[],"mappings":"AAAA,mDAAmD;AACnD,MAAM,WAAW,OAAO;IACtB,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;CAChB;AACD,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC"}

package/dist/src/bases.js

@@ -0,0 +1,2 @@
+export { bases } from "./bases-bundle.js";
+//# sourceMappingURL=bases.js.map

package/dist/src/bases.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"bases.js","sourceRoot":"","sources":["../../src/bases.ts"],"names":[],"mappings":"AAQA,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC"}

package/dist/src/compile.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"compile.d.ts","sourceRoot":"","sources":["../../src/compile.ts"],"names":[],"mappings":"AAOA,OAAO,EAAwB,KAAK,eAAe,EAAE,MAAM,WAAW,CAAC;AACvE,OAAO,EAiBL,KAAK,WAAW,EAQjB,MAAM,kBAAkB,CAAC;AAU1B,OAAO,EAIL,KAAK,UAAU,EAKf,KAAK,IAAI,EACV,MAAM,UAAU,CAAC;AAClB,OAAO,EAA0B,KAAK,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAEhF,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAExD,MAAM,WAAW,iBAAkB,SAAQ,UAAU;IACnD,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,OAAO,CAAC;IAClB,KAAK,EAAE,OAAO,GAAG,OAAO,GAAG,OAAO,CAAC;CACpC;AACD,MAAM,WAAW,qBAAqB;IACpC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,IAAI,GAAG;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;IAC9C,aAAa,CAAC,EAAE;QAAE,GAAG,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAC;QAAC,YAAY,EAAE,MAAM,CAAA;KAAE,CAAC;CAC3E;AACD,MAAM,WAAW,oBAAoB;IACnC,OAAO,EAAE,eAAe,CAAC;IACzB,SAAS,EAAE,MAAM,CAAC;CACnB;AACD,MAAM,WAAW,cAAc;IAC7B,eAAe,CAAC,EAAE,eAAe,CAAC;IAClC,eAAe,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,oBAAoB,CAAC,CAAC,CAAC;CAClE;AACD,MAAM,WAAW,aAAa;IAC5B,OAAO,EAAE,OAAO,GAAG,SAAS,CAAC;IAC7B,WAAW,EAAE,iBAAiB,EAAE,CAAC;IACjC,SAAS,CAAC,EAAE;QACV,QAAQ,EAAE,WAAW,CAAC;QACtB,YAAY,EAAE,eAAe,CAAC;QAC9B,SAAS,EAAE,qBAAqB,EAAE,CAAC;KACpC,CAAC;CACH;AAqTD,wBAAgB,OAAO,CACrB,MAAM,EAAE,MAAM,EACd,OAAO,GAAE,cAAmB,GAC3B,aAAa,CAq8Hf"}
+{"version":3,"file":"compile.d.ts","sourceRoot":"","sources":["../../src/compile.ts"],"names":[],"mappings":"AAOA,OAAO,EAAwB,KAAK,eAAe,EAAE,MAAM,WAAW,CAAC;AACvE,OAAO,EAiBL,KAAK,WAAW,EAQjB,MAAM,kBAAkB,CAAC;AAU1B,OAAO,EAIL,KAAK,UAAU,EAKf,KAAK,IAAI,EACV,MAAM,UAAU,CAAC;AAClB,OAAO,EAA0B,KAAK,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAEhF,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAExD,MAAM,WAAW,iBAAkB,SAAQ,UAAU;IACnD,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,OAAO,CAAC;IAClB,KAAK,EAAE,OAAO,GAAG,OAAO,GAAG,OAAO,CAAC;CACpC;AACD,MAAM,WAAW,qBAAqB;IACpC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,IAAI,GAAG;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;IAC9C,aAAa,CAAC,EAAE;QAAE,GAAG,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAC;QAAC,YAAY,EAAE,MAAM,CAAA;KAAE,CAAC;CAC3E;AACD,MAAM,WAAW,oBAAoB;IACnC,OAAO,EAAE,eAAe,CAAC;IACzB,SAAS,EAAE,MAAM,CAAC;CACnB;AACD,MAAM,WAAW,cAAc;IAC7B,eAAe,CAAC,EAAE,eAAe,CAAC;IAClC,eAAe,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,oBAAoB,CAAC,CAAC,CAAC;CAClE;AACD,MAAM,WAAW,aAAa;IAC5B,OAAO,EAAE,OAAO,GAAG,SAAS,CAAC;IAC7B,WAAW,EAAE,iBAAiB,EAAE,CAAC;IACjC,SAAS,CAAC,EAAE;QACV,QAAQ,EAAE,WAAW,CAAC;QACtB,YAAY,EAAE,eAAe,CAAC;QAC9B,SAAS,EAAE,qBAAqB,EAAE,CAAC;KACpC,CAAC;CACH;AAmVD,wBAAgB,OAAO,CACrB,MAAM,EAAE,MAAM,EACd,OAAO,GAAE,cAAmB,GAC3B,aAAa,CA8hIf"}