@hyperscale0/hsx 1.0.0-rc.1 → 1.0.123

package/dist/src/ast.js

@@ -1,48 +1,8 @@
-/**
- * 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;
-        }
-    }
-    return { column: clamped - lineStart + 1, line };
-}
-/** 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 };
-}
+export const lineColAt = (source, offset) => {
+    const before = source.slice(0, offset);
+    return {
+        line: before.split("\n").length,
+        column: offset - before.lastIndexOf("\n"),
+    };
+};
 //# 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,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":"AAuFA,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"}

package/dist/src/attachment-economics.d.ts

@@ -0,0 +1,5 @@
+import { type AttachmentPartyBinding, type UdlDocument, type UdlInstrument } from "@hyperscale0/udl";
+import type { Entry, Expr } from "./ast.ts";
+/** An attachment specializes its own instrument; imported definitions stay generic. */
+export declare function applyAttachmentEconomics(document: UdlDocument, instrument: UdlInstrument, parties: Record<string, AttachmentPartyBinding>, declarations: Entry[], data: (expression: Expr) => unknown): void;
+//# sourceMappingURL=attachment-economics.d.ts.map

package/dist/src/attachment-economics.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"attachment-economics.d.ts","sourceRoot":"","sources":["../../src/attachment-economics.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,KAAK,sBAAsB,EAE3B,KAAK,WAAW,EAChB,KAAK,aAAa,EACnB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,UAAU,CAAC;AAG5C,uFAAuF;AACvF,wBAAgB,wBAAwB,CACtC,QAAQ,EAAE,WAAW,EACrB,UAAU,EAAE,aAAa,EACzB,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,sBAAsB,CAAC,EAC/C,YAAY,EAAE,KAAK,EAAE,EACrB,IAAI,EAAE,CAAC,UAAU,EAAE,IAAI,KAAK,OAAO,GAClC,IAAI,CAoFN"}

package/dist/src/attachment-economics.js

@@ -0,0 +1,55 @@
+import { subjectPartyRoles, udlMoveSchema, } from "@hyperscale0/udl";
+import { fail } from "./diagnostics.js";
+/** An attachment specializes its own instrument; imported definitions stay generic. */
+export function applyAttachmentEconomics(document, instrument, parties, declarations, data) {
+    const selected = new Set();
+    for (const declaration of declarations) {
+        const selector = declaration.key.slice("economics ".length);
+        const [actionName, moveKey, extra] = selector.split(".");
+        const action = Object.hasOwn(instrument.actions, actionName)
+            ? instrument.actions[actionName]
+            : undefined;
+        if (!action)
+            fail(declaration, `unknown economics action ${actionName}`, `choose ${instrument.actionOrder.join(", ")}, before its public alias`);
+        const move = moveKey
+            ? action.moves.find((move) => move.key === moveKey)
+            : action.moves.length === 1
+                ? action.moves[0]
+                : undefined;
+        if (!move || extra)
+            fail(declaration, `economics ${selector} must select one money move`, action.moves.length
+                ? `choose ${action.moves.map((move) => `${actionName}.${move.key}`).join(", ")}`
+                : "choose an action that transfers or reserves money");
+        if (move.operation === "internal_transfer.void")
+            fail(declaration, `economics ${selector} cannot classify a void`, "declare the purpose on the reservation or its posting");
+        if (selected.has(move))
+            fail(declaration, `repeated economics for ${selector}`, "declare each money move's purpose once");
+        selected.add(move);
+        const parsed = udlMoveSchema.safeParse({
+            ...move,
+            economics: data(declaration.value),
+        });
+        if (!parsed.success || !parsed.data.economics)
+            fail(declaration, `invalid economics for ${selector}`, "declare purpose and sourceParty using the move economics fields");
+        const economics = parsed.data.economics;
+        if (move.economics &&
+            (move.economics.purpose !== economics.purpose ||
+                move.economics.sourceParty !== economics.sourceParty ||
+                move.economics.reversalOf !== economics.reversalOf))
+            fail(declaration, `economics ${selector} conflicts with the instrument's declared purpose`, "keep the instrument's economics or choose an unclassified move");
+        const source = economics.sourceParty;
+        const role = subjectPartyRoles.includes(source);
+        if (!role && document.parties[source]?.kind !== "business")
+            fail(declaration, `unknown economic source party ${source}`, "bind sourceParty to owner, actor, operator or a declared business");
+        if (!Object.values(parties).some((binding) => "role" in binding ? binding.role === source : binding.party === source)) {
+            let key = "economicSource";
+            for (let index = 2; Object.hasOwn(parties, key); index++)
+                key = `economicSource${index}`;
+            parties[key] = role
+                ? { role: source }
+                : { party: source };
+        }
+        move.economics = economics;
+    }
+}
+//# sourceMappingURL=attachment-economics.js.map

