@hyperscale0/hsx 1.0.0-rc.1 → 1.0.123

package/dist/src/entry-overrides.js

@@ -1,284 +0,0 @@
-/**
- * Data-driven replacement of existing settlement entries. This is not syntax:
- * callers select a slot that already exists in the parsed program, replace its
- * literal value, then run the ordinary general compiler again.
- */
-function percentRaw(bps) {
-    const whole = Math.floor(bps / 100);
-    const fraction = bps % 100;
-    return fraction === 0
-        ? `${whole}`
-        : `${whole}.${String(fraction).padStart(2, "0").replace(/0$/, "")}`;
-}
-function durationMagnitude(value) {
-    const match = /^P([1-9][0-9]{0,3})([DWMY])$/.exec(value);
-    if (!match)
-        return undefined;
-    const amount = Number(match[1]);
-    switch (match[2]) {
-        case "D":
-            return { amount, family: "days" };
-        case "W":
-            return { amount: amount * 7, family: "days" };
-        case "M":
-            return { amount, family: "months" };
-        case "Y":
-            return { amount: amount * 12, family: "months" };
-        default:
-            return undefined;
-    }
-}
-function replacementExpr(current, value) {
-    if (value.kind === "integer") {
-        return current.kind === "number"
-            ? {
-                expr: {
-                    kind: "number",
-                    raw: String(value.value),
-                    span: current.span,
-                },
-            }
-            : { issue: "target is not an integer literal" };
-    }
-    if (value.kind === "basis_points") {
-        return current.kind === "percent"
-            ? {
-                expr: {
-                    bps: value.value,
-                    kind: "percent",
-                    raw: percentRaw(value.value),
-                    span: current.span,
-                },
-            }
-            : { issue: "target is not a percentage literal" };
-    }
-    if (value.kind === "duration") {
-        return current.kind === "ident" && durationMagnitude(current.name)
-            ? {
-                expr: { kind: "ident", name: value.value, span: current.span },
-            }
-            : { issue: "target is not an ISO-8601 duration literal" };
-    }
-    if (current.kind !== "binding" ||
-        current.type.kind !== "call" ||
-        current.type.callee.name !== "money" ||
-        current.type.args.length !== 2 ||
-        current.type.args[0]?.kind !== "ident" ||
-        current.type.args[1]?.kind !== "number") {
-        return { issue: "target is not a fixed money literal" };
-    }
-    if (current.type.args[0].name !== value.currency) {
-        return {
-            issue: `target currency ${current.type.args[0].name} does not match ${value.currency}`,
-        };
-    }
-    return {
-        expr: {
-            ...current,
-            type: {
-                ...current.type,
-                args: [
-                    current.type.args[0],
-                    {
-                        kind: "number",
-                        raw: String(value.value),
-                        span: current.type.args[1].span,
-                    },
-                ],
-            },
-        },
-    };
-}
-function selectedEntry(block, path) {
-    const [head, ...tail] = path;
-    const matches = block.entries
-        .map((entry, index) => ({ entry, index }))
-        .filter(({ entry }) => entry.key.name === head);
-    if (matches.length === 0)
-        return { issue: `entry ${head} does not exist` };
-    if (matches.length === 1)
-        return { match: matches[0], tail };
-    const occurrence = Number(tail[0]);
-    if (!Number.isInteger(occurrence) || occurrence < 0) {
-        return { issue: `entry ${head} is ambiguous` };
-    }
-    const match = matches[occurrence];
-    return match
-        ? { match, tail: tail.slice(1) }
-        : { issue: `entry ${head} occurrence ${occurrence} does not exist` };
-}
-function replaceEntry(block, path, value) {
-    const selected = selectedEntry(block, path);
-    if (!("match" in selected))
-        return selected;
-    const { match, tail } = selected;
-    let nextEntry;
-    if (tail.length === 0) {
-        const replacement = replacementExpr(match.entry.value, value);
-        if (!replacement.expr)
-            return replacement;
-        nextEntry = {
-            ...match.entry,
-            value: replacement.expr,
-        };
-    }
-    else if (tail.length === 1 &&
-        tail[0] === "within" &&
-        match.entry.value.kind === "port_ref" &&
-        match.entry.value.within) {
-        const replacement = replacementExpr(match.entry.value.within, value);
-        if (!replacement.expr || replacement.expr.kind !== "ident") {
-            return replacement;
-        }
-        nextEntry = {
-            ...match.entry,
-            value: { ...match.entry.value, within: replacement.expr },
-        };
-    }
-    else {
-        if (match.entry.value.kind !== "block") {
-            return { issue: `entry ${match.entry.key.name} is not a block` };
-        }
-        const nested = replaceEntry(match.entry.value, tail, value);
-        if (!nested.block)
-            return nested;
-        nextEntry = { ...match.entry, value: nested.block };
-    }
-    return {
-        block: {
-            ...block,
-            entries: block.entries.map((entry, index) => index === match.index ? nextEntry : entry),
-        },
-    };
-}
-function settlementByName(program, name) {
-    return program.decls.find((decl) => decl.kind === "instrument_apply" && decl.name.name === name);
-}
-function applicationBody(settlement) {
-    return {
-        entries: settlement.application.args.flatMap((argument) => argument.kind === "binding"
-            ? [
-                {
-                    key: argument.name,
-                    qualifiers: [],
-                    span: argument.span,
-                    value: argument.type,
-                },
-            ]
-            : []),
-        kind: "block",
-        span: settlement.application.span,
-    };
-}
-function validateOverride(override) {
-    const { max, min } = override.bounds;
-    if (override.value.kind === "duration") {
-        if (typeof min !== "string" || typeof max !== "string") {
-            return issue(override, "invalid_bounds", "duration bounds must be ISO-8601 durations");
-        }
-        const minDuration = durationMagnitude(min);
-        const maxDuration = durationMagnitude(max);
-        if (!minDuration ||
-            !maxDuration ||
-            minDuration.family !== maxDuration.family ||
-            minDuration.amount > maxDuration.amount) {
-            return issue(override, "invalid_bounds", `duration bounds ${min}..${max} must be valid, comparable, and ordered`);
-        }
-        const value = durationMagnitude(override.value.value);
-        if (!value ||
-            value.family !== minDuration.family ||
-            value.amount < minDuration.amount ||
-            value.amount > maxDuration.amount) {
-            return issue(override, "invalid_value", `override value ${override.value.value} is outside ${min}..${max}`);
-        }
-        return undefined;
-    }
-    if (typeof min !== "number" || typeof max !== "number") {
-        return issue(override, "invalid_bounds", "numeric bounds must be finite nonnegative integers");
-    }
-    if (!Number.isFinite(min) ||
-        !Number.isInteger(min) ||
-        min < 0 ||
-        !Number.isFinite(max) ||
-        !Number.isInteger(max) ||
-        max < min) {
-        return issue(override, "invalid_bounds", `override bounds ${min}..${max} must be finite nonnegative integers with min at most max`);
-    }
-    const { value } = override.value;
-    if (!Number.isFinite(value) || !Number.isInteger(value) || value < 0) {
-        return issue(override, "invalid_value", `override value ${value} must be a finite nonnegative integer`);
-    }
-    if (value < min || value > max) {
-        return issue(override, "invalid_value", `override value ${value} is outside ${min}..${max}`);
-    }
-    if (override.value.kind === "money") {
-        const boundsCurrency = "currency" in override.bounds ? override.bounds.currency : undefined;
-        if (!boundsCurrency || boundsCurrency !== override.value.currency) {
-            return issue(override, "invalid_bounds", `money bounds must use currency ${override.value.currency}`);
-        }
-    }
-}
-function issue(override, code, message) {
-    return {
-        code,
-        message,
-        path: override.path,
-        settlement: override.settlement,
-    };
-}
-/**
- * Applies every override atomically. A missing or non-literal slot returns
- * issues and no program, so callers never lower a partially configured shape.
- */
-export function overrideProgramEntries(program, overrides) {
-    let current = program;
-    const issues = [];
-    for (const override of overrides) {
-        const validationIssue = validateOverride(override);
-        if (validationIssue) {
-            issues.push(validationIssue);
-            continue;
-        }
-        const settlement = settlementByName(current, override.settlement);
-        if (!settlement) {
-            issues.push({
-                code: "missing_settlement",
-                message: `settlement ${override.settlement} does not exist`,
-                path: override.path,
-                settlement: override.settlement,
-            });
-            continue;
-        }
-        const replaced = replaceEntry(applicationBody(settlement), override.path, override.value);
-        if (!replaced.block) {
-            issues.push({
-                code: "invalid_target",
-                message: replaced.issue ?? "entry override failed",
-                path: override.path,
-                settlement: override.settlement,
-            });
-            continue;
-        }
-        current = {
-            ...current,
-            decls: current.decls.map((decl) => decl === settlement
-                ? {
-                    ...settlement,
-                    application: {
-                        ...settlement.application,
-                        args: replaced.block.entries.map((entry) => ({
-                            kind: "binding",
-                            name: entry.key,
-                            span: entry.span,
-                            type: entry.value,
-                        })),
-                    },
-                }
-                : decl),
-        };
-    }
-    return issues.length > 0
-        ? { issues, ok: false }
-        : { ok: true, program: current };
-}
-//# sourceMappingURL=entry-overrides.js.map

