@hyperscale0/hsx 1.0.0-rc.1 → 1.0.123

package/dist/src/format.js

@@ -1,183 +1,17 @@
-import { lex } from "./lex.js";
 import { parseProgram } from "./parse.js";
+/** Preserve authored comments and literals; normalize line endings and trailing whitespace. */
 export function format(source) {
     const parsed = parseProgram(source);
-    if (parsed.diagnostics.length > 0) {
-        return { diagnostics: parsed.diagnostics, ok: false };
-    }
-    const context = { comments: lex(source).comments, source };
+    if (parsed.diagnostics.length)
+        return { ok: false, diagnostics: parsed.diagnostics };
     return {
-        formatted: `${renderSequence(parsed.program.decls, parsed.program.span, 0, (decl) => renderDecl(decl, context), context)}\n`,
         ok: true,
+        formatted: source
+            .replace(/\r\n?/g, "\n")
+            .split("\n")
+            .map((line) => line.trimEnd())
+            .join("\n")
+            .trimEnd() + "\n",
     };
 }
-function renderDecl(decl, context) {
-    switch (decl.kind) {
-        case "module":
-            return `module ${renderExpr(decl.name, 0, context)};`;
-        case "program":
-            return `program ${decl.name.name}${decl.title ? ` ${renderExpr(decl.title, 0, context)}` : ""};`;
-        case "use":
-            return `use ${decl.instrument.name};`;
-        case "expose":
-            return `expose ${decl.instrument.name}.${decl.action.name} as ${decl.publicName.name};`;
-        case "import":
-            return `import { ${decl.names.map((name) => name.name).join(", ")} } from ${renderExpr(decl.from, 0, context)};`;
-        case "party":
-            return renderBlockDecl(`party ${decl.name.name}: ${decl.partyKind.name}`, decl.attrs, context);
-        case "asset":
-            return renderBlockDecl(`asset ${decl.name.name}: ${decl.assetKind.name}`, decl.attrs, context);
-        case "subject":
-            return `subject ${decl.name.name} ${renderBlock(decl.body, 0, context)}`;
-        case "port":
-            return `port ${decl.name.name} ${renderBlock(decl.body, 0, context)}`;
-        case "instrument": {
-            const exported = decl.exported ? "export " : "";
-            const typeParameters = decl.typeParameters.length > 0
-                ? `<${decl.typeParameters.map((parameter) => parameter.name.name).join(", ")}>`
-                : "";
-            const parameters = decl.hasParameterList
-                ? `(${decl.parameters
-                    .map((parameter) => `${parameter.name.name}: ${renderExpr(parameter.type, 0)}`)
-                    .join(", ")})`
-                : "";
-            return `${exported}instrument ${decl.name.name}${typeParameters}${parameters} ${renderBlock(decl.body, 0, context)}`;
-        }
-        case "instrument_apply":
-            return `${decl.exported ? "export " : ""}instrument ${decl.name.name} = ${renderExpr(decl.application, 0, context)}${decl.metadata ? ` ${renderBlock(decl.metadata, 0, context)}` : ";"}`;
-        case "type":
-            return `${decl.exported ? "export " : ""}type ${decl.name.name} = ${renderExpr(decl.value, 0, context)};`;
-        case "const": {
-            const type = decl.type ? `: ${renderExpr(decl.type, 0, context)}` : "";
-            return `${decl.exported ? "export " : ""}const ${decl.name.name}${type} = ${renderExpr(decl.value, 0, context)};`;
-        }
-    }
-}
-function renderBlockDecl(header, body, context) {
-    return body ? `${header} ${renderBlock(body, 0, context)}` : `${header};`;
-}
-function renderBlock(block, indent, context) {
-    const rows = renderSequence(block.entries, block.span, indent + 1, (entry) => `${spaces(indent + 1)}${renderEntry(entry, indent + 1, context)}`, context);
-    if (rows.length === 0)
-        return "{}";
-    return `{\n${rows}\n${spaces(indent)}}`;
-}
-function renderEntry(entry, indent, context) {
-    const key = entry.key.name;
-    const identifierKey = /^[A-Za-z][A-Za-z0-9_]*(?:\[[A-Za-z][A-Za-z0-9_]*\][A-Za-z0-9_]*)?$/.test(key);
-    const renderedKey = !entry.key.quoted && identifierKey ? key : JSON.stringify(key);
-    if (entry.iteration && entry.value.kind === "block") {
-        return `for ${entry.iteration.binding.name} in ${renderExpr(entry.iteration.bound, indent, context)} ${renderBlock(entry.value, indent, context)}`;
-    }
-    if (key === "action" && entry.value.kind === "block") {
-        return `action ${entry.qualifiers[0]?.name ?? ""} ${renderBlock(entry.value, indent, context)}`;
-    }
-    if (key === "states" && entry.value.kind === "list") {
-        return `states ${entry.value.items.map((item) => renderExpr(item, indent, context)).join(" ")};`;
-    }
-    if (key === "initial") {
-        return `initial ${renderExpr(entry.value, indent, context)};`;
-    }
-    if (key === "parked") {
-        return `parked ${entry.qualifiers[0]?.name ?? ""} reason ${renderExpr(entry.value, indent, context)};`;
-    }
-    if (key === "on") {
-        const [action, ...states] = entry.qualifiers;
-        return `on ${action?.name ?? ""}: ${states.map((state) => state.name).join(" | ")} -> ${renderExpr(entry.value, indent, context)};`;
-    }
-    if (key === "notify") {
-        return `notify ${entry.qualifiers[0]?.name ?? ""} via ${entry.qualifiers[1]?.name ?? ""};`;
-    }
-    const qualifier = renderQualifier(key, entry);
-    if (entry.value.kind === "block") {
-        return `${renderedKey}${qualifier} ${renderBlock(entry.value, indent, context)}`;
-    }
-    return `${renderedKey}${qualifier}: ${renderExpr(entry.value, indent, context)};`;
-}
-function renderQualifier(key, entry) {
-    if (entry.qualifiers.length === 0)
-        return "";
-    const names = entry.qualifiers.map((qualifier) => qualifier.name);
-    return key === "requires" || key === "computes"
-        ? ` ${names.join(" ")}`
-        : `(${names.join(", ")})`;
-}
-function renderExpr(expr, indent, context) {
-    switch (expr.kind) {
-        case "ident":
-            return expr.name;
-        case "string":
-            return `"${expr.value}"`;
-        case "number":
-            return expr.raw;
-        case "boolean":
-            return String(expr.value);
-        case "money":
-            return `${expr.currency.name} ${expr.raw}`;
-        case "percent":
-            return `${expr.raw}%`;
-        case "path":
-            return expr.parts.map((part) => part.name).join(".");
-        case "settlement_ref":
-            return `${expr.owner.name}.${expr.member.name}`;
-        case "type_apply":
-            return `${expr.callee.name}<${expr.args.map((arg) => renderExpr(arg, indent, context)).join(", ")}>`;
-        case "call":
-            return `${expr.callee.name}(${expr.args.map((arg) => renderExpr(arg, indent, context)).join(", ")})`;
-        case "apply": {
-            const typeArgs = expr.typeArgs.length > 0
-                ? `<${expr.typeArgs.map((arg) => renderExpr(arg, indent, context)).join(", ")}>`
-                : "";
-            return `${renderExpr(expr.callee, indent, context)}${typeArgs}(${expr.args
-                .map((arg) => renderExpr(arg, indent, context))
-                .join(", ")})`;
-        }
-        case "binding":
-            return `${expr.name.name}: ${renderExpr(expr.type, indent, context)}`;
-        case "list":
-            return `[${expr.items.map((item) => renderExpr(item, indent, context)).join(", ")}]`;
-        case "block":
-            return renderBlock(expr, indent, context);
-        case "decided_amount":
-            return `decided ${renderBlock(expr.body, indent, context)}`;
-        case "port_ref": {
-            const within = expr.within ? ` within ${expr.within.name}` : "";
-            const deadline = expr.deadline ? ` | at(${expr.deadline.name})` : "";
-            return `port ${expr.name.name}${within}${deadline}`;
-        }
-    }
-}
-function renderSequence(children, container, indent, render, context) {
-    const rows = [];
-    let cursor = container.start;
-    for (const child of children) {
-        appendComments(rows, cursor, child.span.start, indent, context);
-        rows.push(render(child));
-        cursor = child.span.end;
-    }
-    appendComments(rows, cursor, container.end, indent, context);
-    return rows.join("\n");
-}
-function appendComments(rows, start, end, indent, context) {
-    for (const comment of context.comments) {
-        if (comment.span.start < start || comment.span.end > end)
-            continue;
-        const trailing = rows.length > 0 &&
-            !context.source.slice(start, comment.span.start).includes("\n");
-        if (trailing) {
-            const last = rows.pop();
-            const newline = last.lastIndexOf("\n");
-            rows.push(newline < 0
-                ? `${last} ${comment.text}`
-                : `${last.slice(0, newline + 1)}${last.slice(newline + 1)} ${comment.text}`);
-        }
-        else {
-            rows.push(`${spaces(indent)}${comment.text}`);
-        }
-        start = comment.span.end;
-    }
-}
-function spaces(indent) {
-    return "  ".repeat(indent);
-}
 //# sourceMappingURL=format.js.map

