@procedures/compiler 0.0.0-stage → 0.3.0

package/dist/openrpc.d.ts

@@ -0,0 +1,63 @@
+/**
+ * An OpenRPC document from a manifest (roadmap R23).
+ *
+ * The manifest of a host (`describeRegistry()`, `procedure.manifest`, roadmap R17) has the JSON
+ * Schemas of each procedure. This module writes them as an OpenRPC 1.3 document: one method for
+ * each procedure. A tool of the OpenRPC ecosystem can then show the procedures or make a client.
+ *
+ * The keys of each object have a fixed order, and the methods are in the order of their names.
+ * Thus one manifest always gives the same text, and a golden file can hold it.
+ */
+import type { Effects, ProcedureManifest, ProcedurePath } from "@procedures/client/browser";
+/** The version of the OpenRPC specification of the documents. */
+export declare const OPENRPC_VERSION = "1.3.2";
+/** A content descriptor of OpenRPC: a name and a JSON Schema. */
+export interface OpenRpcContentDescriptor {
+    readonly name: string;
+    readonly required?: boolean | undefined;
+    readonly schema: Record<string, unknown>;
+}
+/** One method of an OpenRPC document: one procedure. */
+export interface OpenRpcMethod {
+    /** The key of the procedure: its path with dots. */
+    readonly name: string;
+    readonly description?: string | undefined;
+    readonly tags?: ReadonlyArray<{
+        readonly name: string;
+    }> | undefined;
+    readonly params: readonly [OpenRpcContentDescriptor];
+    readonly result: OpenRpcContentDescriptor;
+    readonly deprecated?: boolean | undefined;
+    /** The path of the procedure. A segment can have a dot, so the name alone does not give the path. */
+    readonly "x-path": ProcedurePath;
+    /** The declared effects of the procedure. Absent: the procedure does not declare its effects. */
+    readonly "x-effects"?: Effects | undefined;
+    /** True: the procedure operates its input as a program (control flow, a defined procedure). */
+    readonly "x-data-driven"?: boolean | undefined;
+}
+/** An OpenRPC 1.3 document. */
+export interface OpenRpcDocument {
+    readonly openrpc: string;
+    readonly info: {
+        readonly title: string;
+        readonly version: string;
+        readonly description?: string | undefined;
+    };
+    readonly methods: OpenRpcMethod[];
+}
+/** The options of `toOpenRpc()`. */
+export interface OpenRpcOptions {
+    /** The title of the document. The default is "Procedures". */
+    readonly title?: string | undefined;
+    /** The version of the document. The default is the hash of the manifest. */
+    readonly version?: string | undefined;
+    /** The description of the document. */
+    readonly description?: string | undefined;
+}
+/**
+ * This function writes a manifest as an OpenRPC 1.3 document. Each procedure is a method with
+ * its key as the name. The input schema is the one parameter `input`. The output schema is the
+ * result `output`. The declared effects are the extension `x-effects`.
+ */
+export declare function toOpenRpc(manifest: ProcedureManifest, options?: OpenRpcOptions): OpenRpcDocument;
+//# sourceMappingURL=openrpc.d.ts.map

package/dist/openrpc.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"openrpc.d.ts","sourceRoot":"","sources":["../src/openrpc.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAAE,OAAO,EAAE,iBAAiB,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAE5F,iEAAiE;AACjE,eAAO,MAAM,eAAe,UAAU,CAAC;AAEvC,iEAAiE;AACjE,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;IACxC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAC1C;AAED,wDAAwD;AACxD,MAAM,WAAW,aAAa;IAC5B,oDAAoD;IACpD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC1C,QAAQ,CAAC,IAAI,CAAC,EAAE,aAAa,CAAC;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC,GAAG,SAAS,CAAC;IACrE,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC,wBAAwB,CAAC,CAAC;IACrD,QAAQ,CAAC,MAAM,EAAE,wBAAwB,CAAC;IAC1C,QAAQ,CAAC,UAAU,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;IAC1C,qGAAqG;IACrG,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC;IACjC,iGAAiG;IACjG,QAAQ,CAAC,WAAW,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;IAC3C,+FAA+F;IAC/F,QAAQ,CAAC,eAAe,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;CAChD;AAED,+BAA+B;AAC/B,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE;QAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;KAAE,CAAC;IAC/G,QAAQ,CAAC,OAAO,EAAE,aAAa,EAAE,CAAC;CACnC;AAED,oCAAoC;AACpC,MAAM,WAAW,cAAc;IAC7B,8DAA8D;IAC9D,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACpC,4EAA4E;IAC5E,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACtC,uCAAuC;IACvC,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;CAC3C;AAmBD;;;;GAIG;AACH,wBAAgB,SAAS,CAAC,QAAQ,EAAE,iBAAiB,EAAE,OAAO,GAAE,cAAmB,GAAG,eAAe,CAwBpG"}

package/dist/openrpc.js