package/dist/src/entry-overrides.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"entry-overrides.js","sourceRoot":"","sources":["../../src/entry-overrides.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AA0DH,SAAS,UAAU,CAAC,GAAW;IAC7B,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,GAAG,GAAG,CAAC,CAAC;IACpC,MAAM,QAAQ,GAAG,GAAG,GAAG,GAAG,CAAC;IAC3B,OAAO,QAAQ,KAAK,CAAC;QACnB,CAAC,CAAC,GAAG,KAAK,EAAE;QACZ,CAAC,CAAC,GAAG,KAAK,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC;AACxE,CAAC;AAED,SAAS,iBAAiB,CACxB,KAAa;IAEb,MAAM,KAAK,GAAG,8BAA8B,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzD,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAC7B,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAChC,QAAQ,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;QACjB,KAAK,GAAG;YACN,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;QACpC,KAAK,GAAG;YACN,OAAO,EAAE,MAAM,EAAE,MAAM,GAAG,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;QAChD,KAAK,GAAG;YACN,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;QACtC,KAAK,GAAG;YACN,OAAO,EAAE,MAAM,EAAE,MAAM,GAAG,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;QACnD;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC;AAED,SAAS,eAAe,CACtB,OAAa,EACb,KAAgC;IAEhC,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC7B,OAAO,OAAO,CAAC,IAAI,KAAK,QAAQ;YAC9B,CAAC,CAAC;gBACE,IAAI,EAAE;oBACJ,IAAI,EAAE,QAAQ;oBACd,GAAG,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC;oBACxB,IAAI,EAAE,OAAO,CAAC,IAAI;iBACnB;aACF;YACH,CAAC,CAAC,EAAE,KAAK,EAAE,kCAAkC,EAAE,CAAC;IACpD,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;QAClC,OAAO,OAAO,CAAC,IAAI,KAAK,SAAS;YAC/B,CAAC,CAAC;gBACE,IAAI,EAAE;oBACJ,GAAG,EAAE,KAAK,CAAC,KAAK;oBAChB,IAAI,EAAE,SAAS;oBACf,GAAG,EAAE,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC;oBAC5B,IAAI,EAAE,OAAO,CAAC,IAAI;iBACnB;aACF;YACH,CAAC,CAAC,EAAE,KAAK,EAAE,oCAAoC,EAAE,CAAC;IACtD,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC9B,OAAO,OAAO,CAAC,IAAI,KAAK,OAAO,IAAI,iBAAiB,CAAC,OAAO,CAAC,IAAI,CAAC;YAChE,CAAC,CAAC;gBACE,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE;aAC/D;YACH,CAAC,CAAC,EAAE,KAAK,EAAE,4CAA4C,EAAE,CAAC;IAC9D,CAAC;IACD,IACE,OAAO,CAAC,IAAI,KAAK,SAAS;QAC1B,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;QAC5B,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,OAAO;QACpC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;QAC9B,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,OAAO;QACtC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,QAAQ,EACvC,CAAC;QACD,OAAO,EAAE,KAAK,EAAE,qCAAqC,EAAE,CAAC;IAC1D,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,QAAQ,EAAE,CAAC;QACjD,OAAO;YACL,KAAK,EAAE,mBAAmB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,mBAAmB,KAAK,CAAC,QAAQ,EAAE;SACvF,CAAC;IACJ,CAAC;IACD,OAAO;QACL,IAAI,EAAE;YACJ,GAAG,OAAO;YACV,IAAI,EAAE;gBACJ,GAAG,OAAO,CAAC,IAAI;gBACf,IAAI,EAAE;oBACJ,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;oBACpB;wBACE,IAAI,EAAE,QAAQ;wBACd,GAAG,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC;wBACxB,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI;qBAChC;iBACF;aACF;SACF;KACF,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CACpB,KAAgB,EAChB,IAAuB;IAOvB,MAAM,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC;IAC7B,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO;SAC1B,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;SACzC,MAAM,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;IAClD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,KAAK,EAAE,SAAS,IAAI,iBAAiB,EAAE,CAAC;IAC3E,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAE,EAAE,IAAI,EAAE,CAAC;IAC9D,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IACnC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,IAAI,UAAU,GAAG,CAAC,EAAE,CAAC;QACpD,OAAO,EAAE,KAAK,EAAE,SAAS,IAAI,eAAe,EAAE,CAAC;IACjD,CAAC;IACD,MAAM,KAAK,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;IAClC,OAAO,KAAK;QACV,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE;QAChC,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,IAAI,eAAe,UAAU,iBAAiB,EAAE,CAAC;AACzE,CAAC;AAED,SAAS,YAAY,CACnB,KAAgB,EAChB,IAAuB,EACvB,KAAgC;IAEhC,MAAM,QAAQ,GAAG,aAAa,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAC5C,IAAI,CAAC,CAAC,OAAO,IAAI,QAAQ,CAAC;QAAE,OAAO,QAAQ,CAAC;IAC5C,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,QAAQ,CAAC;IACjC,IAAI,SAAgB,CAAC;IACrB,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtB,MAAM,WAAW,GAAG,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAC9D,IAAI,CAAC,WAAW,CAAC,IAAI;YAAE,OAAO,WAAW,CAAC;QAC1C,SAAS,GAAG;YACV,GAAG,KAAK,CAAC,KAAK;YACd,KAAK,EAAE,WAAW,CAAC,IAAI;SACxB,CAAC;IACJ,CAAC;SAAM,IACL,IAAI,CAAC,MAAM,KAAK,CAAC;QACjB,IAAI,CAAC,CAAC,CAAC,KAAK,QAAQ;QACpB,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU;QACrC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,EACxB,CAAC;QACD,MAAM,WAAW,GAAG,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACrE,IAAI,CAAC,WAAW,CAAC,IAAI,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC3D,OAAO,WAAW,CAAC;QACrB,CAAC;QACD,SAAS,GAAG;YACV,GAAG,KAAK,CAAC,KAAK;YACd,KAAK,EAAE,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,WAAW,CAAC,IAAI,EAAE;SAC1D,CAAC;IACJ,CAAC;SAAM,CAAC;QACN,IAAI,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YACvC,OAAO,EAAE,KAAK,EAAE,SAAS,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,iBAAiB,EAAE,CAAC;QACnE,CAAC;QACD,MAAM,MAAM,GAAG,YAAY,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;QAC5D,IAAI,CAAC,MAAM,CAAC,KAAK;YAAE,OAAO,MAAM,CAAC;QACjC,SAAS,GAAG,EAAE,GAAG,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC;IACtD,CAAC;IAED,OAAO;QACL,KAAK,EAAE;YACL,GAAG,KAAK;YACR,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAC1C,KAAK,KAAK,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAC1C;SACF;KACF,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CACvB,OAAgB,EAChB,IAAY;IAEZ,OAAO,OAAO,CAAC,KAAK,CAAC,IAAI,CACvB,CAAC,IAAI,EAA+B,EAAE,CACpC,IAAI,CAAC,IAAI,KAAK,kBAAkB,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAC9D,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CAAC,UAA+B;IACtD,OAAO;QACL,OAAO,EAAE,UAAU,CAAC,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE,CACxD,QAAQ,CAAC,IAAI,KAAK,SAAS;YACzB,CAAC,CAAC;gBACE;oBACE,GAAG,EAAE,QAAQ,CAAC,IAAI;oBAClB,UAAU,EAAE,EAAE;oBACd,IAAI,EAAE,QAAQ,CAAC,IAAI;oBACnB,KAAK,EAAE,QAAQ,CAAC,IAAI;iBACrB;aACF;YACH,CAAC,CAAC,EAAE,CACP;QACD,IAAI,EAAE,OAAO;QACb,IAAI,EAAE,UAAU,CAAC,WAAW,CAAC,IAAI;KAClC,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CACvB,QAA8B;IAE9B,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,QAAQ,CAAC,MAAM,CAAC;IACrC,IAAI,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QACvC,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;YACvD,OAAO,KAAK,CACV,QAAQ,EACR,gBAAgB,EAChB,4CAA4C,CAC7C,CAAC;QACJ,CAAC;QACD,MAAM,WAAW,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC;QAC3C,MAAM,WAAW,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC;QAC3C,IACE,CAAC,WAAW;YACZ,CAAC,WAAW;YACZ,WAAW,CAAC,MAAM,KAAK,WAAW,CAAC,MAAM;YACzC,WAAW,CAAC,MAAM,GAAG,WAAW,CAAC,MAAM,EACvC,CAAC;YACD,OAAO,KAAK,CACV,QAAQ,EACR,gBAAgB,EAChB,mBAAmB,GAAG,KAAK,GAAG,yCAAyC,CACxE,CAAC;QACJ,CAAC;QACD,MAAM,KAAK,GAAG,iBAAiB,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACtD,IACE,CAAC,KAAK;YACN,KAAK,CAAC,MAAM,KAAK,WAAW,CAAC,MAAM;YACnC,KAAK,CAAC,MAAM,GAAG,WAAW,CAAC,MAAM;YACjC,KAAK,CAAC,MAAM,GAAG,WAAW,CAAC,MAAM,EACjC,CAAC;YACD,OAAO,KAAK,CACV,QAAQ,EACR,eAAe,EACf,kBAAkB,QAAQ,CAAC,KAAK,CAAC,KAAK,eAAe,GAAG,KAAK,GAAG,EAAE,CACnE,CAAC;QACJ,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;QACvD,OAAO,KAAK,CACV,QAAQ,EACR,gBAAgB,EAChB,oDAAoD,CACrD,CAAC;IACJ,CAAC;IACD,IACE,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC;QACrB,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC;QACtB,GAAG,GAAG,CAAC;QACP,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC;QACrB,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC;QACtB,GAAG,GAAG,GAAG,EACT,CAAC;QACD,OAAO,KAAK,CACV,QAAQ,EACR,gBAAgB,EAChB,mBAAmB,GAAG,KAAK,GAAG,2DAA2D,CAC1F,CAAC;IACJ,CAAC;IAED,MAAM,EAAE,KAAK,EAAE,GAAG,QAAQ,CAAC,KAAK,CAAC;IACjC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;QACrE,OAAO,KAAK,CACV,QAAQ,EACR,eAAe,EACf,kBAAkB,KAAK,uCAAuC,CAC/D,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,GAAG,GAAG,IAAI,KAAK,GAAG,GAAG,EAAE,CAAC;QAC/B,OAAO,KAAK,CACV,QAAQ,EACR,eAAe,EACf,kBAAkB,KAAK,eAAe,GAAG,KAAK,GAAG,EAAE,CACpD,CAAC;IACJ,CAAC;IACD,IAAI,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACpC,MAAM,cAAc,GAClB,UAAU,IAAI,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;QACvE,IAAI,CAAC,cAAc,IAAI,cAAc,KAAK,QAAQ,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;YAClE,OAAO,KAAK,CACV,QAAQ,EACR,gBAAgB,EAChB,kCAAkC,QAAQ,CAAC,KAAK,CAAC,QAAQ,EAAE,CAC5D,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,KAAK,CACZ,QAA8B,EAC9B,IAAuC,EACvC,OAAe;IAEf,OAAO;QACL,IAAI;QACJ,OAAO;QACP,IAAI,EAAE,QAAQ,CAAC,IAAI;QACnB,UAAU,EAAE,QAAQ,CAAC,UAAU;KAChC,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,sBAAsB,CACpC,OAAgB,EAChB,SAA0C;IAE1C,IAAI,OAAO,GAAG,OAAO,CAAC;IACtB,MAAM,MAAM,GAAgC,EAAE,CAAC;IAC/C,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QACjC,MAAM,eAAe,GAAG,gBAAgB,CAAC,QAAQ,CAAC,CAAC;QACnD,IAAI,eAAe,EAAE,CAAC;YACpB,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;YAC7B,SAAS;QACX,CAAC;QACD,MAAM,UAAU,GAAG,gBAAgB,CAAC,OAAO,EAAE,QAAQ,CAAC,UAAU,CAAC,CAAC;QAClE,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,oBAAoB;gBAC1B,OAAO,EAAE,cAAc,QAAQ,CAAC,UAAU,iBAAiB;gBAC3D,IAAI,EAAE,QAAQ,CAAC,IAAI;gBACnB,UAAU,EAAE,QAAQ,CAAC,UAAU;aAChC,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,MAAM,QAAQ,GAAG,YAAY,CAC3B,eAAe,CAAC,UAAU,CAAC,EAC3B,QAAQ,CAAC,IAAI,EACb,QAAQ,CAAC,KAAK,CACf,CAAC;QACF,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC;YACpB,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,gBAAgB;gBACtB,OAAO,EAAE,QAAQ,CAAC,KAAK,IAAI,uBAAuB;gBAClD,IAAI,EAAE,QAAQ,CAAC,IAAI;gBACnB,UAAU,EAAE,QAAQ,CAAC,UAAU;aAChC,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,OAAO,GAAG;YACR,GAAG,OAAO;YACV,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAChC,IAAI,KAAK,UAAU;gBACjB,CAAC,CAAC;oBACE,GAAG,UAAU;oBACb,WAAW,EAAE;wBACX,GAAG,UAAU,CAAC,WAAW;wBACzB,IAAI,EAAE,QAAQ,CAAC,KAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;4BAC5C,IAAI,EAAE,SAAkB;4BACxB,IAAI,EAAE,KAAK,CAAC,GAAG;4BACf,IAAI,EAAE,KAAK,CAAC,IAAI;4BAChB,IAAI,EAAE,KAAK,CAAC,KAAK;yBAClB,CAAC,CAAC;qBACJ;iBACF;gBACH,CAAC,CAAC,IAAI,CACT;SACF,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,GAAG,CAAC;QACtB,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE;QACvB,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;AACrC,CAAC"}