package/dist/src/attachment-economics.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"attachment-economics.js","sourceRoot":"","sources":["../../src/attachment-economics.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,iBAAiB,EACjB,aAAa,GAKd,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAExC,uFAAuF;AACvF,MAAM,UAAU,wBAAwB,CACtC,QAAqB,EACrB,UAAyB,EACzB,OAA+C,EAC/C,YAAqB,EACrB,IAAmC;IAEnC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,KAAK,MAAM,WAAW,IAAI,YAAY,EAAE,CAAC;QACvC,MAAM,QAAQ,GAAG,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;QAC5D,MAAM,CAAC,UAAU,EAAE,OAAO,EAAE,KAAK,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACzD,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,OAAO,EAAE,UAAW,CAAC;YAC3D,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,UAAW,CAAC;YACjC,CAAC,CAAC,SAAS,CAAC;QACd,IAAI,CAAC,MAAM;YACT,IAAI,CACF,WAAW,EACX,4BAA4B,UAAU,EAAE,EACxC,UAAU,UAAU,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,2BAA2B,CACvE,CAAC;QACJ,MAAM,IAAI,GAAG,OAAO;YAClB,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,KAAK,OAAO,CAAC;YACnD,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;gBACzB,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;gBACjB,CAAC,CAAC,SAAS,CAAC;QAChB,IAAI,CAAC,IAAI,IAAI,KAAK;YAChB,IAAI,CACF,WAAW,EACX,aAAa,QAAQ,6BAA6B,EAClD,MAAM,CAAC,KAAK,CAAC,MAAM;gBACjB,CAAC,CAAC,UAAU,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,UAAU,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;gBAChF,CAAC,CAAC,mDAAmD,CACxD,CAAC;QACJ,IAAI,IAAI,CAAC,SAAS,KAAK,wBAAwB;YAC7C,IAAI,CACF,WAAW,EACX,aAAa,QAAQ,yBAAyB,EAC9C,uDAAuD,CACxD,CAAC;QACJ,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC;YACpB,IAAI,CACF,WAAW,EACX,0BAA0B,QAAQ,EAAE,EACpC,wCAAwC,CACzC,CAAC;QACJ,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACnB,MAAM,MAAM,GAAG,aAAa,CAAC,SAAS,CAAC;YACrC,GAAG,IAAI;YACP,SAAS,EAAE,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC;SACnC,CAAC,CAAC;QACH,IAAI,CAAC,MAAM,CAAC,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS;YAC3C,IAAI,CACF,WAAW,EACX,yBAAyB,QAAQ,EAAE,EACnC,iEAAiE,CAClE,CAAC;QACJ,MAAM,SAAS,GAAG,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC;QACxC,IACE,IAAI,CAAC,SAAS;YACd,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,KAAK,SAAS,CAAC,OAAO;gBAC3C,IAAI,CAAC,SAAS,CAAC,WAAW,KAAK,SAAS,CAAC,WAAW;gBACpD,IAAI,CAAC,SAAS,CAAC,UAAU,KAAK,SAAS,CAAC,UAAU,CAAC;YAErD,IAAI,CACF,WAAW,EACX,aAAa,QAAQ,mDAAmD,EACxE,gEAAgE,CACjE,CAAC;QACJ,MAAM,MAAM,GAAG,SAAS,CAAC,WAAW,CAAC;QACrC,MAAM,IAAI,GAAG,iBAAiB,CAAC,QAAQ,CAAC,MAA0B,CAAC,CAAC;QACpE,IAAI,CAAC,IAAI,IAAI,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,IAAI,KAAK,UAAU;YACxD,IAAI,CACF,WAAW,EACX,iCAAiC,MAAM,EAAE,EACzC,mEAAmE,CACpE,CAAC;QACJ,IACE,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CACvC,MAAM,IAAI,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,KAAK,MAAM,CACvE,EACD,CAAC;YACD,IAAI,GAAG,GAAG,gBAAgB,CAAC;YAC3B,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE;gBACtD,GAAG,GAAG,iBAAiB,KAAK,EAAE,CAAC;YACjC,OAAO,CAAC,GAAG,CAAC,GAAG,IAAI;gBACjB,CAAC,CAAC,EAAE,IAAI,EAAE,MAA0B,EAAE;gBACtC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;QACxB,CAAC;QACD,IAAI,CAAC,SAAS,GAAG,SAAS,CAAC;IAC7B,CAAC;AACH,CAAC"}

