@hyperscale0/hsx 1.0.342 → 1.0.347

package/dist/src/checks.js

@@ -0,0 +1,240 @@
+import { didYouMean, fail } from "./diagnostics.js";
+// Statement keywords cannot name a customer, since a step opens with its actor.
+const reserved = new Set(["customer", "clock", "object", "close", "expect"]);
+/** The Product pool's balance name. */
+const operator = "operator";
+/**
+ * Lowers every check against the compiled document. A name the document does
+ * not declare fails at the step that wrote it.
+ */
+export function lowerChecks(checks, document, literal) {
+    const seen = new Set();
+    return checks.map((check) => {
+        if (seen.has(check.name))
+            fail(check, `check "${check.name}" is declared twice`, "rename one");
+        seen.add(check.name);
+        return lowerCheck(check, document, literal);
+    });
+}
+function lowerCheck(check, document, literal) {
+    const customers = [];
+    const bindings = {};
+    const steps = [];
+    const objects = new Map();
+    const remembered = new Set();
+    let final = undefined;
+    const known = (named, names, what, fix) => {
+        const list = [...names];
+        if (!list.includes(named.name))
+            fail(named, `${what} ${named.name} is not declared.${didYouMean(named.name, list)}`, fix);
+        return named.name;
+    };
+    const customer = (named) => known(named, customers.map((c) => c.id), "customer", `declare customer ${named.name} "Name" before this step`);
+    const money = (expr) => {
+        if (expr.kind !== "money")
+            fail(expr, "expected an amount", "write an amount such as 100 SAR");
+        return literal(expr);
+    };
+    const balanceNames = () => [operator, ...customers.map((c) => c.id)];
+    const balanceFix = `name a customer or ${operator}`;
+    const balances = (block) => Object.fromEntries(block.entries.map((entry) => [
+        known({ name: entry.key, span: entry.span }, balanceNames(), "balance", balanceFix),
+        money(entry.value),
+    ]));
+    const value = (expr) => {
+        if (expr.kind === "list")
+            return expr.items.map(value);
+        if (expr.kind === "block")
+            return Object.fromEntries(expr.entries.map((entry) => [entry.key, value(entry.value)]));
+        if (expr.kind === "call" && ["agreement", "object"].includes(expr.name)) {
+            const [arg] = expr.args;
+            if (expr.args.length !== 1 || arg?.kind !== "name")
+                fail(expr, `${expr.name} takes one name`, `write ${expr.name}(name)`);
+            const name = { name: arg.value, span: arg.span };
+            if (expr.name === "agreement")
+                known(name, remembered, "agreement", "remember it on an earlier step");
+            else
+                known(name, objects.keys(), "object", "create it on an earlier step");
+            return `$${expr.name}:${arg.value}`;
+        }
+        return literal(expr);
+    };
+    const values = (block) => value(block);
+    const instruments = (object) => {
+        const declared = document.objects.find((o) => o.id === object);
+        const ids = new Set(declared.attachments.map((a) => a.instrument));
+        return document.instruments.filter((i) => ids.has(i.id));
+    };
+    for (const statement of check.statements) {
+        if (final)
+            fail(statement, "expect closes a check", "move this step before expect");
+        const expected = statement.balances
+            ? { expected: balances(statement.balances) }
+            : {};
+        switch (statement.kind) {
+            case "customer": {
+                const { id } = statement;
+                if (reserved.has(id.name) || id.name === operator)
+                    fail(id, `${id.name} cannot name a customer`, "pick another name");
+                if (customers.some((c) => c.id === id.name))
+                    fail(id, `customer ${id.name} is declared twice`, "rename one");
+                if (steps.length)
+                    fail(statement, "customers come before steps", "move it up");
+                customers.push({
+                    id: id.name,
+                    name: statement.title,
+                    ...(statement.organization ? { kind: "organization" } : {}),
+                    ...(statement.fund ? { fund: money(statement.fund) } : {}),
+                });
+                for (const party of statement.binds) {
+                    const declared = Object.keys(document.parties);
+                    known(party, declared, "party", "bind a party the program declares");
+                    if (party.name in bindings)
+                        fail(party, `party ${party.name} is bound twice`, "bind it once");
+                    bindings[party.name] = id.name;
+                }
+                break;
+            }
+            case "clock": {
+                const at = statement.at;
+                if (at.kind !== "date")
+                    fail(at, "a clock step needs a date", "write clock 2031-04-01");
+                const until = statement.until;
+                let waitFor;
+                if (until) {
+                    const object = known(until.object, objects.keys(), "object", "create it on an earlier step");
+                    const kind = objects.get(object);
+                    const declared = document.objects.find((o) => o.id === kind);
+                    if (until.attachment)
+                        known(until.attachment, declared.attachments.map((a) => a.name), `${kind} attachment`, `name an attachment of object ${kind}`);
+                    known(until.state, instruments(kind).flatMap((i) => i.lifecycle.states), "state", `name a lifecycle state on object ${kind}`);
+                    waitFor = {
+                        object,
+                        ...(until.recordPath ? { recordPath: until.recordPath } : {}),
+                        state: until.state.name,
+                        ...(until.attachment ? { attachment: until.attachment.name } : {}),
+                    };
+                }
+                steps.push({
+                    kind: "clock",
+                    at: literal(at),
+                    ...(waitFor ? { waitFor } : {}),
+                    ...expected,
+                });
+                break;
+            }
+            case "object": {
+                const { id } = statement;
+                if (objects.has(id.name))
+                    fail(id, `object ${id.name} is created twice`, "rename one");
+                const kind = known(statement.objectKind, document.objects.map((o) => o.id), "object kind", "name an object the program declares");
+                const owner = customer(statement.owner);
+                const fieldNames = document.objects
+                    .find((o) => o.id === kind)
+                    .fields.map((f) => f.name);
+                for (const entry of statement.fields?.entries ?? [])
+                    known({ name: entry.key, span: entry.span }, fieldNames, `${kind} field`, `name a field of object ${kind}`);
+                objects.set(id.name, kind);
+                steps.push({
+                    kind: "object",
+                    id: id.name,
+                    objectKind: kind,
+                    owner,
+                    ...(statement.fields ? { fields: values(statement.fields) } : {}),
+                    ...expected,
+                });
+                break;
+            }
+            case "action": {
+                const object = known(statement.object, objects.keys(), "object", "create it on an earlier step");
+                const kind = objects.get(object);
+                const exposing = instruments(kind).filter((i) => Object.values(i.actions).some((a) => a.publicAction === statement.action.name));
+                known(statement.action, exposing.length
+                    ? [statement.action.name]
+                    : instruments(kind).flatMap((i) => Object.values(i.actions).flatMap((a) => a.publicAction ? [a.publicAction] : [])), `${kind} action`, `name an action object ${kind} exposes`);
+                const actor = statement.actor && customer(statement.actor);
+                if (statement.state)
+                    known(statement.state, exposing.flatMap((i) => i.lifecycle.states), "state", `name a state ${statement.action.name} can reach`);
+                let status;
+                if (statement.status) {
+                    const raw = statement.status;
+                    status =
+                        raw.kind === "name" && raw.value === "absent"
+                            ? "absent"
+                            : raw.kind === "number" && /^[45]\d\d$/.test(raw.value)
+                                ? Number(raw.value)
+                                : fail(raw, "expected a refusal", "write status 409 or absent");
+                }
+                const instance = statement.instance &&
+                    known(statement.instance, remembered, "agreement", "remember it on an earlier step");
+                const input = statement.input && values(statement.input);
+                const fields = statement.fields && values(statement.fields);
+                if (statement.remember) {
+                    if (remembered.has(statement.remember.name))
+                        fail(statement.remember, "remembered twice", "rename one");
+                    remembered.add(statement.remember.name);
+                }
+                steps.push({
+                    kind: "action",
+                    object,
+                    action: statement.action.name,
+                    ...(actor ? { actor } : {}),
+                    ...(input ? { input } : {}),
+                    ...(fields ? { fields } : {}),
+                    ...(statement.state ? { state: statement.state.name } : {}),
+                    ...(status !== undefined ? { status } : {}),
+                    ...(statement.code ? { code: statement.code } : {}),
+                    ...(statement.remember ? { remember: statement.remember.name } : {}),
+                    ...(instance ? { instance } : {}),
+                    ...expected,
+                });
+                break;
+            }
+            case "close":
+                steps.push({
+                    kind: "close",
+                    customer: customer(statement.customer),
+                    ...expected,
+                });
+                break;
+            case "expect": {
+                if (!steps.length)
+                    fail(statement, "a check needs a step", "add a step before expect");
+                if (!statement.balances)
+                    fail(statement, "expect needs balances", "write expect balances { }");
+                final = {
+                    expected: balances(statement.balances),
+                    ...(statement.held ? { expectedHeld: money(statement.held) } : {}),
+                    ...(statement.pending
+                        ? {
+                            pending: Object.fromEntries(statement.pending.entries.map((entry) => {
+                                const name = { name: entry.key, span: entry.span };
+                                if (entry.value.kind !== "block")
+                                    fail(entry, "expected balances", "write name { }");
+                                const fields = entry.value.entries.map((field) => [
+                                    field.key,
+                                    money(field.value),
+                                ]);
+                                return [
+                                    known(name, balanceNames(), "balance", balanceFix),
+                                    Object.fromEntries(fields),
+                                ];
+                            })),
+                        }
+                        : {}),
+                };
+                break;
+            }
+        }
+    }
+    if (!final)
+        fail(check, "a check ends with expect", "write expect balances { }");
+    return {
+        name: check.name,
+        customers,
+        ...(Object.keys(bindings).length ? { bindings } : {}),
+        steps,
+        ...final,
+    };
+}
+//# sourceMappingURL=checks.js.map

