@hyperscale0/hsx 2.4.0 → 3.0.0

package/dist/src/ast.d.ts

@@ -1,317 +1,106 @@
-/**
- * The HSX abstract syntax tree.
- *
- * Every node carries a byte-offset span into the original source. Spans are
- * the compiler's source-mapping currency: diagnostics at every later stage
- * (typecheck, lowering, verdicts) point at source coordinates, never at
- * lowered IR paths. Offsets convert to line/column via `lineColAt`.
- */
 export interface Span {
-    /** Inclusive start byte offset into the source text. */
-    readonly start: number;
-    /** Exclusive end byte offset into the source text. */
-    readonly end: number;
+    start: number;
+    end: number;
 }
-export interface LineCol {
-    /** 1-indexed line. */
-    readonly line: number;
-    /** 1-indexed column, counted in UTF-16 code units. */
-    readonly column: number;
-}
-/** 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
- * diagnostics over an n-byte source into O(n*d) work. A caller holding this
- * pays O(n) once and O(log n) per offset.
- */
-export interface LineIndex {
-    /** Source length, so `lineColIn` clamps exactly as `lineColAt` does. */
-    readonly length: number;
-    /** Offset of the first character of each line, ascending. Line 1 starts at 0. */
-    readonly starts: readonly number[];
-}
-/** Scan a source once for the offset every line starts at. */
-export declare function lineIndex(source: string): LineIndex;
-/**
- * Resolve one offset against a prebuilt index. Returns exactly what
- * `lineColAt` returns for the same source and offset.
- */
-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 {
-    readonly kind: "string";
-    readonly span: Span;
-    readonly value: string;
-}
-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;
-    readonly kind: "percent";
-    readonly raw: string;
-    readonly span: Span;
-}
-/** A type or constructor application: `money(SAR)`, `id(vehicle)`. */
-export interface CallExpr {
-    readonly args: readonly Expr[];
-    readonly callee: IdentExpr;
-    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
- * (`port approve_release | at(releaseDueAt)`).
- */
-export interface PortRefExpr {
-    /** `| at(<field>)`, the stored date field that resolves an undecided hold. */
-    readonly deadline?: IdentExpr;
-    readonly kind: "port_ref";
-    readonly name: IdentExpr;
-    readonly span: Span;
-    readonly within?: IdentExpr;
-}
-/**
- * `retention.release`, one settlement naming another settlement's declared
- * referenceable exit. The checker resolves it wholly before lowering.
- */
-export interface SettlementRefExpr {
-    readonly kind: "settlement_ref";
-    /** The exit named on the owner, e.g. `release`. */
-    readonly member: IdentExpr;
-    /** The settlement being referenced. */
-    readonly owner: IdentExpr;
-    readonly span: Span;
-}
-export interface ListExpr {
-    readonly items: readonly Expr[];
-    readonly kind: "list";
-    readonly span: Span;
-}
-/** A brace block of entries: `{ buyer: 1%, seller: 2% }`. */
-export interface BlockExpr {
-    readonly entries: readonly Entry[];
-    readonly kind: "block";
-    readonly span: Span;
-}
-/**
- * A named typed binding inside an expression position:
- * `amount: price: money(SAR)` binds the field name `price` to type
- * `money(SAR)`: the entry key is `amount`, the value is this binding.
- */
-export interface BindingExpr {
-    readonly kind: "binding";
-    readonly name: IdentExpr;
-    readonly span: Span;
-    readonly type: Expr;
-}
-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 Diagnostic {
+    code: string;
+    message: string;
+    fix: string;
+    span: Span;
+}
+export type Expr = {
+    kind: "name" | "text" | "number" | "money" | "percent" | "duration" | "date";
+    value: string;
+    span: Span;
+} | {
+    kind: "list";
+    items: Expr[];
+    span: Span;
+} | {
+    kind: "block";
+    entries: Entry[];
+    span: Span;
+} | {
+    kind: "call";
+    name: string;
+    args: Expr[];
+    span: Span;
+} | {
+    kind: "type";
+    name: string;
+    target?: string;
+    owner?: string;
+    optional: boolean;
+    many?: boolean;
+    span: Span;
+} | {
+    kind: "default";
+    type: Expr;
+    value: Expr;
+    span: Span;
+} | {
+    kind: "capped";
+    rate: Expr;
+    cap: Expr;
+    span: Span;
+};
 export interface Entry {
-    /** Port dependencies retained through compile-time selection and substitution. */
-    readonly conditionPorts?: readonly string[];
-    /** `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;
-    readonly value: Expr;
+    key: string;
+    value: Expr;
+    span: Span;
 }
-/** `program used_car_escrow "Used-car escrow"` names the company program. */
-export interface ProgramDecl {
-    readonly kind: "program";
-    readonly name: IdentExpr;
-    readonly span: Span;
-    readonly title?: StringExpr;
-}
-/** `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/money_flows"`. */
-export interface ImportDecl {
-    readonly from: StringExpr;
-    readonly kind: "import";
-    readonly names: readonly IdentExpr[];
-    readonly span: Span;
-}
-/** `party buyer: person` with an optional attribute block. */
-export interface PartyDecl {
-    readonly attrs?: BlockExpr;
-    readonly kind: "party";
-    readonly name: IdentExpr;
-    readonly partyKind: IdentExpr;
-    readonly span: Span;
-}
-/** `asset vehicle: good { title_transfer: off_platform }`. */
-export interface AssetDecl {
-    readonly assetKind: IdentExpr;
-    readonly attrs?: BlockExpr;
-    readonly kind: "asset";
-    readonly name: IdentExpr;
-    readonly span: Span;
-}
-/** A full UDL subject-kind declaration. `asset` remains shorthand for this form. */
-export interface SubjectDecl {
-    readonly body: BlockExpr;
-    readonly kind: "subject";
-    readonly name: IdentExpr;
-    readonly span: Span;
-}
-/** `port confirm_handover { allowed: [buyer], ... }`. */
-export interface PortDecl {
-    readonly body: BlockExpr;
-    readonly kind: "port";
-    readonly name: IdentExpr;
-    readonly span: Span;
-}
-/** `module std.money_flows` 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;
+    kind: "instrument";
+    name: string;
+    parameters: Entry[];
+    body: Extract<Expr, {
+        kind: "block";
+    }>;
+    span: Span;
+}
+export interface ObjectDecl {
+    kind: "object";
+    name: string;
+    object: string;
+    body: Extract<Expr, {
+        kind: "block";
+    }>;
+    span: Span;
+}
+export type Decl = InstrumentDecl | ObjectDecl | {
+    kind: "party";
+    name: string;
+    partyKind: string;
+    role?: string;
+    span: Span;
+} | {
+    kind: "use";
+    name: string;
+    span: Span;
+} | {
+    kind: "expose";
+    target: string;
+    name: string;
+    span: Span;
+} | {
+    kind: "hide";
+    target: string;
+    span: Span;
+};
 export interface Program {
-    readonly decls: readonly Decl[];
-    readonly span: Span;
-}
-/**
- * A parse-stage problem, worded for the program's author. Parsing is total:
- * 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;
-}
+    name: string;
+    title: string;
+    currency: string;
+    header: boolean;
+    decls: Decl[];
+    span: Span;
+}
+export declare const lineColAt: (source: string, offset: number) => {
+    line: number;
+    column: number;
+};
+export declare function byteOffsetToCodeUnit(source: string, offset: number): number;
+export type BlockExpr = Extract<Expr, {
+    kind: "block";
+}>;
 //# 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;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,kFAAkF;IAClF,QAAQ,CAAC,cAAc,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5C,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"}
+{"version":3,"file":"ast.d.ts","sourceRoot":"","sources":["../../src/ast.ts"],"names":[],"mappings":"AAAA,MAAM,WAAW,IAAI;IACnB,KAAK,EAAE,MAAM,CAAC;IACd,GAAG,EAAE,MAAM,CAAC;CACb;AACD,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,GAAG,EAAE,MAAM,CAAC;IACZ,IAAI,EAAE,IAAI,CAAC;CACZ;AACD,MAAM,MAAM,IAAI,GACZ;IACE,IAAI,EACA,MAAM,GACN,MAAM,GACN,QAAQ,GACR,OAAO,GACP,SAAS,GACT,UAAU,GACV,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,IAAI,CAAC;CACZ,GACD;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,IAAI,EAAE,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GAC3C;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,OAAO,EAAE,KAAK,EAAE,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GAC/C;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,IAAI,EAAE,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GACxD;IACE,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,OAAO,CAAC;IAClB,IAAI,CAAC,EAAE,OAAO,CAAC;IACf,IAAI,EAAE,IAAI,CAAC;CACZ,GACD;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,IAAI,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,IAAI,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GACxD;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,IAAI,EAAE,IAAI,CAAC;IAAC,GAAG,EAAE,IAAI,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE,CAAC;AAC1D,MAAM,WAAW,KAAK;IACpB,GAAG,EAAE,MAAM,CAAC;IACZ,KAAK,EAAE,IAAI,CAAC;IACZ,IAAI,EAAE,IAAI,CAAC;CACZ;AACD,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,YAAY,CAAC;IACnB,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,EAAE,KAAK,EAAE,CAAC;IACpB,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE;QAAE,IAAI,EAAE,OAAO,CAAA;KAAE,CAAC,CAAC;IACvC,IAAI,EAAE,IAAI,CAAC;CACZ;AACD,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,QAAQ,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE;QAAE,IAAI,EAAE,OAAO,CAAA;KAAE,CAAC,CAAC;IACvC,IAAI,EAAE,IAAI,CAAC;CACZ;AACD,MAAM,MAAM,IAAI,GACZ,cAAc,GACd,UAAU,GACV;IACE,IAAI,EAAE,OAAO,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,CAAC;IAClB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,IAAI,CAAC;CACZ,GACD;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GACzC;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GAC5D;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE,CAAC;AACjD,MAAM,WAAW,OAAO;IACtB,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,OAAO,CAAC;IAChB,KAAK,EAAE,IAAI,EAAE,CAAC;IACd,IAAI,EAAE,IAAI,CAAC;CACZ;AACD,eAAO,MAAM,SAAS,WAAY,MAAM,UAAU,MAAM;IAGpD,IAAI;IACJ,MAAM;CAET,CAAC;AACF,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM,CAS3E;AACD,MAAM,MAAM,SAAS,GAAG,OAAO,CAAC,IAAI,EAAE;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,CAAC,CAAC"}

package/dist/src/ast.js

@@ -1,72 +1,19 @@
-/**
- * The HSX abstract syntax tree.
- *
- * Every node carries a byte-offset span into the original source. Spans are
- * the compiler's source-mapping currency: diagnostics at every later stage
- * (typecheck, lowering, verdicts) point at source coordinates, never at
- * lowered IR paths. Offsets convert to line/column via `lineColAt`.
- */
-/** Convert a byte offset to a 1-indexed line/column position. */
-export function lineColAt(source, offset) {
-    let line = 1;
-    let lineStart = 0;
-    const clamped = Math.max(0, Math.min(offset, source.length));
-    for (let index = 0; index < clamped; index += 1) {
-        if (source.charCodeAt(index) === 10) {
-            line += 1;
-            lineStart = index + 1;
-        }
+export const lineColAt = (source, offset) => {
+    const before = source.slice(0, offset);
+    return {
+        line: before.split("\n").length,
+        column: offset - before.lastIndexOf("\n"),
+    };
+};
+export function byteOffsetToCodeUnit(source, offset) {
+    let bytes = 0;
+    let units = 0;
+    for (const c of source) {
+        bytes += new TextEncoder().encode(c).length;
+        if (bytes > offset)
+            break;
+        units += c.length;
     }
-    return { column: clamped - lineStart + 1, line };
-}
-const utf8Encoder = new TextEncoder();
-/**
- * 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 function byteOffsetToCodeUnit(source, byteOffset) {
-    if (byteOffset <= 0)
-        return 0;
-    let currentByte = 0;
-    let codeUnit = 0;
-    for (const char of source) {
-        const charBytes = utf8Encoder.encode(char).length;
-        if (currentByte + charBytes > byteOffset) {
-            return codeUnit;
-        }
-        currentByte += charBytes;
-        codeUnit += char.length;
-        if (currentByte === byteOffset) {
-            return codeUnit;
-        }
-    }
-    return source.length;
-}
-/** Scan a source once for the offset every line starts at. */
-export function lineIndex(source) {
-    const starts = [0];
-    for (let index = 0; index < source.length; index += 1) {
-        if (source.charCodeAt(index) === 10)
-            starts.push(index + 1);
-    }
-    return { length: source.length, starts };
-}
-/**
- * Resolve one offset against a prebuilt index. Returns exactly what
- * `lineColAt` returns for the same source and offset.
- */
-export function lineColIn(index, offset) {
-    const clamped = Math.max(0, Math.min(offset, index.length));
-    let low = 0;
-    let high = index.starts.length - 1;
-    while (low < high) {
-        const middle = Math.floor((low + high + 1) / 2);
-        if (index.starts[middle] <= clamped)
-            low = middle;
-        else
-            high = middle - 1;
-    }
-    return { column: clamped - index.starts[low] + 1, line: low + 1 };
+    return units;
 }
 //# sourceMappingURL=ast.js.map

package/dist/src/ast.js.map

@@ -1 +1 @@
-{"version":3,"file":"ast.js","sourceRoot":"","sources":["../../src/ast.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAgBH,iEAAiE;AACjE,MAAM,UAAU,SAAS,CAAC,MAAc,EAAE,MAAc;IACtD,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;IAC7D,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,OAAO,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAChD,IAAI,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC;YACpC,IAAI,IAAI,CAAC,CAAC;YACV,SAAS,GAAG,KAAK,GAAG,CAAC,CAAC;QACxB,CAAC;IACH,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,OAAO,GAAG,SAAS,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC;AACnD,CAAC;AAED,MAAM,WAAW,GAAG,IAAI,WAAW,EAAE,CAAC;AAEtC;;;;GAIG;AACH,MAAM,UAAU,oBAAoB,CAClC,MAAc,EACd,UAAkB;IAElB,IAAI,UAAU,IAAI,CAAC;QAAE,OAAO,CAAC,CAAC;IAC9B,IAAI,WAAW,GAAG,CAAC,CAAC;IACpB,IAAI,QAAQ,GAAG,CAAC,CAAC;IAEjB,KAAK,MAAM,IAAI,IAAI,MAAM,EAAE,CAAC;QAC1B,MAAM,SAAS,GAAG,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC;QAClD,IAAI,WAAW,GAAG,SAAS,GAAG,UAAU,EAAE,CAAC;YACzC,OAAO,QAAQ,CAAC;QAClB,CAAC;QACD,WAAW,IAAI,SAAS,CAAC;QACzB,QAAQ,IAAI,IAAI,CAAC,MAAM,CAAC;QACxB,IAAI,WAAW,KAAK,UAAU,EAAE,CAAC;YAC/B,OAAO,QAAQ,CAAC;QAClB,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC,MAAM,CAAC;AACvB,CAAC;AAeD,8DAA8D;AAC9D,MAAM,UAAU,SAAS,CAAC,MAAc;IACtC,MAAM,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;IACnB,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACtD,IAAI,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,KAAK,EAAE;YAAE,MAAM,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;IAC9D,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC;AAC3C,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,SAAS,CAAC,KAAgB,EAAE,MAAc;IACxD,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;IAC5D,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,IAAI,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC;IACnC,OAAO,GAAG,GAAG,IAAI,EAAE,CAAC;QAClB,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAChD,IAAK,KAAK,CAAC,MAAM,CAAC,MAAM,CAAY,IAAI,OAAO;YAAE,GAAG,GAAG,MAAM,CAAC;;YACzD,IAAI,GAAG,MAAM,GAAG,CAAC,CAAC;IACzB,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,OAAO,GAAI,KAAK,CAAC,MAAM,CAAC,GAAG,CAAY,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,GAAG,CAAC,EAAE,CAAC;AAChF,CAAC"}
+{"version":3,"file":"ast.js","sourceRoot":"","sources":["../../src/ast.ts"],"names":[],"mappings":"AA6EA,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,MAAc,EAAE,MAAc,EAAE,EAAE;IAC1D,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;IACvC,OAAO;QACL,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM;QAC/B,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC;KAC1C,CAAC;AACJ,CAAC,CAAC;AACF,MAAM,UAAU,oBAAoB,CAAC,MAAc,EAAE,MAAc;IACjE,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,KAAK,IAAI,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;QAC5C,IAAI,KAAK,GAAG,MAAM;YAAE,MAAM;QAC1B,KAAK,IAAI,CAAC,CAAC,MAAM,CAAC;IACpB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/src/cli.d.ts

@@ -1,23 +1,10 @@
-/**
- * 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
- * a network, and neither writes outside the path the caller names.
- *
- * Everything here is a pure function of `argv` plus the injected `Io`, so the
- * spec drives the real code paths with an in-memory filesystem instead of
- * asserting on a subprocess's scrollback.
- */
-/** Filesystem and streams, injected so the CLI stays testable. */
 export interface Io {
-    readonly err: (line: string) => void;
-    readonly out: (line: string) => void;
-    readonly readFile: (path: string) => Promise<string>;
-    readonly writeFile: (path: string, contents: string) => Promise<void>;
-    readonly stdin?: NodeJS.ReadableStream;
-    readonly stdout?: NodeJS.WritableStream;
+    out(line: string): void;
+    err(line: string): void;
+    readFile(path: string): Promise<string>;
+    writeFile(path: string, text: string): Promise<void>;
+    stdin?: NodeJS.ReadableStream;
+    stdout?: NodeJS.WritableStream;
 }
-export declare const USAGE_TEXT = "hsx 2.4.0, the HSX compiler\n\nUsage:\n  hsx check <file.hsx> [--catalog <catalog.udl>] [--strict]\n  hsx build <file.hsx> [--catalog <catalog.udl>] [--out <file.json>] [--strict]\n  hsx cost <file.hsx> [--catalog <catalog.udl>] [--json] [--out <file.json>] [--strict]\n  hsx explain <HSX####>\n  hsx format <file.hsx>\n  hsx lsp\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 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  lsp     Run the language server over stdin and stdout.\n\nOptions:\n  --catalog <file>  Read the published instrument catalogue as canonical UDL JSON.\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;AAWH,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;IACtE,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,cAAc,CAAC;IACvC,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,cAAc,CAAC;CACzC;AAUD,eAAO,MAAM,UAAU,uxCA6BmC,CAAC;AAE3D,wBAAsB,MAAM,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,CAuH7E"}
+{"version":3,"file":"cli.d.ts","sourceRoot":"","sources":["../../src/cli.ts"],"names":[],"mappings":"AAgBA,MAAM,WAAW,EAAE;IACjB,GAAG,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,GAAG,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;IACxC,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACrD,KAAK,CAAC,EAAE,MAAM,CAAC,cAAc,CAAC;IAC9B,MAAM,CAAC,EAAE,MAAM,CAAC,cAAc,CAAC;CAChC;AACD,wBAAsB,MAAM,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,CAiE7E"}