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

package/dist/src/ir.d.ts

@@ -0,0 +1,66 @@
+import type { Span } from "./ast.ts";
+import type { UdlEffectKind } from "@hyperscale0/udl";
+export type JsonValue = boolean | number | string | null | readonly JsonValue[] | {
+    readonly [key: string]: JsonValue;
+};
+export declare const HSX_TYPE_KINDS: readonly ["account", "boolean", "bps", "condition", "date", "integer", "money", "party", "percent", "ref", "text", "unknown"];
+export interface HsxType {
+    readonly currency?: string;
+    /** Positive safe integer minor units fixed by money(CUR, amount). */
+    readonly fixedAmount?: string;
+    readonly kind: (typeof HSX_TYPE_KINDS)[number];
+    readonly target?: string;
+}
+export interface TypedField {
+    readonly name: string;
+    readonly origin: Span;
+    readonly required: boolean;
+    readonly schema: Readonly<Record<string, JsonValue>>;
+    readonly type: HsxType;
+}
+export interface TypedAction {
+    readonly effects: Readonly<Partial<Record<UdlEffectKind, readonly {
+        readonly signature: string;
+        readonly source: string;
+        readonly channel?: string;
+        readonly role?: string;
+    }[]>>>;
+    readonly name: string;
+    readonly origin: Span;
+    readonly slots: Readonly<Record<string, JsonValue>>;
+}
+export interface TypedInstrument {
+    readonly actions: readonly TypedAction[];
+    readonly fields: readonly TypedField[];
+    readonly id: string;
+    readonly origin: Span;
+    readonly slots: Readonly<Record<string, JsonValue>>;
+}
+export interface TypedSubject {
+    readonly declaredValue: "none" | "optional" | "required";
+    readonly kind: string;
+    readonly origin: Span;
+    readonly schema: Readonly<Record<string, JsonValue>>;
+    readonly title: string;
+    readonly version: number;
+}
+export interface TypedProgram {
+    readonly instruments: readonly TypedInstrument[];
+    readonly kind: "typed_program";
+    readonly name: string;
+    readonly origin: Span;
+    readonly subjects: readonly TypedSubject[];
+    readonly title: string;
+}
+export interface GeneralDiagnostic {
+    readonly code: string;
+    readonly fix: string;
+    readonly message: string;
+    readonly severity: "error" | "warning";
+    readonly span: Span;
+}
+export interface GeneralCheckResult {
+    readonly diagnostics: readonly GeneralDiagnostic[];
+    readonly program?: TypedProgram;
+}
+//# sourceMappingURL=ir.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"ir.d.ts","sourceRoot":"","sources":["../../src/ir.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,UAAU,CAAC;AACrC,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAEtD,MAAM,MAAM,SAAS,GACjB,OAAO,GACP,MAAM,GACN,MAAM,GACN,IAAI,GACJ,SAAS,SAAS,EAAE,GACpB;IAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,GAAG,SAAS,CAAA;CAAE,CAAC;AAE1C,eAAO,MAAM,cAAc,+HAajB,CAAC;AAEX,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,qEAAqE;IACrE,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,CAAC,OAAO,cAAc,CAAC,CAAC,MAAM,CAAC,CAAC;IAC/C,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC;IACrD,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;CACxB;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,OAAO,EAAE,QAAQ,CACxB,OAAO,CACL,MAAM,CACJ,aAAa,EACb,SAAS;QACP,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;QAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QACxB,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;QAC1B,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;KACxB,EAAE,CACJ,CACF,CACF,CAAC;IACF,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC;CACrD;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,OAAO,EAAE,SAAS,WAAW,EAAE,CAAC;IACzC,QAAQ,CAAC,MAAM,EAAE,SAAS,UAAU,EAAE,CAAC;IACvC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC;CACrD;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,aAAa,EAAE,MAAM,GAAG,UAAU,GAAG,UAAU,CAAC;IACzD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC;IACrD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,WAAW,EAAE,SAAS,eAAe,EAAE,CAAC;IACjD,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,SAAS,YAAY,EAAE,CAAC;IAC3C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,OAAO,GAAG,SAAS,CAAC;IACvC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,WAAW,EAAE,SAAS,iBAAiB,EAAE,CAAC;IACnD,QAAQ,CAAC,OAAO,CAAC,EAAE,YAAY,CAAC;CACjC"}

package/dist/src/ir.js