@@ -0,0 +1,57 @@
+/**
+ * An OpenRPC document from a manifest (roadmap R23).
+ *
+ * The manifest of a host (`describeRegistry()`, `procedure.manifest`, roadmap R17) has the JSON
+ * Schemas of each procedure. This module writes them as an OpenRPC 1.3 document: one method for
+ * each procedure. A tool of the OpenRPC ecosystem can then show the procedures or make a client.
+ *
+ * The keys of each object have a fixed order, and the methods are in the order of their names.
+ * Thus one manifest always gives the same text, and a golden file can hold it.
+ */
+/** The version of the OpenRPC specification of the documents. */
+export const OPENRPC_VERSION = "1.3.2";
+/** A copy of a JSON value: only JSON values, and no `undefined`. */
+function jsonCopy(value) {
+    if (value === undefined)
+        return {};
+    const copy = JSON.parse(JSON.stringify(value));
+    return copy !== null && typeof copy === "object" && !Array.isArray(copy) ? copy : {};
+}
+/** The effects with their keys in a fixed order. */
+function effectsCopy(effects) {
+    return {
+        ...(effects.reads ? { reads: [...effects.reads] } : {}),
+        ...(effects.writes ? { writes: [...effects.writes] } : {}),
+        ...(effects.destructive !== undefined ? { destructive: effects.destructive } : {}),
+        ...(effects.idempotent !== undefined ? { idempotent: effects.idempotent } : {}),
+    };
+}
+/**
+ * This function writes a manifest as an OpenRPC 1.3 document. Each procedure is a method with
+ * its key as the name. The input schema is the one parameter `input`. The output schema is the
+ * result `output`. The declared effects are the extension `x-effects`.
+ */
+export function toOpenRpc(manifest, options = {}) {
+    const entries = [...manifest.procedures].sort((a, b) => (a.key < b.key ? -1 : a.key > b.key ? 1 : 0));
+    const methods = entries.map((entry) => ({
+        name: entry.key,
+        ...(entry.description !== undefined ? { description: entry.description } : {}),
+        ...(entry.tags && entry.tags.length > 0 ? { tags: entry.tags.map((name) => ({ name })) } : {}),
+        params: [{ name: "input", required: true, schema: jsonCopy(entry.input) }],
+        result: { name: "output", schema: jsonCopy(entry.output) },
+        ...(entry.deprecated ? { deprecated: true } : {}),
+        "x-path": [...entry.path],
+        ...(entry.effects ? { "x-effects": effectsCopy(entry.effects) } : {}),
+        ...(entry.dataDriven ? { "x-data-driven": true } : {}),
+    }));
+    return {
+        openrpc: OPENRPC_VERSION,
+        info: {
+            title: options.title ?? "Procedures",
+            version: options.version ?? manifest.hash,
+            ...(options.description !== undefined ? { description: options.description } : {}),
+        },
+        methods,
+    };
+}
+//# sourceMappingURL=openrpc.js.map

package/dist/openrpc.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"openrpc.js","sourceRoot":"","sources":["../src/openrpc.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAIH,iEAAiE;AACjE,MAAM,CAAC,MAAM,eAAe,GAAG,OAAO,CAAC;AA2CvC,oEAAoE;AACpE,SAAS,QAAQ,CAAC,KAAc;IAC9B,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IACnC,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAY,CAAC;IAC1D,OAAO,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAE,IAAgC,CAAC,CAAC,CAAC,EAAE,CAAC;AACpH,CAAC;AAED,oDAAoD;AACpD,SAAS,WAAW,CAAC,OAAgB;IACnC,OAAO;QACL,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACvD,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1D,GAAG,CAAC,OAAO,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAClF,GAAG,CAAC,OAAO,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAChF,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,SAAS,CAAC,QAA2B,EAAE,OAAO,GAAmB,EAAE;IACjF,MAAM,OAAO,GAAG,CAAC,GAAG,QAAQ,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACtG,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CACzB,CAAC,KAAK,EAAiB,EAAE,CAAC,CAAC;QACzB,IAAI,EAAE,KAAK,CAAC,GAAG;QACf,GAAG,CAAC,KAAK,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9E,GAAG,CAAC,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9F,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1E,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE;QAC1D,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACjD,QAAQ,EAAE,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC;QACzB,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,WAAW,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACrE,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACvD,CAAC,CACH,CAAC;IACF,OAAO;QACL,OAAO,EAAE,eAAe;QACxB,IAAI,EAAE;YACJ,KAAK,EAAE,OAAO,CAAC,KAAK,IAAI,YAAY;YACpC,OAAO,EAAE,OAAO,CAAC,OAAO,IAAI,QAAQ,CAAC,IAAI;YACzC,GAAG,CAAC,OAAO,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACnF;QACD,OAAO;KACR,CAAC;AACJ,CAAC"}

package/dist/print.d.ts

@@ -0,0 +1,8 @@
+/**
+ * A text form of the IR, with one node on each line. The golden tests and the persons who read
+ * the result of the compiler use it.
+ */
+import type { ProgramIR } from "./ir.js";
+/** This function gives the text of the IR of a program. */
+export declare function printIR(ir: ProgramIR): string;
+//# sourceMappingURL=print.d.ts.map

package/dist/print.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"print.d.ts","sourceRoot":"","sources":["../src/print.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAA8B,SAAS,EAAiB,MAAM,SAAS,CAAC;AA2BpF,2DAA2D;AAC3D,wBAAgB,OAAO,CAAC,EAAE,EAAE,SAAS,GAAG,MAAM,CA6G7C"}

package/dist/print.js

