@hyperscale0/hsx 1.0.0-rc.1 → 1.0.123

package/dist/src/tunables.js

@@ -0,0 +1,27 @@
+import { fail } from "./diagnostics.js";
+/** Bounds use UDL units: minor units, basis points and milliseconds. */
+export function tunableBounds(type) {
+    const name = type.kind === "call" || type.kind === "type"
+        ? type.name
+        : type.kind === "name"
+            ? type.value
+            : "";
+    if (name === "money")
+        return { minimum: "0", maximum: "999999999999999999" };
+    if (name === "percent")
+        return { minimum: 0, maximum: 10000 };
+    if (name === "duration")
+        return { minimum: 1, maximum: Number.MAX_SAFE_INTEGER };
+    if (name !== "integer")
+        return;
+    if (type.kind === "call") {
+        const numbers = type.args.map((arg) => arg.kind === "number" ? Number(arg.value) : NaN);
+        if (numbers.length !== 2 ||
+            numbers.some((value) => !Number.isSafeInteger(value)) ||
+            numbers[0] > numbers[1])
+            fail(type, "integer tunable needs ordered safe integer bounds", "write integer(1, 12)");
+        return { minimum: numbers[0], maximum: numbers[1] };
+    }
+    return { minimum: 0, maximum: Number.MAX_SAFE_INTEGER };
+}
+//# sourceMappingURL=tunables.js.map

package/dist/src/tunables.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"tunables.js","sourceRoot":"","sources":["../../src/tunables.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAGxC,wEAAwE;AACxE,MAAM,UAAU,aAAa,CAC3B,IAAU;IAEV,MAAM,IAAI,GACR,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;QAC1C,CAAC,CAAC,IAAI,CAAC,IAAI;QACX,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;YACpB,CAAC,CAAC,IAAI,CAAC,KAAK;YACZ,CAAC,CAAC,EAAE,CAAC;IACX,IAAI,IAAI,KAAK,OAAO;QAAE,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,oBAAoB,EAAE,CAAC;IAC7E,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IAC9D,IAAI,IAAI,KAAK,UAAU;QACrB,OAAO,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,gBAAgB,EAAE,CAAC;IAC1D,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO;IAC/B,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QACzB,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CACpC,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAChD,CAAC;QACF,IACE,OAAO,CAAC,MAAM,KAAK,CAAC;YACpB,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;YACrD,OAAO,CAAC,CAAC,CAAE,GAAG,OAAO,CAAC,CAAC,CAAE;YAEzB,IAAI,CACF,IAAI,EACJ,mDAAmD,EACnD,sBAAsB,CACvB,CAAC;QACJ,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAE,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAE,EAAE,CAAC;IACxD,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,gBAAgB,EAAE,CAAC;AAC1D,CAAC"}

package/docs/README.md