@@ -0,0 +1,15 @@
+export const HSX_TYPE_KINDS = [
+    "account",
+    "boolean",
+    "bps",
+    "condition",
+    "date",
+    "integer",
+    "money",
+    "party",
+    "percent",
+    "ref",
+    "text",
+    "unknown",
+];
+//# sourceMappingURL=ir.js.map

package/dist/src/ir.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ir.js","sourceRoot":"","sources":["../../src/ir.ts"],"names":[],"mappings":"AAWA,MAAM,CAAC,MAAM,cAAc,GAAG;IAC5B,SAAS;IACT,SAAS;IACT,KAAK;IACL,WAAW;IACX,MAAM;IACN,SAAS;IACT,OAAO;IACP,OAAO;IACP,SAAS;IACT,KAAK;IACL,MAAM;IACN,SAAS;CACD,CAAC"}

package/dist/src/lex.d.ts

@@ -6,7 +6,7 @@
  */
 import type { Diagnostic, Span } from "./ast.ts";
 type TokenKind = "eof" | "ident" | "keyword" | "number" | "percent" | "punct" | "string";
-export declare const KEYWORDS: readonly ["asset", "from", "import", "party", "port", "program", "settlement"];
+export declare const KEYWORDS: readonly ["action", "as", "asset", "commit", "const", "expect", "expose", "expires", "export", "from", "import", "instrument", "module", "party", "port", "program", "quote", "rate", "reconcile", "settlement", "subject", "type", "use"];
 export interface Token {
     readonly kind: TokenKind;
     readonly span: Span;
@@ -15,7 +15,15 @@ export interface Token {
     /** Decoded value for string literals; raw digits for numbers/percents. */
     readonly value: string;
 }
+/** Source trivia retained for tools that must reproduce author comments. */
+export interface CommentTrivia {
+    readonly kind: "line_comment";
+    readonly span: Span;
+    readonly text: string;
+}
+export declare const PUNCT: readonly ["{", "}", "(", ")", "[", "]", ":", ",", ";", "=", "|", ".", "<", ">", "?"];
 export interface LexResult {
+    readonly comments: readonly CommentTrivia[];
     readonly diagnostics: readonly Diagnostic[];
     readonly tokens: readonly Token[];
 }

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

@@ -1 +1 @@
-{"version":3,"file":"lex.d.ts","sourceRoot":"","sources":["../../src/lex.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,UAAU,CAAC;AAEjD,KAAK,SAAS,GACV,KAAK,GACL,OAAO,GACP,SAAS,GACT,QAAQ,GACR,SAAS,GACT,OAAO,GACP,QAAQ,CAAC;AAEb,eAAO,MAAM,QAAQ,gFAQX,CAAC;AAEX,MAAM,WAAW,KAAK;IACpB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,wEAAwE;IACxE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,0EAA0E;IAC1E,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAWD,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;IAC5C,QAAQ,CAAC,MAAM,EAAE,SAAS,KAAK,EAAE,CAAC;CACnC;AAED,wBAAgB,GAAG,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CA6G7C"}
+{"version":3,"file":"lex.d.ts","sourceRoot":"","sources":["../../src/lex.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,UAAU,CAAC;AAEjD,KAAK,SAAS,GACV,KAAK,GACL,OAAO,GACP,SAAS,GACT,QAAQ,GACR,SAAS,GACT,OAAO,GACP,QAAQ,CAAC;AAEb,eAAO,MAAM,QAAQ,4OAwBX,CAAC;AAEX,MAAM,WAAW,KAAK;IACpB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,wEAAwE;IACxE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,0EAA0E;IAC1E,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED,4EAA4E;AAC5E,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,eAAO,MAAM,KAAK,sFAgBR,CAAC;AAUX,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,QAAQ,EAAE,SAAS,aAAa,EAAE,CAAC;IAC5C,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;IAC5C,QAAQ,CAAC,MAAM,EAAE,SAAS,KAAK,EAAE,CAAC;CACnC;AAED,wBAAgB,GAAG,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CA2H7C"}

package/dist/src/lex.js

@@ -5,15 +5,48 @@
  * insignificant everywhere.
  */
 export const KEYWORDS = [
+    "action",
+    "as",
     "asset",
+    "commit",
+    "const",
+    "expect",
+    "expose",
+    "expires",
+    "export",
     "from",
     "import",
+    "instrument",
+    "module",
     "party",
     "port",
     "program",
+    "quote",
+    "rate",
+    "reconcile",
     "settlement",
+    "subject",
+    "type",
+    "use",
 ];
-const PUNCT = new Set(["{", "}", "(", ")", "[", "]", ":", ",", "=", "|", "."]);
+export const PUNCT = [
+    "{",
+    "}",
+    "(",
+    ")",
+    "[",
+    "]",
+    ":",
+    ",",
+    ";",
+    "=",
+    "|",
+    ".",
+    "<",
+    ">",
+    "?",
+];
+const PUNCT_SET = new Set(PUNCT);
 const KEYWORD_SET = new Set(KEYWORDS);
 // Case conventions (snake_case declarations, uppercase currency codes) are
 // semantic rules the typechecker words per position; the lexer stays permissive.
@@ -22,6 +55,7 @@ const isIdentPart = (ch) => /[A-Za-z0-9_]/.test(ch);
 const isDigit = (ch) => ch >= "0" && ch <= "9";
 export function lex(source) {
     const tokens = [];
+    const comments = [];
     const diagnostics = [];
     let index = 0;
     const push = (kind, start, text, value = text) => {
@@ -34,16 +68,28 @@ export function lex(source) {
             continue;
         }
         if (ch === "/" && source[index + 1] === "/") {
+            const start = index;
             while (index < source.length && source[index] !== "\n")
                 index += 1;
+            comments.push({
+                kind: "line_comment",
+                span: { end: index, start },
+                text: source.slice(start, index),
+            });
             continue;
         }
-        if (PUNCT.has(ch)) {
+        if (PUNCT_SET.has(ch)) {
             const start = index;
             index += 1;
             push("punct", start, ch);
             continue;
         }
+        if (ch === "-" && source[index + 1] === ">") {
+            const start = index;
+            index += 2;
+            push("punct", start, "->");
+            continue;
+        }
         if (ch === '"') {
             const start = index;
             index += 1;
@@ -103,7 +149,7 @@ export function lex(source) {
         const start = index;
         while (index < source.length &&
             !/[\sA-Za-z0-9_"]/.test(source[index]) &&
-            !PUNCT.has(source[index]) &&
+            !PUNCT_SET.has(source[index]) &&
             !(source[index] === "/" && source[index + 1] === "/")) {
             index += 1;
         }
@@ -120,6 +166,6 @@ export function lex(source) {
         text: "",
         value: "",
     });
-    return { diagnostics, tokens };
+    return { comments, diagnostics, tokens };
 }
 //# sourceMappingURL=lex.js.map

package/dist/src/lex.js.map

@@ -1 +1 @@
-{"version":3,"file":"lex.js","sourceRoot":"","sources":["../../src/lex.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAaH,MAAM,CAAC,MAAM,QAAQ,GAAG;IACtB,OAAO;IACP,MAAM;IACN,QAAQ;IACR,OAAO;IACP,MAAM;IACN,SAAS;IACT,YAAY;CACJ,CAAC;AAWX,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;AAC/E,MAAM,WAAW,GAAwB,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC;AAE3D,2EAA2E;AAC3E,iFAAiF;AACjF,MAAM,YAAY,GAAG,CAAC,EAAU,EAAW,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AAClE,MAAM,WAAW,GAAG,CAAC,EAAU,EAAW,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AACrE,MAAM,OAAO,GAAG,CAAC,EAAU,EAAW,EAAE,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,CAAC;AAOhE,MAAM,UAAU,GAAG,CAAC,MAAc;IAChC,MAAM,MAAM,GAAY,EAAE,CAAC;IAC3B,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,IAAI,KAAK,GAAG,CAAC,CAAC;IAEd,MAAM,IAAI,GAAG,CAAC,IAAe,EAAE,KAAa,EAAE,IAAY,EAAE,KAAK,GAAG,IAAI,EAAE,EAAE;QAC1E,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IAClE,CAAC,CAAC;IAEF,OAAO,KAAK,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;QAC7B,MAAM,EAAE,GAAG,MAAM,CAAC,KAAK,CAAW,CAAC;QAEnC,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,IAAI,IAAI,EAAE,KAAK,IAAI,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;YAC5D,KAAK,IAAI,CAAC,CAAC;YACX,SAAS;QACX,CAAC;QAED,IAAI,EAAE,KAAK,GAAG,IAAI,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;YAC5C,OAAO,KAAK,GAAG,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,IAAI;gBAAE,KAAK,IAAI,CAAC,CAAC;YACnE,SAAS;QACX,CAAC;QAED,IAAI,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YAClB,MAAM,KAAK,GAAG,KAAK,CAAC;YACpB,KAAK,IAAI,CAAC,CAAC;YACX,IAAI,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;YACzB,SAAS;QACX,CAAC;QAED,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YACf,MAAM,KAAK,GAAG,KAAK,CAAC;YACpB,KAAK,IAAI,CAAC,CAAC;YACX,IAAI,KAAK,GAAG,EAAE,CAAC;YACf,IAAI,MAAM,GAAG,KAAK,CAAC;YACnB,OAAO,KAAK,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;gBAC7B,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAW,CAAC;gBACrC,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;oBACjB,KAAK,IAAI,CAAC,CAAC;oBACX,MAAM,GAAG,IAAI,CAAC;oBACd,MAAM;gBACR,CAAC;gBACD,IAAI,IAAI,KAAK,IAAI;oBAAE,MAAM;gBACzB,KAAK,IAAI,IAAI,CAAC;gBACd,KAAK,IAAI,CAAC,CAAC;YACb,CAAC;YACD,IAAI,CAAC,MAAM,EAAE,CAAC;gBACZ,WAAW,CAAC,IAAI,CAAC;oBACf,OAAO,EAAE,uDAAuD;oBAChE,IAAI,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE;iBAC5B,CAAC,CAAC;YACL,CAAC;YACD,IAAI,CAAC,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC;YACzD,SAAS;QACX,CAAC;QAED,IAAI,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC;YAChB,MAAM,KAAK,GAAG,KAAK,CAAC;YACpB,OAAO,KAAK,GAAG,MAAM,CAAC,MAAM,IAAI,OAAO,CAAC,MAAM,CAAC,KAAK,CAAW,CAAC,EAAE,CAAC;gBACjE,KAAK,IAAI,CAAC,CAAC;YACb,CAAC;YACD,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,GAAG,IAAI,OAAO,CAAC,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;gBAC9D,KAAK,IAAI,CAAC,CAAC;gBACX,OAAO,KAAK,GAAG,MAAM,CAAC,MAAM,IAAI,OAAO,CAAC,MAAM,CAAC,KAAK,CAAW,CAAC,EAAE,CAAC;oBACjE,KAAK,IAAI,CAAC,CAAC;gBACb,CAAC;YACH,CAAC;YACD,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YACvC,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,GAAG,EAAE,CAAC;gBAC1B,KAAK,IAAI,CAAC,CAAC;gBACX,IAAI,CAAC,SAAS,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC;YAC1D,CAAC;iBAAM,CAAC;gBACN,IAAI,CAAC,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;YAClC,CAAC;YACD,SAAS;QACX,CAAC;QAED,IAAI,YAAY,CAAC,EAAE,CAAC,EAAE,CAAC;YACrB,MAAM,KAAK,GAAG,KAAK,CAAC;YACpB,OAAO,KAAK,GAAG,MAAM,CAAC,MAAM,IAAI,WAAW,CAAC,MAAM,CAAC,KAAK,CAAW,CAAC,EAAE,CAAC;gBACrE,KAAK,IAAI,CAAC,CAAC;YACb,CAAC;YACD,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YACxC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;YAC/D,SAAS;QACX,CAAC;QAED,MAAM,KAAK,GAAG,KAAK,CAAC;QACpB,OACE,KAAK,GAAG,MAAM,CAAC,MAAM;YACrB,CAAC,iBAAiB,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAW,CAAC;YAChD,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAW,CAAC;YACnC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,GAAG,IAAI,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,GAAG,CAAC,EACrD,CAAC;YACD,KAAK,IAAI,CAAC,CAAC;QACb,CAAC;QACD,IAAI,KAAK,KAAK,KAAK;YAAE,KAAK,IAAI,CAAC,CAAC;QAChC,WAAW,CAAC,IAAI,CAAC;YACf,OAAO,EAAE,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,mCAAmC;YAC1E,IAAI,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE;SAC5B,CAAC,CAAC;IACL,CAAC;IAED,MAAM,CAAC,IAAI,CAAC;QACV,IAAI,EAAE,KAAK;QACX,IAAI,EAAE,EAAE,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE;QAClD,IAAI,EAAE,EAAE;QACR,KAAK,EAAE,EAAE;KACV,CAAC,CAAC;IACH,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC;AACjC,CAAC"}
+{"version":3,"file":"lex.js","sourceRoot":"","sources":["../../src/lex.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAaH,MAAM,CAAC,MAAM,QAAQ,GAAG;IACtB,QAAQ;IACR,IAAI;IACJ,OAAO;IACP,QAAQ;IACR,OAAO;IACP,QAAQ;IACR,QAAQ;IACR,SAAS;IACT,QAAQ;IACR,MAAM;IACN,QAAQ;IACR,YAAY;IACZ,QAAQ;IACR,OAAO;IACP,MAAM;IACN,SAAS;IACT,OAAO;IACP,MAAM;IACN,WAAW;IACX,YAAY;IACZ,SAAS;IACT,MAAM;IACN,KAAK;CACG,CAAC;AAkBX,MAAM,CAAC,MAAM,KAAK,GAAG;IACnB,GAAG;IACH,GAAG;IACH,GAAG;IACH,GAAG;IACH,GAAG;IACH,GAAG;IACH,GAAG;IACH,GAAG;IACH,GAAG;IACH,GAAG;IACH,GAAG;IACH,GAAG;IACH,GAAG;IACH,GAAG;IACH,GAAG;CACK,CAAC;AACX,MAAM,SAAS,GAAwB,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC;AACtD,MAAM,WAAW,GAAwB,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC;AAE3D,2EAA2E;AAC3E,iFAAiF;AACjF,MAAM,YAAY,GAAG,CAAC,EAAU,EAAW,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AAClE,MAAM,WAAW,GAAG,CAAC,EAAU,EAAW,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AACrE,MAAM,OAAO,GAAG,CAAC,EAAU,EAAW,EAAE,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,CAAC;AAQhE,MAAM,UAAU,GAAG,CAAC,MAAc;IAChC,MAAM,MAAM,GAAY,EAAE,CAAC;IAC3B,MAAM,QAAQ,GAAoB,EAAE,CAAC;IACrC,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,IAAI,KAAK,GAAG,CAAC,CAAC;IAEd,MAAM,IAAI,GAAG,CAAC,IAAe,EAAE,KAAa,EAAE,IAAY,EAAE,KAAK,GAAG,IAAI,EAAE,EAAE;QAC1E,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IAClE,CAAC,CAAC;IAEF,OAAO,KAAK,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;QAC7B,MAAM,EAAE,GAAG,MAAM,CAAC,KAAK,CAAW,CAAC;QAEnC,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,IAAI,IAAI,EAAE,KAAK,IAAI,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;YAC5D,KAAK,IAAI,CAAC,CAAC;YACX,SAAS;QACX,CAAC;QAED,IAAI,EAAE,KAAK,GAAG,IAAI,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;YAC5C,MAAM,KAAK,GAAG,KAAK,CAAC;YACpB,OAAO,KAAK,GAAG,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,IAAI;gBAAE,KAAK,IAAI,CAAC,CAAC;YACnE,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,cAAc;gBACpB,IAAI,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE;gBAC3B,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC;aACjC,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,IAAI,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YACtB,MAAM,KAAK,GAAG,KAAK,CAAC;YACpB,KAAK,IAAI,CAAC,CAAC;YACX,IAAI,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;YACzB,SAAS;QACX,CAAC;QAED,IAAI,EAAE,KAAK,GAAG,IAAI,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;YAC5C,MAAM,KAAK,GAAG,KAAK,CAAC;YACpB,KAAK,IAAI,CAAC,CAAC;YACX,IAAI,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;YAC3B,SAAS;QACX,CAAC;QAED,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YACf,MAAM,KAAK,GAAG,KAAK,CAAC;YACpB,KAAK,IAAI,CAAC,CAAC;YACX,IAAI,KAAK,GAAG,EAAE,CAAC;YACf,IAAI,MAAM,GAAG,KAAK,CAAC;YACnB,OAAO,KAAK,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;gBAC7B,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAW,CAAC;gBACrC,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;oBACjB,KAAK,IAAI,CAAC,CAAC;oBACX,MAAM,GAAG,IAAI,CAAC;oBACd,MAAM;gBACR,CAAC;gBACD,IAAI,IAAI,KAAK,IAAI;oBAAE,MAAM;gBACzB,KAAK,IAAI,IAAI,CAAC;gBACd,KAAK,IAAI,CAAC,CAAC;YACb,CAAC;YACD,IAAI,CAAC,MAAM,EAAE,CAAC;gBACZ,WAAW,CAAC,IAAI,CAAC;oBACf,OAAO,EAAE,uDAAuD;oBAChE,IAAI,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE;iBAC5B,CAAC,CAAC;YACL,CAAC;YACD,IAAI,CAAC,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC;YACzD,SAAS;QACX,CAAC;QAED,IAAI,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC;YAChB,MAAM,KAAK,GAAG,KAAK,CAAC;YACpB,OAAO,KAAK,GAAG,MAAM,CAAC,MAAM,IAAI,OAAO,CAAC,MAAM,CAAC,KAAK,CAAW,CAAC,EAAE,CAAC;gBACjE,KAAK,IAAI,CAAC,CAAC;YACb,CAAC;YACD,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,GAAG,IAAI,OAAO,CAAC,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;gBAC9D,KAAK,IAAI,CAAC,CAAC;gBACX,OAAO,KAAK,GAAG,MAAM,CAAC,MAAM,IAAI,OAAO,CAAC,MAAM,CAAC,KAAK,CAAW,CAAC,EAAE,CAAC;oBACjE,KAAK,IAAI,CAAC,CAAC;gBACb,CAAC;YACH,CAAC;YACD,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YACvC,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,GAAG,EAAE,CAAC;gBAC1B,KAAK,IAAI,CAAC,CAAC;gBACX,IAAI,CAAC,SAAS,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC;YAC1D,CAAC;iBAAM,CAAC;gBACN,IAAI,CAAC,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;YAClC,CAAC;YACD,SAAS;QACX,CAAC;QAED,IAAI,YAAY,CAAC,EAAE,CAAC,EAAE,CAAC;YACrB,MAAM,KAAK,GAAG,KAAK,CAAC;YACpB,OAAO,KAAK,GAAG,MAAM,CAAC,MAAM,IAAI,WAAW,CAAC,MAAM,CAAC,KAAK,CAAW,CAAC,EAAE,CAAC;gBACrE,KAAK,IAAI,CAAC,CAAC;YACb,CAAC;YACD,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YACxC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;YAC/D,SAAS;QACX,CAAC;QAED,MAAM,KAAK,GAAG,KAAK,CAAC;QACpB,OACE,KAAK,GAAG,MAAM,CAAC,MAAM;YACrB,CAAC,iBAAiB,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAW,CAAC;YAChD,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAW,CAAC;YACvC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,GAAG,IAAI,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,GAAG,CAAC,EACrD,CAAC;YACD,KAAK,IAAI,CAAC,CAAC;QACb,CAAC;QACD,IAAI,KAAK,KAAK,KAAK;YAAE,KAAK,IAAI,CAAC,CAAC;QAChC,WAAW,CAAC,IAAI,CAAC;YACf,OAAO,EAAE,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,mCAAmC;YAC1E,IAAI,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE;SAC5B,CAAC,CAAC;IACL,CAAC;IAED,MAAM,CAAC,IAAI,CAAC;QACV,IAAI,EAAE,KAAK;QACX,IAAI,EAAE,EAAE,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE;QAClD,IAAI,EAAE,EAAE;QACR,KAAK,EAAE,EAAE;KACV,CAAC,CAAC;IACH,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC;AAC3C,CAAC"}

package/dist/src/limits.d.ts

@@ -1,7 +1,6 @@
 /**
  * What the compiler refuses to read, as opposed to what it refuses to emit.
- * `MONEY_EVENT_BUDGET` in lower.ts bounds the OUTPUT; these bound the INPUT,
- * which is the side an attacker controls.
+ * These bounds cap the input side an attacker controls.
  *
  * Both numbers are set against the 34 real programs this compiler is tested
  * on. The deepest nests 5 levels; the largest is 13,934 bytes.
@@ -16,7 +15,7 @@ export declare const HSX_LIMITS: Readonly<{
      * 12x the deepest real program and 144x below that measured crash.
      */
     maxNestingDepth: 64;
-    /** Matches `UDL_LIMITS.maxSourceBytes`. 18x the largest real program. */
+    /** 18x the largest real HSX program. */
     maxSourceBytes: number;
 }>;
 //# sourceMappingURL=limits.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"limits.d.ts","sourceRoot":"","sources":["../../src/limits.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,eAAO,MAAM,UAAU;IACrB;;;;;;;OAOG;;IAEH,yEAAyE;;EAEzE,CAAC"}
+{"version":3,"file":"limits.d.ts","sourceRoot":"","sources":["../../src/limits.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,eAAO,MAAM,UAAU;IACrB;;;;;;;OAOG;;IAEH,wCAAwC;;EAExC,CAAC"}

package/dist/src/limits.js

@@ -1,7 +1,6 @@
 /**
  * What the compiler refuses to read, as opposed to what it refuses to emit.
- * `MONEY_EVENT_BUDGET` in lower.ts bounds the OUTPUT; these bound the INPUT,
- * which is the side an attacker controls.
+ * These bounds cap the input side an attacker controls.
  *
  * Both numbers are set against the 34 real programs this compiler is tested
  * on. The deepest nests 5 levels; the largest is 13,934 bytes.
@@ -16,7 +15,7 @@ export const HSX_LIMITS = Object.freeze({
      * 12x the deepest real program and 144x below that measured crash.
      */
     maxNestingDepth: 64,
-    /** Matches `UDL_LIMITS.maxSourceBytes`. 18x the largest real program. */
+    /** 18x the largest real HSX program. */
     maxSourceBytes: 256 * 1_024,
 });
 //# sourceMappingURL=limits.js.map

package/dist/src/limits.js.map

@@ -1 +1 @@
-{"version":3,"file":"limits.js","sourceRoot":"","sources":["../../src/limits.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC;IACtC;;;;;;;OAOG;IACH,eAAe,EAAE,EAAE;IACnB,yEAAyE;IACzE,cAAc,EAAE,GAAG,GAAG,KAAK;CAC5B,CAAC,CAAC"}
+{"version":3,"file":"limits.js","sourceRoot":"","sources":["../../src/limits.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC;IACtC;;;;;;;OAOG;IACH,eAAe,EAAE,EAAE;IACnB,wCAAwC;IACxC,cAAc,EAAE,GAAG,GAAG,KAAK;CAC5B,CAAC,CAAC"}

package/dist/src/modules.d.ts

@@ -0,0 +1,36 @@
+import type { UdlDocument } from "@hyperscale0/udl";
+import type { Program } from "./ast.ts";
+export interface ModuleSource {
+    readonly name: string;
+    readonly source: string;
+}
+export interface HsxCompilerHost {
+    readonly moduleName?: string;
+    /** Published canonical UDL available to `use` declarations. */
+    readonly publishedCatalog?: UdlDocument;
+    readonly resolveModule?: (specifier: string, from: string) => ModuleSource | undefined;
+}
+export interface ModuleIssue {
+    readonly code: string;
+    readonly fix: string;
+    readonly message: string;
+    readonly span: {
+        readonly end: number;
+        readonly start: number;
+    };
+}
+export interface ModuleOrigin {
+    readonly column: number;
+    readonly line: number;
+    readonly moduleName: string;
+}
+export type ModuleResolution = {
+    readonly issues: readonly ModuleIssue[];
+    readonly ok: false;
+} | {
+    readonly ok: true;
+    readonly origins: ReadonlyMap<object, ModuleOrigin>;
+    readonly program: Program;
+};
+export declare function resolveProgramModules(program: Program, host?: HsxCompilerHost): ModuleResolution;
+//# sourceMappingURL=modules.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"modules.d.ts","sourceRoot":"","sources":["../../src/modules.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AACpD,OAAO,KAAK,EAMV,OAAO,EACR,MAAM,UAAU,CAAC;AAIlB,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,+DAA+D;IAC/D,QAAQ,CAAC,gBAAgB,CAAC,EAAE,WAAW,CAAC;IACxC,QAAQ,CAAC,aAAa,CAAC,EAAE,CACvB,SAAS,EAAE,MAAM,EACjB,IAAI,EAAE,MAAM,KACT,YAAY,GAAG,SAAS,CAAC;CAC/B;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE;QAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC;CACjE;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED,MAAM,MAAM,gBAAgB,GACxB;IAAE,QAAQ,CAAC,MAAM,EAAE,SAAS,WAAW,EAAE,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAA;CAAE,GAC/D;IACE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAClB,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IACpD,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;CAC3B,CAAC;AAIN,wBAAgB,qBAAqB,CACnC,OAAO,EAAE,OAAO,EAChB,IAAI,GAAE,eAAoB,GACzB,gBAAgB,CAqJlB"}