@hyperscale0/hsx 1.0.256 → 1.0.265

package/CHANGELOG.md

@@ -2,6 +2,10 @@
 
 ## Unreleased
 
+- Add 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.
+
 - 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.

package/README.md

@@ -28,6 +28,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 +82,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/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,EAgBL,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,CAk7Hf"}
+{"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"}

package/dist/src/compile.js

@@ -1,7 +1,7 @@
 import { CompileFailure, didYouMean, fail, failWithCode, } from "./diagnostics.js";
 import { hash as sha256 } from "fast-sha256";
 import { buildUdlCostManifest } from "./cost.js";
-import { validateUdl, resolveField, sameObjectField, subjectPartyRoles, RESERVED_OBJECT_NAMES, UDL_FORMAT_VERSION, udlObjectFieldSchema, udlInstrumentSchema, } from "@hyperscale0/udl";
+import { validateUdl, resolveField, sameAccount, sameObjectField, subjectPartyRoles, RESERVED_OBJECT_NAMES, UDL_FORMAT_VERSION, udlObjectFieldSchema, udlInstrumentSchema, } from "@hyperscale0/udl";
 import { bindingDependencies, parameterDiagnostics, BindingContractError, } from "./binding-contract.js";
 import { tunableBounds } from "./tunables.js";
 import { parseProgram } from "./parse.js";
@@ -414,6 +414,7 @@ export function compile(source, options = {}) {
         // Lowered objects lose their spans, so each keeps the expression that
         // produced it for the name check after lowering.
         const authored = new WeakMap();
+        const splitMoves = new WeakSet();
         const declarations = new WeakMap();
         const exposures = [];
         const refundBindings = new Map();
@@ -1944,6 +1945,7 @@ export function compile(source, options = {}) {
                                             from: moneyPath(from),
                                             to: `party.${recipient.value}`,
                                         });
+                                        splitMoves.add(a.moves.at(-1));
                                     }
                                     if (total !== 10000)
                                         fail(move, "split percentages must sum to 100%", "give the recipients exactly 100% together");
@@ -3114,6 +3116,13 @@ export function compile(source, options = {}) {
                     fail(objects.get(kind.id), `entry action ${name} must create an attachment as actor`, "expose its create action and bind its acting party to actor");
             }
         }
+        // Resolve account bindings after lowering, keeping all share calculations
+        // and original leg keys even when a split allocation stays in its source.
+        for (const instrument of document.instruments)
+            for (const action of Object.values(instrument.actions))
+                action.moves = action.moves.filter((move) => !splitMoves.has(move) ||
+                    !("amount" in move) ||
+                    !sameAccount(document, instrument, move.from, move.to, action.input, action));
         const validated = validateUdl(document);
         if (!validated.ok)
             return {