@@ -0,0 +1,148 @@
+/**
+ * A text form of the IR, with one node on each line. The golden tests and the persons who read
+ * the result of the compiler use it.
+ */
+function json(value) {
+    try {
+        const text = JSON.stringify(value);
+        return text === undefined ? String(value) : text.length > 80 ? `${text.slice(0, 77)}...` : text;
+    }
+    catch {
+        return "<not JSON>";
+    }
+}
+function binding(value) {
+    if (!value)
+        return "-";
+    return value.name === undefined ? `b${value.id}` : `b${value.id}:${value.name}`;
+}
+function scope(snapshot) {
+    if (!snapshot)
+        return "none";
+    return snapshot
+        .map((frame) => `[${frame.names.map(([name, value]) => `${name}=${binding(value)}`).join(" ")}${frame.last ? ` $last=${binding(frame.last)}` : ""}]`)
+        .join(" ");
+}
+function extra(value) {
+    return Object.keys(value).length > 0 ? ` extra=${json(value)}` : "";
+}
+/** This function gives the text of the IR of a program. */
+export function printIR(ir) {
+    const lines = [`program mode=${ir.mode}${ir.input ? ` input=${binding(ir.input)}` : ""}`];
+    const line = (depth, text) => {
+        lines.push(`${"  ".repeat(depth)}${text}`);
+    };
+    const items = (spec, depth) => {
+        if (spec.kind === "list") {
+            line(depth, `items list(${spec.items.length})`);
+            for (const item of spec.items)
+                visit(item, depth + 1);
+        }
+        else {
+            line(depth, "items value");
+            visit(spec.value, depth + 1);
+        }
+    };
+    const visit = (node, depth) => {
+        const at = ` @${json(node.pointer)}`;
+        switch (node.kind) {
+            case "literal":
+                line(depth, `literal ${node.origin} ${json(node.value)}${at}`);
+                return;
+            case "object":
+                line(depth, `object${at}`);
+                for (const entry of node.entries) {
+                    line(depth + 1, `key ${json(entry.key)}`);
+                    visit(entry.value, depth + 2);
+                }
+                return;
+            case "array":
+                line(depth, `array(${node.items.length})${at}`);
+                for (const item of node.items)
+                    visit(item, depth + 1);
+                return;
+            case "reference":
+                line(depth, `ref ${json(node.text)} -> ${node.binding ? binding(node.binding) : node.deferred ? "data (deferred)" : "unknown"}${at}`);
+                return;
+            case "call":
+                line(depth, `call ${node.key} ${node.position}${extra(node.extra)}${at}`);
+                visit(node.input, depth + 1);
+                return;
+            case "deferred":
+                line(depth, `deferred ${node.key} when=${json(node.when)}${at}`);
+                visit(node.input, depth + 1);
+                return;
+            case "dynamic":
+                line(depth, `dynamic ${node.key} ${node.position} reason=${node.reason}${extra(node.extra)} scope=${scope(node.scope)}${at}`);
+                visit(node.input, depth + 1);
+                if (node.model) {
+                    line(depth + 1, "model");
+                    visit(node.model, depth + 2);
+                }
+                return;
+            case "fail":
+                line(depth, `fail ${json(node.message)}${at}`);
+                return;
+            case "chain":
+                line(depth, `chain${node.implicit ? " implicit" : ""} ${node.position}${node.passThrough ? ` passThrough initial=${binding(node.initial)}` : ""}${at}`);
+                if (node.initialInput) {
+                    line(depth + 1, "initialInput");
+                    visit(node.initialInput, depth + 2);
+                }
+                for (const step of node.steps) {
+                    line(depth + 1, `step -> ${binding(step.result)}`);
+                    visit(step.node, depth + 2);
+                }
+                return;
+            case "parallel":
+                line(depth, `parallel ${node.position} concurrency=${node.concurrency ?? "all"} failFast=${node.failFast}${at}`);
+                for (const task of node.tasks)
+                    visit(task, depth + 1);
+                return;
+            case "conditional":
+                line(depth, `conditional ${node.position}${at}`);
+                visit(node.condition, depth + 1);
+                line(depth + 1, "then");
+                if (node.then)
+                    visit(node.then, depth + 2);
+                line(depth + 1, "else");
+                if (node.else)
+                    visit(node.else, depth + 2);
+                return;
+            case "try":
+                line(depth, `try ${node.position} error=${binding(node.error)}${at}`);
+                visit(node.try, depth + 1);
+                line(depth + 1, "catch");
+                visit(node.catch, depth + 2);
+                return;
+            case "and":
+            case "or":
+                line(depth, `${node.kind} ${node.position}${at}`);
+                for (const value of node.values)
+                    visit(value, depth + 1);
+                return;
+            case "map":
+                line(depth, `map ${node.position} item=${binding(node.item)} index=${binding(node.index)}${at}`);
+                items(node.items, depth + 1);
+                if (node.fn) {
+                    line(depth + 1, "fn");
+                    visit(node.fn, depth + 2);
+                }
+                return;
+            case "reduce":
+                line(depth, `reduce ${node.position} acc=${binding(node.acc)} item=${binding(node.item)} index=${binding(node.index)}${at}`);
+                if (node.items)
+                    items(node.items, depth + 1);
+                line(depth + 1, "initial");
+                visit(node.initial, depth + 2);
+                if (node.fn) {
+                    line(depth + 1, "fn");
+                    visit(node.fn, depth + 2);
+                }
+                return;
+        }
+    };
+    visit(ir.root, 1);
+    return `${lines.join("\n")}\n`;
+}
+//# sourceMappingURL=print.js.map