package/dist/src/ir.d.ts

@@ -1,66 +0,0 @@
-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

@@ -1 +0,0 @@
-{"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

@@ -1,15 +0,0 @@
-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

@@ -1 +0,0 @@
-{"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/limits.d.ts

@@ -1,21 +0,0 @@
-/**
- * What the compiler refuses to read, as opposed to what it refuses to emit.
- * 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.
- */
-export declare const HSX_LIMITS: Readonly<{
-    /**
-     * How deep the recursive-descent productions may nest. Measured on this
-     * machine, the parser exhausted the call stack at 9,217 nested blocks and
-     * threw a RangeError out of `compile`, which SECURITY.md promises never
-     * happens. The crash point moves with whatever stack the process has left,
-     * so the ceiling is declared here instead of discovered at runtime. 64 is
-     * 12x the deepest real program and 144x below that measured crash.
-     */
-    maxNestingDepth: 64;
-    /** 18x the largest real HSX program. */
-    maxSourceBytes: number;
-}>;
-//# sourceMappingURL=limits.d.ts.map

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

@@ -1 +0,0 @@
-{"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,21 +0,0 @@
-/**
- * What the compiler refuses to read, as opposed to what it refuses to emit.
- * 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.
- */
-export const HSX_LIMITS = Object.freeze({
-    /**
-     * How deep the recursive-descent productions may nest. Measured on this
-     * machine, the parser exhausted the call stack at 9,217 nested blocks and
-     * threw a RangeError out of `compile`, which SECURITY.md promises never
-     * happens. The crash point moves with whatever stack the process has left,
-     * so the ceiling is declared here instead of discovered at runtime. 64 is
-     * 12x the deepest real program and 144x below that measured crash.
-     */
-    maxNestingDepth: 64,
-    /** 18x the largest real HSX program. */
-    maxSourceBytes: 256 * 1_024,
-});
-//# sourceMappingURL=limits.js.map

package/dist/src/limits.js.map

@@ -1 +0,0 @@
-{"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

@@ -1,36 +0,0 @@
-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

@@ -1 +0,0 @@
-{"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"}