@@ -1,23 +1,528 @@
-# HSX documentation
-
-Read the guide in order. Every HSX program in it runs through the compiler in
-the package test suite.
-
-1. [Your first program](./guide/01-first-program.md)
-2. [Money](./guide/02-money.md)
-3. [Instruments](./guide/03-instruments.md)
-4. [Lifecycles](./guide/04-lifecycles.md)
-5. [Fees and splits](./guide/05-fees-and-splits.md)
-6. [Schedules](./guide/06-schedules.md)
-7. [Composition](./guide/07-composition.md)
-8. [Writing a module](./guide/08-writing-a-module.md)
-9. [Cost](./guide/09-cost.md)
-10. [Diagnostics](./guide/10-diagnostics.md)
-
-The generated [reference](./reference/) follows the compiler, UDL vocabulary,
-and standard-library files. Run `bun run docs:build` after changing one of
-those sources. `bun run docs:check` compares every generated byte.
-
-Agents can start with [llms.txt](./llms.txt) or load the
-[HSX skill](../skills/hsx/SKILL.md). [llms-full.txt](./llms-full.txt) combines
-the guide and generated reference in reading order.
+# HSX
+
+HSX composes a company's objects, agreements and actions into a typed program.
+A repair approval can change state without moving money. A rental can collect a
+deposit and refund it under declared rules. Headers supply reusable instruments;
+you can also write an instrument with its own fields, lifecycle and actions.
+The compiler emits UDL, the Universal Domain Language contract an executor reads.
+It does not run the business or move money. This release supports SAR only.
+
+## First program
+
+The package supplies the `hsx` executable. Save this as `lesson.hsx`:
+
+```hsx
+program tutoring "Tutoring studio"
+use money
+object lesson "Lesson" {
+  fields { student: text }
+  columns: [student]
+  attach payment = money.transfer {
+    payer: owner, payee: operator, amount: 150 SAR
+    expose create as book_lesson
+    expose pay as pay_for_lesson
+    expose cancel as cancel_lesson
+  }
+}
+```
+
+An object is the business record. An instrument holds an agreement's state and
+money rules. An attachment connects the instrument to an object kind. A tunable
+is a header parameter, such as `amount`, fixed by this program. An exposed action
+is a public name for an instrument action. Exposing it does not grant permission.
+
+```sh
+hsx check lesson.hsx
+hsx build lesson.hsx --out lesson.udl.json
+hsx cost lesson.hsx
+```
+
+`check` exits zero without output on success. `build` writes canonical UDL;
+without `--out` it prints to stdout. `cost` prints instruction counts, described
+below. `format` prints formatted source or writes it with `--out`. `headers --json`
+prints the header manifest. These commands have no `--strict` or `--catalog` option.
+Exit 1 means invalid source; exit 2 means a command or file error. Diagnostics name
+the source, line, column, code, problem and suggested fix. UDL validation keeps
+its UDL diagnostic codes; binding errors can have names such as
+`subject_party_unbound`. Read the message and fix, not just the code.
+
+At runtime, create a lesson object first, then call `book_lesson` to create its
+agreement. Call `pay_for_lesson` on that agreement to move 150 SAR from its bound
+owner to the operator. Object creation alone creates no agreement. Object
+metadata such as `student` is optional until an action requires it. Account IDs
+and party IDs are not metadata supplied by the caller.
+
+## A rental deposit in one hour
+
+Open [rental-deposit.hsx](../examples/rental-deposit.hsx). It is a complete source
+file for a business renting equipment from the program operator. Copy it to
+`rental.hsx` and run the same check, build and cost commands against that file.
+No header import is needed because it declares its own instrument.
+
+The terms are a 1,000 SAR deposit and a one-time 50 SAR late fee. The supplied
+`dueAt` timestamp is the cutoff: a return before it gets the whole deposit back;
+a return at or after it gets 950 SAR back. The operator receives the other 50 SAR.
+The late fee is not a daily charge and is not `financing.late_charge`, which
+requires a financing plan and an overdue installment.
+
+| Step                         | Public action           | Actor and required values                                                             | Money effect                                       |
+| ---------------------------- | ----------------------- | ------------------------------------------------------------------------------------- | -------------------------------------------------- |
+| Create the object            | Host object creation    | Optional `equipment` metadata                                                         | None                                               |
+| Agree terms                  | `agree_rental`          | Bound renter; `dueAt`, for example `2027-01-10T12:00:00+03:00`, must be in the future | Creates the agreement's held account               |
+| Fund before the cutoff       | `pay_deposit`           | Bound renter with 1,000 SAR available                                                 | Renter pays 1,000 SAR into held                    |
+| Record an on-time return     | `return_equipment`      | Operator; `returnReference` metadata                                                  | Held pays 1,000 SAR to renter                      |
+| Or record a late return      | `return_equipment_late` | Operator; `returnReference` metadata                                                  | Held pays 50 SAR to operator and 950 SAR to renter |
+| Cancel an unfunded agreement | `cancel_rental`         | Bound renter, while pending                                                           | None                                               |
+
+Choose one return action. Both finish the agreement, so the fee and refund cannot
+repeat. The late action calculates the refund from the held balance before either
+move runs. Both paths empty the held account. `returnReference` records the
+operator's return evidence; it does not verify the physical return. Time means
+the executor's current time when the action runs, not a caller-supplied return date.
+A late `due` permits the operator action; it does not schedule that action.
+
+This sample binds a declared business named `renter` in Product configuration.
+It uses fixed parties because this compiler rejects parameterized instruments
+inside a program. Changing the renter binding is a Build configuration decision,
+not a different party ID on each request. Use header party parameters bound to
+`owner` or `actor` for per-object participants. Reusable custom headers require a
+host-supplied `StandardLibrary`; `use` cannot load a local file through this CLI.
+
+Inspect `objects` in the compiled UDL for the attachment and public names, then
+its instrument for fields, transitions, actors, requirements and ordered moves.
+The `hide deposit.*` lines remove public names from the unattached declaration;
+the attachment exposes its own copy. `money.hold` and `escrow.hold` both refund
+whole amounts, so neither implements this partial-refund policy by itself.
+
+A local compile gives you a contract. Executing it needs a host with authenticated
+parties, object actions, funded accounts and a saved Product Build. A Build is the
+frozen contract and configuration used by its agreements. Existing agreements
+keep that Build when the program changes. The package includes no local money
+executor. Compilation cannot establish balances, permissions or provider readiness.
+
+## Objects, metadata and parties
+
+Every attached party parameter binds to `owner`, `actor`, `operator`, a declared
+business, or a declared staff party with a supported role. Configure declared
+business participants per Build. Declared person parties cannot bind attachments.
+`owner` is the object's resolved customer or business, `actor` is the authenticated
+caller, and `operator` is the program operator. A parameter with one of these
+names binds by name. Other party parameters use a same-named eligible declaration,
+a header default, or an explicit binding. Explicit bindings take precedence.
+Unbound parameters report `subject_party_unbound`. These bindings are frozen in
+UDL `objects[].attachments[].parties`; no caller supplies party IDs at creation.
+
+Object `fields` are authored metadata. `columns` names up to eight normalized
+fields. An action's `subject { price: money }` declares its metadata requirement;
+`subject { adapter: verification }` inherits a selected ADL declaration. The
+compiler freezes the adapter identity, digest and requirements. An unavailable
+declaration leaves a null snapshot in compiled output. Product creation and
+recomposition reject unresolved or changed declarations during Build admission.
+Execution checks the frozen declaration too; later adapter unavailability can
+block actions on an already saved Build.
+
+An attachment can use `rename { price: salePrice }` to separate requirements with
+different meanings. Matching names must match types and constraints. The compiler
+reports `subject_field_conflict` with both origins, or `subject_field_unknown` for
+unknown rename sources, columns or subject expressions. Action admission reports
+`subject_requirement_missing` or `subject_adapter_unbound` before dispatch.
+
+Creation accepts `{}`. Every normalized field, including adapter requirements,
+is optional at creation. Only a named action requires its subject metadata.
+Use `attach` inside the object block to configure its financial instruments.
+
+## Headers and tunables
+
+The header defines the available policies. The company chooses percentages, amounts, durations,
+parties and typed references. `funds: sale` links the stored records through the
+library's declared reference type. References can name a child, such as
+`receipt: plan.settlement`. A header tunable declared `ref<T>[]` accepts one object or a list of up to 16
+objects of type T. `on: [plan_3, plan_6]` creates one late-charge or collections
+policy. Its references can point into either plan; selections can span both.
+A plain `ref<T>` accepts one object only.
+Tunable constructors are `enum(choices)` and `integer(minimum, maximum)`.
+Other constructors, including `party(business)` and bounded `money(...)`, are
+rejected as tunable types. A default selector such as `payer: party = party(person)`
+is different: its type is plain `party`, and the call chooses a default binding.
+Use explicit `payer: owner` or `payer: actor` bindings when the participant comes
+from the object or session.
+Imports are `use header`; there are no file imports, macros or executable strings.
+
+## Values and money
+
+Amounts use `750 SAR`; percentages use `2.5%`; durations use `48h`, `3d`, or `1w`.
+Dates use `2026-11-28` or a timestamp with an explicit offset. Money has at most two
+decimal places and percentages at most two. The compiler uses integer minor units
+and basis points. Fee and tax calculations round down. Split percentages sum to
+100%; the last declared recipient receives the rounding remainder. Finite
+schedules use positions 1 through n and put the division remainder in position 1.
+Tax binds `programTax`. Fees default to `programOperator`. Fine, recovery and
+residual destinations are party tunables.
+
+Attached actions are private unless the attachment exposes them with
+`expose fund as sell`. Exposure grants no authority. Clock and parent actions
+remain executor-owned. Instruments have no standalone create route: an
+attachment exposes its create action by name (`expose create as finance`) or
+keeps it internal. Callers create objects and run their attached actions.
+
+Accounts use cash or claim books. A move stays in one book. `account of buyer`
+aliases the default cash account; `account of self` provisions an owned account.
+`account(lender, cash, "capital")` binds a named account.
+`account(adapter(insurer), cash, "premium")` binds the account of the provider
+selected by `insurer`. Declare that binding with `subject { adapter: insurer }`
+in an action of the same instrument. A text tunable may supply its binding name.
+The agreement retains the provider identity; aliases for that provider share the
+same book and key within the Product. Providers remain outside parties.
+A missing binding refuses before money moves. Reference paths such as
+`self.cover.insurer` use the referenced agreement's account.
+
+`account(buyer, claim, contra, "debt")` declares the borrower's claim contra account.
+Provider confirmation belongs on a reserved move with `boundary adapter`,
+followed by instruction-bound evidence and a post or void.
+Outstanding debt is an account balance. The library pairs cash repayment with
+claim reduction and represents receipts as immutable child records. Cash and loss
+shares round down; the declared residual account receives leftover minor units.
+
+Money moves require a positive amount by default. An action may declare
+`allowZero: true` when a calculated piece can be zero, such as an exhausted
+repayment slice, a floored fee or a rounding remainder. A zero create move in
+that action posts no transfer and captures no receipt. The permission belongs
+to that action only and does not pass to invoked actions. Reserve, post and
+void still require real reservation receipts. Keep a positive requirement on
+an authored total when only its calculated pieces may be zero.
+
+```hsx
+action collect {
+  from: pending, to: paid
+  allowZero: true
+  moves self.calculatedPiece from payer to payee
+}
+```
+
+The four transfer instructions are create, reserve, post and void under
+`internal_transfer`. A captured transfer exposes reserved, posted, settled,
+reversed or voided status. Voided means a released reservation. Settled means
+provider confirmation, not an internal account balance change.
+
+## Authored instruments and actions
+
+An action is the business instruction: its actor, state, requirements and effects
+define when it is valid. The executor still checks those conditions on each call.
+The four transfer instructions below that action are its money effects. There is
+no general-purpose `instruction` declaration; `instruction` in an evidence clause
+binds external evidence to a captured boundary instruction.
+
+For a new record type, declare `instrument name { fields { ... } lifecycle { ... }
+action create { ... } }`. Fields are `money`, `account of buyer`, `ref<order>`,
+`date`, `duration`, `text`, `integer`, `percent`, `boolean`, `enum(a, b)` or
+`list(date, 12)`. `?` makes a plain type or `ref<T>` optional. Call types such as
+`list(date, 12)` do not accept `?`. `= value` fixes a constant or a typed
+calculation. Actions declare `input { reason: text }`. Headers and expert records
+write ordered requirements and moves as expressions:
+
+```hsx
+requires self.payer == self.order.buyer
+requires self.order in [placed]
+moves self.price from payer to self.held
+moves self.price from self.held to payee fee fee
+```
+
+Comparisons accept `==`, `!=`, `<`, `<=`, `>` and `>=`. A path beginning with
+`self`, `input`, `party` or `subject` is a field operand; a quoted string, amount or number is
+a literal. `requires unique "order" on [self.order]` fixes an identity namespace.
+`requires count of { instrument: child, reference: "parent", anchor: self.id,
+states: [pending], limit: 12 } == 12` checks a typed selection; `sum "amount" of`
+uses the same selection syntax. `invariants` accepts these requirement expressions.
+`requires hours self.now between 8 and 20 timezone "Asia/Riyadh"` checks local hours.
+`requires evidence self.payer family registry check ownership result verified
+maxAge 1d` requires a recent completed provider check.
+
+`moves reserve amount from payer to payee capture receipt` reserves a transfer;
+`moves post self.receipt` posts it and `moves void self.receipt` releases it.
+`moves amount from payer shares shares` expands a declared split. Optional `fee`,
+`capture`, `key` and `boundary` modifiers describe a move. `boundary` applies
+only to reservations. Fees settle with create moves, never reservations. Repeated clauses keep
+their declaration order. The JSON-like clause form remains accepted and lowers
+to the same [UDL clauses](https://github.com/hyperscale0/hyperscale-udl/blob/main/spec/README.md).
+Use `economics { purpose: earning, sourceParty: merchant }` on a move to
+classify posted money. Other purposes are `principal`, `participant_payout`,
+`internal`, `prepaid_credit`, and `pass_through`. `reversalOf: self.originalTransfer` links a
+reversal. The source party must own the source account, except when an earning
+releases the retained payer’s money from an agreement-bound instrument account
+to a company account outside the agreement. A reservation passes its economics
+to its post. Fee shorthand accepts separate economics for each expanded leg.
+They cannot add kernel instructions. `at(list, position)` reads a dated list;
+`aggregate(selection, "amount")` sums selected money; `ratio(amount, weight, total)`
+floors a weighted share. `records` declares child types. `invoke` can create a child
+with typed input in the same transaction.
+
+The compiler removes branches excluded by fixed enum tunables. An invalid program reports its source line
+and a correction. No artifact is returned with diagnostics.
+
+## Financing policies
+
+`financing.installments` keeps principal and fixed flat profit as claims from
+activation. The company chooses where funding goes and when profit becomes earned.
+All choices use accounts, calculations and moves in the same two books.
+
+| Tunable                            | Default                  | Selected behavior                                                                                                                                                                                                                                                                                                                                                                |
+| ---------------------------------- | ------------------------ | -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
+| `disburse_to`                      | `funds`                  | `funds` pays down payment and principal into the hold and confirms it. `borrower` credits principal to the borrower's balance.                                                                                                                                                                                                                                                   |
+| `profit_earned`                    | `on_payment`             | `on_payment` collects unearned profit on payment. `by_schedule` moves unearned claims to earned claims at each slice's date. `at_disbursement` makes that move at activation. Cash arrives only on payment.                                                                                                                                                                      |
+| `apply`                            | `fines_profit_principal` | Visit each slice in position order; within that slice collect assessed fines by overdue date, evidenced costs, profit, then principal. `principal_profit` collects each slice in position order, principal before profit. `pro_rata` uses the slice's fixed principal:profit ratio, caps each side by its collectible balance, and assigns the remainder without stranding cash. |
+| `payoff_rebate`                    | `100%`                   | Reverse this share of unearned profit to borrower debt. Collect the remainder and all earned profit with outstanding principal.                                                                                                                                                                                                                                                  |
+| `late_charge.fines_to`             | `programOperator`        | Receive fine cash and fund its refunds.                                                                                                                                                                                                                                                                                                                                          |
+| `late_charge.costs_to`             | `programOperator`        | Receive evidenced recovery cash and fund its refunds.                                                                                                                                                                                                                                                                                                                            |
+| `collections.case.fee`             | `20%`                    | After payment succeeds, transfer this share of the payment amount from plan capital to the agency.                                                                                                                                                                                                                                                                               |
+| `lending.distribution.residual_to` | `programOperator`        | Receive the cash remainder and own the claim loss remainder after weighted distribution.                                                                                                                                                                                                                                                                                         |
+
+Each slice owns separate unearned and earned claim accounts. Scheduled recognition
+uses a dated child record so a partial payment cannot disable the maturity clock.
+A normal payment collects only earned profit for the schedule and disbursement
+choices; payoff can also collect non-rebated unearned profit. Partial fines and
+costs stay assessed until their receivable reaches zero. Immutable receipts let
+a refund restore only what that payment collected. The plan's payment receipt
+records actual principal and profit after all ordered collections finish.
+Write-off moves principal and earned profit claims to loss and reverses unearned
+profit to debt. `write_off_after` sets how long a slice must be overdue before a capital-authorized
+write-off request can apply. There is no provision policy.
+
+## Header branches and bounds
+
+A header may select action clauses at compile time:
+
+```hsx
+when disburse_to is borrower {
+  moves self.principal from self.capital to self.borrower
+}
+```
+
+`when <reference tunable> has <field>` includes its clauses only when the bound
+object declares that field. The compiler checks the object's declared shape,
+regardless of declaration order, and emits no runtime branch.
+
+`when <enum tunable> is <value>` accepts requirements, calculations, moves and
+invocations, including nested branches. The compiler emits only the selected
+clauses and preserves their order within each UDL phase. Lifecycle and actor
+clauses stay outside branches. Calculations and requirements run before moves;
+invocations run after moves. A collections fee therefore uses an internal action
+invoked after payment. Clock and parent actions have no public API name.
+
+`integer(1, 366)` declares an inclusive tunable bound. The compiler-owned manifest
+publishes enum values, numeric minima and maxima, and cross-tunable constraints.
+Bounds use minor units for money, basis points for percentages and milliseconds
+for durations. Money spans 0 through 999999999999999999 minor units; percentages
+span 0 through 10000 basis points. Durations start at 1 millisecond. Integers
+default to 0 through 9007199254740991 unless their declaration narrows the range. For example, `constraints { contact_from: less_than(contact_until) }`
+requires a valid hours interval. `at_most` and `greater_than` are also supported.
+A refusal names the tunable. Empty `all(type)` selections lower to zero aggregates
+or no invocations, so a plan does not require a late-charge object.
+
+Headers can declare conditional bindings and parameter policy diagnostics:
+
+```hsx
+dependencies {
+  funds {
+    selector: destination, is: held
+    message: "Attachment `{attachment}` needs a funds binding."
+    fix: "Bind funds to a hold attachment."
+  }
+}
+parameterDiagnostics {
+  amount {
+    accepts: "a fixed amount"
+    percentage: "a percentage-based charge"
+    fix: "Author a rate calculation when the policy varies with a base amount."
+  }
+}
+```
+
+Each dependency names a declared tunable, an enum selector and one of its choices.
+The compiler checks selected dependencies before lowering and the manifest retains
+them. `{attachment}` in the message expands to the authored attachment name.
+Parameter diagnostics name a declared tunable and explain its accepted value,
+unsupported percentage semantics and repair. They do not change the tunable type.
+UDL refusals retain their UDL codes. A terminal-money refusal includes the owned
+account and the prover's action path in related diagnostic information.
+
+## Instruction cost
+
+`hsx cost company.hsx` reports `transfers`, `accounts` and `invocations` per
+instrument action after lowering. Transfers count declared move instructions,
+including reserve, post and void. Accounts count self-owned accounts created by
+`create`, not every party account. Bounded invocations include child costs up to
+the selection limit, so a count is an upper bound rather than observed usage.
+Zero-valued moves can cost fewer actual transfers than their static count.
+
+The rental attachment's create declares one owned account, fund declares one
+transfer, on-time return one, and late return two. These are counts, not SAR
+prices. The executor's tariff supplies commercial prices and actual usage.
+
+The compiler API is `compile(source)`. On success, `result.verdict` is `valid`
+and `result.artifacts` contains `document`, `costManifest` and `originMap`.
+On refusal, inspect `result.diagnostics`; no artifact is returned.
+
+`hsx headers` prints the instrument inventory from the declarations. The
+[object example](../examples/library.hsx) shows authenticated role bindings.
+The [playground](../playground/index.html) compiles locally in the browser.
+
+## Standard-library behavior
+
+Read the instrument's states, time gates and moves before promising a money
+outcome. A compiler pass does not prove that required actions are exposed,
+adapters are bound, participants have funds, or the flow can finish.
+
+| Instrument                                 | Behavior                                                                                                                                                                                                         |
+| ------------------------------------------ | ---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
+| `financing.installments`                   | `share` allocates collected profit to a cash payable owned by `capital`. It does not itself pay operator income.                                                                                                 |
+| `financing.limits`                         | `per_borrower` caps outstanding principal. Both borrower and portfolio limits must be approved before disbursement; attaching them does not approve them.                                                        |
+| `lending.round`                            | The target is the linked plan's principal. Closing requires commitments and held funds to equal that amount.                                                                                                     |
+| `lending.distribution`                     | Cash distribution needs an eligible recorded settlement, `prepare_cash`, one share record per funded commitment, then `distribute_cash`. Attaching it moves nothing.                                             |
+| `insurance.cover.slice`                    | `collect` credits premium net of commission to the insurer account. The tenant retains commission. `refund` returns both portions; claims reserve insurer funds. External settlement uses the boundary protocol. |
+| `financing.installments`, `savings.circle` | Supply explicit date lists when creating agreements. A term count does not generate a monthly calendar. Savings supports at most 60 distinct member seats.                                                       |
+| `escrow.hold`                              | `fund` takes the whole price. Financing into pending escrow collects the remaining down payment and adds capital principal at disbursement; `fund` is not a down-payment checkout.                               |
+| `escrow.hold`                              | Acceptance timeout enters `disputed` without paying the seller. Delivery and return verification belong to `payee`; rebinding it also changes who receives accepted funds.                                       |
+| `financing.late_charge`                    | `fine` is a fixed money amount, not a percentage of overdue principal.                                                                                                                                           |
+| `cards.card`                               | `spend_limit` is a per-authorization ceiling, not a monthly aggregate.                                                                                                                                           |
+
+A seller-owned marketplace object can declare `entryActions: [create_order]`
+when `create_order` exposes an attachment's create action with its buyer bound
+to `actor`. This admits active enrolled customers to that action. The default
+is closed. A retained buyer can read the record and run its buyer actions;
+the seller remains owner. Entry never grants access to an existing escrow.
+
+`financing.limits` and `financing.portfolio_limit` declare `scope: product`.
+Create and approve the portfolio limit once per Product and the borrower limit
+once per borrower. Plans on later records resolve those shared references.
+Ordinary references remain on the current record; shared references must match
+the bound party accounts. The aggregate caps still apply across all plans.
+
+`programTax` transfers use an operator-owned cash account keyed `programTax`.
+The account primitive creates it automatically and shares it across the Product.
+Zero-tax escrow releases need no additional party setup.
+
+The financing, collections and lending samples expose payment creation, payment,
+refund and payoff quotes through the object's existing action routes. A child
+alias names the full attachment path, for example:
+
+```hsx
+expose enrolment.tuition.payment.create as create_payment
+expose enrolment.tuition.payment.pay as pay_instalment
+expose enrolment.tuition.payoff_quote.create as request_payoff_quote
+```
+
+Read the parent object's actions and follow pagination to discover child actions.
+Use the returned target, Build, digest and object revision when executing. Creation
+targets the child attachment; later actions target the child's instance ID on the
+same object. The caller must satisfy the header's actor rule. Parties bind from
+the session and object ownership. Retry the same request with the same
+Idempotency-Key to retrieve its result without moving money again.
+
+Supply payment amount and identity at creation. Pass the quote instance as the
+parent payoff's `quote` input. For a late charge on a multi-instalment plan, select
+the overdue child with the creation input `slice`. Repayment uses the declared
+allocation order and payoff rebate; aliases do not change those terms.
+
+The [lending sample](../examples/lending.hsx) also exposes share creation. Callers
+still need dates, agreement inputs, funded wallets and eligible settlements.
+References without an explicit creation input require one matching agreement on
+the object. In particular, lending distributions with multiple settlements or
+commitments need authored selectors before callers can choose among them.
+Insurance needs premium-slice records and actions. Savings needs dated
+contribution records. Read each header's creation and lifecycle requirements.
+
+## Checkout and reversals
+
+For financed checkout, expose `installments.collect_down_payment` after `create`
+and `sign`. It credits the linked pending escrow with the missing down payment.
+It does not disburse principal or activate the plan. The later `disburse` action
+uses that credit before collecting any remainder. Borrower-directed financing
+has no checkout collection action. The plan and escrow must agree on payer and
+price.
+
+Expose escrow `cancel` to return money credited before full funding. Plan `void`
+cancels the signed financing agreement but does not cancel its escrow. After
+funding and delivery, the default return path needs three separate aliases for
+`dispute`, `verify_return` and `refund`. The payee supplies return evidence and
+returns the full price to the payer. `accept` pays the payee instead.
+Marketplace order fulfillment alone does not execute any of these money actions.
+
+Expose `late_charge.create` to create an assessment with matching plan, slice
+and borrower. Only that existing assessment can reach clock-owned `assess` after
+grace. A payment can collect part of a fine without settling the rest. A recovery
+cost assessment is a separate record.
+
+## Separate payments and states
+
+Bind `insurance.cover.broker` to the agency that receives commission. Collection
+pays the insurer's net premium and the broker's commission as two moves. Refunds
+reverse those same portions. The default broker is the program operator.
+`claim.deny` accepts only `submitted`; after approval, `pay` or expiry consumes
+the reservation.
+
+A booking cancellation refunds only its own held cash. Expose `cover.cancel`
+separately for eligible premium refunds before the paid period starts. Active
+and expired premium periods are excluded. A card transaction needs a captured
+authorization and its own record before refund, but no authorization-expiry wait.
+
+A savings membership becomes `received` after its pot payout. Its contribution
+records become `paid` independently. Future contributions can remain pending
+after the member receives the pot; paying a contribution does not advance their
+payout seat. Late contributions remain eligible while the membership is
+`active` or `received` and the circle is `active`. These guards do not promise
+scheduler retries or permit a payout larger than the available cash.
+
+## Posted economics in the money flows
+
+An attachment can declare the purpose of an imported action's money:
+
+```hsx
+attach visit = wallet.spend {
+  wallet: balance, payee: operator
+  economics pay { purpose: earning, sourceParty: owner }
+  expose pay as charge_visit
+}
+```
+
+Name the original action, before its public alias. If it has several moves,
+select a move key, for example `economics pay.move1 { ... }`. The compiler
+refuses an unknown action or move, a repeated selection, a void, or economics
+that conflict with the instrument or its reservation. Cash purposes require
+cash accounts. `sourceParty` resolves a party parameter, a subject role or a
+declared business. The attachment retains this binding even when only economics
+uses it. The credited account supplies the destination participant.
+
+The compiler writes the declaration into that attachment's UDL move. Imported
+instruments stay generic. New Builds carry the purpose; existing agreements
+and postings keep their retained Build and classification.
+
+Held customer funding and its unspent return are `principal`. A release for the
+company's sale is `earning`. A payment from company cash to another participant
+is `participant_payout`. Claims, waivers, write-offs and own-account allocations
+are `internal`; prepaid balance topups and returns are `prepaid_credit`. Tax is
+`pass_through`, excluded from earnings and costs. Unpaid claims count as neither.
+Refunds of paid profit, company charges and commission capture the original
+transfer and use `reversalOf`, so refunds reduce the original purpose.
+
+Fee shorthand accepts separate move economics: `economics { payee: { purpose:
+earning, sourceParty: payer }, fee: { purpose: earning, sourceParty: payer },
+tax: { purpose: pass_through, sourceParty: payer } }`. These describe authored
+product fees. Automatic platform fees keep their commercial classification.
+
+A move's economics block can select by a resolved party: `economics { recipient:
+recipient, company: { purpose: earning, sourceParty: payer }, participant:
+{ purpose: participant_payout, sourceParty: programOperator } }`. The compiler
+chooses `company` for `operator`, `programOperator`, or a declared party with the
+`program_operator` role; it chooses `participant` for other bound parties.
+Both branches must be supplied. A branch may be `unclassified` when no purpose
+is established. Outside financing-profit and recovery recipients refund directly
+to the customer, not the company that funded the payout; those refund branches
+remain unclassified because they cannot reverse that company payout. Std
+recovery charges use this rule to avoid counting company receipts as participant
+costs. Direct customer payments to
+outside recipients are pass-through; payments from held company cash are costs.
+
+Generic transfers and mixed principal/profit distributions remain unclassified
+when their structure does not establish a purpose. Adapter-owned premium and
+claim accounts and credit-line advances also lack an authored source party.
+Their reports remain incomplete rather than guessing a company earning or cost.

package/docs/assets/brand/hsx-horizontal-white.svg

@@ -0,0 +1 @@
+<svg xmlns="http://www.w3.org/2000/svg" width="446.72" height="112" viewBox="0 0 446.72 112" color="#ffffff" fill="#ffffff" role="img" aria-label="Hyperscale HSX horizontal lockup"><g transform="translate(24 24) scale(2)" fill="none" stroke="#ffffff" stroke-width="0.8200000000000001" stroke-linecap="round" stroke-linejoin="round"><path d="M16 3.5L28.5 9.75V22.25L16 28.5L3.5 22.25V9.75Z"/><path d="M3.5 9.75L16 16L28.5 9.75"/><path d="M16 16V28.5"/><path d="M16 5L24 9V17L16 21L8 17V9Z"/><path d="M8 9L16 13L24 9"/><path d="M16 13V21"/><path d="M16 7L20 9V13L16 15L12 13V9Z"/><path d="M12 9L16 11L20 9"/><path d="M16 11V15"/></g><g transform="translate(104 68)"><path transform="translate(0 0) scale(0.032 -0.032)" d="M91 0V707H148V372H578V707H635V0H578V321H148V0Z"/><path transform="translate(24.992 0) scale(0.032 -0.032)" d="M269 0V266L18 707H86L298 324L510 707H575L326 267V0Z"/><path transform="translate(45.728 0) scale(0.032 -0.032)" d="M91 0V707H329Q406 707 460.5 682.5Q515 658 544.0 607.0Q573 556 573 477Q573 399 538.5 347.5Q504 296 444.5 270.0Q385 244 310 244H148V0ZM148 295H307Q400 295 457.0 339.5Q514 384 514 481Q514 573 464.0 614.0Q414 655 324 655H148Z"/><path transform="translate(67.52 0) scale(0.032 -0.032)" d="M91 0V707H553V655H148V377H512V325H148V52H553V0Z"/><path transform="translate(88.64 0) scale(0.032 -0.032)" d="M91 0V707H351Q407 707 452.5 695.5Q498 684 530.5 659.0Q563 634 580.5 592.5Q598 551 598 492Q598 437 578.0 396.0Q558 355 520.0 328.0Q482 301 430 289L584 0H521L371 279H148V0ZM148 330H323Q365 330 404.0 336.5Q443 343 473.5 361.0Q504 379 521.5 411.5Q539 444 539 495Q540 557 514.5 592.0Q489 627 444.5 641.0Q400 655 341 655H148Z"/><path transform="translate(111.36 0) scale(0.032 -0.032)" d="M337 -8Q276 -8 219.5 8.0Q163 24 121.0 61.5Q79 99 61 161H123Q142 117 176.0 91.0Q210 65 252.5 53.5Q295 42 337 42Q384 42 427.0 56.5Q470 71 497.0 101.0Q524 131 524 180Q524 219 508.5 243.0Q493 267 466.5 281.5Q440 296 405 306Q379 314 352.0 320.5Q325 327 299.5 334.0Q274 341 251 349Q220 358 189.5 371.0Q159 384 135.5 404.0Q112 424 97.5 453.0Q83 482 83 524Q83 567 96.0 599.0Q109 631 133.0 653.0Q157 675 188.0 688.5Q219 702 254.5 708.5Q290 715 327 715Q384 715 433.5 699.0Q483 683 518.0 647.0Q553 611 562 550H504Q494 593 466.5 618.0Q439 643 402.0 654.0Q365 665 326 665Q295 665 263.0 658.5Q231 652 204.0 637.0Q177 622 160.0 596.5Q143 571 143 532Q143 493 159.5 468.0Q176 443 202.5 428.0Q229 413 262 402Q306 388 353.0 377.5Q400 367 442 353Q472 344 498.0 329.5Q524 315 543.0 295.0Q562 275 573.0 249.5Q584 224 584 192Q584 137 563.5 99.0Q543 61 508.0 37.0Q473 13 429.0 2.5Q385 -8 337 -8Z"/><path transform="translate(133.792 0) scale(0.032 -0.032)" d="M375 -8Q265 -8 193.5 39.0Q122 86 87.0 167.5Q52 249 52 353Q52 456 87.5 537.5Q123 619 195.5 667.0Q268 715 378 715Q442 715 495.5 696.0Q549 677 586.5 640.0Q624 603 642 546H583Q559 605 504.5 635.0Q450 665 379 665Q286 665 226.5 622.0Q167 579 138.5 509.0Q110 439 110 355Q110 271 138.0 199.5Q166 128 225.5 85.0Q285 42 377 42Q423 42 466.0 55.0Q509 68 542.0 95.0Q575 122 590 161H655Q635 106 593.5 68.0Q552 30 496.0 11.0Q440 -8 375 -8Z"/><path transform="translate(157.984 0) scale(0.032 -0.032)" d="M14 0 287 707H360L635 0H571L509 159H138L77 0ZM157 210H490L324 648Z"/><path transform="translate(180.512 0) scale(0.032 -0.032)" d="M91 0V707H148V52H553V0Z"/><path transform="translate(200.512 0) scale(0.032 -0.032)" d="M91 0V707H553V655H148V377H512V325H148V52H553V0Z"/><path transform="translate(222.432 -7.68) scale(0.024 -0.024)" d="M318 445V707H414L466 592L518 707H613V445H550V643L484 499H447L381 643V445ZM144 445V648H59V707H294V648H208V445Z"/><g transform="translate(254.56 0)"><path transform="translate(0 0) scale(0.032 -0.032)" d="M83 0V707H189V396H543V707H649V0H543V299H189V0Z"/><path transform="translate(23.424 0) scale(0.032 -0.032)" d="M342 -8Q273 -8 212.0 12.0Q151 32 109.0 77.0Q67 122 53 196H162Q175 154 204.0 130.5Q233 107 271.5 98.0Q310 89 349 89Q386 89 418.5 99.0Q451 109 472.0 132.0Q493 155 493 192Q493 220 482.0 238.0Q471 256 451.5 267.5Q432 279 405 286Q374 296 338.5 303.0Q303 310 268.5 319.0Q234 328 204 342Q179 352 155.5 366.5Q132 381 115.0 401.5Q98 422 87.5 450.0Q77 478 77 514Q77 562 92.5 596.0Q108 630 133.5 653.0Q159 676 192.5 689.5Q226 703 263.0 709.0Q300 715 335 715Q399 715 453.0 695.0Q507 675 542.5 631.5Q578 588 581 517H478Q474 555 452.5 577.5Q431 600 399.0 609.5Q367 619 331 619Q305 619 279.0 614.5Q253 610 231.5 598.5Q210 587 197.5 568.0Q185 549 185 521Q185 497 195.0 478.5Q205 460 223.5 447.5Q242 435 265 426Q307 410 357.0 401.5Q407 393 451 378Q483 368 511.0 353.5Q539 339 559.0 318.5Q579 298 590.0 270.5Q601 243 601 207Q601 148 580.0 106.5Q559 65 523.0 40.0Q487 15 440.0 3.5Q393 -8 342 -8Z"/><path transform="translate(44.384 0) scale(0.032 -0.032)" d="M11 0 243 353 18 707H147L310 437L473 707H599L375 356L607 0H479L308 271L134 0Z"/></g></g></svg>

package/docs/assets/brand/hsx-horizontal.svg

@@ -0,0 +1 @@
+<svg xmlns="http://www.w3.org/2000/svg" width="446.72" height="112" viewBox="0 0 446.72 112" color="#2d4bf2" fill="#171717" role="img" aria-label="Hyperscale HSX horizontal lockup"><g transform="translate(24 24) scale(2)" fill="none" stroke="#2d4bf2" stroke-width="0.8200000000000001" stroke-linecap="round" stroke-linejoin="round"><path d="M16 3.5L28.5 9.75V22.25L16 28.5L3.5 22.25V9.75Z"/><path d="M3.5 9.75L16 16L28.5 9.75"/><path d="M16 16V28.5"/><path d="M16 5L24 9V17L16 21L8 17V9Z"/><path d="M8 9L16 13L24 9"/><path d="M16 13V21"/><path d="M16 7L20 9V13L16 15L12 13V9Z"/><path d="M12 9L16 11L20 9"/><path d="M16 11V15"/></g><g transform="translate(104 68)"><path transform="translate(0 0) scale(0.032 -0.032)" d="M91 0V707H148V372H578V707H635V0H578V321H148V0Z"/><path transform="translate(24.992 0) scale(0.032 -0.032)" d="M269 0V266L18 707H86L298 324L510 707H575L326 267V0Z"/><path transform="translate(45.728 0) scale(0.032 -0.032)" d="M91 0V707H329Q406 707 460.5 682.5Q515 658 544.0 607.0Q573 556 573 477Q573 399 538.5 347.5Q504 296 444.5 270.0Q385 244 310 244H148V0ZM148 295H307Q400 295 457.0 339.5Q514 384 514 481Q514 573 464.0 614.0Q414 655 324 655H148Z"/><path transform="translate(67.52 0) scale(0.032 -0.032)" d="M91 0V707H553V655H148V377H512V325H148V52H553V0Z"/><path transform="translate(88.64 0) scale(0.032 -0.032)" d="M91 0V707H351Q407 707 452.5 695.5Q498 684 530.5 659.0Q563 634 580.5 592.5Q598 551 598 492Q598 437 578.0 396.0Q558 355 520.0 328.0Q482 301 430 289L584 0H521L371 279H148V0ZM148 330H323Q365 330 404.0 336.5Q443 343 473.5 361.0Q504 379 521.5 411.5Q539 444 539 495Q540 557 514.5 592.0Q489 627 444.5 641.0Q400 655 341 655H148Z"/><path transform="translate(111.36 0) scale(0.032 -0.032)" d="M337 -8Q276 -8 219.5 8.0Q163 24 121.0 61.5Q79 99 61 161H123Q142 117 176.0 91.0Q210 65 252.5 53.5Q295 42 337 42Q384 42 427.0 56.5Q470 71 497.0 101.0Q524 131 524 180Q524 219 508.5 243.0Q493 267 466.5 281.5Q440 296 405 306Q379 314 352.0 320.5Q325 327 299.5 334.0Q274 341 251 349Q220 358 189.5 371.0Q159 384 135.5 404.0Q112 424 97.5 453.0Q83 482 83 524Q83 567 96.0 599.0Q109 631 133.0 653.0Q157 675 188.0 688.5Q219 702 254.5 708.5Q290 715 327 715Q384 715 433.5 699.0Q483 683 518.0 647.0Q553 611 562 550H504Q494 593 466.5 618.0Q439 643 402.0 654.0Q365 665 326 665Q295 665 263.0 658.5Q231 652 204.0 637.0Q177 622 160.0 596.5Q143 571 143 532Q143 493 159.5 468.0Q176 443 202.5 428.0Q229 413 262 402Q306 388 353.0 377.5Q400 367 442 353Q472 344 498.0 329.5Q524 315 543.0 295.0Q562 275 573.0 249.5Q584 224 584 192Q584 137 563.5 99.0Q543 61 508.0 37.0Q473 13 429.0 2.5Q385 -8 337 -8Z"/><path transform="translate(133.792 0) scale(0.032 -0.032)" d="M375 -8Q265 -8 193.5 39.0Q122 86 87.0 167.5Q52 249 52 353Q52 456 87.5 537.5Q123 619 195.5 667.0Q268 715 378 715Q442 715 495.5 696.0Q549 677 586.5 640.0Q624 603 642 546H583Q559 605 504.5 635.0Q450 665 379 665Q286 665 226.5 622.0Q167 579 138.5 509.0Q110 439 110 355Q110 271 138.0 199.5Q166 128 225.5 85.0Q285 42 377 42Q423 42 466.0 55.0Q509 68 542.0 95.0Q575 122 590 161H655Q635 106 593.5 68.0Q552 30 496.0 11.0Q440 -8 375 -8Z"/><path transform="translate(157.984 0) scale(0.032 -0.032)" d="M14 0 287 707H360L635 0H571L509 159H138L77 0ZM157 210H490L324 648Z"/><path transform="translate(180.512 0) scale(0.032 -0.032)" d="M91 0V707H148V52H553V0Z"/><path transform="translate(200.512 0) scale(0.032 -0.032)" d="M91 0V707H553V655H148V377H512V325H148V52H553V0Z"/><path transform="translate(222.432 -7.68) scale(0.024 -0.024)" d="M318 445V707H414L466 592L518 707H613V445H550V643L484 499H447L381 643V445ZM144 445V648H59V707H294V648H208V445Z"/><g transform="translate(254.56 0)"><path transform="translate(0 0) scale(0.032 -0.032)" d="M83 0V707H189V396H543V707H649V0H543V299H189V0Z"/><path transform="translate(23.424 0) scale(0.032 -0.032)" d="M342 -8Q273 -8 212.0 12.0Q151 32 109.0 77.0Q67 122 53 196H162Q175 154 204.0 130.5Q233 107 271.5 98.0Q310 89 349 89Q386 89 418.5 99.0Q451 109 472.0 132.0Q493 155 493 192Q493 220 482.0 238.0Q471 256 451.5 267.5Q432 279 405 286Q374 296 338.5 303.0Q303 310 268.5 319.0Q234 328 204 342Q179 352 155.5 366.5Q132 381 115.0 401.5Q98 422 87.5 450.0Q77 478 77 514Q77 562 92.5 596.0Q108 630 133.5 653.0Q159 676 192.5 689.5Q226 703 263.0 709.0Q300 715 335 715Q399 715 453.0 695.0Q507 675 542.5 631.5Q578 588 581 517H478Q474 555 452.5 577.5Q431 600 399.0 609.5Q367 619 331 619Q305 619 279.0 614.5Q253 610 231.5 598.5Q210 587 197.5 568.0Q185 549 185 521Q185 497 195.0 478.5Q205 460 223.5 447.5Q242 435 265 426Q307 410 357.0 401.5Q407 393 451 378Q483 368 511.0 353.5Q539 339 559.0 318.5Q579 298 590.0 270.5Q601 243 601 207Q601 148 580.0 106.5Q559 65 523.0 40.0Q487 15 440.0 3.5Q393 -8 342 -8Z"/><path transform="translate(44.384 0) scale(0.032 -0.032)" d="M11 0 243 353 18 707H147L310 437L473 707H599L375 356L607 0H479L308 271L134 0Z"/></g></g></svg>

package/docs/assets/brand/hsx-stacked-white.svg

@@ -0,0 +1 @@
+<svg xmlns="http://www.w3.org/2000/svg" width="226.92" height="184" viewBox="0 0 226.92 184" color="#ffffff" fill="#ffffff" role="img" aria-label="Hyperscale HSX stacked lockup"><g transform="translate(81.46 24) scale(2)" fill="none" stroke="#ffffff" stroke-width="0.8200000000000001" stroke-linecap="round" stroke-linejoin="round"><path d="M16 3.5L28.5 9.75V22.25L16 28.5L3.5 22.25V9.75Z"/><path d="M3.5 9.75L16 16L28.5 9.75"/><path d="M16 16V28.5"/><path d="M16 5L24 9V17L16 21L8 17V9Z"/><path d="M8 9L16 13L24 9"/><path d="M16 13V21"/><path d="M16 7L20 9V13L16 15L12 13V9Z"/><path d="M12 9L16 11L20 9"/><path d="M16 11V15"/></g><g transform="translate(24 128)"><path transform="translate(0 0) scale(0.024 -0.024)" d="M91 0V707H148V372H578V707H635V0H578V321H148V0Z"/><path transform="translate(18.744 0) scale(0.024 -0.024)" d="M269 0V266L18 707H86L298 324L510 707H575L326 267V0Z"/><path transform="translate(34.296 0) scale(0.024 -0.024)" d="M91 0V707H329Q406 707 460.5 682.5Q515 658 544.0 607.0Q573 556 573 477Q573 399 538.5 347.5Q504 296 444.5 270.0Q385 244 310 244H148V0ZM148 295H307Q400 295 457.0 339.5Q514 384 514 481Q514 573 464.0 614.0Q414 655 324 655H148Z"/><path transform="translate(50.64 0) scale(0.024 -0.024)" d="M91 0V707H553V655H148V377H512V325H148V52H553V0Z"/><path transform="translate(66.48 0) scale(0.024 -0.024)" d="M91 0V707H351Q407 707 452.5 695.5Q498 684 530.5 659.0Q563 634 580.5 592.5Q598 551 598 492Q598 437 578.0 396.0Q558 355 520.0 328.0Q482 301 430 289L584 0H521L371 279H148V0ZM148 330H323Q365 330 404.0 336.5Q443 343 473.5 361.0Q504 379 521.5 411.5Q539 444 539 495Q540 557 514.5 592.0Q489 627 444.5 641.0Q400 655 341 655H148Z"/><path transform="translate(83.52 0) scale(0.024 -0.024)" d="M337 -8Q276 -8 219.5 8.0Q163 24 121.0 61.5Q79 99 61 161H123Q142 117 176.0 91.0Q210 65 252.5 53.5Q295 42 337 42Q384 42 427.0 56.5Q470 71 497.0 101.0Q524 131 524 180Q524 219 508.5 243.0Q493 267 466.5 281.5Q440 296 405 306Q379 314 352.0 320.5Q325 327 299.5 334.0Q274 341 251 349Q220 358 189.5 371.0Q159 384 135.5 404.0Q112 424 97.5 453.0Q83 482 83 524Q83 567 96.0 599.0Q109 631 133.0 653.0Q157 675 188.0 688.5Q219 702 254.5 708.5Q290 715 327 715Q384 715 433.5 699.0Q483 683 518.0 647.0Q553 611 562 550H504Q494 593 466.5 618.0Q439 643 402.0 654.0Q365 665 326 665Q295 665 263.0 658.5Q231 652 204.0 637.0Q177 622 160.0 596.5Q143 571 143 532Q143 493 159.5 468.0Q176 443 202.5 428.0Q229 413 262 402Q306 388 353.0 377.5Q400 367 442 353Q472 344 498.0 329.5Q524 315 543.0 295.0Q562 275 573.0 249.5Q584 224 584 192Q584 137 563.5 99.0Q543 61 508.0 37.0Q473 13 429.0 2.5Q385 -8 337 -8Z"/><path transform="translate(100.344 0) scale(0.024 -0.024)" d="M375 -8Q265 -8 193.5 39.0Q122 86 87.0 167.5Q52 249 52 353Q52 456 87.5 537.5Q123 619 195.5 667.0Q268 715 378 715Q442 715 495.5 696.0Q549 677 586.5 640.0Q624 603 642 546H583Q559 605 504.5 635.0Q450 665 379 665Q286 665 226.5 622.0Q167 579 138.5 509.0Q110 439 110 355Q110 271 138.0 199.5Q166 128 225.5 85.0Q285 42 377 42Q423 42 466.0 55.0Q509 68 542.0 95.0Q575 122 590 161H655Q635 106 593.5 68.0Q552 30 496.0 11.0Q440 -8 375 -8Z"/><path transform="translate(118.488 0) scale(0.024 -0.024)" d="M14 0 287 707H360L635 0H571L509 159H138L77 0ZM157 210H490L324 648Z"/><path transform="translate(135.384 0) scale(0.024 -0.024)" d="M91 0V707H148V52H553V0Z"/><path transform="translate(150.384 0) scale(0.024 -0.024)" d="M91 0V707H553V655H148V377H512V325H148V52H553V0Z"/><path transform="translate(166.824 -5.76) scale(0.018 -0.018)" d="M318 445V707H414L466 592L518 707H613V445H550V643L484 499H447L381 643V445ZM144 445V648H59V707H294V648H208V445Z"/></g><g transform="translate(89.4 160)"><path transform="translate(0 0) scale(0.024 -0.024)" d="M83 0V707H189V396H543V707H649V0H543V299H189V0Z"/><path transform="translate(17.568 0) scale(0.024 -0.024)" d="M342 -8Q273 -8 212.0 12.0Q151 32 109.0 77.0Q67 122 53 196H162Q175 154 204.0 130.5Q233 107 271.5 98.0Q310 89 349 89Q386 89 418.5 99.0Q451 109 472.0 132.0Q493 155 493 192Q493 220 482.0 238.0Q471 256 451.5 267.5Q432 279 405 286Q374 296 338.5 303.0Q303 310 268.5 319.0Q234 328 204 342Q179 352 155.5 366.5Q132 381 115.0 401.5Q98 422 87.5 450.0Q77 478 77 514Q77 562 92.5 596.0Q108 630 133.5 653.0Q159 676 192.5 689.5Q226 703 263.0 709.0Q300 715 335 715Q399 715 453.0 695.0Q507 675 542.5 631.5Q578 588 581 517H478Q474 555 452.5 577.5Q431 600 399.0 609.5Q367 619 331 619Q305 619 279.0 614.5Q253 610 231.5 598.5Q210 587 197.5 568.0Q185 549 185 521Q185 497 195.0 478.5Q205 460 223.5 447.5Q242 435 265 426Q307 410 357.0 401.5Q407 393 451 378Q483 368 511.0 353.5Q539 339 559.0 318.5Q579 298 590.0 270.5Q601 243 601 207Q601 148 580.0 106.5Q559 65 523.0 40.0Q487 15 440.0 3.5Q393 -8 342 -8Z"/><path transform="translate(33.288 0) scale(0.024 -0.024)" d="M11 0 243 353 18 707H147L310 437L473 707H599L375 356L607 0H479L308 271L134 0Z"/></g></svg>