package/dist/print.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"print.js","sourceRoot":"","sources":["../src/print.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAIH,SAAS,IAAI,CAAC,KAAc;IAC1B,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QACnC,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;IAClG,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,YAAY,CAAC;IACtB,CAAC;AACH,CAAC;AAED,SAAS,OAAO,CAAC,KAA0B;IACzC,IAAI,CAAC,KAAK;QAAE,OAAO,GAAG,CAAC;IACvB,OAAO,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,EAAE,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;AAClF,CAAC;AAED,SAAS,KAAK,CAAC,QAAuB;IACpC,IAAI,CAAC,QAAQ;QAAE,OAAO,MAAM,CAAC;IAC7B,OAAO,QAAQ;SACZ,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,IAAI,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC;SACpJ,IAAI,CAAC,GAAG,CAAC,CAAC;AACf,CAAC;AAED,SAAS,KAAK,CAAC,KAAwC;IACrD,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;AACtE,CAAC;AAED,2DAA2D;AAC3D,MAAM,UAAU,OAAO,CAAC,EAAa;IACnC,MAAM,KAAK,GAAa,CAAC,gBAAgB,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU,OAAO,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACpG,MAAM,IAAI,GAAG,CAAC,KAAa,EAAE,IAAY,EAAQ,EAAE;QACjD,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC;IAC7C,CAAC,CAAC;IACF,MAAM,KAAK,GAAG,CAAC,IAAe,EAAE,KAAa,EAAQ,EAAE;QACrD,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACzB,IAAI,CAAC,KAAK,EAAE,cAAc,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;YAChD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK;gBAAE,KAAK,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;QACxD,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;YAC3B,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;QAC/B,CAAC;IACH,CAAC,CAAC;IACF,MAAM,KAAK,GAAG,CAAC,IAAY,EAAE,KAAa,EAAQ,EAAE;QAClD,MAAM,EAAE,GAAG,KAAK,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QACrC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,SAAS;gBACZ,IAAI,CAAC,KAAK,EAAE,WAAW,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;gBAC/D,OAAO;YACT,KAAK,QAAQ;gBACX,IAAI,CAAC,KAAK,EAAE,SAAS,EAAE,EAAE,CAAC,CAAC;gBAC3B,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;oBACjC,IAAI,CAAC,KAAK,GAAG,CAAC,EAAE,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;oBAC1C,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;gBAChC,CAAC;gBACD,OAAO;YACT,KAAK,OAAO;gBACV,IAAI,CAAC,KAAK,EAAE,SAAS,IAAI,CAAC,KAAK,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC,CAAC;gBAChD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK;oBAAE,KAAK,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;gBACtD,OAAO;YACT,KAAK,WAAW;gBACd,IAAI,CAAC,KAAK,EAAE,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,SAAS,GAAG,EAAE,EAAE,CAAC,CAAC;gBACtI,OAAO;YACT,KAAK,MAAM;gBACT,IAAI,CAAC,KAAK,EAAE,QAAQ,IAAI,CAAC,GAAG,IAAI,IAAI,CAAC,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;gBAC1E,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;gBAC7B,OAAO;YACT,KAAK,UAAU;gBACb,IAAI,CAAC,KAAK,EAAE,YAAY,IAAI,CAAC,GAAG,SAAS,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;gBACjE,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;gBAC7B,OAAO;YACT,KAAK,SAAS;gBACZ,IAAI,CAAC,KAAK,EAAE,WAAW,IAAI,CAAC,GAAG,IAAI,IAAI,CAAC,QAAQ,WAAW,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;gBAC9H,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;gBAC7B,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;oBACf,IAAI,CAAC,KAAK,GAAG,CAAC,EAAE,OAAO,CAAC,CAAC;oBACzB,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;gBAC/B,CAAC;gBACD,OAAO;YACT,KAAK,MAAM;gBACT,IAAI,CAAC,KAAK,EAAE,QAAQ,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;gBAC/C,OAAO;YACT,KAAK,OAAO;gBACV,IAAI,CAAC,KAAK,EAAE,QAAQ,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,IAAI,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,wBAAwB,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;gBACxJ,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;oBACtB,IAAI,CAAC,KAAK,GAAG,CAAC,EAAE,cAAc,CAAC,CAAC;oBAChC,KAAK,CAAC,IAAI,CAAC,YAAY,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;gBACtC,CAAC;gBACD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;oBAC9B,IAAI,CAAC,KAAK,GAAG,CAAC,EAAE,WAAW,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;oBACnD,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;gBAC9B,CAAC;gBACD,OAAO;YACT,KAAK,UAAU;gBACb,IAAI,CAAC,KAAK,EAAE,YAAY,IAAI,CAAC,QAAQ,gBAAgB,IAAI,CAAC,WAAW,IAAI,KAAK,aAAa,IAAI,CAAC,QAAQ,GAAG,EAAE,EAAE,CAAC,CAAC;gBACjH,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK;oBAAE,KAAK,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;gBACtD,OAAO;YACT,KAAK,aAAa;gBAChB,IAAI,CAAC,KAAK,EAAE,eAAe,IAAI,CAAC,QAAQ,GAAG,EAAE,EAAE,CAAC,CAAC;gBACjD,KAAK,CAAC,IAAI,CAAC,SAAS,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;gBACjC,IAAI,CAAC,KAAK,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC;gBACxB,IAAI,IAAI,CAAC,IAAI;oBAAE,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;gBAC3C,IAAI,CAAC,KAAK,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC;gBACxB,IAAI,IAAI,CAAC,IAAI;oBAAE,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;gBAC3C,OAAO;YACT,KAAK,KAAK;gBACR,IAAI,CAAC,KAAK,EAAE,OAAO,IAAI,CAAC,QAAQ,UAAU,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;gBACtE,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;gBAC3B,IAAI,CAAC,KAAK,GAAG,CAAC,EAAE,OAAO,CAAC,CAAC;gBACzB,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;gBAC7B,OAAO;YACT,KAAK,KAAK,CAAC;YACX,KAAK,IAAI;gBACP,IAAI,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,QAAQ,GAAG,EAAE,EAAE,CAAC,CAAC;gBAClD,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM;oBAAE,KAAK,CAAC,KAAK,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;gBACzD,OAAO;YACT,KAAK,KAAK;gBACR,IAAI,CAAC,KAAK,EAAE,OAAO,IAAI,CAAC,QAAQ,SAAS,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;gBACjG,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;gBAC7B,IAAI,IAAI,CAAC,EAAE,EAAE,CAAC;oBACZ,IAAI,CAAC,KAAK,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC;oBACtB,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;gBAC5B,CAAC;gBACD,OAAO;YACT,KAAK,QAAQ;gBACX,IAAI,CAAC,KAAK,EAAE,UAAU,IAAI,CAAC,QAAQ,QAAQ,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;gBAC7H,IAAI,IAAI,CAAC,KAAK;oBAAE,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;gBAC7C,IAAI,CAAC,KAAK,GAAG,CAAC,EAAE,SAAS,CAAC,CAAC;gBAC3B,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;gBAC/B,IAAI,IAAI,CAAC,EAAE,EAAE,CAAC;oBACZ,IAAI,CAAC,KAAK,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC;oBACtB,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;gBAC5B,CAAC;gBACD,OAAO;QACX,CAAC;IACH,CAAC,CAAC;IACF,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IAClB,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;AACjC,CAAC"}

