@hyperscale0/hsx 1.0.0-beta.1 → 1.0.0

package/CHANGELOG.md

@@ -11,6 +11,53 @@ listed here.
 
 ## [Unreleased]
 
+- Added `hsx lsp` over stdio with diagnostics and formatting, and a VS Code language client.
+- Added a static browser playground under `playground/` with debounced compilation, diagnostics inspection, span navigation, canonical UDL and cost manifest inspection, and inlined examples.
+- Bundled standard library sources as data in `src/std-bundle.ts` and decoupled compiler module resolution from Node filesystem imports.
+
+### Changed
+
+- Moved LSP server exports (`startLspServer`, `createHostForUri`, and LSP types) from the package root to `@hyperscale0/hsx/lsp`.
+
+### Removed
+
+- Deleted the Business Frame artifact (`frame`) from the compiler output and CLI build command.
+
+## [1.0.0] - 2026-09-04
+
+This release is byte-identical to 1.0.0-rc.1. Later changes bump under the contract-diff tiers.
+
+## [1.0.0-rc.1] - 2026-09-02
+
+### Added
+
+- Added the repository guide, generated compiler reference, `llms.txt`, and
+  `llms-full.txt`. Tests compile every guide program and compare generated
+  files byte for byte.
+- Added one compiled example and pinned canonical UDL file for every standard
+  library module.
+- Added the public HSX agent skill and moved language examples into it.
+- Added `hsx explain` for the stable diagnostics catalog.
+- Added a generated VS Code grammar, standard-library snippets, and a CI-built
+  `hsx.vsix` artifact.
+
+### Changed
+
+- `hsx cost` now prints a versioned effect table by default. `--json` prints the
+  complete manifest, and `--out <file.json>` writes that JSON. Basis-point rows
+  label their total as amount-dependent because the compiler has no priced
+  runtime amount. No cost flags were removed.
+- The npm package now includes `docs/` and `skills/`. It no longer lists the
+  deleted `spec/` directory.
+- The package exports its shipped standard-library files through `./std/*`.
+
+### Fixed
+
+- Diagnostics raised from an imported module now name that module and its own
+  source coordinates.
+- `premium_forward` now reports `HSX1011` when endorsement selects a path that
+  needs `renewal_due`. It no longer reaches an internal lowering refusal.
+
 ## [1.0.0-beta.1] - 2026-08-29
 
 - This is the first beta and has no package behavior changes from
@@ -21,7 +68,7 @@ listed here.
 ### Fixed
 
 - Alpha.6 carries a `held_payment` or `premium_forward` release port's actor
-  allowlist and declared input fields into the generated release verb. Alpha.5
+  allowlist and declared input fields into the generated release action. Alpha.5
   kept those constraints in the checked program and Business Frame but dropped
   them from HSX-JSON IR, so a runtime consuming the IR could admit the release
   without the declared actor or evidence. Recompile affected programs with
@@ -31,7 +78,7 @@ listed here.
 
 ### Added
 
-- Six settlement archetypes now compile and lower. `funding_round` caps locked
+- Six settlement archetypes now compile and lower. `threshold_pool` caps locked
   commitments and contributor count, then collects or refunds each commitment
   whole. `weighted_distribution` freezes evidence-backed weights and pays by
   deterministic largest remainder. `credit_facility` owns draw capacity while
@@ -75,7 +122,7 @@ listed here.
 ### Changed
 
 - `scheduled` accepts `mode: obligation` for installment obligations. It emits
-  one payment noun per anchor, binds each payment to its obligation and anchor,
+  one payment instrument per anchor, binds each payment to its obligation and anchor,
   allows partial and early payments, and refunds one stored paid row whole.
   Obligation mode accepts 2 through 7 anchors and refuses rescheduling. Use the
   original transfer schedule without `mode`, or declare the debtor and every
@@ -83,13 +130,13 @@ listed here.
 - The program money-event budget is 20 instead of 14, and every settlement has
   its own event cap. Advance carves now validate their amount field, currency,
   recourse, and fee rules. Settlement references resolve through
-  archetype-declared exits, and lowering binds referenced noun identity,
+  archetype-declared exits, and lowering binds referenced instrument identity,
   statuses, amounts, and currency before movement. Recompile programs that
   previously sat near the budget or used an advance carve. The stricter checker
   may refuse a carve or reference that alpha.4 accepted.
-- HSX-JSON IR version 1 grew new noun fields for generated-child prefixes,
+- HSX-JSON IR version 1 grew new instrument fields for generated-child prefixes,
   aggregate invariants, derived amounts, typed references, beneficiary IDs,
-  currency, text, counts, and constants. Verbs gained public intents, reference
+  currency, text, counts, and constants. Actions gained public actions, reference
   bindings, captured input, payout instructions, signed sums, deterministic
   distribution, aggregate and exposure checks, and durable-settlement gates.
   Money events gained fixed, remaining-balance, and runtime-bounded amount