package/dist/src/format.js.map

@@ -1 +1 @@
-{"version":3,"file":"format.js","sourceRoot":"","sources":["../../src/format.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,GAAG,EAAsB,MAAM,UAAU,CAAC;AACnD,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAM1C,MAAM,UAAU,MAAM,CAAC,MAAc;IACnC,MAAM,MAAM,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;IACpC,IAAI,MAAM,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClC,OAAO,EAAE,WAAW,EAAE,MAAM,CAAC,WAAW,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC;IACxD,CAAC;IAED,MAAM,OAAO,GAAkB,EAAE,QAAQ,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,MAAM,EAAE,CAAC;IAC1E,OAAO;QACL,SAAS,EAAE,GAAG,cAAc,CAC1B,MAAM,CAAC,OAAO,CAAC,KAAK,EACpB,MAAM,CAAC,OAAO,CAAC,IAAI,EACnB,CAAC,EACD,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,EACnC,OAAO,CACR,IAAI;QACL,EAAE,EAAE,IAAI;KACT,CAAC;AACJ,CAAC;AAOD,SAAS,UAAU,CAAC,IAAU,EAAE,OAAsB;IACpD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,QAAQ;YACX,OAAO,UAAU,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,OAAO,CAAC,GAAG,CAAC;QACxD,KAAK,SAAS;YACZ,OAAO,WAAW,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC;QACnG,KAAK,KAAK;YACR,OAAO,OAAO,IAAI,CAAC,UAAU,CAAC,IAAI,GAAG,CAAC;QACxC,KAAK,QAAQ;YACX,OAAO,UAAU,IAAI,CAAC,UAAU,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,OAAO,IAAI,CAAC,UAAU,CAAC,IAAI,GAAG,CAAC;QAC1F,KAAK,QAAQ;YACX,OAAO,YAAY,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,OAAO,CAAC,GAAG,CAAC;QACnH,KAAK,OAAO;YACV,OAAO,eAAe,CACpB,SAAS,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,EACjD,IAAI,CAAC,KAAK,EACV,OAAO,CACR,CAAC;QACJ,KAAK,OAAO;YACV,OAAO,eAAe,CACpB,SAAS,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,EACjD,IAAI,CAAC,KAAK,EACV,OAAO,CACR,CAAC;QACJ,KAAK,SAAS;YACZ,OAAO,WAAW,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,OAAO,CAAC,EAAE,CAAC;QAC3E,KAAK,MAAM;YACT,OAAO,QAAQ,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,OAAO,CAAC,EAAE,CAAC;QACxE,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;YAChD,MAAM,cAAc,GAClB,IAAI,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC;gBAC5B,CAAC,CAAC,IAAI,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;gBAC/E,CAAC,CAAC,EAAE,CAAC;YACT,MAAM,UAAU,GAAG,IAAI,CAAC,gBAAgB;gBACtC,CAAC,CAAC,IAAI,IAAI,CAAC,UAAU;qBAChB,GAAG,CACF,CAAC,SAAS,EAAE,EAAE,CACZ,GAAG,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAC7D;qBACA,IAAI,CAAC,IAAI,CAAC,GAAG;gBAClB,CAAC,CAAC,EAAE,CAAC;YACP,OAAO,GAAG,QAAQ,cAAc,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,cAAc,GAAG,UAAU,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,OAAO,CAAC,EAAE,CAAC;QACvH,CAAC;QACD,KAAK,kBAAkB;YACrB,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,cAAc,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,UAAU,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,EAAE,OAAO,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,WAAW,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;QAC5L,KAAK,MAAM;YACT,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,EAAE,OAAO,CAAC,GAAG,CAAC;QAC5G,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACvE,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,IAAI,MAAM,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,EAAE,OAAO,CAAC,GAAG,CAAC;QACpH,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,eAAe,CACtB,MAAc,EACd,IAA2B,EAC3B,OAAsB;IAEtB,OAAO,IAAI,CAAC,CAAC,CAAC,GAAG,MAAM,IAAI,WAAW,CAAC,IAAI,EAAE,CAAC,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,MAAM,GAAG,CAAC;AAC5E,CAAC;AAED,SAAS,WAAW,CAClB,KAAgB,EAChB,MAAc,EACd,OAAsB;IAEtB,MAAM,IAAI,GAAG,cAAc,CACzB,KAAK,CAAC,OAAO,EACb,KAAK,CAAC,IAAI,EACV,MAAM,GAAG,CAAC,EACV,CAAC,KAAK,EAAE,EAAE,CACR,GAAG,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,GAAG,WAAW,CAAC,KAAK,EAAE,MAAM,GAAG,CAAC,EAAE,OAAO,CAAC,EAAE,EACnE,OAAO,CACR,CAAC;IACF,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACnC,OAAO,MAAM,IAAI,KAAK,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC;AAC1C,CAAC;AAED,SAAS,WAAW,CAClB,KAAY,EACZ,MAAc,EACd,OAAsB;IAEtB,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC;IAC3B,MAAM,aAAa,GACjB,oEAAoE,CAAC,IAAI,CACvE,GAAG,CACJ,CAAC;IACJ,MAAM,WAAW,GACf,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,IAAI,aAAa,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IACjE,IAAI,KAAK,CAAC,SAAS,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACpD,OAAO,OAAO,KAAK,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,OAAO,UAAU,CAAC,KAAK,CAAC,SAAS,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,IAAI,WAAW,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC;IACrJ,CAAC;IACD,IAAI,GAAG,KAAK,QAAQ,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACrD,OAAO,UAAU,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,IAAI,EAAE,IAAI,WAAW,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC;IAClG,CAAC;IACD,IAAI,GAAG,KAAK,QAAQ,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QACpD,OAAO,UAAU,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IACnG,CAAC;IACD,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QACtB,OAAO,WAAW,UAAU,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,GAAG,CAAC;IAChE,CAAC;IACD,IAAI,GAAG,KAAK,QAAQ,EAAE,CAAC;QACrB,OAAO,UAAU,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,IAAI,EAAE,WAAW,UAAU,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,GAAG,CAAC;IACzG,CAAC;IACD,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;QACjB,MAAM,CAAC,MAAM,EAAE,GAAG,MAAM,CAAC,GAAG,KAAK,CAAC,UAAU,CAAC;QAC7C,OAAO,MAAM,MAAM,EAAE,IAAI,IAAI,EAAE,KAAK,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,UAAU,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,GAAG,CAAC;IACtI,CAAC;IACD,IAAI,GAAG,KAAK,QAAQ,EAAE,CAAC;QACrB,OAAO,UAAU,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,IAAI,EAAE,QAAQ,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,IAAI,EAAE,GAAG,CAAC;IAC7F,CAAC;IAED,MAAM,SAAS,GAAG,eAAe,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IAC9C,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACjC,OAAO,GAAG,WAAW,GAAG,SAAS,IAAI,WAAW,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC;IACnF,CAAC;IACD,OAAO,GAAG,WAAW,GAAG,SAAS,KAAK,UAAU,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,GAAG,CAAC;AACpF,CAAC;AAED,SAAS,eAAe,CAAC,GAAW,EAAE,KAAY;IAChD,IAAI,KAAK,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAC7C,MAAM,KAAK,GAAG,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IAClE,OAAO,GAAG,KAAK,UAAU,IAAI,GAAG,KAAK,UAAU;QAC7C,CAAC,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE;QACvB,CAAC,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;AAC9B,CAAC;AAED,SAAS,UAAU,CACjB,IAAU,EACV,MAAc,EACd,OAAuB;IAEvB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,OAAO;YACV,OAAO,IAAI,CAAC,IAAI,CAAC;QACnB,KAAK,QAAQ;YACX,OAAO,IAAI,IAAI,CAAC,KAAK,GAAG,CAAC;QAC3B,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC,GAAG,CAAC;QAClB,KAAK,SAAS;YACZ,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5B,KAAK,OAAO;YACV,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC;QAC7C,KAAK,SAAS;YACZ,OAAO,GAAG,IAAI,CAAC,GAAG,GAAG,CAAC;QACxB,KAAK,MAAM;YACT,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACvD,KAAK,gBAAgB;YACnB,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QAClD,KAAK,YAAY;YACf,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QACvG,KAAK,MAAM;YACT,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QACvG,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,QAAQ,GACZ,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC;gBACtB,CAAC,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;gBAChF,CAAC,CAAC,EAAE,CAAC;YACT,OAAO,GAAG,UAAU,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,GAAG,QAAQ,IAAI,IAAI,CAAC,IAAI;iBACvE,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;iBAC9C,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QACnB,CAAC;QACD,KAAK,SAAS;YACZ,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC;QACxE,KAAK,MAAM;YACT,OAAO,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QACvF,KAAK,OAAO;YACV,OAAO,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,OAAwB,CAAC,CAAC;QAC7D,KAAK,gBAAgB;YACnB,OAAO,WAAW,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,OAAwB,CAAC,EAAE,CAAC;QAC/E,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAChE,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,IAAI,CAAC,QAAQ,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YACrE,OAAO,QAAQ,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,MAAM,GAAG,QAAQ,EAAE,CAAC;QACtD,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CACrB,QAAsB,EACtB,SAAe,EACf,MAAc,EACd,MAA4B,EAC5B,OAAsB;IAEtB,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,IAAI,MAAM,GAAG,SAAS,CAAC,KAAK,CAAC;IAC7B,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;QAC7B,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;QAChE,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;QACzB,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC;IAC1B,CAAC;IACD,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,CAAC,GAAG,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;IAC7D,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACzB,CAAC;AAED,SAAS,cAAc,CACrB,IAAc,EACd,KAAa,EACb,GAAW,EACX,MAAc,EACd,OAAsB;IAEtB,KAAK,MAAM,OAAO,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;QACvC,IAAI,OAAO,CAAC,IAAI,CAAC,KAAK,GAAG,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC,GAAG,GAAG,GAAG;YAAE,SAAS;QACnE,MAAM,QAAQ,GACZ,IAAI,CAAC,MAAM,GAAG,CAAC;YACf,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QAClE,IAAI,QAAQ,EAAE,CAAC;YACb,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,EAAY,CAAC;YAClC,MAAM,OAAO,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;YACvC,IAAI,CAAC,IAAI,CACP,OAAO,GAAG,CAAC;gBACT,CAAC,CAAC,GAAG,IAAI,IAAI,OAAO,CAAC,IAAI,EAAE;gBAC3B,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC,IAAI,OAAO,CAAC,IAAI,EAAE,CAC9E,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;QAChD,CAAC;QACD,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC;IAC3B,CAAC;AACH,CAAC;AAED,SAAS,MAAM,CAAC,MAAc;IAC5B,OAAO,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;AAC7B,CAAC"}
+{"version":3,"file":"format.js","sourceRoot":"","sources":["../../src/format.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC1C,+FAA+F;AAC/F,MAAM,UAAU,MAAM,CAAC,MAAc;IACnC,MAAM,MAAM,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;IACpC,IAAI,MAAM,CAAC,WAAW,CAAC,MAAM;QAC3B,OAAO,EAAE,EAAE,EAAE,KAAc,EAAE,WAAW,EAAE,MAAM,CAAC,WAAW,EAAE,CAAC;IACjE,OAAO;QACL,EAAE,EAAE,IAAa;QACjB,SAAS,EACP,MAAM;aACH,OAAO,CAAC,QAAQ,EAAE,IAAI,CAAC;aACvB,KAAK,CAAC,IAAI,CAAC;aACX,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;aAC7B,IAAI,CAAC,IAAI,CAAC;aACV,OAAO,EAAE,GAAG,IAAI;KACtB,CAAC;AACJ,CAAC"}

package/dist/src/header-source.d.ts

@@ -0,0 +1,3 @@
+/** Compilation and editor metadata admit the same named header declarations. */
+export declare function parseHeader(source: string, name: string): import("./ast.ts").Program;
+//# sourceMappingURL=header-source.d.ts.map

package/dist/src/header-source.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"header-source.d.ts","sourceRoot":"","sources":["../../src/header-source.ts"],"names":[],"mappings":"AAGA,gFAAgF;AAChF,wBAAgB,WAAW,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,8BAiDvD"}

package/dist/src/header-source.js

@@ -0,0 +1,41 @@
+import { parseProgram } from "./parse.js";
+import { CompileFailure, fail } from "./diagnostics.js";
+/** Compilation and editor metadata admit the same named header declarations. */
+export function parseHeader(source, name) {
+    const parsed = parseProgram(source);
+    if (parsed.diagnostics.length)
+        throw new CompileFailure({ ...parsed.diagnostics[0], source: name });
+    const program = parsed.program;
+    const locate = (value) => {
+        if (!value || typeof value !== "object")
+            return;
+        if ("span" in value)
+            Object.assign(value, { source: name });
+        for (const child of Object.values(value))
+            locate(child);
+    };
+    locate(program);
+    if (!program.header || program.name !== name)
+        fail(program, `${name}: expected header ${name}`, `start with header ${name}`);
+    const names = new Set();
+    for (const decl of program.decls) {
+        if (decl.kind !== "instrument")
+            continue;
+        if (names.has(decl.name))
+            fail(decl, `duplicate instrument ${name}.${decl.name}`, "give each instrument a distinct name");
+        names.add(decl.name);
+        const parameters = new Set();
+        for (const parameter of decl.parameters) {
+            if (parameters.has(parameter.key))
+                fail(parameter, `duplicate parameter ${parameter.key}`, "declare each parameter once");
+            parameters.add(parameter.key);
+            const type = parameter.value.kind === "default"
+                ? parameter.value.type
+                : parameter.value;
+            if (type.kind === "call" && !["enum", "integer"].includes(type.name))
+                fail(type, `unsupported tunable constructor ${type.name}`, "Only enum(choices) and integer(minimum, maximum) are supported tunable constructors. This constructor's restrictions cannot be enforced.");
+        }
+    }
+    return program;
+}
+//# sourceMappingURL=header-source.js.map

package/dist/src/header-source.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"header-source.js","sourceRoot":"","sources":["../../src/header-source.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC1C,OAAO,EAAE,cAAc,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAExD,gFAAgF;AAChF,MAAM,UAAU,WAAW,CAAC,MAAc,EAAE,IAAY;IACtD,MAAM,MAAM,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;IACpC,IAAI,MAAM,CAAC,WAAW,CAAC,MAAM;QAC3B,MAAM,IAAI,cAAc,CAAC,EAAE,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC,CAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;IACxE,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC;IAC/B,MAAM,MAAM,GAAG,CAAC,KAAc,EAAQ,EAAE;QACtC,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ;YAAE,OAAO;QAChD,IAAI,MAAM,IAAI,KAAK;YAAE,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;QAC5D,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;YAAE,MAAM,CAAC,KAAK,CAAC,CAAC;IAC1D,CAAC,CAAC;IACF,MAAM,CAAC,OAAO,CAAC,CAAC;IAChB,IAAI,CAAC,OAAO,CAAC,MAAM,IAAI,OAAO,CAAC,IAAI,KAAK,IAAI;QAC1C,IAAI,CACF,OAAO,EACP,GAAG,IAAI,qBAAqB,IAAI,EAAE,EAClC,qBAAqB,IAAI,EAAE,CAC5B,CAAC;IACJ,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;QACjC,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY;YAAE,SAAS;QACzC,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;YACtB,IAAI,CACF,IAAI,EACJ,wBAAwB,IAAI,IAAI,IAAI,CAAC,IAAI,EAAE,EAC3C,sCAAsC,CACvC,CAAC;QACJ,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrB,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;QACrC,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YACxC,IAAI,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC;gBAC/B,IAAI,CACF,SAAS,EACT,uBAAuB,SAAS,CAAC,GAAG,EAAE,EACtC,6BAA6B,CAC9B,CAAC;YACJ,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;YAC9B,MAAM,IAAI,GACR,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS;gBAChC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI;gBACtB,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC;YACtB,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;gBAClE,IAAI,CACF,IAAI,EACJ,mCAAmC,IAAI,CAAC,IAAI,EAAE,EAC9C,0IAA0I,CAC3I,CAAC;QACN,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC"}

package/dist/src/headers.d.ts

@@ -0,0 +1,64 @@
+import { type StandardLibrary } from "./std-library.ts";
+export declare const HEADER_NAMES: readonly ["money", "marketplace", "escrow", "wallet", "financing", "lending", "insurance", "collections", "cards", "savings", "reporting"];
+/** The compiler frontend owns header metadata used by docs and catalogue consumers. */
+export declare function headerManifest(library?: StandardLibrary, names?: readonly string[]): {
+    version: number;
+    headers: {
+        name: string;
+        objects: {
+            name: string;
+            qualifiedName: string;
+            signature: string;
+            states: string[];
+            summary: string;
+            authoringTemplate: {
+                requiredImport: string;
+                instancePlaceholder: string;
+                source: string;
+                requiredBindings: {
+                    name: string;
+                    type: string;
+                    placeholder: string;
+                }[];
+            };
+            tunables: {
+                minimum?: number | string;
+                maximum?: number | string;
+                name: string;
+                type: string;
+                values?: string[];
+                required: boolean;
+                default?: string;
+            }[];
+            dependencies: {
+                binding: string;
+                when: string;
+                is: string;
+                message: string;
+                fix: string;
+            }[];
+            parameterDiagnostics: {
+                parameter: string;
+                accepts: string;
+                percentage: string;
+                fix: string;
+            }[];
+            constraints: {
+                tunable: string;
+                relation: string;
+                other: string;
+            }[];
+            parties: string[];
+            subject: {
+                name: string;
+                type: string;
+            }[];
+            actions: {
+                name: string;
+                summary: string;
+                actor: string;
+            }[];
+        }[];
+    }[];
+};
+//# sourceMappingURL=headers.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"headers.d.ts","sourceRoot":"","sources":["../../src/headers.ts"],"names":[],"mappings":"AAMA,OAAO,EAA0B,KAAK,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAGhF,eAAO,MAAM,YAAY,YACvB,OAAO,EACP,aAAa,EACb,QAAQ,EACR,QAAQ,EACR,WAAW,EACX,SAAS,EACT,WAAW,EACX,aAAa,EACb,OAAO,EACP,SAAS,EACT,WAAW,CACH,CAAC;AAEX,uFAAuF;AACvF,wBAAgB,cAAc,CAC5B,OAAO,GAAE,eAAwC,EACjD,KAAK,GAAE,SAAS,MAAM,EAAiB;IAGrC,OAAO;IACP,OAAO;;;;;;;;;gBAkGK,cAAc;gBACd,mBAAmB;gBACnB,MAAM;gBAON,gBAAgB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;sBAlGT,MAAM;yBAAW,MAAM;uBAAS,MAAM;;;;EA2J5D"}

package/dist/src/headers.js

@@ -0,0 +1,167 @@
+import { bindingDependencies, parameterDiagnostics, } from "./binding-contract.js";
+import { tunableBounds } from "./tunables.js";
+import { parseHeader } from "./header-source.js";
+import { bundledStandardLibrary } from "./std-library.js";
+export const HEADER_NAMES = [
+    "money",
+    "marketplace",
+    "escrow",
+    "wallet",
+    "financing",
+    "lending",
+    "insurance",
+    "collections",
+    "cards",
+    "savings",
+    "reporting",
+];
+/** The compiler frontend owns header metadata used by docs and catalogue consumers. */
+export function headerManifest(library = bundledStandardLibrary, names = HEADER_NAMES) {
+    return {
+        version: 1,
+        headers: names.map((name) => {
+            const source = library.source(name);
+            if (!source)
+                throw new Error(`Missing standard header ${name}`);
+            const parsed = parseHeader(source, name);
+            const spelling = (expression) => source.slice(expression.span.start, expression.span.end).trim();
+            const actions = (body, prefix = "") => {
+                const result = body.entries
+                    .filter((e) => e.key.startsWith("action "))
+                    .map((entry) => {
+                    const slots = entry.value.kind === "block" ? entry.value.entries : [];
+                    const summary = slots.find((e) => e.key === "summary")?.value;
+                    const actor = slots.find((e) => e.key === "actor")?.value;
+                    return {
+                        name: prefix + entry.key.slice(7),
+                        summary: summary?.kind === "text"
+                            ? summary.value
+                            : entry.key.slice(7).replaceAll("_", " "),
+                        actor: actor ? spelling(actor) : "caller",
+                    };
+                });
+                const records = body.entries.find((e) => e.key === "records")?.value;
+                if (records?.kind === "block")
+                    for (const record of records.entries)
+                        if (record.value.kind === "block")
+                            result.push(...actions(record.value, `${prefix}${record.key}.`));
+                return result;
+            };
+            return {
+                name,
+                objects: parsed.decls
+                    .filter((d) => d.kind === "instrument")
+                    .map((decl) => {
+                    const tunables = decl.parameters.map((parameter) => {
+                        const type = parameter.value.kind === "default"
+                            ? parameter.value.type
+                            : parameter.value;
+                        const fallback = parameter.value.kind === "default"
+                            ? parameter.value.value
+                            : undefined;
+                        return {
+                            name: parameter.key,
+                            type: spelling(type),
+                            ...(type.kind === "call" && type.name === "enum"
+                                ? { values: type.args.map(spelling) }
+                                : {}),
+                            ...tunableBounds(type),
+                            required: !fallback && !(type.kind === "type" && type.optional),
+                            ...(fallback ? { default: spelling(fallback) } : {}),
+                        };
+                    });
+                    // Reference selectors need program context, and text can name a target
+                    // action. Templates require explicit bindings instead of guessing them.
+                    const bindings = tunables.filter((tunable, index) => {
+                        const value = decl.parameters[index].value;
+                        return (tunable.required ||
+                            tunable.type === "text" ||
+                            (value.kind === "default" &&
+                                value.value.kind === "call" &&
+                                ["object", "party"].includes(value.value.name)));
+                    });
+                    const summary = decl.body.entries.find((e) => e.key === "summary")?.value;
+                    return {
+                        name: decl.name,
+                        qualifiedName: `${name}.${decl.name}`,
+                        signature: source
+                            .slice(decl.span.start, decl.body.span.start)
+                            .replace(/^instrument\s+/, "")
+                            .trim(),
+                        states: (() => {
+                            const lifecycle = decl.body.entries.find((entry) => entry.key === "lifecycle")?.value;
+                            const states = lifecycle?.kind === "block"
+                                ? lifecycle.entries.find((entry) => entry.key === "states")
+                                    ?.value
+                                : undefined;
+                            return states?.kind === "list"
+                                ? states.items.map(spelling)
+                                : [];
+                        })(),
+                        summary: summary?.kind === "text"
+                            ? summary.value
+                            : decl.name.replaceAll("_", " "),
+                        authoringTemplate: {
+                            requiredImport: `use ${name}`,
+                            instancePlaceholder: "${instance}",
+                            source: "attach ${instance} = " +
+                                `${name}.${decl.name} { ` +
+                                bindings
+                                    .map((t) => t.name + ": ${" + t.name + "}")
+                                    .join(", ") +
+                                " }",
+                            requiredBindings: bindings.map((t) => ({
+                                name: t.name,
+                                type: t.type,
+                                placeholder: "${" + t.name + "}",
+                            })),
+                        },
+                        tunables,
+                        dependencies: bindingDependencies(decl).map(({ span: _span, ...dependency }) => dependency),
+                        parameterDiagnostics: parameterDiagnostics(decl),
+                        constraints: (() => {
+                            const block = decl.body.entries.find((entry) => entry.key === "constraints")?.value;
+                            return block?.kind === "block"
+                                ? block.entries.map((entry) => {
+                                    if (entry.value.kind !== "call" ||
+                                        entry.value.args.length !== 1)
+                                        throw new Error("invalid tunable constraint");
+                                    return {
+                                        tunable: entry.key,
+                                        relation: entry.value.name,
+                                        other: spelling(entry.value.args[0]),
+                                    };
+                                })
+                                : [];
+                        })(),
+                        parties: tunables
+                            .filter((t) => t.type === "party")
+                            .map((t) => t.name),
+                        // Fields the attached object must carry (or rename to) before
+                        // the instrument's actions can read them.
+                        subject: (() => {
+                            const fields = new Map();
+                            for (const entry of decl.body.entries) {
+                                if (!entry.key.startsWith("action "))
+                                    continue;
+                                if (entry.value.kind !== "block")
+                                    continue;
+                                const subject = entry.value.entries.find((slot) => slot.key === "subject")?.value;
+                                if (subject?.kind !== "block")
+                                    continue;
+                                for (const field of subject.entries) {
+                                    const type = spelling(field.value);
+                                    if (field.key !== "adapter")
+                                        fields.set(field.key, type);
+                                }
+                            }
+                            return [...fields].map(([name, type]) => ({ name, type }));
+                        })(),
+                        actions: actions(decl.body),
+                    };
+                }),
+            };
+        }),
+    };
+}
+//# sourceMappingURL=headers.js.map

package/dist/src/headers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"headers.js","sourceRoot":"","sources":["../../src/headers.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,mBAAmB,EACnB,oBAAoB,GACrB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EAAE,sBAAsB,EAAwB,MAAM,kBAAkB,CAAC;AAGhF,MAAM,CAAC,MAAM,YAAY,GAAG;IAC1B,OAAO;IACP,aAAa;IACb,QAAQ;IACR,QAAQ;IACR,WAAW;IACX,SAAS;IACT,WAAW;IACX,aAAa;IACb,OAAO;IACP,SAAS;IACT,WAAW;CACH,CAAC;AAEX,uFAAuF;AACvF,MAAM,UAAU,cAAc,CAC5B,OAAO,GAAoB,sBAAsB,EACjD,KAAK,GAAsB,YAAY;IAEvC,OAAO;QACL,OAAO,EAAE,CAAC;QACV,OAAO,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;YAC1B,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YACpC,IAAI,CAAC,MAAM;gBAAE,MAAM,IAAI,KAAK,CAAC,2BAA2B,IAAI,EAAE,CAAC,CAAC;YAChE,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;YACzC,MAAM,QAAQ,GAAG,CAAC,UAAgB,EAAE,EAAE,CACpC,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;YAClE,MAAM,OAAO,GAAG,CACd,IAAe,EACf,MAAM,GAAG,EAAE,EAC8C,EAAE;gBAC3D,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO;qBACxB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;qBAC1C,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;oBACb,MAAM,KAAK,GACT,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC1D,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,SAAS,CAAC,EAAE,KAAK,CAAC;oBAC9D,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,OAAO,CAAC,EAAE,KAAK,CAAC;oBAC1D,OAAO;wBACL,IAAI,EAAE,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;wBACjC,OAAO,EACL,OAAO,EAAE,IAAI,KAAK,MAAM;4BACtB,CAAC,CAAC,OAAO,CAAC,KAAK;4BACf,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC;wBAC7C,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ;qBAC1C,CAAC;gBACJ,CAAC,CAAC,CAAC;gBACL,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,SAAS,CAAC,EAAE,KAAK,CAAC;gBACrE,IAAI,OAAO,EAAE,IAAI,KAAK,OAAO;oBAC3B,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,OAAO;wBAClC,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO;4BAC/B,MAAM,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,MAAM,GAAG,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC;gBACvE,OAAO,MAAM,CAAC;YAChB,CAAC,CAAC;YACF,OAAO;gBACL,IAAI;gBACJ,OAAO,EAAE,MAAM,CAAC,KAAK;qBAClB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC;qBACtC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;oBACZ,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE;wBACjD,MAAM,IAAI,GACR,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS;4BAChC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI;4BACtB,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC;wBACtB,MAAM,QAAQ,GACZ,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS;4BAChC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK;4BACvB,CAAC,CAAC,SAAS,CAAC;wBAChB,OAAO;4BACL,IAAI,EAAE,SAAS,CAAC,GAAG;4BACnB,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC;4BACpB,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;gCAC9C,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE;gCACrC,CAAC,CAAC,EAAE,CAAC;4BACP,GAAG,aAAa,CAAC,IAAI,CAAC;4BACtB,QAAQ,EAAE,CAAC,QAAQ,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,QAAQ,CAAC;4BAC/D,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;yBACrD,CAAC;oBACJ,CAAC,CAAC,CAAC;oBACH,uEAAuE;oBACvE,wEAAwE;oBACxE,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE;wBAClD,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,CAAE,CAAC,KAAK,CAAC;wBAC5C,OAAO,CACL,OAAO,CAAC,QAAQ;4BAChB,OAAO,CAAC,IAAI,KAAK,MAAM;4BACvB,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS;gCACvB,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM;gCAC3B,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAClD,CAAC;oBACJ,CAAC,CAAC,CAAC;oBACH,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CACpC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,SAAS,CAC3B,EAAE,KAAK,CAAC;oBACT,OAAO;wBACL,IAAI,EAAE,IAAI,CAAC,IAAI;wBACf,aAAa,EAAE,GAAG,IAAI,IAAI,IAAI,CAAC,IAAI,EAAE;wBACrC,SAAS,EAAE,MAAM;6BACd,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC;6BAC5C,OAAO,CAAC,gBAAgB,EAAE,EAAE,CAAC;6BAC7B,IAAI,EAAE;wBACT,MAAM,EAAE,CAAC,GAAG,EAAE;4BACZ,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CACtC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,KAAK,WAAW,CACrC,EAAE,KAAK,CAAC;4BACT,MAAM,MAAM,GACV,SAAS,EAAE,IAAI,KAAK,OAAO;gCACzB,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,KAAK,QAAQ,CAAC;oCACvD,EAAE,KAAK;gCACX,CAAC,CAAC,SAAS,CAAC;4BAChB,OAAO,MAAM,EAAE,IAAI,KAAK,MAAM;gCAC5B,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC;gCAC5B,CAAC,CAAC,EAAE,CAAC;wBACT,CAAC,CAAC,EAAE;wBACJ,OAAO,EACL,OAAO,EAAE,IAAI,KAAK,MAAM;4BACtB,CAAC,CAAC,OAAO,CAAC,KAAK;4BACf,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC;wBACpC,iBAAiB,EAAE;4BACjB,cAAc,EAAE,OAAO,IAAI,EAAE;4BAC7B,mBAAmB,EAAE,aAAa;4BAClC,MAAM,EACJ,uBAAuB;gCACvB,GAAG,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK;gCACzB,QAAQ;qCACL,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,MAAM,GAAG,CAAC,CAAC,IAAI,GAAG,GAAG,CAAC;qCAC1C,IAAI,CAAC,IAAI,CAAC;gCACb,IAAI;4BACN,gBAAgB,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gCACrC,IAAI,EAAE,CAAC,CAAC,IAAI;gCACZ,IAAI,EAAE,CAAC,CAAC,IAAI;gCACZ,WAAW,EAAE,IAAI,GAAG,CAAC,CAAC,IAAI,GAAG,GAAG;6BACjC,CAAC,CAAC;yBACJ;wBACD,QAAQ;wBACR,YAAY,EAAE,mBAAmB,CAAC,IAAI,CAAC,CAAC,GAAG,CACzC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,UAAU,EAAE,EAAE,EAAE,CAAC,UAAU,CAC/C;wBACD,oBAAoB,EAAE,oBAAoB,CAAC,IAAI,CAAC;wBAChD,WAAW,EAAE,CAAC,GAAG,EAAE;4BACjB,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAClC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,KAAK,aAAa,CACvC,EAAE,KAAK,CAAC;4BACT,OAAO,KAAK,EAAE,IAAI,KAAK,OAAO;gCAC5B,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;oCAC1B,IACE,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM;wCAC3B,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;wCAE7B,MAAM,IAAI,KAAK,CAAC,4BAA4B,CAAC,CAAC;oCAChD,OAAO;wCACL,OAAO,EAAE,KAAK,CAAC,GAAG;wCAClB,QAAQ,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI;wCAC1B,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC;qCACtC,CAAC;gCACJ,CAAC,CAAC;gCACJ,CAAC,CAAC,EAAE,CAAC;wBACT,CAAC,CAAC,EAAE;wBACJ,OAAO,EAAE,QAAQ;6BACd,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC;6BACjC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;wBACrB,8DAA8D;wBAC9D,0CAA0C;wBAC1C,OAAO,EAAE,CAAC,GAAG,EAAE;4BACb,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;4BACzC,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;gCACtC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,SAAS,CAAC;oCAAE,SAAS;gCAC/C,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO;oCAAE,SAAS;gCAC3C,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CACtC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,KAAK,SAAS,CACjC,EAAE,KAAK,CAAC;gCACT,IAAI,OAAO,EAAE,IAAI,KAAK,OAAO;oCAAE,SAAS;gCACxC,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;oCACpC,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;oCACnC,IAAI,KAAK,CAAC,GAAG,KAAK,SAAS;wCAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;gCAC3D,CAAC;4BACH,CAAC;4BACD,OAAO,CAAC,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;wBAC7D,CAAC,CAAC,EAAE;wBACJ,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC;qBAC5B,CAAC;gBACJ,CAAC,CAAC;aACL,CAAC;QACJ,CAAC,CAAC;KACH,CAAC;AACJ,CAAC"}

package/dist/src/index.d.ts

@@ -1,13 +1,10 @@
-export { compile, type CompileDiagnostic, type CompileOptions, type CompileOriginMapEntry, type CompileResult, } from "./compile.ts";
-export { buildUdlCostManifest, computeUdlFixedCost, evaluateUdlCostManifest, type HsxEffectKind, type UdlCostManifest, type UdlCostTable, } from "./cost.ts";
-export { hsxDiagnostics, type HsxDiagnosticCatalogEntry, } from "./diagnostics.ts";
-export type { HsxCompilerHost, ModuleSource } from "./modules.ts";
-export { format, type FormatResult } from "./format.ts";
-export { KEYWORDS } from "./lex.ts";
-export { overrideProgramEntries, type ProgramEntryOverride, type ProgramEntryOverrideIssue, type ProgramEntryOverrideValue, } from "./entry-overrides.ts";
-export { type OriginMapEntry } from "./emit.ts";
-export { lowerGeneralProgram } from "./emit.ts";
+export { compile, type CompileDiagnostic, type CompileOptions, type CompileResult, type CompileOriginMapEntry, type AdapterBindingTarget, } from "./compile.ts";
+export type { ProviderAdapter } from "@hyperscale0/adl";
 export { parseProgram } from "./parse.ts";
-export { checkGeneralProgram, type GeneralCheckOptions } from "./typecheck.ts";
-export type { BlockExpr, ExposeDecl, Program, ProgramDecl, UseDecl, } from "./ast.ts";
+export { lex, KEYWORDS } from "./lex.ts";
+export { format } from "./format.ts";
+export { bundledStandardLibrary, type StandardLibrary } from "./std-library.ts";
+export { buildUdlCostManifest, type UdlCostManifest } from "./cost.ts";
+export type { Program, Decl, AssignmentDecl, ObjectDecl, InstrumentDecl, Expr, Span, Diagnostic, } from "./ast.ts";
+export { headerManifest, HEADER_NAMES } from "./headers.ts";
 //# sourceMappingURL=index.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,OAAO,EACP,KAAK,iBAAiB,EACtB,KAAK,cAAc,EACnB,KAAK,qBAAqB,EAC1B,KAAK,aAAa,GACnB,MAAM,cAAc,CAAC;AACtB,OAAO,EACL,oBAAoB,EACpB,mBAAmB,EACnB,uBAAuB,EACvB,KAAK,aAAa,EAClB,KAAK,eAAe,EACpB,KAAK,YAAY,GAClB,MAAM,WAAW,CAAC;AACnB,OAAO,EACL,cAAc,EACd,KAAK,yBAAyB,GAC/B,MAAM,kBAAkB,CAAC;AAC1B,YAAY,EAAE,eAAe,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAClE,OAAO,EAAE,MAAM,EAAE,KAAK,YAAY,EAAE,MAAM,aAAa,CAAC;AACxD,OAAO,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAC;AACpC,OAAO,EACL,sBAAsB,EACtB,KAAK,oBAAoB,EACzB,KAAK,yBAAyB,EAC9B,KAAK,yBAAyB,GAC/B,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,KAAK,cAAc,EAAE,MAAM,WAAW,CAAC;AAChD,OAAO,EAAE,mBAAmB,EAAE,MAAM,WAAW,CAAC;AAChD,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC1C,OAAO,EAAE,mBAAmB,EAAE,KAAK,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AAC/E,YAAY,EACV,SAAS,EACT,UAAU,EACV,OAAO,EACP,WAAW,EACX,OAAO,GACR,MAAM,UAAU,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,OAAO,EACP,KAAK,iBAAiB,EACtB,KAAK,cAAc,EACnB,KAAK,aAAa,EAClB,KAAK,qBAAqB,EAC1B,KAAK,oBAAoB,GAC1B,MAAM,cAAc,CAAC;AACtB,YAAY,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AACxD,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC1C,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,OAAO,EAAE,sBAAsB,EAAE,KAAK,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAChF,OAAO,EAAE,oBAAoB,EAAE,KAAK,eAAe,EAAE,MAAM,WAAW,CAAC;AACvE,YAAY,EACV,OAAO,EACP,IAAI,EACJ,cAAc,EACd,UAAU,EACV,cAAc,EACd,IAAI,EACJ,IAAI,EACJ,UAAU,GACX,MAAM,UAAU,CAAC;AAElB,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC"}

package/dist/src/index.js

@@ -1,11 +1,8 @@
 export { compile, } from "./compile.js";
-export { buildUdlCostManifest, computeUdlFixedCost, evaluateUdlCostManifest, } from "./cost.js";
-export { hsxDiagnostics, } from "./diagnostics.js";
-export { format } from "./format.js";
-export { KEYWORDS } from "./lex.js";
-export { overrideProgramEntries, } from "./entry-overrides.js";
-export {} from "./emit.js";
-export { lowerGeneralProgram } from "./emit.js";
 export { parseProgram } from "./parse.js";
-export { checkGeneralProgram } from "./typecheck.js";
+export { lex, KEYWORDS } from "./lex.js";
+export { format } from "./format.js";
+export { bundledStandardLibrary } from "./std-library.js";
+export { buildUdlCostManifest } from "./cost.js";
+export { headerManifest, HEADER_NAMES } from "./headers.js";
 //# sourceMappingURL=index.js.map

package/dist/src/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,OAAO,GAKR,MAAM,cAAc,CAAC;AACtB,OAAO,EACL,oBAAoB,EACpB,mBAAmB,EACnB,uBAAuB,GAIxB,MAAM,WAAW,CAAC;AACnB,OAAO,EACL,cAAc,GAEf,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EAAE,MAAM,EAAqB,MAAM,aAAa,CAAC;AACxD,OAAO,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAC;AACpC,OAAO,EACL,sBAAsB,GAIvB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAuB,MAAM,WAAW,CAAC;AAChD,OAAO,EAAE,mBAAmB,EAAE,MAAM,WAAW,CAAC;AAChD,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC1C,OAAO,EAAE,mBAAmB,EAA4B,MAAM,gBAAgB,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,OAAO,GAMR,MAAM,cAAc,CAAC;AAEtB,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC1C,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,OAAO,EAAE,sBAAsB,EAAwB,MAAM,kBAAkB,CAAC;AAChF,OAAO,EAAE,oBAAoB,EAAwB,MAAM,WAAW,CAAC;AAYvE,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC"}

package/dist/src/keywords.d.ts

@@ -0,0 +1,56 @@
+/** Business explanations shared by every HSX editor. */
+export declare const KEYWORD_HELP: {
+    program: [string, string];
+    header: [string];
+    use: [string];
+    party: [string, string];
+    role: [string];
+    currency: [string];
+    instrument: [string, string];
+    fields: [string, string];
+    lifecycle: [string, string];
+    action: [string, string];
+    expose: [string, string];
+    hide: [string];
+    as: [string];
+    cap: [string, string];
+    of: [string];
+    when: [string];
+    constraints: [string];
+    requires: [string, string];
+    invariants: [string, string];
+    moves: [string, string];
+    from: [string];
+    to: [string];
+    in: [string, string];
+    is: [string];
+    has: [string];
+    family: [string];
+    check: [string];
+    result: [string];
+    maxAge: [string];
+    instruction: [string];
+    boundary: [string];
+    key: [string];
+    unique: [string, string];
+    on: [string];
+    count: [string, string];
+    sum: [string, string];
+    hours: [string, string];
+    between: [string];
+    and: [string];
+    timezone: [string];
+    evidence: [string, string];
+    reserve: [string, string];
+    post: [string, string];
+    void: [string, string];
+    capture: [string];
+    fee: [string, string];
+    shares: [string, string];
+    object: [string, string];
+    attach: [string, string];
+    subject: [string, string];
+    rename: [string, string];
+    columns: [string, string];
+};
+//# sourceMappingURL=keywords.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"keywords.d.ts","sourceRoot":"","sources":["../../src/keywords.ts"],"names":[],"mappings":"AAEA,wDAAwD;AACxD,eAAO,MAAM,YAAY;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAkIgD,CAAC"}