package/dist/procedures/program/check.d.ts

@@ -0,0 +1,14 @@
+/**
+ * program.check procedure
+ *
+ * Check a program before it runs: the names, the procedures, the inputs, the capability and the
+ * effects. No call of the program starts.
+ */
+import { type ProcedureContext } from "@procedures/client/browser";
+import { type ProgramCheckInput, type ProgramCheckOutput } from "../../types.js";
+/**
+ * This function checks a program against the registry and the expose rule of the host. The
+ * capability is the capability of the input, or the capability of the caller.
+ */
+export declare function programCheck(input: ProgramCheckInput, ctx?: ProcedureContext): Promise<ProgramCheckOutput>;
+//# sourceMappingURL=check.d.ts.map

package/dist/procedures/program/check.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"check.d.ts","sourceRoot":"","sources":["../../../src/procedures/program/check.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAsB,KAAK,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AAEvF,OAAO,EAAgB,KAAK,iBAAiB,EAAE,KAAK,kBAAkB,EAAE,MAAM,gBAAgB,CAAC;AAG/F;;;GAGG;AACH,wBAAsB,YAAY,CAAC,KAAK,EAAE,iBAAiB,EAAE,GAAG,CAAC,EAAE,gBAAgB,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAchH"}

package/dist/procedures/program/check.js

@@ -0,0 +1,30 @@
+/**
+ * program.check procedure
+ *
+ * Check a program before it runs: the names, the procedures, the inputs, the capability and the
+ * effects. No call of the program starts.
+ */
+import { PROCEDURE_REGISTRY } from "@procedures/client/browser";
+import { checkProgram } from "../../program.js";
+import { toCapability } from "../../types.js";
+import { effectsOutput } from "./effects-output.js";
+/**
+ * This function checks a program against the registry and the expose rule of the host. The
+ * capability is the capability of the input, or the capability of the caller.
+ */
+export async function programCheck(input, ctx) {
+    const result = checkProgram(input.program, {
+        registry: ctx?.registry ?? PROCEDURE_REGISTRY,
+        expose: ctx?.expose,
+        capability: input.capability ? toCapability(input.capability) : ctx?.capability,
+        mode: input.mode,
+    });
+    return {
+        ok: result.ok,
+        effects: effectsOutput(result.effects),
+        mustEffects: result.mustEffects,
+        diagnostics: result.diagnostics,
+        registryHash: result.registryHash,
+    };
+}
+//# sourceMappingURL=check.js.map

package/dist/procedures/program/check.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"check.js","sourceRoot":"","sources":["../../../src/procedures/program/check.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,kBAAkB,EAAyB,MAAM,4BAA4B,CAAC;AACvF,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAChD,OAAO,EAAE,YAAY,EAAmD,MAAM,gBAAgB,CAAC;AAC/F,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAEpD;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,KAAwB,EAAE,GAAsB;IACjF,MAAM,MAAM,GAAG,YAAY,CAAC,KAAK,CAAC,OAAO,EAAE;QACzC,QAAQ,EAAE,GAAG,EAAE,QAAQ,IAAI,kBAAkB;QAC7C,MAAM,EAAE,GAAG,EAAE,MAAM;QACnB,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,UAAU;QAC/E,IAAI,EAAE,KAAK,CAAC,IAAI;KACjB,CAAC,CAAC;IACH,OAAO;QACL,EAAE,EAAE,MAAM,CAAC,EAAE;QACb,OAAO,EAAE,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC;QACtC,WAAW,EAAE,MAAM,CAAC,WAAW;QAC/B,WAAW,EAAE,MAAM,CAAC,WAAW;QAC/B,YAAY,EAAE,MAAM,CAAC,YAAY;KAClC,CAAC;AACJ,CAAC"}