@@ -143,7 +190,7 @@ listed here.
   The depth budget counts nested expressions and blocks, which is not the same
   number as source levels: `key { … }` spends one per level and `key: { … }`
   spends two, so the budget buys 63 levels of the first and 31 of the second.
-  `docs/reference.md` carries the conversion for every shape. Both refusals are
+  The release reference carried the conversion for every shape. Both refusals are
   ordinary parse diagnostics, not exceptions.
 
 ## [1.0.0-alpha.2] - 2026-08-23
@@ -183,7 +230,7 @@ This is the first version published as a package anyone can install.
 - `spec/hsx-ir.schema.json`, JSON Schema 2020-12 for the HSX-JSON IR document
   and the Business Frame. Every `.hsx` file in the repository is validated
   against it in CI.
-- `docs/reference.md`: the lexical grammar, the EBNF the parser accepts, what
+- The release reference: the lexical grammar, the EBNF the parser accepts, what
   each stage does, the diagnostic model, and all nine `settlement` archetypes
   with their parameters and constraints.
 - `examples/`, four teaching programs compiled by the test suite.
@@ -200,7 +247,9 @@ This is the first version published as a package anyone can install.
   program that needs more is refused with a diagnostic saying so.
 - **`party` takes no attribute block yet**, though the grammar parses one.
 
-[Unreleased]: https://github.com/hyperscale0/hyperscale-hsx/compare/v1.0.0-beta.1...HEAD
+[Unreleased]: https://github.com/hyperscale0/hyperscale-hsx/compare/v1.0.0...HEAD
+[1.0.0]: https://github.com/hyperscale0/hyperscale-hsx/compare/v1.0.0-rc.1...v1.0.0
+[1.0.0-rc.1]: https://github.com/hyperscale0/hyperscale-hsx/compare/v1.0.0-beta.1...v1.0.0-rc.1
 [1.0.0-beta.1]: https://github.com/hyperscale0/hyperscale-hsx/compare/v1.0.0-alpha.6...v1.0.0-beta.1
 [1.0.0-alpha.6]: https://github.com/hyperscale0/hyperscale-hsx/compare/v1.0.0-alpha.5...v1.0.0-alpha.6
 [1.0.0-alpha.5]: https://github.com/hyperscale0/hyperscale-hsx/compare/v1.0.0-alpha.4...v1.0.0-alpha.5

package/LICENSING.md

@@ -39,9 +39,9 @@ says nothing about trademarks in either direction, so
 
 ## The language is not the compiler
 
-HSX the language and the HSX-JSON IR are separate from this compiler. The IR
-schema in [`spec/`](./spec) and the fixtures under [`examples/`](./examples)
-are data describing a language, and anyone may write their own compiler,
+HSX the language and its output contract are separate from this compiler. The
+canonical UDL schema published by the UDL repository and the fixtures under
+[`examples/`](./examples) are data describing a language, and anyone may write their own compiler,
 formatter, or runtime against them, in any language, under any license, without
 touching this code.
 

package/README.md

@@ -1,170 +1,60 @@
 # HSX
 
-HSX is the authoring language for a composed financial company. You declare
-the parties, assets, and settlement bricks that define how value moves. The
-compiler emits HSX-JSON IR plus a congruent Business Frame. Hyperscale's
-composer checks that output, expands it into UDL, plans the change, and freezes
-the admitted contract into a Product build.
-
-Seventeen lines of HSX ([`car-escrow.hsx`](./test/fixtures/car-escrow.hsx)) are
-a used-car escrow: the buyer's money is held, the buyer's own backend confirms
-the handover, the platform takes asymmetric fees, and a cancellation splits the
-held amount to the basis point. There is no account provisioning in it, no
-lifecycle table, no transfer plumbing. That is the point: those are consequences
-of the settlement you named, so the compiler derives them instead of asking you
-to hand-write them and get them right.
-
-The line here is the one HCL draws with Terraform. **The language is open.**
-The lexer, the parser, the typechecker, the lowering, the diagnostics, the IR
-schema, and this compiler are AGPL-3.0-only and are in this repository. **The
-composer and runtime are the product**, and they are not open. HSX targets the
-composer the way HCL targets a provider: you can read every compiler rule,
-compile any program, and inspect the exact document and Business Frame the
-composer receives. This package never executes an operation or moves money.
-
-## Install
-
-```bash
-npm install @hyperscale0/hsx
-```
-
-Every release before 1.0.0 is an alpha, and `latest` follows the newest one, so
-a bare install gets it. Pin an exact version if you need one: until 1.0.0 a
-change to the surface ships as a minor bump, not a major.
-
-## A program
-
-[`photo-booth.hsx`](./examples/02-imports-and-archetypes/photo-booth.hsx), a
-booth rental company, whole apart from its comments:
+HSX is the typed language for money on the Hyperscale operating system. It
+defines general instruments, composes a standard library, checks
+currency-indexed linear money, and calculates cost at compile time.
+HSX compiles each accepted program to canonical UDL.
 
 ```hsx
-program photo_booth "Photo booth rentals"
-
-import { held_payment } from "settlement"
-
-party renter:  person
-party company: business
-
-asset booth: good { title_transfer: off_platform }
-
-settlement booking = held_payment {
-  payer:   renter
-  payee:   company
-  amount:  bookingFee: money(SAR)
-  fees { renter: 1%, company: 3% }
-  release: port confirm_delivery
-  on_cancel(funded) { renter: 90%, company: 10% }
+program held_sale "Held sale"
+import { held_payment } from "std/settlements"
+party buyer: person
+party seller: business
+settlement sale = held_payment {
+  payer: buyer
+  payee: seller
+  amount: price: money(SAR)
+  release: port accept_delivery
 }
 
-port confirm_delivery {
-  allowed: [company]
-  shape {
-    boothId:     id(booth)
-    deliveredOn: date
-  }
-}
+port accept_delivery { allowed: [buyer] }
 ```
 