package/dist/src/checks.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"checks.js","sourceRoot":"","sources":["../../src/checks.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAuDpD,gFAAgF;AAChF,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC;AAC7E,uCAAuC;AACvC,MAAM,QAAQ,GAAG,UAAU,CAAC;AAE5B;;;GAGG;AACH,MAAM,UAAU,WAAW,CACzB,MAA4B,EAC5B,QAAqB,EACrB,OAAkD;IAElD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QAC1B,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;YACtB,IAAI,CAAC,KAAK,EAAE,UAAU,KAAK,CAAC,IAAI,qBAAqB,EAAE,YAAY,CAAC,CAAC;QACvE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACrB,OAAO,UAAU,CAAC,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,UAAU,CACjB,KAAgB,EAChB,QAAqB,EACrB,OAAkD;IAElD,MAAM,SAAS,GAA+B,EAAE,CAAC;IACjD,MAAM,QAAQ,GAA2B,EAAE,CAAC;IAC5C,MAAM,KAAK,GAAwB,EAAE,CAAC;IACtC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC1C,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IACrC,IAAI,KAAK,GACP,SAAU,CAAC;IACb,MAAM,KAAK,GAAG,CACZ,KAAY,EACZ,KAAuB,EACvB,IAAY,EACZ,GAAW,EACX,EAAE;QACF,MAAM,IAAI,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC;QACxB,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC;YAC5B,IAAI,CACF,KAAK,EACL,GAAG,IAAI,IAAI,KAAK,CAAC,IAAI,oBAAoB,UAAU,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EACvE,GAAG,CACJ,CAAC;QACJ,OAAO,KAAK,CAAC,IAAI,CAAC;IACpB,CAAC,CAAC;IACF,MAAM,QAAQ,GAAG,CAAC,KAAY,EAAE,EAAE,CAChC,KAAK,CACH,KAAK,EACL,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAC1B,UAAU,EACV,oBAAoB,KAAK,CAAC,IAAI,0BAA0B,CACzD,CAAC;IACJ,MAAM,KAAK,GAAG,CAAC,IAAU,EAAE,EAAE;QAC3B,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;YACvB,IAAI,CAAC,IAAI,EAAE,oBAAoB,EAAE,iCAAiC,CAAC,CAAC;QACtE,OAAO,OAAO,CAAC,IAAI,CAAW,CAAC;IACjC,CAAC,CAAC;IACF,MAAM,YAAY,GAAG,GAAG,EAAE,CAAC,CAAC,QAAQ,EAAE,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACrE,MAAM,UAAU,GAAG,sBAAsB,QAAQ,EAAE,CAAC;IACpD,MAAM,QAAQ,GAAG,CAAC,KAAgB,EAAE,EAAE,CACpC,MAAM,CAAC,WAAW,CAChB,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC;QAC3B,KAAK,CACH,EAAE,IAAI,EAAE,KAAK,CAAC,GAAG,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,EACrC,YAAY,EAAE,EACd,SAAS,EACT,UAAU,CACX;QACD,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC;KACnB,CAAC,CACH,CAAC;IACJ,MAAM,KAAK,GAAG,CAAC,IAAU,EAAW,EAAE;QACpC,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;YAAE,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACvD,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;YACvB,OAAO,MAAM,CAAC,WAAW,CACvB,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAC7D,CAAC;QACJ,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACxE,MAAM,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC;YACxB,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,GAAG,EAAE,IAAI,KAAK,MAAM;gBAChD,IAAI,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,IAAI,iBAAiB,EAAE,SAAS,IAAI,CAAC,IAAI,QAAQ,CAAC,CAAC;YACxE,MAAM,IAAI,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC;YACjD,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;gBAC3B,KAAK,CAAC,IAAI,EAAE,UAAU,EAAE,WAAW,EAAE,gCAAgC,CAAC,CAAC;;gBAEvE,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,EAAE,QAAQ,EAAE,8BAA8B,CAAC,CAAC;YACxE,OAAO,IAAI,IAAI,CAAC,IAAI,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC;QACtC,CAAC;QACD,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC;IACvB,CAAC,CAAC;IACF,MAAM,MAAM,GAAG,CAAC,KAAgB,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAW,CAAC;IAC5D,MAAM,WAAW,GAAG,CAAC,MAAc,EAAE,EAAE;QACrC,MAAM,QAAQ,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,MAAM,CAAE,CAAC;QAChE,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;QACnE,OAAO,QAAQ,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC3D,CAAC,CAAC;IACF,KAAK,MAAM,SAAS,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;QACzC,IAAI,KAAK;YACP,IAAI,CAAC,SAAS,EAAE,uBAAuB,EAAE,8BAA8B,CAAC,CAAC;QAC3E,MAAM,QAAQ,GAAG,SAAS,CAAC,QAAQ;YACjC,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE;YAC5C,CAAC,CAAC,EAAE,CAAC;QACP,QAAQ,SAAS,CAAC,IAAI,EAAE,CAAC;YACvB,KAAK,UAAU,EAAE,CAAC;gBAChB,MAAM,EAAE,EAAE,EAAE,GAAG,SAAS,CAAC;gBACzB,IAAI,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ;oBAC/C,IAAI,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,IAAI,yBAAyB,EAAE,mBAAmB,CAAC,CAAC;gBACrE,IAAI,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,IAAI,CAAC;oBACzC,IAAI,CAAC,EAAE,EAAE,YAAY,EAAE,CAAC,IAAI,oBAAoB,EAAE,YAAY,CAAC,CAAC;gBAClE,IAAI,KAAK,CAAC,MAAM;oBACd,IAAI,CAAC,SAAS,EAAE,6BAA6B,EAAE,YAAY,CAAC,CAAC;gBAC/D,SAAS,CAAC,IAAI,CAAC;oBACb,EAAE,EAAE,EAAE,CAAC,IAAI;oBACX,IAAI,EAAE,SAAS,CAAC,KAAK;oBACrB,GAAG,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,cAAuB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBACpE,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;iBAC3D,CAAC,CAAC;gBACH,KAAK,MAAM,KAAK,IAAI,SAAS,CAAC,KAAK,EAAE,CAAC;oBACpC,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;oBAC/C,KAAK,CAAC,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,mCAAmC,CAAC,CAAC;oBACrE,IAAI,KAAK,CAAC,IAAI,IAAI,QAAQ;wBACxB,IAAI,CAAC,KAAK,EAAE,SAAS,KAAK,CAAC,IAAI,iBAAiB,EAAE,cAAc,CAAC,CAAC;oBACpE,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC;gBACjC,CAAC;gBACD,MAAM;YACR,CAAC;YACD,KAAK,OAAO,EAAE,CAAC;gBACb,MAAM,EAAE,GAAG,SAAS,CAAC,EAAE,CAAC;gBACxB,IAAI,EAAE,CAAC,IAAI,KAAK,MAAM;oBACpB,IAAI,CAAC,EAAE,EAAE,2BAA2B,EAAE,wBAAwB,CAAC,CAAC;gBAClE,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC;gBAC9B,IAAI,OAAiE,CAAC;gBACtE,IAAI,KAAK,EAAE,CAAC;oBACV,MAAM,MAAM,GAAG,KAAK,CAClB,KAAK,CAAC,MAAM,EACZ,OAAO,CAAC,IAAI,EAAE,EACd,QAAQ,EACR,8BAA8B,CAC/B,CAAC;oBACF,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,CAAE,CAAC;oBAClC,MAAM,QAAQ,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,CAAE,CAAC;oBAC9D,IAAI,KAAK,CAAC,UAAU;wBAClB,KAAK,CACH,KAAK,CAAC,UAAU,EAChB,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EACvC,GAAG,IAAI,aAAa,EACpB,gCAAgC,IAAI,EAAE,CACvC,CAAC;oBACJ,KAAK,CACH,KAAK,CAAC,KAAK,EACX,WAAW,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,EACpD,OAAO,EACP,oCAAoC,IAAI,EAAE,CAC3C,CAAC;oBACF,OAAO,GAAG;wBACR,MAAM;wBACN,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,KAAK,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;wBAC7D,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI;wBACvB,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;qBACnE,CAAC;gBACJ,CAAC;gBACD,KAAK,CAAC,IAAI,CAAC;oBACT,IAAI,EAAE,OAAO;oBACb,EAAE,EAAE,OAAO,CAAC,EAAE,CAAW;oBACzB,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC/B,GAAG,QAAQ;iBACZ,CAAC,CAAC;gBACH,MAAM;YACR,CAAC;YACD,KAAK,QAAQ,EAAE,CAAC;gBACd,MAAM,EAAE,EAAE,EAAE,GAAG,SAAS,CAAC;gBACzB,IAAI,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC;oBACtB,IAAI,CAAC,EAAE,EAAE,UAAU,EAAE,CAAC,IAAI,mBAAmB,EAAE,YAAY,CAAC,CAAC;gBAC/D,MAAM,IAAI,GAAG,KAAK,CAChB,SAAS,CAAC,UAAU,EACpB,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EACjC,aAAa,EACb,qCAAqC,CACtC,CAAC;gBACF,MAAM,KAAK,GAAG,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;gBACxC,MAAM,UAAU,GAAG,QAAQ,CAAC,OAAO;qBAChC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,CAAE;qBAC3B,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBAC7B,KAAK,MAAM,KAAK,IAAI,SAAS,CAAC,MAAM,EAAE,OAAO,IAAI,EAAE;oBACjD,KAAK,CACH,EAAE,IAAI,EAAE,KAAK,CAAC,GAAG,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,EACrC,UAAU,EACV,GAAG,IAAI,QAAQ,EACf,0BAA0B,IAAI,EAAE,CACjC,CAAC;gBACJ,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;gBAC3B,KAAK,CAAC,IAAI,CAAC;oBACT,IAAI,EAAE,QAAQ;oBACd,EAAE,EAAE,EAAE,CAAC,IAAI;oBACX,UAAU,EAAE,IAAI;oBAChB,KAAK;oBACL,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBACjE,GAAG,QAAQ;iBACZ,CAAC,CAAC;gBACH,MAAM;YACR,CAAC;YACD,KAAK,QAAQ,EAAE,CAAC;gBACd,MAAM,MAAM,GAAG,KAAK,CAClB,SAAS,CAAC,MAAM,EAChB,OAAO,CAAC,IAAI,EAAE,EACd,QAAQ,EACR,8BAA8B,CAC/B,CAAC;gBACF,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,CAAE,CAAC;gBAClC,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAC9C,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAC3B,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,KAAK,SAAS,CAAC,MAAM,CAAC,IAAI,CAChD,CACF,CAAC;gBACF,KAAK,CACH,SAAS,CAAC,MAAM,EAChB,QAAQ,CAAC,MAAM;oBACb,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC;oBACzB,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAC9B,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CACrC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,EAAE,CACvC,CACF,EACL,GAAG,IAAI,SAAS,EAChB,yBAAyB,IAAI,UAAU,CACxC,CAAC;gBACF,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,IAAI,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;gBAC3D,IAAI,SAAS,CAAC,KAAK;oBACjB,KAAK,CACH,SAAS,CAAC,KAAK,EACf,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,EAC3C,OAAO,EACP,gBAAgB,SAAS,CAAC,MAAM,CAAC,IAAI,YAAY,CAClD,CAAC;gBACJ,IAAI,MAAqC,CAAC;gBAC1C,IAAI,SAAS,CAAC,MAAM,EAAE,CAAC;oBACrB,MAAM,GAAG,GAAG,SAAS,CAAC,MAAM,CAAC;oBAC7B,MAAM;wBACJ,GAAG,CAAC,IAAI,KAAK,MAAM,IAAI,GAAG,CAAC,KAAK,KAAK,QAAQ;4BAC3C,CAAC,CAAC,QAAQ;4BACV,CAAC,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;gCACrD,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC;gCACnB,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,oBAAoB,EAAE,4BAA4B,CAAC,CAAC;gBACxE,CAAC;gBACD,MAAM,QAAQ,GACZ,SAAS,CAAC,QAAQ;oBAClB,KAAK,CACH,SAAS,CAAC,QAAQ,EAClB,UAAU,EACV,WAAW,EACX,gCAAgC,CACjC,CAAC;gBACJ,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,IAAI,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;gBACzD,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,IAAI,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;gBAC5D,IAAI,SAAS,CAAC,QAAQ,EAAE,CAAC;oBACvB,IAAI,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC;wBACzC,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,kBAAkB,EAAE,YAAY,CAAC,CAAC;oBAC7D,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;gBAC1C,CAAC;gBACD,KAAK,CAAC,IAAI,CAAC;oBACT,IAAI,EAAE,QAAQ;oBACd,MAAM;oBACN,MAAM,EAAE,SAAS,CAAC,MAAM,CAAC,IAAI;oBAC7B,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC3B,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC3B,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC7B,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC3D,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC3C,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBACnD,GAAG,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,SAAS,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBACpE,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBACjC,GAAG,QAAQ;iBACZ,CAAC,CAAC;gBACH,MAAM;YACR,CAAC;YACD,KAAK,OAAO;gBACV,KAAK,CAAC,IAAI,CAAC;oBACT,IAAI,EAAE,OAAO;oBACb,QAAQ,EAAE,QAAQ,CAAC,SAAS,CAAC,QAAQ,CAAC;oBACtC,GAAG,QAAQ;iBACZ,CAAC,CAAC;gBACH,MAAM;YACR,KAAK,QAAQ,EAAE,CAAC;gBACd,IAAI,CAAC,KAAK,CAAC,MAAM;oBACf,IAAI,CAAC,SAAS,EAAE,sBAAsB,EAAE,0BAA0B,CAAC,CAAC;gBACtE,IAAI,CAAC,SAAS,CAAC,QAAQ;oBACrB,IAAI,CAAC,SAAS,EAAE,uBAAuB,EAAE,2BAA2B,CAAC,CAAC;gBACxE,KAAK,GAAG;oBACN,QAAQ,EAAE,QAAQ,CAAC,SAAS,CAAC,QAAQ,CAAC;oBACtC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBAClE,GAAG,CAAC,SAAS,CAAC,OAAO;wBACnB,CAAC,CAAC;4BACE,OAAO,EAAE,MAAM,CAAC,WAAW,CACzB,SAAS,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;gCACtC,MAAM,IAAI,GAAG,EAAE,IAAI,EAAE,KAAK,CAAC,GAAG,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC;gCACnD,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO;oCAC9B,IAAI,CAAC,KAAK,EAAE,mBAAmB,EAAE,gBAAgB,CAAC,CAAC;gCACrD,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC;oCAChD,KAAK,CAAC,GAAG;oCACT,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC;iCACnB,CAAC,CAAC;gCACH,OAAO;oCACL,KAAK,CAAC,IAAI,EAAE,YAAY,EAAE,EAAE,SAAS,EAAE,UAAU,CAAC;oCAClD,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC;iCAC3B,CAAC;4BACJ,CAAC,CAAC,CACH;yBACF;wBACH,CAAC,CAAC,EAAE,CAAC;iBACR,CAAC;gBACF,MAAM;YACR,CAAC;QACH,CAAC;IACH,CAAC;IACD,IAAI,CAAC,KAAK;QACR,IAAI,CAAC,KAAK,EAAE,0BAA0B,EAAE,2BAA2B,CAAC,CAAC;IACvE,OAAO;QACL,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,SAAS;QACT,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACrD,KAAK;QACL,GAAG,KAAK;KACT,CAAC;AACJ,CAAC"}

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