package/dist/procedures/program/compile.d.ts

@@ -0,0 +1,14 @@
+/**
+ * program.compile procedure
+ *
+ * This procedure compiles a program to a JavaScript function. It checks the program first. Then
+ * it writes the text of an ES module.
+ */
+import { type ProcedureContext } from "@procedures/client/browser";
+import { type ProgramCompileInput, type ProgramCompileOutput } from "../../types.js";
+/**
+ * This function compiles a program against the registry and the expose rule of the host. The
+ * output has the source text, not the closure code: a closure does not go through JSON.
+ */
+export declare function programCompile(input: ProgramCompileInput, ctx?: ProcedureContext): Promise<ProgramCompileOutput>;
+//# sourceMappingURL=compile.d.ts.map

package/dist/procedures/program/compile.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compile.d.ts","sourceRoot":"","sources":["../../../src/procedures/program/compile.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAsB,KAAK,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AAEvF,OAAO,EAAgB,KAAK,mBAAmB,EAAE,KAAK,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAGnG;;;GAGG;AACH,wBAAsB,cAAc,CAAC,KAAK,EAAE,mBAAmB,EAAE,GAAG,CAAC,EAAE,gBAAgB,GAAG,OAAO,CAAC,oBAAoB,CAAC,CAmBtH"}

package/dist/procedures/program/compile.js

@@ -0,0 +1,35 @@
+/**
+ * program.compile procedure
+ *
+ * This procedure compiles a program to a JavaScript function. It checks the program first. Then
+ * it writes the text of an ES module.
+ */
+import { PROCEDURE_REGISTRY } from "@procedures/client/browser";
+import { compileProgram } from "../../program.js";
+import { toCapability } from "../../types.js";
+import { effectsOutput } from "./effects-output.js";
+/**
+ * This function compiles a program against the registry and the expose rule of the host. The
+ * output has the source text, not the closure code: a closure does not go through JSON.
+ */
+export async function programCompile(input, ctx) {
+    const result = await compileProgram(input.program, {
+        registry: ctx?.registry ?? PROCEDURE_REGISTRY,
+        expose: ctx?.expose,
+        capability: input.capability ? toCapability(input.capability) : ctx?.capability,
+        mode: input.mode,
+        fold: input.fold,
+        language: input.language,
+    });
+    return {
+        ok: result.ok,
+        effects: effectsOutput(result.effects),
+        mustEffects: result.mustEffects,
+        diagnostics: result.diagnostics,
+        registryHash: result.registryHash,
+        code: result.code,
+        sourceMap: result.sourceMap,
+        folded: [...result.folded],
+    };
+}
+//# sourceMappingURL=compile.js.map

package/dist/procedures/program/compile.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compile.js","sourceRoot":"","sources":["../../../src/procedures/program/compile.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,kBAAkB,EAAyB,MAAM,4BAA4B,CAAC;AACvF,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAClD,OAAO,EAAE,YAAY,EAAuD,MAAM,gBAAgB,CAAC;AACnG,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAEpD;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,cAAc,CAAC,KAA0B,EAAE,GAAsB;IACrF,MAAM,MAAM,GAAG,MAAM,cAAc,CAAC,KAAK,CAAC,OAAO,EAAE;QACjD,QAAQ,EAAE,GAAG,EAAE,QAAQ,IAAI,kBAAkB;QAC7C,MAAM,EAAE,GAAG,EAAE,MAAM;QACnB,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,UAAU;QAC/E,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,QAAQ,EAAE,KAAK,CAAC,QAAQ;KACzB,CAAC,CAAC;IACH,OAAO;QACL,EAAE,EAAE,MAAM,CAAC,EAAE;QACb,OAAO,EAAE,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC;QACtC,WAAW,EAAE,MAAM,CAAC,WAAW;QAC/B,WAAW,EAAE,MAAM,CAAC,WAAW;QAC/B,YAAY,EAAE,MAAM,CAAC,YAAY;QACjC,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,SAAS,EAAE,MAAM,CAAC,SAAS;QAC3B,MAAM,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC;KAC3B,CAAC;AACJ,CAAC"}

package/dist/procedures/program/diagram.d.ts

@@ -0,0 +1,14 @@
+/**
+ * program.diagram procedure
+ *
+ * This procedure draws a program as a Mermaid flowchart: the order of the calls, the control
+ * flow and the names. No call of the program starts.
+ */
+import { type ProcedureContext } from "@procedures/client/browser";
+import type { ProgramDiagramInput, ProgramDiagramOutput } from "../../types.js";
+/**
+ * This function checks a program against the registry and the expose rule of the host. It gives
+ * the flowchart of the IR and the diagnostics of the check.
+ */
+export declare function programDiagram(input: ProgramDiagramInput, ctx?: ProcedureContext): Promise<ProgramDiagramOutput>;
+//# sourceMappingURL=diagram.d.ts.map

package/dist/procedures/program/diagram.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"diagram.d.ts","sourceRoot":"","sources":["../../../src/procedures/program/diagram.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAsB,KAAK,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AAEvF,OAAO,KAAK,EAAE,mBAAmB,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAEhF;;;GAGG;AACH,wBAAsB,cAAc,CAAC,KAAK,EAAE,mBAAmB,EAAE,GAAG,CAAC,EAAE,gBAAgB,GAAG,OAAO,CAAC,oBAAoB,CAAC,CAStH"}