package/dist/src/binding-contract.d.ts

@@ -0,0 +1,22 @@
+import type { Entry, InstrumentDecl } from "./ast.ts";
+export declare class BindingContractError extends Error {
+    readonly entry: Entry;
+    constructor(entry: Entry, message: string);
+}
+/** Conditional requirements are header data, independent of module names. */
+export declare function bindingDependencies(decl: InstrumentDecl): {
+    binding: string;
+    when: string;
+    is: string;
+    message: string;
+    fix: string;
+    span: import("./ast.ts").Span;
+}[];
+/** A header explains why a typed parameter cannot encode a proposed policy. */
+export declare function parameterDiagnostics(decl: InstrumentDecl): {
+    parameter: string;
+    accepts: string;
+    percentage: string;
+    fix: string;
+}[];
+//# sourceMappingURL=binding-contract.d.ts.map

package/dist/src/binding-contract.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"binding-contract.d.ts","sourceRoot":"","sources":["../../src/binding-contract.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAQ,cAAc,EAAE,MAAM,UAAU,CAAC;AAE5D,qBAAa,oBAAqB,SAAQ,KAAK;IAE3C,QAAQ,CAAC,KAAK,EAAE,KAAK;IADvB,YACW,KAAK,EAAE,KAAK,EACrB,OAAO,EAAE,MAAM,EAGhB;CACF;AAkDD,6EAA6E;AAC7E,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,cAAc;;;;;;;IA8BvD;AAED,+EAA+E;AAC/E,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,cAAc;;;;;IAUxD"}

package/dist/src/binding-contract.js

