@hyperscale0/hsx 1.0.0-alpha.6 → 1.0.0-rc.1

package/examples/cost-table.json

@@ -0,0 +1,386 @@
+{
+  "currency": "SAR",
+  "declaredMeters": [
+    "account.active_month",
+    "collection.pay_in.count",
+    "collection.pay_in.volume_sar",
+    "deposit.attributed.count",
+    "deposit.attributed.volume_sar",
+    "financial_address.active_month",
+    "financial_address.issued.count",
+    "instrument.event.count",
+    "instrument.event.volume_sar",
+    "kyb.application.review",
+    "payout.external.count",
+    "payout.external.volume_sar",
+    "transfer.internal.count",
+    "transfer.internal.volume_sar",
+    "verification.kyb.count",
+    "verification.kyc.basic.count",
+    "verification.kyc.investment.count",
+    "verification.kyc.standard.count"
+  ],
+  "effectiveTableDigest": "fb8466c7f277cc471493654413d088bb526f12ddaca0c869d51e39771f37b59e",
+  "fixed": {
+    "activationBaseMinor": "500000",
+    "activationPerPointMinor": "100000",
+    "monthlyBaseMinor": "100000",
+    "monthlyPerPointMinor": "20000",
+    "weights": {
+      "aggregate_invariant": 2,
+      "blueprint": 5,
+      "flow": 1,
+      "gate": 1,
+      "instrument": 3,
+      "move": 3,
+      "provider_decision": 5,
+      "subject_kind": 2,
+      "timer": 1,
+      "unwind": 4
+    }
+  },
+  "rows": [
+    {
+      "bps": 0,
+      "meter": "instrument.event.count",
+      "payer": "product",
+      "perEventMinor": "0",
+      "settlement": "invoice",
+      "signature": "decides.accounts_ledger_first_party"
+    },
+    {
+      "bps": 0,
+      "meter": "instrument.event.count",
+      "payer": "product",
+      "perEventMinor": "0",
+      "settlement": "invoice",
+      "signature": "decides.air_carrier"
+    },
+    {
+      "bps": 0,
+      "meter": "instrument.event.count",
+      "payer": "product",
+      "perEventMinor": "0",
+      "settlement": "invoice",
+      "signature": "decides.banking_or_card_issuing"
+    },
+    {
+      "bps": 0,
+      "meter": "instrument.event.count",
+      "payer": "product",
+      "perEventMinor": "0",
+      "settlement": "invoice",
+      "signature": "decides.collections_agency"
+    },
+    {
+      "bps": 0,
+      "meter": "instrument.event.count",
+      "payer": "product",
+      "perEventMinor": "0",
+      "settlement": "invoice",
+      "signature": "decides.credit_bureau"
+    },
+    {
+      "bps": 0,
+      "meter": "instrument.event.count",
+      "payer": "product",
+      "perEventMinor": "0",
+      "settlement": "invoice",
+      "signature": "decides.credit_servicing"
+    },
+    {
+      "bps": 0,
+      "meter": "instrument.event.count",
+      "payer": "product",
+      "perEventMinor": "0",
+      "settlement": "invoice",
+      "signature": "decides.email_or_notification"
+    },
+    {
+      "bps": 0,
+      "meter": "instrument.event.count",
+      "payer": "product",
+      "perEventMinor": "0",
+      "settlement": "invoice",
+      "signature": "decides.enforcement_instrument"
+    },
+    {
+      "bps": 0,
+      "meter": "instrument.event.count",
+      "payer": "product",
+      "perEventMinor": "0",
+      "settlement": "invoice",
+      "signature": "decides.identity_verification"
+    },
+    {
+      "bps": 0,
+      "meter": "instrument.event.count",
+      "payer": "product",
+      "perEventMinor": "0",
+      "settlement": "invoice",
+      "signature": "decides.insurance_carrier"
+    },
+    {
+      "bps": 0,
+      "meter": "instrument.event.count",
+      "payer": "product",
+      "perEventMinor": "0",
+      "settlement": "invoice",
+      "signature": "decides.insurance_claims_adjuster"
+    },
+    {
+      "bps": 0,
+      "meter": "verification.kyb.count",
+      "payer": "product",
+      "perEventMinor": "8000",
+      "settlement": "invoice",
+      "signature": "decides.kyb"
+    },
+    {
+      "bps": 0,
+      "meter": "verification.kyc.basic.count",
+      "payer": "product",
+      "perEventMinor": "2500",
+      "settlement": "invoice",
+      "signature": "decides.kyc.basic"
+    },
+    {
+      "bps": 0,
+      "meter": "verification.kyc.investment.count",
+      "payer": "product",
+      "perEventMinor": "7500",
+      "settlement": "invoice",
+      "signature": "decides.kyc.investment"
+    },
+    {
+      "bps": 0,
+      "meter": "verification.kyc.standard.count",
+      "payer": "product",
+      "perEventMinor": "4000",
+      "settlement": "invoice",
+      "signature": "decides.kyc.standard"
+    },
+    {
+      "bps": 0,
+      "meter": "instrument.event.count",
+      "payer": "product",
+      "perEventMinor": "0",
+      "settlement": "invoice",
+      "signature": "decides.lodging_supplier"
+    },
+    {
+      "bps": 0,
+      "meter": "instrument.event.count",
+      "payer": "product",
+      "perEventMinor": "0",
+      "settlement": "invoice",
+      "signature": "decides.national_identity"
+    },
+    {
+      "bps": 0,
+      "meter": "instrument.event.count",
+      "payer": "product",
+      "perEventMinor": "0",
+      "settlement": "invoice",
+      "signature": "decides.payouts"
+    },
+    {
+      "bps": 0,
+      "meter": "instrument.event.count",
+      "payer": "product",
+      "perEventMinor": "0",
+      "settlement": "invoice",
+      "signature": "decides.sanctions_screening"
+    },
+    {
+      "bps": 0,
+      "meter": "instrument.event.count",
+      "payer": "product",
+      "perEventMinor": "0",
+      "settlement": "invoice",
+      "signature": "decides.settlement_ingestion"
+    },
+    {
+      "bps": 0,
+      "meter": "instrument.event.count",
+      "payer": "product",
+      "perEventMinor": "0",
+      "settlement": "invoice",
+      "signature": "decides.tenant_port"
+    },
+    {
+      "bps": 0,
+      "meter": "instrument.event.count",
+      "payer": "product",
+      "perEventMinor": "0",
+      "settlement": "invoice",
+      "signature": "holds.quote"
+    },
+    {
+      "bps": 0,
+      "meter": "instrument.event.count",
+      "payer": "product",
+      "perEventMinor": "0",
+      "settlement": "invoice",
+      "signature": "holds.reserve"
+    },
+    {
+      "bps": 0,
+      "meter": "account.active_month",
+      "payer": "product",
+      "perEventMinor": "27500",
+      "settlement": "invoice",
+      "signature": "meters.account.active_month"
+    },
+    {
+      "bps": 0,
+      "meter": "billing.invoice.settlement",
+      "payer": "product",
+      "perEventMinor": "1",
+      "settlement": "invoice",
+      "signature": "meters.billing.invoice.settlement"
+    },
+    {
+      "bps": 0,
+      "meter": "financial_address.active_month",
+      "payer": "product",
+      "perEventMinor": "800",
+      "settlement": "invoice",
+      "signature": "meters.financial_address.active_month"
+    },
+    {
+      "bps": 0,
+      "meter": "financial_address.issued.count",
+      "payer": "product",
+      "perEventMinor": "2000",
+      "settlement": "invoice",
+      "signature": "meters.financial_address.issued.count"
+    },
+    {
+      "bps": 0,
+      "meter": "instrument.event.count",
+      "payer": "product",
+      "perEventMinor": "150",
+      "settlement": "invoice",
+      "signature": "meters.instrument.event.count"
+    },
+    {
+      "bps": 40,
+      "meter": "instrument.event.volume_sar",
+      "payer": "product",
+      "perEventMinor": "0",
+      "settlement": "invoice",
+      "signature": "meters.instrument.event.volume_sar",
+      "volumeMeter": "instrument.event.volume_sar"
+    },
+    {
+      "bps": 0,
+      "meter": "kyb.application.review",
+      "payer": "product",
+      "perEventMinor": "20000",
+      "settlement": "invoice",
+      "signature": "meters.kyb.application.review"
+    },
+    {
+      "bps": 16,
+      "meter": "collection.pay_in.count",
+      "payer": "end_customer",
+      "perEventMinor": "250",
+      "settlement": "per_event",
+      "signature": "moves.collection.pay_in",
+      "volumeMeter": "collection.pay_in.volume_sar"
+    },
+    {
+      "bps": 6,
+      "meter": "deposit.attributed.count",
+      "payer": "end_customer",
+      "perEventMinor": "150",
+      "settlement": "per_event",
+      "signature": "moves.deposit.attributed",
+      "volumeMeter": "deposit.attributed.volume_sar"
+    },
+    {
+      "bps": 15,
+      "meter": "payout.external.count",
+      "payer": "product",
+      "perEventMinor": "400",
+      "settlement": "per_event",
+      "signature": "moves.payout.external",
+      "volumeMeter": "payout.external.volume_sar"
+    },
+    {
+      "bps": 11,
+      "meter": "transfer.internal.count",
+      "payer": "end_customer",
+      "perEventMinor": "75",
+      "settlement": "per_event",
+      "signature": "moves.transfer.internal",
+      "volumeMeter": "transfer.internal.volume_sar"
+    },
+    {
+      "bps": 0,
+      "meter": "instrument.event.count",
+      "payer": "product",
+      "perEventMinor": "0",
+      "settlement": "invoice",
+      "signature": "notifies.email"
+    },
+    {
+      "bps": 0,
+      "meter": "instrument.event.count",
+      "payer": "product",
+      "perEventMinor": "0",
+      "settlement": "invoice",
+      "signature": "reads.reconcile"
+    },
+    {
+      "bps": 0,
+      "meter": "instrument.event.count",
+      "payer": "product",
+      "perEventMinor": "0",
+      "settlement": "invoice",
+      "signature": "reads.requires_aggregate"
+    },
+    {
+      "bps": 0,
+      "meter": "instrument.event.count",
+      "payer": "product",
+      "perEventMinor": "0",
+      "settlement": "invoice",
+      "signature": "reads.requires_checks"
+    },
+    {
+      "bps": 0,
+      "meter": "instrument.event.count",
+      "payer": "product",
+      "perEventMinor": "0",
+      "settlement": "invoice",
+      "signature": "reads.requires_refs"
+    },
+    {
+      "bps": 0,
+      "meter": "instrument.event.count",
+      "payer": "product",
+      "perEventMinor": "0",
+      "settlement": "invoice",
+      "signature": "schedules.deadline"
+    },
+    {
+      "bps": 0,
+      "meter": "instrument.event.count",
+      "payer": "product",
+      "perEventMinor": "0",
+      "settlement": "invoice",
+      "signature": "schedules.due"
+    },
+    {
+      "bps": 0,
+      "meter": "instrument.event.count",
+      "payer": "product",
+      "perEventMinor": "0",
+      "settlement": "invoice",
+      "signature": "schedules.expiry"
+    }
+  ],
+  "version": "2026-09-02.1"
+}

package/examples/credit_facility/README.md

@@ -0,0 +1,3 @@
+# credit_facility
+
+This example applies the `credit_facility` standard-library module. Its sibling UDL file pins the canonical compiler output byte for byte. The company and parties are invented.

package/examples/credit_facility/credit_facility.hsx

@@ -0,0 +1,27 @@
+program credit_facility_example "Credit facility example"
+import { credit_facility, scheduled } from "std/settlements"
+party lender: business
+party borrower: business
+party draw_destination: business
+party repayment_source: business
+settlement repayment = scheduled {
+  mode: obligation
+  payer: repayment_source
+  payee: lender
+  debtor: borrower
+  amount: principal: money(SAR)
+  count: 2
+  every: P30D
+  first_due: firstDueAt
+}
+settlement facility = credit_facility {
+  lender: lender
+  borrower: borrower
+  draw_destination: draw_destination
+  limit: facilityLimit: money(SAR)
+  expires_at: expiresAt
+  obligation: repayment.obligation
+  availability_policy: revolving
+  expiry_policy: freeze_draws
+  close_policy: no_open_draws
+}