package/dist/procedures/program/diagram.js

@@ -0,0 +1,23 @@
+/**
+ * program.diagram procedure
+ *
+ * This procedure draws a program as a Mermaid flowchart: the order of the calls, the control
+ * flow and the names. No call of the program starts.
+ */
+import { PROCEDURE_REGISTRY } from "@procedures/client/browser";
+import { diagramProgram } from "../../mermaid.js";
+/**
+ * This function checks a program against the registry and the expose rule of the host. It gives
+ * the flowchart of the IR and the diagnostics of the check.
+ */
+export async function programDiagram(input, ctx) {
+    const result = diagramProgram(input.program, {
+        registry: ctx?.registry ?? PROCEDURE_REGISTRY,
+        expose: ctx?.expose,
+        capability: ctx?.capability,
+        mode: input.mode,
+        direction: input.direction,
+    });
+    return { mermaid: result.mermaid, diagnostics: result.diagnostics };
+}
+//# sourceMappingURL=diagram.js.map

package/dist/procedures/program/diagram.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"diagram.js","sourceRoot":"","sources":["../../../src/procedures/program/diagram.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,kBAAkB,EAAyB,MAAM,4BAA4B,CAAC;AACvF,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAGlD;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,cAAc,CAAC,KAA0B,EAAE,GAAsB;IACrF,MAAM,MAAM,GAAG,cAAc,CAAC,KAAK,CAAC,OAAO,EAAE;QAC3C,QAAQ,EAAE,GAAG,EAAE,QAAQ,IAAI,kBAAkB;QAC7C,MAAM,EAAE,GAAG,EAAE,MAAM;QACnB,UAAU,EAAE,GAAG,EAAE,UAAU;QAC3B,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,SAAS,EAAE,KAAK,CAAC,SAAS;KAC3B,CAAC,CAAC;IACH,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,WAAW,EAAE,MAAM,CAAC,WAAW,EAAE,CAAC;AACtE,CAAC"}

package/dist/procedures/program/effects-output.d.ts

@@ -0,0 +1,8 @@
+/**
+ * The effects of a program in the JSON output of the procedures.
+ */
+import type { Effects } from "@procedures/client/browser";
+import type { EffectsOutput } from "../../types.js";
+/** This function copies the effects into mutable lists for the output schema. */
+export declare function effectsOutput(effects: Effects): EffectsOutput;
+//# sourceMappingURL=effects-output.d.ts.map

package/dist/procedures/program/effects-output.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"effects-output.d.ts","sourceRoot":"","sources":["../../../src/procedures/program/effects-output.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,4BAA4B,CAAC;AAC1D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAEpD,iFAAiF;AACjF,wBAAgB,aAAa,CAAC,OAAO,EAAE,OAAO,GAAG,aAAa,CAO7D"}

package/dist/procedures/program/effects-output.js

@@ -0,0 +1,13 @@
+/**
+ * The effects of a program in the JSON output of the procedures.
+ */
+/** This function copies the effects into mutable lists for the output schema. */
+export function effectsOutput(effects) {
+    return {
+        ...(effects.reads ? { reads: [...effects.reads] } : {}),
+        ...(effects.writes ? { writes: [...effects.writes] } : {}),
+        ...(effects.destructive !== undefined ? { destructive: effects.destructive } : {}),
+        ...(effects.idempotent !== undefined ? { idempotent: effects.idempotent } : {}),
+    };
+}
+//# sourceMappingURL=effects-output.js.map

package/dist/procedures/program/effects-output.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effects-output.js","sourceRoot":"","sources":["../../../src/procedures/program/effects-output.ts"],"names":[],"mappings":"AAAA;;GAEG;AAKH,iFAAiF;AACjF,MAAM,UAAU,aAAa,CAAC,OAAgB;IAC5C,OAAO;QACL,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACvD,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1D,GAAG,CAAC,OAAO,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAClF,GAAG,CAAC,OAAO,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAChF,CAAC;AACJ,CAAC"}

package/dist/procedures/program/explain.d.ts

@@ -0,0 +1,14 @@
+/**
+ * program.explain procedure
+ *
+ * This procedure explains a program before it starts: the effects, each call with its declared
+ * effects and the answer of the capability, and the diagnostics. No call of the program starts.
+ */
+import { type ProcedureContext } from "@procedures/client/browser";
+import { type ProgramExplainInput, type ProgramExplainOutput } from "../../types.js";
+/**
+ * This function explains a program against the registry and the expose rule of the host. The
+ * capability is the capability of the input, or the capability of the caller.
+ */
+export declare function programExplain(input: ProgramExplainInput, ctx?: ProcedureContext): Promise<ProgramExplainOutput>;
+//# sourceMappingURL=explain.d.ts.map

package/dist/procedures/program/explain.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"explain.d.ts","sourceRoot":"","sources":["../../../src/procedures/program/explain.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAsB,KAAK,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AAEvF,OAAO,EAA4C,KAAK,mBAAmB,EAAE,KAAK,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAG/H;;;GAGG;AACH,wBAAsB,cAAc,CAAC,KAAK,EAAE,mBAAmB,EAAE,GAAG,CAAC,EAAE,gBAAgB,GAAG,OAAO,CAAC,oBAAoB,CAAC,CA6BtH"}

