@hyperscale0/hsx 1.0.256 → 1.0.265

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@hyperscale0/hsx",
-  "version": "1.0.256",
+  "version": "1.0.265",
   "description": "The strictly typed HSX language: compile total financial programs into canonical UDL.",
   "keywords": [
     "hsx",
@@ -40,6 +40,10 @@
       "types": "./dist/src/cost.d.ts",
       "default": "./dist/src/cost.js"
     },
+    "./bases": {
+      "types": "./dist/src/bases.d.ts",
+      "default": "./dist/src/bases.js"
+    },
     "./examples": {
       "types": "./dist/src/examples.d.ts",
       "default": "./dist/src/examples.js"
@@ -61,6 +65,7 @@
     "bin",
     "dist",
     "docs",
+    "bases",
     "examples",
     "std",
     "src"
@@ -78,14 +83,15 @@
     "postpack": "bun scripts/pack-exports.ts restore",
     "prepack": "bun run build && bun scripts/pack-exports.ts apply",
     "std:bundle": "bun scripts/bundle-std.ts",
-    "generate": "bun run std:bundle && bun run examples:bundle",
-    "prepare": "bun run std:bundle && bun run examples:bundle",
+    "generate": "bun run std:bundle && bun run examples:bundle && bun run bases:bundle",
+    "prepare": "bun run std:bundle && bun run examples:bundle && bun run bases:bundle",
     "check": "bun run typecheck && tsc -p playground/tsconfig.json && bun test test",
-    "examples:bundle": "bun scripts/bundle-examples.ts"
+    "examples:bundle": "bun scripts/bundle-examples.ts",
+    "bases:bundle": "bun scripts/bundle-bases.ts"
   },
   "dependencies": {
-    "@hyperscale0/adl": "1.0.256",
-    "@hyperscale0/udl": "1.0.256",
+    "@hyperscale0/adl": "1.0.265",
+    "@hyperscale0/udl": "1.0.265",
     "fast-sha256": "1.3.0"
   },
   "devDependencies": {
@@ -97,5 +103,5 @@
     "Amir Ayub",
     "Sara AlBakaawi"
   ],
-  "gitHead": "07ad8468f0b168abd6f6950c8f70c3201d62fa40"
+  "gitHead": "3bbe4d5b8ed1989e198ac9e803b7317649682988"
 }

package/src/bases-bundle.ts

@@ -0,0 +1,15 @@
+// Generated by open/hsx/scripts/bundle-bases.ts. Do not edit by hand.
+import type { HsxBase } from "./bases.ts";
+export const bases: HsxBase[] = [
+  {"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"},
+];

package/src/bases.ts

@@ -0,0 +1,9 @@
+/** 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";

package/src/compile.ts

@@ -9,6 +9,7 @@ import { buildUdlCostManifest, type UdlCostManifest } from "./cost.ts";
 import {
   validateUdl,
   resolveField,
+  sameAccount,
   sameObjectField,
   subjectPartyRoles,
   RESERVED_OBJECT_NAMES,
@@ -614,6 +615,7 @@ export function compile(
     // Lowered objects lose their spans, so each keeps the expression that
     // produced it for the name check after lowering.
     const authored = new WeakMap<object, Expr>();
+    const splitMoves = new WeakSet<object>();
     const declarations = new WeakMap<UdlInstrument, InstrumentDecl>();
     const exposures: { instrument: string; action: string; entry: Entry }[] =
       [];
@@ -2719,6 +2721,7 @@ export function compile(
                       from: moneyPath(from),
                       to: `party.${recipient.value}`,
                     });
+                    splitMoves.add(a.moves.at(-1)!);
                   }
                   if (total !== 10000)
                     fail(
@@ -4332,6 +4335,23 @@ export function compile(
           );
       }
     }
+    // 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 {