@@ -0,0 +1,74 @@
+export class BindingContractError extends Error {
+    entry;
+    constructor(entry, message) {
+        super(message);
+        this.entry = entry;
+    }
+}
+function rows(value) {
+    if (value.kind === "block")
+        return value.entries;
+    throw new BindingContractError({ key: "contract", value, span: value.span }, "Binding contract needs a block.");
+}
+function properties(entry, allowed) {
+    const result = new Map();
+    for (const slot of rows(entry.value)) {
+        if (!allowed.includes(slot.key) ||
+            result.has(slot.key) ||
+            (slot.value.kind !== "text" && slot.value.kind !== "name"))
+            throw new BindingContractError(slot, "Invalid binding contract property.");
+        result.set(slot.key, slot.value.value);
+    }
+    if (allowed.some((key) => !result.get(key)))
+        throw new BindingContractError(entry, `Binding contract needs ${allowed.join(", ")}.`);
+    return result;
+}
+function contractEntries(decl, name) {
+    const blocks = decl.body.entries.filter((entry) => entry.key === name);
+    if (blocks.length > 1)
+        throw new BindingContractError(blocks[1], `Duplicate ${name}.`);
+    const entries = blocks[0] ? rows(blocks[0].value) : [];
+    const seen = new Set();
+    for (const entry of entries) {
+        if (seen.has(entry.key) ||
+            !decl.parameters.some((parameter) => parameter.key === entry.key))
+            throw new BindingContractError(entry, "Binding contract must name each declared tunable once.");
+        seen.add(entry.key);
+    }
+    return entries;
+}
+/** Conditional requirements are header data, independent of module names. */
+export function bindingDependencies(decl) {
+    return contractEntries(decl, "dependencies").map((entry) => {
+        const values = properties(entry, ["selector", "is", "message", "fix"]);
+        const selector = decl.parameters.find((parameter) => parameter.key === values.get("selector"));
+        const type = selector?.value.kind === "default"
+            ? selector.value.type
+            : selector?.value;
+        if (type?.kind !== "call" ||
+            type.name !== "enum" ||
+            !type.args.some((arg) => arg.kind === "name" && arg.value === values.get("is")))
+            throw new BindingContractError(entry, "Dependency must select a declared enum choice.");
+        return {
+            binding: entry.key,
+            when: values.get("selector"),
+            is: values.get("is"),
+            message: values.get("message"),
+            fix: values.get("fix"),
+            span: entry.span,
+        };
+    });
+}
+/** A header explains why a typed parameter cannot encode a proposed policy. */
+export function parameterDiagnostics(decl) {
+    return contractEntries(decl, "parameterDiagnostics").map((entry) => {
+        const values = properties(entry, ["accepts", "percentage", "fix"]);
+        return {
+            parameter: entry.key,
+            accepts: values.get("accepts"),
+            percentage: values.get("percentage"),
+            fix: values.get("fix"),
+        };
+    });
+}
+//# sourceMappingURL=binding-contract.js.map

