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

package/CHANGELOG.md

@@ -11,12 +11,48 @@ listed here.
 
 ## [Unreleased]
 
+## [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
+  1.0.0-alpha.6.
+
 ## [1.0.0-alpha.6] - 2026-08-29
 
 ### 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
@@ -26,7 +62,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
@@ -70,7 +106,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
@@ -78,13 +114,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
@@ -138,7 +174,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
@@ -159,7 +195,7 @@ listed here.
 
 ## [1.0.0-alpha.1] - 2026-08-22
 
-First public release. The compiler is not new, it has been in production use.
+First public release.
 This is the first version published as a package anyone can install.
 
 ### Added
@@ -178,7 +214,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.
@@ -195,7 +231,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-alpha.6...HEAD
+[Unreleased]: https://github.com/hyperscale0/hyperscale-hsx/compare/v1.0.0-rc.1...HEAD
+[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
 [1.0.0-alpha.4]: https://github.com/hyperscale0/hyperscale-hsx/compare/v1.0.0-alpha.3...v1.0.0-alpha.4

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,58 @@
 # HSX
 
-HSX is a language for describing how money moves through a financial product.
-You write the product's parties, the things they trade, and the settlements
-between them; the compiler turns that into an intermediate representation the
-Hyperscale engine executes.
-
-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 live in this repository. **The
-runtime that executes the IR is the product**, and it is not open. HSX targets
-it the way HCL targets a provider: you can read every rule the compiler
-enforces, compile any program, and inspect the exact document that gets
-executed.
-
-## 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.
+After installing dependencies in a repository checkout, run `bun run bin/hsx.ts check product.hsx`.
 
-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
+```ts
+import { compile } from "@hyperscale0/hsx";
+const result = compile(source, { costTable });
+const { document, frame, originMap, costManifest } = result.artifacts!;
 ```
 
-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.
-
-## Learn it
-
-- [`examples/`](./examples/) has four programs, in order: the smallest one that
-  moves money, archetypes 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
-  archetype in the `settlement` standard library with its parameters and
-  constraints.
-- [`editors/vscode/`](./editors/vscode/) carries the syntax highlighting.
-
-## Versioning
-
-Two numbers move independently.
-
-**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.
+The compiler returns four artifacts named `document`, `frame`, `originMap`, and `costManifest`.
 
-**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.
+`document` is the canonical UDL value.
 
-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 built-in module resolver reads every settlement module in `std/settlements`.
 
-## Status
+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.
 
-Alpha. Eleven settlement archetypes ship and all eleven lower. The compiler is in
-production use; the surface is settled enough to build on and the version
-number is honest about the rest. What is most likely to move: diagnostic
-wording (there are no stable diagnostic codes yet), and the archetype
-parameter surfaces as more products land.
+Every compiler diagnostic code appears in the generated diagnostics catalog.
 
-## Contributing
+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.
 
-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).
+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.
 
-## License
+The VS Code extension is built as `hsx.vsix` in CI. Download the workflow
+artifact, then run `code --install-extension hsx.vsix`.
 
-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/dist/src/ast.d.ts

@@ -42,6 +42,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 +51,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 +104,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 +154,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 +184,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 +221,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 +235,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 +301,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;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"}

package/dist/src/cli.d.ts

@@ -1,5 +1,5 @@
 /**
- * The `hsx` command line: two subcommands over the one compiler entry point.
+ * The `hsx` command line over the one compiler entry point and catalog.
  *
  * `check` prints diagnostics and says nothing else; `build` writes the
  * compiled artifacts as JSON. Neither reads the environment, neither touches
@@ -16,5 +16,6 @@ export interface Io {
     readonly readFile: (path: string) => Promise<string>;
     readonly writeFile: (path: string, contents: string) => Promise<void>;
 }
+export declare const USAGE_TEXT = "hsx 1.0.0-rc.1, the HSX compiler\n\nUsage:\n  hsx check <file.hsx> [--strict]\n  hsx build <file.hsx> [--out <file.json>] [--strict]\n  hsx cost <file.hsx> [--json] [--out <file.json>] [--strict]\n  hsx explain <HSX####>\n  hsx format <file.hsx>\n  hsx --version\n  hsx --help\n\nCommands:\n  check   Compile and report diagnostics. Prints nothing when the program is clean.\n  build   Compile and write canonical UDL and its Business Frame as JSON.\n  cost    Compile and print the version-pinned cost manifest as a table or JSON.\n  explain Print one diagnostic title, fix, and source example.\n  format  Print the source in the one canonical HSX style.\n\nOptions:\n  --json        Print the cost manifest as JSON instead of a table.\n  --out <file>  Write build or cost JSON to this path instead of stdout.\n  --strict      Treat warning-severity diagnostics as failures.\n\nExit codes:\n  0  the program compiled (verdict valid, or warning without --strict)\n  1  the program was refused (verdict invalid, or warning with --strict)\n  2  the command line or the input file could not be used";
 export declare function runCli(argv: readonly string[], io: Io): Promise<number>;
 //# sourceMappingURL=cli.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"cli.d.ts","sourceRoot":"","sources":["../../src/cli.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAKH,kEAAkE;AAClE,MAAM,WAAW,EAAE;IACjB,QAAQ,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;IACrC,QAAQ,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;IACrC,QAAQ,CAAC,QAAQ,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,CAAC,MAAM,CAAC,CAAC;IACrD,QAAQ,CAAC,SAAS,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;CACvE;AA+BD,wBAAsB,MAAM,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,CA8D7E"}
+{"version":3,"file":"cli.d.ts","sourceRoot":"","sources":["../../src/cli.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AASH,kEAAkE;AAClE,MAAM,WAAW,EAAE;IACjB,QAAQ,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;IACrC,QAAQ,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;IACrC,QAAQ,CAAC,QAAQ,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,CAAC,MAAM,CAAC,CAAC;IACrD,QAAQ,CAAC,SAAS,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;CACvE;AAUD,eAAO,MAAM,UAAU,4kCA0BmC,CAAC;AAE3D,wBAAsB,MAAM,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,CAoG7E"}