-```ts
-import { compile } from "@hyperscale0/hsx";
-
-const result = compile(await Bun.file("photo-booth.hsx").text());
-
-result.verdict; // "valid" | "warning" | "invalid"
-result.diagnostics; // [{ line, column, severity, stage, message }]
-result.artifacts; // present unless the verdict is "invalid"
+```sh
+npm install @hyperscale0/hsx @hyperscale0/udl
+npx hsx check product.hsx
 ```
 
-`result.artifacts.document` is the HSX-JSON IR. Those 20 lines compile to one
-escrow noun, `booking`, carrying:
-
-- **five money fields**: `bookingFee`, the three pieces it partitions into
-  (90%, 7%, 3%: the finest split that every exit agrees on, since release pays
-  97/3 to company and platform while cancellation pays 90/10 to renter and
-  company), and `serviceFeeAmount` for the renter's 1% charged on top;
-- **a `partitions` clause** proving those pieces sum to `bookingFee` exactly,
-  checked at create admission before any money moves;
-- **fifteen verbs**: the funding chain, the fee collection, the port itself,
-  the release payout, the cancellation unwind, and the abandonment refunds,
-  each with its `from` states, its `to` state, and its ledger moves.
-
-`result.artifacts.frame` is the congruent Business Frame: the same product as
-actors, money events, rules, and fees, for the surfaces people read rather
-than the runtime that executes.
-
-Both shapes are specified in
-[`spec/hsx-ir.schema.json`](./spec/hsx-ir.schema.json) (JSON Schema 2020-12),
-and every file under `examples/` and `test/fixtures/` is validated against it
-in CI.
-
-## The command
-
-```bash
-hsx check photo-booth.hsx              # diagnostics, nothing else
-hsx check photo-booth.hsx --strict     # warnings fail too
-hsx build photo-booth.hsx              # artifacts to stdout
-hsx build photo-booth.hsx --out ir.json
-```
-
-Exit codes: `0` the program compiled, `1` it was refused, `2` the command line
-or the input file could not be used. A refused program and a mistyped command
-are different failures, so they get different codes.
-
-There is no `hsx fmt`. This package ships no formatter, and shipping a bad one
-is worse than shipping none.
+After installing dependencies in a repository checkout, run `bun run bin/hsx.ts check product.hsx`.
 
-## Learn it
-
-- [`examples/`](./examples/) has four programs, in order: the smallest one that
-  moves money, settlement bricks and ports, a walk through the diagnostics,
-  and a complete small product. Each has its own README, and each is compiled
-  by the test suite so they cannot rot.
-- [`docs/reference.md`](./docs/reference.md) is the language reference: lexical
-  grammar, EBNF, what each stage does, the diagnostic model, and every
-  brick in the `settlement` standard library with its parameters and
-  constraints.
-- [`editors/vscode/`](./editors/vscode/) carries the syntax highlighting.
-
-## Versioning
+```ts
+import { compile } from "@hyperscale0/hsx";
+const result = compile(source, { costTable });
+const { document, originMap, costManifest } = result.artifacts!;
+```
 
-Two numbers move independently.
+The compiler returns three artifacts named `document`, `originMap`, and `costManifest`.
 
-**IR version** is the literal `"hsx": 1` stamped into every compiled document.
-A consumer reads that one integer off the document to decide whether it
-understands it. It moves only when the emitted IR shape changes in a way a
-consumer must notice.
+`document` is the canonical UDL value.
 
-**Package version** is this package's semver, in `package.json`. It moves
-whenever the compiler changes, including changes that only affect a
-diagnostic's wording.
+The built-in module resolver reads every settlement module in `std/settlements`.
 
-IR version 1 is unstable until the package reaches 1.0.0. Until then an alpha
-release may change what the compiler emits, and every such change is listed in
-[`CHANGELOG.md`](./CHANGELOG.md). After 1.0.0, an incompatible IR change bumps
-the literal to `2`.
+The CLI exits 0 for an accepted program, 1 for a refused program, and 2 when it cannot use the command line or input file.
 
-## Status
+Every compiler diagnostic code appears in the generated diagnostics catalog.
 
-Alpha. Seventeen settlement bricks ship and all seventeen lower. Hyperscale's
-composer and founder CLI use this compiler today. The package remains pre-1.0,
-so diagnostic wording and brick parameters can still change on a minor
-release. There are no stable diagnostic codes yet.
+Start with the [first program](./docs/guide/01-first-program.md), then read the
+[guide in order](./docs/README.md). The generated [grammar](./docs/reference/grammar.md),
+[standard library pages](./docs/reference/std/), and
+[diagnostics catalog](./docs/reference/diagnostics.md) track the compiler.
 
-## Contributing
+HSX is like Terraform for a financial product: the program declares the
+contract, and the compiler refuses an invalid plan before a runtime reads it.
 
-Issues only. Hyperscale makes the changes to the language and the compiler; you
-propose them in an issue carrying the program you were trying to write and the
-fixture the change would add. [`CONTRIBUTING.md`](./CONTRIBUTING.md) has that
-model in full, plus the setup, the test commands, and the one hard rule: a
-grammar change without a fixture is not a grammar change. Conduct:
-[`CODE_OF_CONDUCT.md`](./CODE_OF_CONDUCT.md). Vulnerabilities:
-[`SECURITY.md`](./SECURITY.md).
+The VS Code extension is built as `hsx.vsix` in CI. Download the workflow
+artifact, then run `code --install-extension hsx.vsix`.
 
-## License
+The editor extension runs `hsx lsp` over stdio to surface diagnostics and format documents. Configure `hsx.serverPath` or install the compiler binary globally with `npm i -g @hyperscale0/hsx`.
 
-AGPL-3.0-only, with a commercial license available from Hyperscale LLC for
-organisations that cannot accept the AGPL. See [`LICENSE`](./LICENSE) for the
-text and [`LICENSING.md`](./LICENSING.md) for which one you want and how to ask
-for the commercial one. The marks are not covered by either; see
-[`TRADEMARKS.md`](./TRADEMARKS.md), which also carries the rule for claiming
-HSX compatibility.
+HSX is licensed under AGPL-3.0-only. See [LICENSE](./LICENSE) and
+[LICENSING.md](./LICENSING.md).

package/TRADEMARKS.md

@@ -9,7 +9,7 @@ has to guess where it sits.
 
 What that means in practice:
 
-- **Yes.** Say your project uses HSX, compiles HSX, or reads the HSX-JSON IR.
+- **Yes.** Say your project uses HSX, compiles HSX, or reads its internal lowering record.
   Say it in your README, your docs, your talk, and your package description.
   Fork this repository and keep the notices intact.
 - **Yes.** Publish an HSX implementation or tool in another language, and name
@@ -23,9 +23,9 @@ What that means in practice:
 ## Claiming compatibility
 
 An independent implementation may say it "implements HSX IR version X" only
-while it emits IR that validates against the published schema for that version,
-from the published example programs, unmodified. The schema in
-[`spec/`](./spec) and the programs in [`examples/`](./examples) are the whole
+while it emits canonical UDL that validates against the UDL schema published
+for that version, from the published example programs, unmodified. The UDL
+schema and the programs in [`examples/`](./examples) are the whole
 test: no edited fixture, no local relaxation of the schema.
 
 That claim is a statement about your implementation, so keep the marks out of

package/bin/hsx.ts

@@ -11,5 +11,7 @@ process.exitCode = await runCli(process.argv.slice(2), {
   err: (line) => process.stderr.write(`${line}\n`),
   out: (line) => process.stdout.write(`${line}\n`),
   readFile: (path) => readFile(path, "utf8"),
+  stdin: process.stdin,
+  stdout: process.stdout,
   writeFile: (path, contents) => writeFile(path, contents, "utf8"),
 });

package/dist/bin/hsx.js

@@ -9,6 +9,8 @@ process.exitCode = await runCli(process.argv.slice(2), {
     err: (line) => process.stderr.write(`${line}\n`),
     out: (line) => process.stdout.write(`${line}\n`),
     readFile: (path) => readFile(path, "utf8"),
+    stdin: process.stdin,
+    stdout: process.stdout,
     writeFile: (path, contents) => writeFile(path, contents, "utf8"),
 });
 //# sourceMappingURL=hsx.js.map

package/dist/bin/hsx.js.map

@@ -1 +1 @@
-{"version":3,"file":"hsx.js","sourceRoot":"","sources":["../../bin/hsx.ts"],"names":[],"mappings":";AACA;;;GAGG;AAEH,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AACvD,OAAO,EAAE,MAAM,EAAE,MAAM,eAAe,CAAC;AAEvC,OAAO,CAAC,QAAQ,GAAG,MAAM,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE;IACrD,GAAG,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,IAAI,IAAI,CAAC;IAChD,GAAG,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,IAAI,IAAI,CAAC;IAChD,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAC1C,SAAS,EAAE,CAAC,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC;CACjE,CAAC,CAAC"}
+{"version":3,"file":"hsx.js","sourceRoot":"","sources":["../../bin/hsx.ts"],"names":[],"mappings":";AACA;;;GAGG;AAEH,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AACvD,OAAO,EAAE,MAAM,EAAE,MAAM,eAAe,CAAC;AAEvC,OAAO,CAAC,QAAQ,GAAG,MAAM,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE;IACrD,GAAG,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,IAAI,IAAI,CAAC;IAChD,GAAG,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,IAAI,IAAI,CAAC;IAChD,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAC1C,KAAK,EAAE,OAAO,CAAC,KAAK;IACpB,MAAM,EAAE,OAAO,CAAC,MAAM;IACtB,SAAS,EAAE,CAAC,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC;CACjE,CAAC,CAAC"}

package/dist/src/ast.d.ts

@@ -20,6 +20,12 @@ export interface LineCol {
 }
 /** Convert a byte offset to a 1-indexed line/column position. */
 export declare function lineColAt(source: string, offset: number): LineCol;
+/**
+ * Convert a UTF-8 byte offset to a UTF-16 code-unit offset over a string.
+ * Walks Unicode code points, counting UTF-8 bytes and UTF-16 code units.
+ * Clamps to [0, source.length].
+ */
+export declare function byteOffsetToCodeUnit(source: string, byteOffset: number): number;
 /**
  * One source scanned once, so many offsets resolve without rescanning it.
  * `lineColAt` walks from offset zero every time, which turns a run of d
@@ -42,6 +48,8 @@ export declare function lineColIn(index: LineIndex, offset: number): LineCol;
 export interface IdentExpr {
     readonly kind: "ident";
     readonly name: string;
+    /** A literal quoted block key keeps its exact spelling during JSON lowering. */
+    readonly quoted?: boolean;
     readonly span: Span;
 }
 export interface StringExpr {
@@ -49,12 +57,45 @@ export interface StringExpr {
     readonly span: Span;
     readonly value: string;
 }
-interface NumberExpr {
+export interface NumberExpr {
     readonly kind: "number";
     /** The literal exactly as written, e.g. "99.5". Interpretation is typed later. */
     readonly raw: string;
     readonly span: Span;
 }
+export interface BooleanExpr {
+    readonly kind: "boolean";
+    readonly span: Span;
+    readonly value: boolean;
+}
+/** A currency-indexed literal. The checker converts it to integer minor units. */
+export interface MoneyExpr {
+    readonly currency: IdentExpr;
+    readonly kind: "money";
+    readonly raw: string;
+    readonly span: Span;
+}
+/** A dotted name used for modules, UDL operations, and field paths. */
+export interface PathExpr {
+    readonly kind: "path";
+    readonly parts: readonly IdentExpr[];
+    readonly span: Span;
+}
+/** A nominal type application such as `money<SAR>` or `ref<invoice>`. */
+export interface TypeApplyExpr {
+    readonly args: readonly Expr[];
+    readonly callee: IdentExpr;
+    readonly kind: "type_apply";
+    readonly span: Span;
+}
+/** A general instrument or constant application, with optional type arguments. */
+export interface ApplyExpr {
+    readonly args: readonly Expr[];
+    readonly callee: PathExpr;
+    readonly kind: "apply";
+    readonly span: Span;
+    readonly typeArgs: readonly Expr[];
+}
 export interface PercentExpr {
     /** Exact basis points: 99.5% is 9950. Percents never round. */
     readonly bps: number;
@@ -69,6 +110,15 @@ export interface CallExpr {
     readonly kind: "call";
     readonly span: Span;
 }
+/**
+ * An exit amount chosen by a decision port and bounded by stored money:
+ * `decided { field: damageAmount, bound: depositAmount, remainder: return }`.
+ */
+export interface DecidedAmountExpr {
+    readonly body: BlockExpr;
+    readonly kind: "decided_amount";
+    readonly span: Span;
+}
 /**
  * A reference to a decision port, optionally bounded (`port dispute within
  * P14D`) or carrying the date that decides when the port has not
@@ -110,19 +160,24 @@ export interface BlockExpr {
  * `amount: price: money(SAR)` binds the field name `price` to type
  * `money(SAR)`: the entry key is `amount`, the value is this binding.
  */
-interface BindingExpr {
+export interface BindingExpr {
     readonly kind: "binding";
     readonly name: IdentExpr;
     readonly span: Span;
     readonly type: Expr;
 }
-export type Expr = BindingExpr | BlockExpr | CallExpr | IdentExpr | ListExpr | NumberExpr | PercentExpr | PortRefExpr | SettlementRefExpr | StringExpr;
+export type Expr = ApplyExpr | BindingExpr | BlockExpr | BooleanExpr | CallExpr | DecidedAmountExpr | IdentExpr | ListExpr | MoneyExpr | NumberExpr | PathExpr | PercentExpr | PortRefExpr | SettlementRefExpr | StringExpr | TypeApplyExpr;
 /**
  * One keyed entry inside a declaration body. Three surface shapes normalize
  * here: `payer: buyer` (key + value), `fees { ... }` (key + block value),
  * and `on_cancel(funded) { ... }` (key + qualifiers + block value).
  */
 export interface Entry {
+    /** `for item in bound { ... }`, expanded before binding or UDL lowering. */
+    readonly iteration?: {
+        readonly binding: IdentExpr;
+        readonly bound: Expr;
+    };
     readonly key: IdentExpr;
     readonly qualifiers: readonly IdentExpr[];
     readonly span: Span;
@@ -135,7 +190,21 @@ export interface ProgramDecl {
     readonly span: Span;
     readonly title?: StringExpr;
 }
-/** `import { held_payment } from "settlement"`. */
+/** `use held_settlement` selects one published catalog instrument. */
+export interface UseDecl {
+    readonly instrument: IdentExpr;
+    readonly kind: "use";
+    readonly span: Span;
+}
+/** `expose held_settlement.release as releaseFunds` names a public action. */
+export interface ExposeDecl {
+    readonly action: IdentExpr;
+    readonly instrument: IdentExpr;
+    readonly kind: "expose";
+    readonly publicName: IdentExpr;
+    readonly span: Span;
+}
+/** `import { held_payment } from "std/settlements"`. */
 export interface ImportDecl {
     readonly from: StringExpr;
     readonly kind: "import";
@@ -158,11 +227,10 @@ export interface AssetDecl {
     readonly name: IdentExpr;
     readonly span: Span;
 }
-/** `settlement sale = held_payment { ... }`, an archetype instantiation. */
-export interface SettlementDecl {
-    readonly archetype: IdentExpr;
+/** A full UDL subject-kind declaration. `asset` remains shorthand for this form. */
+export interface SubjectDecl {
     readonly body: BlockExpr;
-    readonly kind: "settlement";
+    readonly kind: "subject";
     readonly name: IdentExpr;
     readonly span: Span;
 }
@@ -173,7 +241,63 @@ export interface PortDecl {
     readonly name: IdentExpr;
     readonly span: Span;
 }
-export type Decl = AssetDecl | ImportDecl | PartyDecl | PortDecl | ProgramDecl | SettlementDecl;
+/** `module std.settlements` gives a file its importable module name. */
+export interface ModuleDecl {
+    readonly kind: "module";
+    readonly name: PathExpr;
+    readonly span: Span;
+}
+export interface TypeParameter {
+    readonly name: IdentExpr;
+    readonly span: Span;
+}
+export interface Parameter {
+    readonly name: IdentExpr;
+    readonly span: Span;
+    readonly type: Expr;
+}
+/** The single general instrument definition form. */
+export interface InstrumentDecl {
+    readonly body: BlockExpr;
+    /** Module-local declarations carried only while this template is bound. */
+    readonly declarationScope?: readonly ApplicationScopeDecl[];
+    readonly exported: boolean;
+    /** True when the source declared a parameter list, including an empty `()`. */
+    readonly hasParameterList: boolean;
+    readonly kind: "instrument";
+    readonly name: IdentExpr;
+    readonly parameters: readonly Parameter[];
+    readonly span: Span;
+    readonly typeParameters: readonly TypeParameter[];
+}
+/** Instantiation of an exported parameterized instrument. */
+export interface InstrumentApplyDecl {
+    readonly application: ApplyExpr;
+    /** Module-local declarations carried only while this application is bound. */
+    readonly declarationScope?: readonly ApplicationScopeDecl[];
+    readonly exported: boolean;
+    readonly kind: "instrument_apply";
+    readonly metadata?: BlockExpr;
+    readonly name: IdentExpr;
+    readonly span: Span;
+}
+export interface TypeDecl {
+    readonly exported: boolean;
+    readonly kind: "type";
+    readonly name: IdentExpr;
+    readonly span: Span;
+    readonly value: Expr;
+}
+export interface ConstDecl {
+    readonly exported: boolean;
+    readonly kind: "const";
+    readonly name: IdentExpr;
+    readonly span: Span;
+    readonly type?: Expr;
+    readonly value: Expr;
+}
+export type ApplicationScopeDecl = ConstDecl | InstrumentDecl | PartyDecl | PortDecl | TypeDecl;
+export type Decl = AssetDecl | ConstDecl | ExposeDecl | ImportDecl | InstrumentApplyDecl | InstrumentDecl | ModuleDecl | PartyDecl | PortDecl | ProgramDecl | SubjectDecl | TypeDecl | UseDecl;
 export interface Program {
     readonly decls: readonly Decl[];
     readonly span: Span;
@@ -183,8 +307,9 @@ export interface Program {
  * it never throws, it returns the best-effort tree plus these.
  */
 export interface Diagnostic {
+    readonly code?: string;
+    readonly fix?: string;
     readonly message: string;
     readonly span: Span;
 }
-export {};
 //# sourceMappingURL=ast.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"ast.d.ts","sourceRoot":"","sources":["../../src/ast.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,MAAM,WAAW,IAAI;IACnB,wDAAwD;IACxD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,sDAAsD;IACtD,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,OAAO;IACtB,sBAAsB;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,sDAAsD;IACtD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,iEAAiE;AACjE,wBAAgB,SAAS,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAWjE;AAED;;;;;GAKG;AACH,MAAM,WAAW,SAAS;IACxB,wEAAwE;IACxE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,iFAAiF;IACjF,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;CACpC;AAED,8DAA8D;AAC9D,wBAAgB,SAAS,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAMnD;AAED;;;GAGG;AACH,wBAAgB,SAAS,CAAC,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAUnE;AAID,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED,UAAU,UAAU;IAClB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,kFAAkF;IAClF,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,MAAM,WAAW,WAAW;IAC1B,+DAA+D;IAC/D,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,sEAAsE;AACtE,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,IAAI,EAAE,SAAS,IAAI,EAAE,CAAC;IAC/B,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED;;;;GAIG;AACH,MAAM,WAAW,WAAW;IAC1B,8EAA8E;IAC9E,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,CAAC;CAC7B;AAED;;;GAGG;AACH,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC;IAChC,mDAAmD;IACnD,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC;IAC3B,uCAAuC;IACvC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,KAAK,EAAE,SAAS,IAAI,EAAE,CAAC;IAChC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,6DAA6D;AAC7D,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,OAAO,EAAE,SAAS,KAAK,EAAE,CAAC;IACnC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED;;;;GAIG;AACH,UAAU,WAAW;IACnB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,MAAM,MAAM,IAAI,GACZ,WAAW,GACX,SAAS,GACT,QAAQ,GACR,SAAS,GACT,QAAQ,GACR,UAAU,GACV,WAAW,GACX,WAAW,GACX,iBAAiB,GACjB,UAAU,CAAC;AAIf;;;;GAIG;AACH,MAAM,WAAW,KAAK;IACpB,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,SAAS,SAAS,EAAE,CAAC;IAC1C,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC;CACtB;AAID,6EAA6E;AAC7E,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,KAAK,CAAC,EAAE,UAAU,CAAC;CAC7B;AAED,mDAAmD;AACnD,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,SAAS,SAAS,EAAE,CAAC;IACrC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,8DAA8D;AAC9D,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,8DAA8D;AAC9D,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;IAC9B,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,4EAA4E;AAC5E,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,yDAAyD;AACzD,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,MAAM,MAAM,IAAI,GACZ,SAAS,GACT,UAAU,GACV,SAAS,GACT,QAAQ,GACR,WAAW,GACX,cAAc,CAAC;AAInB,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,KAAK,EAAE,SAAS,IAAI,EAAE,CAAC;IAChC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAID;;;GAGG;AACH,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB"}
+{"version":3,"file":"ast.d.ts","sourceRoot":"","sources":["../../src/ast.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,MAAM,WAAW,IAAI;IACnB,wDAAwD;IACxD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,sDAAsD;IACtD,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,OAAO;IACtB,sBAAsB;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,sDAAsD;IACtD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,iEAAiE;AACjE,wBAAgB,SAAS,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAWjE;AAID;;;;GAIG;AACH,wBAAgB,oBAAoB,CAClC,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,MAAM,GACjB,MAAM,CAkBR;AAED;;;;;GAKG;AACH,MAAM,WAAW,SAAS;IACxB,wEAAwE;IACxE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,iFAAiF;IACjF,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;CACpC;AAED,8DAA8D;AAC9D,wBAAgB,SAAS,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAMnD;AAED;;;GAGG;AACH,wBAAgB,SAAS,CAAC,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAUnE;AAID,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,gFAAgF;IAChF,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,kFAAkF;IAClF,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;CACzB;AAED,kFAAkF;AAClF,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC;IAC7B,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,uEAAuE;AACvE,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,SAAS,SAAS,EAAE,CAAC;IACrC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,yEAAyE;AACzE,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,IAAI,EAAE,SAAS,IAAI,EAAE,CAAC;IAC/B,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,kFAAkF;AAClF,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,IAAI,EAAE,SAAS,IAAI,EAAE,CAAC;IAC/B,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,QAAQ,EAAE,SAAS,IAAI,EAAE,CAAC;CACpC;AAED,MAAM,WAAW,WAAW;IAC1B,+DAA+D;IAC/D,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,sEAAsE;AACtE,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,IAAI,EAAE,SAAS,IAAI,EAAE,CAAC;IAC/B,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED;;;GAGG;AACH,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC;IAChC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED;;;;GAIG;AACH,MAAM,WAAW,WAAW;IAC1B,8EAA8E;IAC9E,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,CAAC;CAC7B;AAED;;;GAGG;AACH,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC;IAChC,mDAAmD;IACnD,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC;IAC3B,uCAAuC;IACvC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,KAAK,EAAE,SAAS,IAAI,EAAE,CAAC;IAChC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,6DAA6D;AAC7D,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,OAAO,EAAE,SAAS,KAAK,EAAE,CAAC;IACnC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED;;;;GAIG;AACH,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,MAAM,MAAM,IAAI,GACZ,SAAS,GACT,WAAW,GACX,SAAS,GACT,WAAW,GACX,QAAQ,GACR,iBAAiB,GACjB,SAAS,GACT,QAAQ,GACR,SAAS,GACT,UAAU,GACV,QAAQ,GACR,WAAW,GACX,WAAW,GACX,iBAAiB,GACjB,UAAU,GACV,aAAa,CAAC;AAIlB;;;;GAIG;AACH,MAAM,WAAW,KAAK;IACpB,4EAA4E;IAC5E,QAAQ,CAAC,SAAS,CAAC,EAAE;QACnB,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC;QAC5B,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC;KACtB,CAAC;IACF,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,SAAS,SAAS,EAAE,CAAC;IAC1C,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC;CACtB;AAID,6EAA6E;AAC7E,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,KAAK,CAAC,EAAE,UAAU,CAAC;CAC7B;AAED,sEAAsE;AACtE,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,UAAU,EAAE,SAAS,CAAC;IAC/B,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IACrB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,8EAA8E;AAC9E,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC;IAC3B,QAAQ,CAAC,UAAU,EAAE,SAAS,CAAC;IAC/B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,SAAS,CAAC;IAC/B,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,wDAAwD;AACxD,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,SAAS,SAAS,EAAE,CAAC;IACrC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,8DAA8D;AAC9D,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,8DAA8D;AAC9D,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;IAC9B,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,oFAAoF;AACpF,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,yDAAyD;AACzD,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,wEAAwE;AACxE,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,qDAAqD;AACrD,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,2EAA2E;IAC3E,QAAQ,CAAC,gBAAgB,CAAC,EAAE,SAAS,oBAAoB,EAAE,CAAC;IAC5D,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,+EAA+E;IAC/E,QAAQ,CAAC,gBAAgB,EAAE,OAAO,CAAC;IACnC,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,SAAS,SAAS,EAAE,CAAC;IAC1C,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,cAAc,EAAE,SAAS,aAAa,EAAE,CAAC;CACnD;AAED,6DAA6D;AAC7D,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,WAAW,EAAE,SAAS,CAAC;IAChC,8EAA8E;IAC9E,QAAQ,CAAC,gBAAgB,CAAC,EAAE,SAAS,oBAAoB,EAAE,CAAC;IAC5D,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAC;IAClC,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC;CACtB;AAED,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC;IACrB,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC;CACtB;AAED,MAAM,MAAM,oBAAoB,GAC5B,SAAS,GACT,cAAc,GACd,SAAS,GACT,QAAQ,GACR,QAAQ,CAAC;AAEb,MAAM,MAAM,IAAI,GACZ,SAAS,GACT,SAAS,GACT,UAAU,GACV,UAAU,GACV,mBAAmB,GACnB,cAAc,GACd,UAAU,GACV,SAAS,GACT,QAAQ,GACR,WAAW,GACX,WAAW,GACX,QAAQ,GACR,OAAO,CAAC;AAIZ,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,KAAK,EAAE,SAAS,IAAI,EAAE,CAAC;IAChC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAID;;;GAGG;AACH,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB"}