package/dist/src/binding-contract.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"binding-contract.js","sourceRoot":"","sources":["../../src/binding-contract.ts"],"names":[],"mappings":"AAEA,MAAM,OAAO,oBAAqB,SAAQ,KAAK;IAElC,KAAK;IADhB,YACW,KAAY,EACrB,OAAe;QAEf,KAAK,CAAC,OAAO,CAAC,CAAC;qBAHN,KAAK;IAIhB,CAAC;CACF;AAED,SAAS,IAAI,CAAC,KAAW;IACvB,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,KAAK,CAAC,OAAO,CAAC;IACjD,MAAM,IAAI,oBAAoB,CAC5B,EAAE,GAAG,EAAE,UAAU,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,EAC5C,iCAAiC,CAClC,CAAC;AACJ,CAAC;AACD,SAAS,UAAU,CAAC,KAAY,EAAE,OAAiB;IACjD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACzC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;QACrC,IACE,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC;YAC3B,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC;YACpB,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC;YAE1D,MAAM,IAAI,oBAAoB,CAC5B,IAAI,EACJ,oCAAoC,CACrC,CAAC;QACJ,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACzC,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACzC,MAAM,IAAI,oBAAoB,CAC5B,KAAK,EACL,0BAA0B,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAChD,CAAC;IACJ,OAAO,MAAM,CAAC;AAChB,CAAC;AACD,SAAS,eAAe,CAAC,IAAoB,EAAE,IAAY;IACzD,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,KAAK,IAAI,CAAC,CAAC;IACvE,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;QACnB,MAAM,IAAI,oBAAoB,CAAC,MAAM,CAAC,CAAC,CAAE,EAAE,aAAa,IAAI,GAAG,CAAC,CAAC;IACnE,MAAM,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACvD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,IACE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC;YACnB,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,KAAK,KAAK,CAAC,GAAG,CAAC;YAEjE,MAAM,IAAI,oBAAoB,CAC5B,KAAK,EACL,wDAAwD,CACzD,CAAC;QACJ,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACtB,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,6EAA6E;AAC7E,MAAM,UAAU,mBAAmB,CAAC,IAAoB;IACtD,OAAO,eAAe,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QACzD,MAAM,MAAM,GAAG,UAAU,CAAC,KAAK,EAAE,CAAC,UAAU,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC;QACvE,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CACnC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,KAAK,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,CACxD,CAAC;QACF,MAAM,IAAI,GACR,QAAQ,EAAE,KAAK,CAAC,IAAI,KAAK,SAAS;YAChC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI;YACrB,CAAC,CAAC,QAAQ,EAAE,KAAK,CAAC;QACtB,IACE,IAAI,EAAE,IAAI,KAAK,MAAM;YACrB,IAAI,CAAC,IAAI,KAAK,MAAM;YACpB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CACb,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,MAAM,IAAI,GAAG,CAAC,KAAK,KAAK,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAC/D;YAED,MAAM,IAAI,oBAAoB,CAC5B,KAAK,EACL,gDAAgD,CACjD,CAAC;QACJ,OAAO;YACL,OAAO,EAAE,KAAK,CAAC,GAAG;YAClB,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,UAAU,CAAE;YAC7B,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAE;YACrB,OAAO,EAAE,MAAM,CAAC,GAAG,CAAC,SAAS,CAAE;YAC/B,GAAG,EAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAE;YACvB,IAAI,EAAE,KAAK,CAAC,IAAI;SACjB,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,oBAAoB,CAAC,IAAoB;IACvD,OAAO,eAAe,CAAC,IAAI,EAAE,sBAAsB,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QACjE,MAAM,MAAM,GAAG,UAAU,CAAC,KAAK,EAAE,CAAC,SAAS,EAAE,YAAY,EAAE,KAAK,CAAC,CAAC,CAAC;QACnE,OAAO;YACL,SAAS,EAAE,KAAK,CAAC,GAAG;YACpB,OAAO,EAAE,MAAM,CAAC,GAAG,CAAC,SAAS,CAAE;YAC/B,UAAU,EAAE,MAAM,CAAC,GAAG,CAAC,YAAY,CAAE;YACrC,GAAG,EAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAE;SACxB,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC"}

package/dist/src/cli.d.ts

@@ -1,21 +1,8 @@
-/**
- * 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>;
+    out(line: string): void;
+    err(line: string): void;
+    readFile(path: string): Promise<string>;
+    writeFile(path: string, text: 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;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"}
+{"version":3,"file":"cli.d.ts","sourceRoot":"","sources":["../../src/cli.ts"],"names":[],"mappings":"AAkBA,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;CACtD;AACD,wBAAsB,MAAM,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,CAiF7E"}

package/dist/src/cli.js

@@ -1,273 +1,106 @@
-/**
- * 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.
- */
-import { fileURLToPath } from "node:url";
+import { existsSync, readFileSync } from "node:fs";
+import { readFile, writeFile } from "node:fs/promises";
+import { headerManifest } from "./headers.js";
 import { compile } from "./compile.js";
-import { hsxDiagnostics } from "./diagnostics.js";
 import { format } from "./format.js";