package/dist/procedures/program/explain.js

@@ -0,0 +1,43 @@
+/**
+ * program.explain procedure
+ *
+ * This procedure explains a program before it starts: the effects, each call with its declared
+ * effects and the answer of the capability, and the diagnostics. No call of the program starts.
+ */
+import { PROCEDURE_REGISTRY } from "@procedures/client/browser";
+import { explainProgram } from "../../explain.js";
+import { toCapability } from "../../types.js";
+import { effectsOutput } from "./effects-output.js";
+/**
+ * This function explains a program against the registry and the expose rule of the host. The
+ * capability is the capability of the input, or the capability of the caller.
+ */
+export async function programExplain(input, ctx) {
+    const result = explainProgram(input.program, {
+        registry: ctx?.registry ?? PROCEDURE_REGISTRY,
+        expose: ctx?.expose,
+        capability: input.capability ? toCapability(input.capability) : ctx?.capability,
+        mode: input.mode,
+    });
+    return {
+        ok: result.ok,
+        effects: effectsOutput(result.effects),
+        mustEffects: result.mustEffects,
+        calls: result.calls.map((call) => ({
+            key: call.key,
+            path: [...call.path],
+            pointer: call.pointer,
+            kind: call.kind,
+            ...(call.effects ? { effects: effectsOutput(call.effects) } : {}),
+            known: call.known,
+            exposed: call.exposed,
+            permitted: call.permitted,
+            ...(call.reason !== undefined ? { reason: call.reason } : {}),
+            message: call.message,
+        })),
+        diagnostics: result.diagnostics,
+        registryHash: result.registryHash,
+        summary: result.summary,
+    };
+}
+//# sourceMappingURL=explain.js.map

package/dist/procedures/program/explain.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"explain.js","sourceRoot":"","sources":["../../../src/procedures/program/explain.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,kBAAkB,EAAyB,MAAM,4BAA4B,CAAC;AACvF,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAClD,OAAO,EAAE,YAAY,EAAmF,MAAM,gBAAgB,CAAC;AAC/H,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAEpD;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,cAAc,CAAC,KAA0B,EAAE,GAAsB;IACrF,MAAM,MAAM,GAAG,cAAc,CAAC,KAAK,CAAC,OAAO,EAAE;QAC3C,QAAQ,EAAE,GAAG,EAAE,QAAQ,IAAI,kBAAkB;QAC7C,MAAM,EAAE,GAAG,EAAE,MAAM;QACnB,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,UAAU;QAC/E,IAAI,EAAE,KAAK,CAAC,IAAI;KACjB,CAAC,CAAC;IACH,OAAO;QACL,EAAE,EAAE,MAAM,CAAC,EAAE;QACb,OAAO,EAAE,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC;QACtC,WAAW,EAAE,MAAM,CAAC,WAAW;QAC/B,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,CACrB,CAAC,IAAI,EAAyB,EAAE,CAAC,CAAC;YAChC,GAAG,EAAE,IAAI,CAAC,GAAG;YACb,IAAI,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC;YACpB,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACjE,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,GAAG,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC7D,OAAO,EAAE,IAAI,CAAC,OAAO;SACtB,CAAC,CACH;QACD,WAAW,EAAE,MAAM,CAAC,WAAW;QAC/B,YAAY,EAAE,MAAM,CAAC,YAAY;QACjC,OAAO,EAAE,MAAM,CAAC,OAAO;KACxB,CAAC;AACJ,CAAC"}

package/dist/procedures/program/index.d.ts

@@ -0,0 +1,5 @@
+export { programCheck } from "./check.js";
+export { programCompile } from "./compile.js";
+export { programDiagram } from "./diagram.js";
+export { programExplain } from "./explain.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/procedures/program/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/procedures/program/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC1C,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC"}

package/dist/procedures/program/index.js

@@ -0,0 +1,5 @@
+export { programCheck } from "./check.js";
+export { programCompile } from "./compile.js";
+export { programDiagram } from "./diagram.js";
+export { programExplain } from "./explain.js";
+//# sourceMappingURL=index.js.map

package/dist/procedures/program/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/procedures/program/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC1C,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC"}

package/dist/procedures/sdk/index.d.ts

@@ -0,0 +1,3 @@
+export { sdkOpenrpc } from "./openrpc.js";
+export { sdkTypescript } from "./typescript.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/procedures/sdk/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/procedures/sdk/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAC1C,OAAO,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC"}

package/dist/procedures/sdk/index.js

@@ -0,0 +1,3 @@
+export { sdkOpenrpc } from "./openrpc.js";
+export { sdkTypescript } from "./typescript.js";
+//# sourceMappingURL=index.js.map

package/dist/procedures/sdk/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/procedures/sdk/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAC1C,OAAO,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC"}

package/dist/procedures/sdk/manifest.d.ts

@@ -0,0 +1,11 @@
+/**
+ * The manifest that the procedures `sdk.openrpc` and `sdk.typescript` read.
+ */
+import { type ProcedureContext, type ProcedureManifest } from "@procedures/client/browser";
+import type { SdkInput } from "../../types.js";
+/**
+ * This function describes the registry of the caller, as `procedure.manifest` does. The manifest
+ * has only the procedures that the host exposes, and only one namespace when the input names it.
+ */
+export declare function manifestOf(input: SdkInput, ctx?: ProcedureContext): ProcedureManifest;
+//# sourceMappingURL=manifest.d.ts.map