@@ -1 +1 @@
-{"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"}
+{"version":3,"file":"cli.d.ts","sourceRoot":"","sources":["../../src/cli.ts"],"names":[],"mappings":"AASA,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,CAuE7E"}

package/dist/src/cli.js

@@ -1,20 +1,10 @@
-import { existsSync, readFileSync } from "node:fs";
 import { readFile, writeFile } from "node:fs/promises";
 import { headerManifest } from "./headers.js";
 import { compile } from "./compile.js";
 import { format } from "./format.js";
-import { serializeUdl, UDL_FORMAT_VERSION } from "@hyperscale0/udl";
+import { serializeUdl } from "@hyperscale0/udl";
+import { defaultToolchain } from "./toolchain.js";
 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");
-        }
-        return undefined;
-    },
-};
 export async function runCli(argv, io) {
     const [command, file, ...options] = argv;
     if (command === "headers") {
@@ -22,7 +12,7 @@ export async function runCli(argv, io) {
             io.err("usage: hsx headers --json");
             return 2;
         }
-        io.out(JSON.stringify(headerManifest(standardLibrary), null, 2));
+        io.out(JSON.stringify(headerManifest(), null, 2));
         return 0;
     }
     if (["--help", "help", "-h"].includes(command ?? "")) {
@@ -30,17 +20,8 @@ export async function runCli(argv, io) {
         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;
-        }
-        io.err("hsx: package.json not found");
-        return 1;
+        io.out(`${defaultToolchain.hsx} (UDL ${defaultToolchain.udl})`);
+        return 0;
     }
     if (!command ||
         !file ||
@@ -73,7 +54,7 @@ export async function runCli(argv, io) {
             text = result.formatted;
         }
         else {
-            const result = compile(source, { standardLibrary });
+            const result = compile(source, defaultToolchain);
             for (const d of [...result.diagnostics, ...result.warnings])
                 io.err(`${d.source && d.source !== "program" ? d.source : file}:${d.line}:${d.column}: ${d.severity === "warning" ? "warning " : ""}${d.code} ${d.message.replace(/[^.?!]$/, "$&.")} ${d.fix}`);
             if (!result.artifacts || result.verdict !== "valid")

package/dist/src/cli.js.map

@@ -1 +1 @@
-{"version":3,"file":"cli.js","sourceRoot":"","sources":["../../src/cli.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACnD,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AACvD,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AACvC,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,OAAO,EAAE,YAAY,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAC;AACpE,MAAM,KAAK,GACT,iFAAiF,CAAC;AACpF,MAAM,eAAe,GAAG;IACtB,MAAM,EAAE,CAAC,MAAc,EAAE,EAAE;QACzB,KAAK,MAAM,IAAI,IAAI,CAAC,SAAS,EAAE,YAAY,CAAC,EAAE,CAAC;YAC7C,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,GAAG,IAAI,GAAG,MAAM,MAAM,EAAE,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC;YAC9D,IAAI,UAAU,CAAC,IAAI,CAAC;gBAAE,OAAO,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAC1D,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;CACF,CAAC;AAQF,MAAM,CAAC,KAAK,UAAU,MAAM,CAAC,IAAuB,EAAE,EAAM;IAC1D,MAAM,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,OAAO,CAAC,GAAG,IAAI,CAAC;IACzC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,IAAI,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;YACxC,EAAE,CAAC,GAAG,CAAC,2BAA2B,CAAC,CAAC;YACpC,OAAO,CAAC,CAAC;QACX,CAAC;QACD,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,cAAc,CAAC,eAAe,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QACjE,OAAO,CAAC,CAAC;IACX,CAAC;IACD,IAAI,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,OAAO,IAAI,EAAE,CAAC,EAAE,CAAC;QACrD,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACd,OAAO,CAAC,CAAC;IACX,CAAC;IACD,IAAI,OAAO,KAAK,WAAW,EAAE,CAAC;QAC5B,sEAAsE;QACtE,KAAK,MAAM,IAAI,IAAI,CAAC,KAAK,EAAE,QAAQ,CAAC,EAAE,CAAC;YACrC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,GAAG,IAAI,cAAc,EAAE,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC;YACjE,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC;gBAAE,SAAS;YACpC,MAAM,EAAE,OAAO,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,QAAQ,EAAE,MAAM,CAAC,CAE5D,CAAC;YACF,EAAE,CAAC,GAAG,CAAC,GAAG,OAAO,SAAS,kBAAkB,GAAG,CAAC,CAAC;YACjD,OAAO,CAAC,CAAC;QACX,CAAC;QACD,EAAE,CAAC,GAAG,CAAC,6BAA6B,CAAC,CAAC;QACtC,OAAO,CAAC,CAAC;IACX,CAAC;IACD,IACE,CAAC,OAAO;QACR,CAAC,IAAI;QACL,CAAC,CAAC,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,EACvD,CAAC;QACD,EAAE,CAAC,GAAG,CAAC,WAAW,KAAK,EAAE,CAAC,CAAC;QAC3B,OAAO,CAAC,CAAC;IACX,CAAC;IACD,IAAI,MAA0B,CAAC;IAC/B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACxC,IACE,OAAO,KAAK,OAAO;YACnB,OAAO,CAAC,CAAC,CAAC,KAAK,OAAO;YACtB,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC;YACd,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC,UAAU,CAAC,IAAI,CAAC;YACjC,MAAM,KAAK,SAAS;YAEpB,MAAM,GAAG,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC;aACnB,CAAC;YACJ,EAAE,CAAC,GAAG,CAAC,kBAAkB,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACvC,OAAO,CAAC,CAAC;QACX,CAAC;IACH,CAAC;IACD,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACvC,IAAI,IAAY,CAAC;QACjB,IAAI,OAAO,KAAK,QAAQ,EAAE,CAAC;YACzB,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;YAC9B,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;gBACf,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,IAAI,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;gBACnE,OAAO,CAAC,CAAC;YACX,CAAC;YACD,IAAI,GAAG,MAAM,CAAC,SAAS,CAAC;QAC1B,CAAC;aAAM,CAAC;YACN,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE,EAAE,eAAe,EAAE,CAAC,CAAC;YACpD,KAAK,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,WAAW,EAAE,GAAG,MAAM,CAAC,QAAQ,CAAC;gBACzD,EAAE,CAAC,GAAG,CACJ,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,CACxL,CAAC;YACJ,IAAI,CAAC,MAAM,CAAC,SAAS,IAAI,MAAM,CAAC,OAAO,KAAK,OAAO;gBAAE,OAAO,CAAC,CAAC;YAC9D,IAAI,OAAO,KAAK,OAAO;gBAAE,OAAO,CAAC,CAAC;YAClC,IAAI;gBACF,OAAO,KAAK,MAAM;oBAChB,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,SAAS,CAAC,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,IAAI;oBAC/D,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;QAChD,CAAC;QACD,IAAI,MAAM;YAAE,MAAM,EAAE,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;;YACxC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;QAC5B,OAAO,CAAC,CAAC;IACX,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,EAAE,CAAC,GAAG,CAAC,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;QAC/D,OAAO,CAAC,CAAC;IACX,CAAC;AACH,CAAC;AAED,IAAI,OAAO,IAAI,CAAC,IAAI;IAClB,OAAO,CAAC,QAAQ,GAAG,MAAM,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE;QACrD,GAAG,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,GAAG,IAAI,CAAC;QAChD,GAAG,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,GAAG,IAAI,CAAC;QAChD,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QAC1C,SAAS,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC;KACzD,CAAC,CAAC"}
+{"version":3,"file":"cli.js","sourceRoot":"","sources":["../../src/cli.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AACvD,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AACvC,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAChD,OAAO,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAClD,MAAM,KAAK,GACT,iFAAiF,CAAC;AAQpF,MAAM,CAAC,KAAK,UAAU,MAAM,CAAC,IAAuB,EAAE,EAAM;IAC1D,MAAM,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,OAAO,CAAC,GAAG,IAAI,CAAC;IACzC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,IAAI,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;YACxC,EAAE,CAAC,GAAG,CAAC,2BAA2B,CAAC,CAAC;YACpC,OAAO,CAAC,CAAC;QACX,CAAC;QACD,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,cAAc,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QAClD,OAAO,CAAC,CAAC;IACX,CAAC;IACD,IAAI,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,OAAO,IAAI,EAAE,CAAC,EAAE,CAAC;QACrD,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACd,OAAO,CAAC,CAAC;IACX,CAAC;IACD,IAAI,OAAO,KAAK,WAAW,EAAE,CAAC;QAC5B,EAAE,CAAC,GAAG,CAAC,GAAG,gBAAgB,CAAC,GAAG,SAAS,gBAAgB,CAAC,GAAG,GAAG,CAAC,CAAC;QAChE,OAAO,CAAC,CAAC;IACX,CAAC;IACD,IACE,CAAC,OAAO;QACR,CAAC,IAAI;QACL,CAAC,CAAC,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,EACvD,CAAC;QACD,EAAE,CAAC,GAAG,CAAC,WAAW,KAAK,EAAE,CAAC,CAAC;QAC3B,OAAO,CAAC,CAAC;IACX,CAAC;IACD,IAAI,MAA0B,CAAC;IAC/B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACxC,IACE,OAAO,KAAK,OAAO;YACnB,OAAO,CAAC,CAAC,CAAC,KAAK,OAAO;YACtB,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC;YACd,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC,UAAU,CAAC,IAAI,CAAC;YACjC,MAAM,KAAK,SAAS;YAEpB,MAAM,GAAG,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC;aACnB,CAAC;YACJ,EAAE,CAAC,GAAG,CAAC,kBAAkB,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACvC,OAAO,CAAC,CAAC;QACX,CAAC;IACH,CAAC;IACD,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACvC,IAAI,IAAY,CAAC;QACjB,IAAI,OAAO,KAAK,QAAQ,EAAE,CAAC;YACzB,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;YAC9B,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;gBACf,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,IAAI,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;gBACnE,OAAO,CAAC,CAAC;YACX,CAAC;YACD,IAAI,GAAG,MAAM,CAAC,SAAS,CAAC;QAC1B,CAAC;aAAM,CAAC;YACN,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;YACjD,KAAK,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,WAAW,EAAE,GAAG,MAAM,CAAC,QAAQ,CAAC;gBACzD,EAAE,CAAC,GAAG,CACJ,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,CACxL,CAAC;YACJ,IAAI,CAAC,MAAM,CAAC,SAAS,IAAI,MAAM,CAAC,OAAO,KAAK,OAAO;gBAAE,OAAO,CAAC,CAAC;YAC9D,IAAI,OAAO,KAAK,OAAO;gBAAE,OAAO,CAAC,CAAC;YAClC,IAAI;gBACF,OAAO,KAAK,MAAM;oBAChB,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,SAAS,CAAC,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,IAAI;oBAC/D,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;QAChD,CAAC;QACD,IAAI,MAAM;YAAE,MAAM,EAAE,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;;YACxC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;QAC5B,OAAO,CAAC,CAAC;IACX,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,EAAE,CAAC,GAAG,CAAC,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;QAC/D,OAAO,CAAC,CAAC;IACX,CAAC;AACH,CAAC;AAED,IAAI,OAAO,IAAI,CAAC,IAAI;IAClB,OAAO,CAAC,QAAQ,GAAG,MAAM,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE;QACrD,GAAG,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,GAAG,IAAI,CAAC;QAChD,GAAG,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,GAAG,IAAI,CAAC;QAChD,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QAC1C,SAAS,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC;KACzD,CAAC,CAAC"}

package/dist/src/compile.d.ts

@@ -1,8 +1,8 @@
 import { type UdlCostManifest } from "./cost.ts";
 import { type UdlDocument } from "@hyperscale0/udl";
+import { type CompiledCheck } from "./checks.ts";
 import { type Diagnostic, type Span } from "./ast.ts";
-import { type StandardLibrary } from "./std-library.ts";
-import type { ProviderAdapter } from "@hyperscale0/adl";
+import { type Toolchain } from "./toolchain.ts";
 export interface CompileDiagnostic extends Diagnostic {
     line: number;
     column: number;
@@ -12,25 +12,36 @@ export interface CompileDiagnostic extends Diagnostic {
     severity: "error";
     stage: "parse" | "check" | "lower";
 }
+/** A std header parameter's value in force on one instrument, and who set it. */
+export interface CompileTerm {
+    name: string;
+    /** program: the author bound it. party: a party of the same name bound it. std: the header's default. */
+    from: "program" | "party" | "std";
+    /** The value as written, or "unset" for an optional parameter nothing set. */
+    text: string;
+    /** "program", or the header that holds the default. */
+    source: string;
+    line: number;
+    column: number;
+}
+/** One std term on one instrument, set as another compile had it. */
+export type CompileTermOverride = Pick<CompileTerm, "name" | "from" | "text"> & {
+    instrument: string;
+};
 export interface CompileOriginMapEntry {
     path: string;
     span: Span & {
         line: number;
         column: number;
     };
+    /** The std declaration an instrument lowers from, by its declaration digest. */
     standardBlock?: {
         key: string;
         recordPath: string;
-        headerDigest: string;
+        digest: string;
     };
-}
-export interface AdapterBindingTarget {
-    adapter: ProviderAdapter;
-    operation: string;
-}
-export interface CompileOptions {
-    standardLibrary?: StandardLibrary;
-    adapterRegistry?: Readonly<Record<string, AdapterBindingTarget>>;
+    /** One row per header parameter of a std instrument. */
+    terms?: CompileTerm[];
 }
 export interface CompileWarning extends Omit<CompileDiagnostic, "severity"> {
     severity: "warning";
@@ -44,7 +55,13 @@ export interface CompileResult {
         document: UdlDocument;
         costManifest: UdlCostManifest;
         originMap: CompileOriginMapEntry[];
+        /** `check` blocks, beside the document and never inside it. */
+        checks: CompiledCheck[];
     };
 }
-export declare function compile(source: string, options?: CompileOptions): CompileResult;
+/**
+ * An override compiles the program as if one std term held other text, so a
+ * plan can see what that term alone moves.
+ */
+export declare function compile(source: string, toolchain?: Toolchain, override?: CompileTermOverride): CompileResult;
 //# sourceMappingURL=compile.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"compile.d.ts","sourceRoot":"","sources":["../../src/compile.ts"],"names":[],"mappings":"AAOA,OAAO,EAAwB,KAAK,eAAe,EAAE,MAAM,WAAW,CAAC;AACvE,OAAO,EAkBL,KAAK,WAAW,EAQjB,MAAM,kBAAkB,CAAC;AAe1B,OAAO,EAIL,KAAK,UAAU,EAKf,KAAK,IAAI,EACV,MAAM,UAAU,CAAC;AAClB,OAAO,EAA0B,KAAK,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAEhF,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAExD,MAAM,WAAW,iBAAkB,SAAQ,UAAU;IACnD,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,mEAAmE;IACnE,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,OAAO,CAAC;IAClB,KAAK,EAAE,OAAO,GAAG,OAAO,GAAG,OAAO,CAAC;CACpC;AACD,MAAM,WAAW,qBAAqB;IACpC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,IAAI,GAAG;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;IAC9C,aAAa,CAAC,EAAE;QAAE,GAAG,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAC;QAAC,YAAY,EAAE,MAAM,CAAA;KAAE,CAAC;CAC3E;AACD,MAAM,WAAW,oBAAoB;IACnC,OAAO,EAAE,eAAe,CAAC;IACzB,SAAS,EAAE,MAAM,CAAC;CACnB;AACD,MAAM,WAAW,cAAc;IAC7B,eAAe,CAAC,EAAE,eAAe,CAAC;IAClC,eAAe,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,oBAAoB,CAAC,CAAC,CAAC;CAClE;AACD,MAAM,WAAW,cAAe,SAAQ,IAAI,CAAC,iBAAiB,EAAE,UAAU,CAAC;IACzE,QAAQ,EAAE,SAAS,CAAC;CACrB;AACD,MAAM,WAAW,aAAa;IAC5B,OAAO,EAAE,OAAO,GAAG,SAAS,CAAC;IAC7B,WAAW,EAAE,iBAAiB,EAAE,CAAC;IACjC,iFAAiF;IACjF,QAAQ,EAAE,cAAc,EAAE,CAAC;IAC3B,SAAS,CAAC,EAAE;QACV,QAAQ,EAAE,WAAW,CAAC;QACtB,YAAY,EAAE,eAAe,CAAC;QAC9B,SAAS,EAAE,qBAAqB,EAAE,CAAC;KACpC,CAAC;CACH;AAuWD,wBAAgB,OAAO,CACrB,MAAM,EAAE,MAAM,EACd,OAAO,GAAE,cAAmB,GAC3B,aAAa,CAizIf"}
+{"version":3,"file":"compile.d.ts","sourceRoot":"","sources":["../../src/compile.ts"],"names":[],"mappings":"AAQA,OAAO,EAAwB,KAAK,eAAe,EAAE,MAAM,WAAW,CAAC;AACvE,OAAO,EAqBL,KAAK,WAAW,EAQjB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EAAe,KAAK,aAAa,EAAE,MAAM,aAAa,CAAC;AAS9D,OAAO,EAIL,KAAK,UAAU,EAKf,KAAK,IAAI,EACV,MAAM,UAAU,CAAC;AAClB,OAAO,EAGL,KAAK,SAAS,EACf,MAAM,gBAAgB,CAAC;AAExB,MAAM,WAAW,iBAAkB,SAAQ,UAAU;IACnD,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,mEAAmE;IACnE,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,OAAO,CAAC;IAClB,KAAK,EAAE,OAAO,GAAG,OAAO,GAAG,OAAO,CAAC;CACpC;AACD,iFAAiF;AACjF,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,MAAM,CAAC;IACb,yGAAyG;IACzG,IAAI,EAAE,SAAS,GAAG,OAAO,GAAG,KAAK,CAAC;IAClC,8EAA8E;IAC9E,IAAI,EAAE,MAAM,CAAC;IACb,uDAAuD;IACvD,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;CAChB;AACD,qEAAqE;AACrE,MAAM,MAAM,mBAAmB,GAAG,IAAI,CACpC,WAAW,EACX,MAAM,GAAG,MAAM,GAAG,MAAM,CACzB,GAAG;IACF,UAAU,EAAE,MAAM,CAAC;CACpB,CAAC;AACF,MAAM,WAAW,qBAAqB;IACpC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,IAAI,GAAG;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;IAC9C,gFAAgF;IAChF,aAAa,CAAC,EAAE;QAAE,GAAG,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;IACpE,wDAAwD;IACxD,KAAK,CAAC,EAAE,WAAW,EAAE,CAAC;CACvB;AAWD,MAAM,WAAW,cAAe,SAAQ,IAAI,CAAC,iBAAiB,EAAE,UAAU,CAAC;IACzE,QAAQ,EAAE,SAAS,CAAC;CACrB;AACD,MAAM,WAAW,aAAa;IAC5B,OAAO,EAAE,OAAO,GAAG,SAAS,CAAC;IAC7B,WAAW,EAAE,iBAAiB,EAAE,CAAC;IACjC,iFAAiF;IACjF,QAAQ,EAAE,cAAc,EAAE,CAAC;IAC3B,SAAS,CAAC,EAAE;QACV,QAAQ,EAAE,WAAW,CAAC;QACtB,YAAY,EAAE,eAAe,CAAC;QAC9B,SAAS,EAAE,qBAAqB,EAAE,CAAC;QACnC,+DAA+D;QAC/D,MAAM,EAAE,aAAa,EAAE,CAAC;KACzB,CAAC;CACH;AAqYD;;;GAGG;AACH,wBAAgB,OAAO,CACrB,MAAM,EAAE,MAAM,EACd,SAAS,GAAE,SAA4B,EACvC,QAAQ,CAAC,EAAE,mBAAmB,GAC7B,aAAa,CAm4If"}