-import { HSX_TARGET_UDL_VERSION, HSX_VERSION } from "./version.js";
-/**
- * Exit codes. `warning` exits 0 because a lint note is not a failure; pass
- * `--strict` to make it one.
- */
-const OK = 0;
-const REFUSED = 1;
-const USAGE = 2;
-export const USAGE_TEXT = `hsx ${HSX_VERSION}, the HSX compiler
-
-Usage:
-  hsx check <file.hsx> [--strict]
-  hsx build <file.hsx> [--out <file.json>] [--strict]
-  hsx cost <file.hsx> [--json] [--out <file.json>] [--strict]
-  hsx explain <HSX####>
-  hsx format <file.hsx>
-  hsx --version
-  hsx --help
-
-Commands:
-  check   Compile and report diagnostics. Prints nothing when the program is clean.
-  build   Compile and write canonical UDL and its Business Frame as JSON.
-  cost    Compile and print the version-pinned cost manifest as a table or JSON.
-  explain Print one diagnostic title, fix, and source example.
-  format  Print the source in the one canonical HSX style.
-
-Options:
-  --json        Print the cost manifest as JSON instead of a table.
-  --out <file>  Write build or cost JSON to this path instead of stdout.
-  --strict      Treat warning-severity diagnostics as failures.
-
-Exit codes:
-  0  the program compiled (verdict valid, or warning without --strict)
-  1  the program was refused (verdict invalid, or warning with --strict)
-  2  the command line or the input file could not be used`;
-export async function runCli(argv, io) {
-    const [command, ...rest] = argv;
-    if (command === undefined || command === "--help" || command === "-h") {
-        io.out(USAGE_TEXT);
-        return command === undefined ? USAGE : OK;
-    }
-    if (command === "--version" || command === "-v") {
-        io.out(`${HSX_VERSION} (UDL version ${HSX_TARGET_UDL_VERSION})`);
-        return OK;
-    }
-    if (command === "explain")
-        return explainDiagnostic(rest, io);
-    if (command !== "check" &&
-        command !== "build" &&
-        command !== "cost" &&
-        command !== "format") {
-        io.err(`hsx: unknown command "${command}"`);
-        io.err(USAGE_TEXT);
-        return USAGE;
-    }
-    const parsed = parseOptions(rest, command);
-    if ("error" in parsed) {
-        io.err(`hsx: ${parsed.error}`);
-        return USAGE;
-    }
-    let source;
-    try {
-        source = await io.readFile(parsed.file);
-    }
-    catch (cause) {
-        io.err(`hsx: cannot read ${parsed.file}: ${messageOf(cause)}`);
-        return USAGE;
-    }
-    if (command === "format") {
-        const result = format(source);
-        if (!result.ok) {
-            for (const diagnostic of result.diagnostics) {
-                io.err(`${parsed.file}:1:1: error [parse] ${diagnostic.message}`);
-            }
-            return REFUSED;
+import { serializeUdl, UDL_FORMAT_VERSION } from "@hyperscale0/udl";
+const usage = "hsx build|format|cost <file> [--out path]\nhsx check <file>\nhsx headers --json";
+const standardLibrary = {
+    source: (header) => {
+        for (const base of ["../std/", "../../std/"]) {
+            const file = new URL(`${base}${header}.hsx`, import.meta.url);
+            if (existsSync(file))
+                return readFileSync(file, "utf8");
         }
-        io.out(result.formatted.trimEnd());
-        return OK;
-    }
-    let costTable;
-    try {
-        costTable = await readDefaultCostTable(io);
-    }
-    catch (cause) {
-        io.err(`hsx: cannot read the packaged cost table: ${messageOf(cause)}`);
-        return USAGE;
-    }
-    const result = compile(source, { costTable });
-    for (const line of diagnosticLines(parsed.file, result))
-        io.err(line);
-    const refused = result.verdict === "invalid" ||
-        (parsed.strict && result.verdict === "warning");
-    if (command === "check") {
-        return refused ? REFUSED : OK;
-    }
-    if (!result.artifacts)
-        return REFUSED;
-    if (command === "cost") {
-        const json = `${JSON.stringify(result.artifacts.costManifest, null, 2)}\n`;
-        if (parsed.out !== undefined) {
-            const writeCode = await writeOutput(parsed.out, json, io);
-            return writeCode === OK && refused ? REFUSED : writeCode;
+        return undefined;
+    },
+};
+export async function runCli(argv, io) {
+    const [command, file, ...options] = argv;
+    if (command === "headers") {
+        if (file !== "--json" || options.length) {
+            io.err("usage: hsx headers --json");
+            return 2;
         }
-        io.out(parsed.json
-            ? json.trimEnd()
-            : renderCostTable(result.artifacts.costManifest));
-        return refused ? REFUSED : OK;
-    }
-    const json = `${JSON.stringify({
-        document: result.artifacts.document,
-        frame: result.artifacts.frame,
-    }, null, 2)}\n`;
-    if (parsed.out === undefined) {
-        io.out(json.trimEnd());
-    }
-    else {
-        try {
-            await io.writeFile(parsed.out, json);
+        io.out(JSON.stringify(headerManifest(standardLibrary), null, 2));
+        return 0;
+    }
+    if (["--help", "help", "-h"].includes(command ?? "")) {
+        io.out(usage);
+        return 0;
+    }
+    if (command === "--version") {
+        // src/cli.ts in a checkout, dist/src/cli.js in the published package.
+        for (const base of ["../", "../../"]) {
+            const manifest = new URL(`${base}package.json`, import.meta.url);
+            if (!existsSync(manifest))
+                continue;
+            const { version } = JSON.parse(readFileSync(manifest, "utf8"));
+            io.out(`${version} (UDL ${UDL_FORMAT_VERSION})`);
+            return 0;
         }
-        catch (cause) {
-            io.err(`hsx: cannot write ${parsed.out}: ${messageOf(cause)}`);
-            return USAGE;
+        io.err("hsx: package.json not found");
+        return 1;
+    }
+    if (!command ||
+        !file ||
+        !["build", "check", "format", "cost"].includes(command)) {
+        io.err(`usage:\n${usage}`);
+        return 2;
+    }
+    let output;
+    for (let i = 0; i < options.length; i++) {
+        if (command !== "check" &&
+            options[i] === "--out" &&
+            options[i + 1] &&
+            !options[i + 1].startsWith("--") &&
+            output === undefined)
+            output = options[++i];
+        else {
+            io.err(`unknown option ${options[i]}`);
+            return 2;
         }
     }
-    return refused ? REFUSED : OK;
-}
-function parseOptions(args, command) {
-    let file;
-    let json = false;
-    let out;
-    let strict = false;
-    for (let index = 0; index < args.length; index += 1) {
-        const argument = args[index];
-        if (argument === "--strict") {
-            if (command === "format") {
-                return { error: "hsx format has no style options" };
-            }
-            strict = true;
-            continue;
-        }
-        if (argument === "--json") {
-            if (command !== "cost")
-                return { error: "--json belongs to hsx cost" };
-            json = true;
-            continue;
-        }
-        if (argument === "--out") {
-            if (command !== "build" && command !== "cost") {
-                return { error: "--out belongs to hsx build or hsx cost" };
-            }
-            const value = args[index + 1];
-            if (value === undefined || value.startsWith("--")) {
-                return { error: "--out needs a file path" };
+    try {
+        const source = await io.readFile(file);
+        let text;
+        if (command === "format") {
+            const result = format(source);
+            if (!result.ok) {
+                result.diagnostics.forEach((d) => io.err(`${file}: ${d.message}`));
+                return 1;
             }
-            out = value;
-            index += 1;
-            continue;
+            text = result.formatted;
         }
-        if (argument.startsWith("-")) {
-            return { error: `unknown option "${argument}"` };
+        else {
+            const result = compile(source, { standardLibrary });
+            for (const d of result.diagnostics)
+                io.err(`${d.source && d.source !== "program" ? d.source : file}:${d.line}:${d.column}: ${d.code} ${d.message}. ${d.fix}`);
+            if (!result.artifacts || result.verdict !== "valid")
+                return 1;
+            if (command === "check")
+                return 0;
+            text =
+                command === "cost"
+                    ? JSON.stringify(result.artifacts.costManifest, null, 2) + "\n"
+                    : serializeUdl(result.artifacts.document);
         }
-        if (file !== undefined) {
-            return { error: `hsx ${command} takes one file, got "${argument}" too` };
-        }
-        file = argument;
-    }
-    if (file === undefined)
-        return { error: `hsx ${command} needs a file` };
-    return { file, json, ...(out === undefined ? {} : { out }), strict };
-}
-function explainDiagnostic(args, io) {
-    if (args.length !== 1 || args[0]?.startsWith("-")) {
-        io.err("hsx: explain needs one diagnostic code");
-        return USAGE;
+        if (output)
+            await io.writeFile(output, text);
+        else
+            io.out(text.trimEnd());
+        return 0;
     }
-    const diagnostic = hsxDiagnostics.find(({ code }) => code === args[0]);
-    if (!diagnostic) {
-        io.err(`hsx: unknown diagnostic code ${args[0]}`);
-        return USAGE;
+    catch (error) {
+        io.err(error instanceof Error ? error.message : String(error));
+        return 2;
     }
-    io.out([
-        `${diagnostic.code} ${diagnostic.title}`,
-        `Stage: ${diagnostic.stage}`,
-        `Fix: ${diagnostic.fix}`,
-        diagnostic.example === null
-            ? "Example: unavailable from source alone"
-            : `Example:\n${diagnostic.example}`,
-    ].join("\n"));
-    return OK;
-}
-function renderCostTable(manifest) {
-    const rows = [
-        `costTableVersion\t${manifest.costTableVersion}`,
-        "instrument.action\teffect\tunit\tcount\ttotal\tpayer",
-    ];
-    for (const action of manifest.actions) {
-        for (const component of action.components) {
-            const fixed = BigInt(component.perEventMinor) * BigInt(component.count);
-            const unit = [
-                `${component.perEventMinor} ${manifest.currency} minor`,
-                component.bps > 0 ? `${component.bps} bps` : undefined,
-            ]
-                .filter((part) => part !== undefined)
-                .join(" + ");
-            const total = component.bps === 0
-                ? `${fixed} ${manifest.currency} minor`
-                : [
-                    fixed === 0n ? undefined : `${fixed} ${manifest.currency} minor`,
-                    `amount-dependent (${component.bps} bps)`,
-                ]
-                    .filter((part) => part !== undefined)
-                    .join(" + ");
-            rows.push([
-                `${action.instrument}.${action.action}`,
-                component.signature,
-                unit,
-                component.count,
-                total,
-                component.payer,
-            ].join("\t"));
-        }
-    }
-    return rows.join("\n");
-}
-async function writeOutput(path, contents, io) {
-    try {
-        await io.writeFile(path, contents);
-    }
-    catch (cause) {
-        io.err(`hsx: cannot write ${path}: ${messageOf(cause)}`);
-        return USAGE;
-    }
-    return OK;
-}
-async function readDefaultCostTable(io) {
-    const candidates = [
-        fileURLToPath(new URL("../examples/cost-table.json", import.meta.url)),
-        fileURLToPath(new URL("../../examples/cost-table.json", import.meta.url)),
-    ];
-    let lastError;
-    for (const path of candidates) {
-        try {
-            return JSON.parse(await io.readFile(path));
-        }
-        catch (cause) {
-            lastError = cause;
-        }
-    }
-    throw lastError;
-}
-/** `file:line:col: severity [stage] message`, the shape editors already parse. */
-function diagnosticLines(file, result) {
-    return result.diagnostics.map((diagnostic) => `${diagnostic.file ?? file}:${diagnostic.line}:${diagnostic.column}: ${diagnostic.severity} [${diagnostic.stage}] ${diagnostic.message}`);
-}
-function messageOf(cause) {
-    return cause instanceof Error ? cause.message : String(cause);
 }
+if (import.meta.main)
+    process.exitCode = await runCli(process.argv.slice(2), {
+        out: (line) => process.stdout.write(line + "\n"),
+        err: (line) => process.stderr.write(line + "\n"),
+        readFile: (path) => readFile(path, "utf8"),
+        writeFile: (path, text) => writeFile(path, text, "utf8"),
+    });
 //# sourceMappingURL=cli.js.map