@procedures/compiler 0.0.0-stage → 0.3.0

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

@@ -0,0 +1 @@
+{"version":3,"file":"manifest.d.ts","sourceRoot":"","sources":["../../../src/procedures/sdk/manifest.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAA2D,KAAK,gBAAgB,EAAE,KAAK,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AACpJ,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAE/C;;;GAGG;AACH,wBAAgB,UAAU,CAAC,KAAK,EAAE,QAAQ,EAAE,GAAG,CAAC,EAAE,gBAAgB,GAAG,iBAAiB,CAKrF"}

package/dist/procedures/sdk/manifest.js

@@ -0,0 +1,15 @@
+/**
+ * The manifest that the procedures `sdk.openrpc` and `sdk.typescript` read.
+ */
+import { describeRegistry, PROCEDURE_REGISTRY } from "@procedures/client/browser";
+/**
+ * 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 function manifestOf(input, ctx) {
+    return describeRegistry(ctx?.registry ?? PROCEDURE_REGISTRY, {
+        ...(ctx?.expose ? { expose: ctx.expose } : {}),
+        ...(input.namespace ? { include: (procedure) => procedure.path[0] === input.namespace } : {}),
+    });
+}
+//# sourceMappingURL=manifest.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"manifest.js","sourceRoot":"","sources":["../../../src/procedures/sdk/manifest.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,gBAAgB,EAAE,kBAAkB,EAAoE,MAAM,4BAA4B,CAAC;AAGpJ;;;GAGG;AACH,MAAM,UAAU,UAAU,CAAC,KAAe,EAAE,GAAsB;IAChE,OAAO,gBAAgB,CAAC,GAAG,EAAE,QAAQ,IAAI,kBAAkB,EAAE;QAC3D,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9C,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,SAAuB,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC5G,CAAC,CAAC;AACL,CAAC"}

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

@@ -0,0 +1,11 @@
+/**
+ * sdk.openrpc procedure
+ *
+ * This procedure describes the procedures of the registry as an OpenRPC 1.3 document. It reads
+ * the registry of the caller and obeys the expose rule of the host, as `procedure.manifest` does.
+ */
+import type { ProcedureContext } from "@procedures/client/browser";
+import type { SdkOpenrpcInput, SdkOpenrpcOutput } from "../../types.js";
+/** This function gives the OpenRPC document of the procedures that the host exposes. */
+export declare function sdkOpenrpc(input: SdkOpenrpcInput, ctx?: ProcedureContext): Promise<SdkOpenrpcOutput>;
+//# sourceMappingURL=openrpc.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"openrpc.d.ts","sourceRoot":"","sources":["../../../src/procedures/sdk/openrpc.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AAEnE,OAAO,KAAK,EAAE,eAAe,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAGxE,wFAAwF;AACxF,wBAAsB,UAAU,CAAC,KAAK,EAAE,eAAe,EAAE,GAAG,CAAC,EAAE,gBAAgB,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAE1G"}

package/dist/procedures/sdk/openrpc.js

@@ -0,0 +1,13 @@
+/**
+ * sdk.openrpc procedure
+ *
+ * This procedure describes the procedures of the registry as an OpenRPC 1.3 document. It reads
+ * the registry of the caller and obeys the expose rule of the host, as `procedure.manifest` does.
+ */
+import { toOpenRpc } from "../../openrpc.js";
+import { manifestOf } from "./manifest.js";
+/** This function gives the OpenRPC document of the procedures that the host exposes. */
+export async function sdkOpenrpc(input, ctx) {
+    return toOpenRpc(manifestOf(input, ctx));
+}
+//# sourceMappingURL=openrpc.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"openrpc.js","sourceRoot":"","sources":["../../../src/procedures/sdk/openrpc.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAE7C,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAE3C,wFAAwF;AACxF,MAAM,CAAC,KAAK,UAAU,UAAU,CAAC,KAAsB,EAAE,GAAsB;IAC7E,OAAO,SAAS,CAAC,UAAU,CAAC,KAAK,EAAE,GAAG,CAAC,CAAgC,CAAC;AAC1E,CAAC"}

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

@@ -0,0 +1,11 @@
+/**
+ * sdk.typescript procedure
+ *
+ * This procedure writes a typed TypeScript SDK for the procedures of the registry. It reads the
+ * registry of the caller and obeys the expose rule of the host, as `procedure.manifest` does.
+ */
+import type { ProcedureContext } from "@procedures/client/browser";
+import type { SdkTypescriptInput, SdkTypescriptOutput } from "../../types.js";
+/** This function gives the source of the SDK of the procedures that the host exposes. */
+export declare function sdkTypescript(input: SdkTypescriptInput, ctx?: ProcedureContext): Promise<SdkTypescriptOutput>;
+//# sourceMappingURL=typescript.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"typescript.d.ts","sourceRoot":"","sources":["../../../src/procedures/sdk/typescript.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AAEnE,OAAO,KAAK,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AAG9E,yFAAyF;AACzF,wBAAsB,aAAa,CAAC,KAAK,EAAE,kBAAkB,EAAE,GAAG,CAAC,EAAE,gBAAgB,GAAG,OAAO,CAAC,mBAAmB,CAAC,CAGnH"}

package/dist/procedures/sdk/typescript.js

@@ -0,0 +1,14 @@
+/**
+ * sdk.typescript procedure
+ *
+ * This procedure writes a typed TypeScript SDK for the procedures of the registry. It reads the
+ * registry of the caller and obeys the expose rule of the host, as `procedure.manifest` does.
+ */
+import { toTypeScriptSdk } from "../../typescript-sdk.js";
+import { manifestOf } from "./manifest.js";
+/** This function gives the source of the SDK of the procedures that the host exposes. */
+export async function sdkTypescript(input, ctx) {
+    const manifest = manifestOf(input, ctx);
+    return { code: toTypeScriptSdk(manifest), procedures: manifest.procedures.length, registryHash: manifest.hash };
+}
+//# sourceMappingURL=typescript.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"typescript.js","sourceRoot":"","sources":["../../../src/procedures/sdk/typescript.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAE1D,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAE3C,yFAAyF;AACzF,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,KAAyB,EAAE,GAAsB;IACnF,MAAM,QAAQ,GAAG,UAAU,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IACxC,OAAO,EAAE,IAAI,EAAE,eAAe,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,QAAQ,CAAC,UAAU,CAAC,MAAM,EAAE,YAAY,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC;AAClH,CAAC"}

package/dist/program.d.ts

@@ -0,0 +1,84 @@
+/**
+ * The functions of the compiler: `checkProgram()` and `compileProgram()`.
+ *
+ * Both read the facts of the procedures from a manifest (a browser) or from a registry (a host).
+ * They run the passes in order: normalize, scopes, effects and checks. `compileProgram()` then
+ * folds the pure calls (optional) and writes the code: the closure code and the source text.
+ */
+import { type Capability, type Effects, type ProcedureManifest, type ProcedurePath } from "@procedures/client/browser";
+import type { ProgramIR } from "./ir.js";
+import { type ProcedureFacts, type RegistryLike } from "./facts.js";
+import { type Diagnostic } from "./diagnostics.js";
+import { type SourceMapLine } from "./codegen-text.js";
+import type { CompiledProgram } from "./runtime.js";
+/** The options of `checkProgram()`. Give a manifest, a registry or facts. */
+export interface CheckOptions {
+    /** The manifest of the host (`procedure.manifest`). A browser has only this. */
+    readonly manifest?: ProcedureManifest | undefined;
+    /** The registry of the host. It also gives the bodies of the defined procedures. */
+    readonly registry?: RegistryLike | undefined;
+    /** The facts of the procedures, when the caller made them already. */
+    readonly facts?: ProcedureFacts | undefined;
+    /** The expose rule of the host. The default exposes each procedure. */
+    readonly expose?: ((path: ProcedurePath) => boolean) | undefined;
+    /** The capability of the run. The check refuses each call that the capability refuses. */
+    readonly capability?: Capability<unknown> | undefined;
+    /** `exec` (the default): the program runs as `client.exec()` runs it. `body`: as the body of a defined procedure. */
+    readonly mode?: "exec" | "body" | undefined;
+}
+/** The effects of each run in which no call fails. */
+export interface MustEffects {
+    readonly reads: string[];
+    readonly writes: string[];
+}
+/** The result of `checkProgram()`. */
+export interface CheckResult {
+    /** True when no diagnostic is an error. A host starts the program only then. */
+    readonly ok: boolean;
+    /** The effects that a run can have (the upper bound). An absent `reads` or `writes`: not known. */
+    readonly effects: Effects;
+    /** The effects of each run in which no call fails (the lower bound). */
+    readonly mustEffects: MustEffects;
+    /** The problems, in the order of the program. */
+    readonly diagnostics: Diagnostic[];
+    /** The hash of the manifest that the check used. */
+    readonly registryHash: string;
+    /** The IR of the program. */
+    readonly ir: ProgramIR;
+}
+/** The options of `compileProgram()`. */
+export interface CompileOptions extends CheckOptions {
+    /** True: compute the pure core calls with literal inputs at compile time (the fold pass). The default is false. */
+    readonly fold?: boolean | undefined;
+    /** The language of the source text: `js` (the default) or `ts`. */
+    readonly language?: "js" | "ts" | undefined;
+    /** The import specifier of the runtime in the source text. The default is `@procedures/compiler/runtime`. */
+    readonly runtime?: string | undefined;
+}
+/** The result of `compileProgram()`. */
+export interface CompileResult extends CheckResult {
+    /** The closure code: a host runs it as `run(ctx, input)`. It uses no `eval`. */
+    readonly run: CompiledProgram;
+    /** The source text: an ES module whose default export is `async (ctx, input) => output`. */
+    readonly code: string;
+    /** The body of an async function with the parameters `rt`, `ctx` and `input` (JavaScript). */
+    readonly body: string;
+    /** The lines of `code` and the pointers of their parts of the program. */
+    readonly sourceMap: SourceMapLine[];
+    /** The pointers of the calls that the fold pass computed. */
+    readonly folded: readonly string[];
+}
+/** The facts of the options: the facts, else the facts of the registry, else the facts of the manifest. */
+export declare function baseFacts(options: CheckOptions): ProcedureFacts;
+/**
+ * This function checks a program before it starts. It finds each unknown name and procedure, and
+ * each input that does not agree with its schema. It also finds each call that the capability
+ * refuses, and the effects of the whole program. No call starts.
+ */
+export declare function checkProgram(program: unknown, options: CheckOptions): CheckResult;
+/**
+ * This function checks a program and writes it as a function: the closure code for a host and
+ * the source text for an export. The code makes the calls of the interpreter in the same order.
+ */
+export declare function compileProgram(program: unknown, options: CompileOptions): Promise<CompileResult>;
+//# sourceMappingURL=program.d.ts.map

package/dist/program.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"program.d.ts","sourceRoot":"","sources":["../src/program.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAa,KAAK,UAAU,EAAE,KAAK,OAAO,EAAE,KAAK,iBAAiB,EAAE,KAAK,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAClI,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,SAAS,CAAC;AACzC,OAAO,EAAiD,KAAK,cAAc,EAAE,KAAK,YAAY,EAAE,MAAM,YAAY,CAAC;AAKnH,OAAO,EAA8B,KAAK,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAG/E,OAAO,EAAY,KAAK,aAAa,EAAE,MAAM,mBAAmB,CAAC;AACjE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAEpD,6EAA6E;AAC7E,MAAM,WAAW,YAAY;IAC3B,gFAAgF;IAChF,QAAQ,CAAC,QAAQ,CAAC,EAAE,iBAAiB,GAAG,SAAS,CAAC;IAClD,oFAAoF;IACpF,QAAQ,CAAC,QAAQ,CAAC,EAAE,YAAY,GAAG,SAAS,CAAC;IAC7C,sEAAsE;IACtE,QAAQ,CAAC,KAAK,CAAC,EAAE,cAAc,GAAG,SAAS,CAAC;IAC5C,uEAAuE;IACvE,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,aAAa,KAAK,OAAO,CAAC,GAAG,SAAS,CAAC;IACjE,0FAA0F;IAC1F,QAAQ,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC,OAAO,CAAC,GAAG,SAAS,CAAC;IACtD,qHAAqH;IACrH,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAC;CAC7C;AAED,sDAAsD;AACtD,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC;CAC3B;AAED,sCAAsC;AACtC,MAAM,WAAW,WAAW;IAC1B,gFAAgF;IAChF,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IACrB,mGAAmG;IACnG,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,wEAAwE;IACxE,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC;IAClC,iDAAiD;IACjD,QAAQ,CAAC,WAAW,EAAE,UAAU,EAAE,CAAC;IACnC,oDAAoD;IACpD,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,6BAA6B;IAC7B,QAAQ,CAAC,EAAE,EAAE,SAAS,CAAC;CACxB;AAED,yCAAyC;AACzC,MAAM,WAAW,cAAe,SAAQ,YAAY;IAClD,mHAAmH;IACnH,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;IACpC,mEAAmE;IACnE,QAAQ,CAAC,QAAQ,CAAC,EAAE,IAAI,GAAG,IAAI,GAAG,SAAS,CAAC;IAC5C,6GAA6G;IAC7G,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;CACvC;AAED,wCAAwC;AACxC,MAAM,WAAW,aAAc,SAAQ,WAAW;IAChD,gFAAgF;IAChF,QAAQ,CAAC,GAAG,EAAE,eAAe,CAAC;IAC9B,4FAA4F;IAC5F,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,8FAA8F;IAC9F,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,0EAA0E;IAC1E,QAAQ,CAAC,SAAS,EAAE,aAAa,EAAE,CAAC;IACpC,6DAA6D;IAC7D,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;CACpC;AAED,2GAA2G;AAC3G,wBAAgB,SAAS,CAAC,OAAO,EAAE,YAAY,GAAG,cAAc,CAK/D;AAwDD;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,YAAY,GAAG,WAAW,CAGjF;AAED;;;GAGG;AACH,wBAAsB,cAAc,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,cAAc,GAAG,OAAO,CAAC,aAAa,CAAC,CAqBtG"}

package/dist/program.js

@@ -0,0 +1,108 @@
+/**
+ * The functions of the compiler: `checkProgram()` and `compileProgram()`.
+ *
+ * Both read the facts of the procedures from a manifest (a browser) or from a registry (a host).
+ * They run the passes in order: normalize, scopes, effects and checks. `compileProgram()` then
+ * folds the pure calls (optional) and writes the code: the closure code and the source text.
+ */
+import { pathToKey } from "@procedures/client/browser";
+import { manifestFacts, registryFacts, withDefinitions } from "./facts.js";
+import { findDefinitions, normalize } from "./normalize.js";
+import { resolveScopes } from "./scopes.js";
+import { inferEffects, toEffects } from "./effects.js";
+import { checkCalls } from "./checks.js";
+import { hasErrors, sortDiagnostics } from "./diagnostics.js";
+import { foldProgram } from "./fold.js";
+import { compileClosure } from "./codegen-closure.js";
+import { emitText } from "./codegen-text.js";
+/** The facts of the options: the facts, else the facts of the registry, else the facts of the manifest. */
+export function baseFacts(options) {
+    if (options.facts)
+        return options.facts;
+    if (options.registry)
+        return registryFacts(options.registry, { expose: options.expose });
+    if (options.manifest)
+        return manifestFacts(options.manifest, { expose: options.expose });
+    throw new Error("checkProgram: give a manifest, a registry or facts");
+}
+function analyze(program, options) {
+    const definitions = findDefinitions(program);
+    const facts = withDefinitions(baseFacts(options), definitions);
+    const diagnostics = [];
+    // The effects of a defined body: a recursive definition gives unknown effects
+    const bodies = new Map();
+    const bodyEffects = (path) => {
+        const key = pathToKey(path);
+        const cached = bodies.get(key);
+        if (cached === "pending")
+            return undefined;
+        if (cached)
+            return cached;
+        const body = facts.body(path);
+        if (body === undefined)
+            return undefined;
+        bodies.set(key, "pending");
+        const { ir } = normalize(body, facts, { mode: "body" });
+        resolveScopes(ir);
+        const summary = inferEffects(ir.root, facts, bodyEffects).program;
+        bodies.set(key, summary);
+        return summary;
+    };
+    // The bodies that the program defines are a part of the program: their problems have pointers in it
+    for (const definition of definitions.values()) {
+        const body = normalize(definition.body, facts, { mode: "body", base: definition.pointer });
+        diagnostics.push(...body.diagnostics, ...resolveScopes(body.ir));
+        diagnostics.push(...checkCalls(body.ir.root, facts, inferEffects(body.ir.root, facts, bodyEffects)));
+    }
+    const result = normalize(program, facts, { mode: options.mode ?? "exec" });
+    diagnostics.push(...result.diagnostics, ...resolveScopes(result.ir));
+    const effects = inferEffects(result.ir.root, facts, bodyEffects);
+    diagnostics.push(...checkCalls(result.ir.root, facts, effects, { capability: options.capability }));
+    return { facts, ir: result.ir, diagnostics, program: effects.program };
+}
+function summarize(analysis, diagnostics) {
+    const sorted = sortDiagnostics(diagnostics);
+    return {
+        ok: !hasErrors(sorted),
+        effects: toEffects(analysis.program.may),
+        mustEffects: { reads: [...analysis.program.must.reads].sort(), writes: [...analysis.program.must.writes].sort() },
+        diagnostics: sorted,
+        registryHash: analysis.facts.hash,
+    };
+}
+/**
+ * This function checks a program before it starts. It finds each unknown name and procedure, and
+ * each input that does not agree with its schema. It also finds each call that the capability
+ * refuses, and the effects of the whole program. No call starts.
+ */
+export function checkProgram(program, options) {
+    const analysis = analyze(program, options);
+    return { ...summarize(analysis, analysis.diagnostics), ir: analysis.ir };
+}
+/**
+ * This function checks a program and writes it as a function: the closure code for a host and
+ * the source text for an export. The code makes the calls of the interpreter in the same order.
+ */
+export async function compileProgram(program, options) {
+    const analysis = analyze(program, options);
+    let ir = analysis.ir;
+    let folded = [];
+    if (options.fold) {
+        const result = await foldProgram(ir.root, analysis.facts);
+        ir = { ...ir, root: result.root };
+        folded = result.folded;
+    }
+    const rawKeys = analysis.facts.rawKeys;
+    const run = compileClosure(ir, { rawKeys });
+    const text = emitText(ir, { language: options.language, runtime: options.runtime, registryHash: analysis.facts.hash, rawKeys });
+    return {
+        ...summarize(analysis, [...analysis.diagnostics, ...text.diagnostics]),
+        ir,
+        run,
+        code: text.module,
+        body: text.body,
+        sourceMap: text.sourceMap,
+        folded,
+    };
+}
+//# sourceMappingURL=program.js.map

package/dist/program.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"program.js","sourceRoot":"","sources":["../src/program.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,SAAS,EAA6E,MAAM,4BAA4B,CAAC;AAElI,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,eAAe,EAA0C,MAAM,YAAY,CAAC;AACnH,OAAO,EAAE,eAAe,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAC5D,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,YAAY,EAAE,SAAS,EAAsB,MAAM,cAAc,CAAC;AAC3E,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,SAAS,EAAE,eAAe,EAAmB,MAAM,kBAAkB,CAAC;AAC/E,OAAO,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AACxC,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AACtD,OAAO,EAAE,QAAQ,EAAsB,MAAM,mBAAmB,CAAC;AAiEjE,2GAA2G;AAC3G,MAAM,UAAU,SAAS,CAAC,OAAqB;IAC7C,IAAI,OAAO,CAAC,KAAK;QAAE,OAAO,OAAO,CAAC,KAAK,CAAC;IACxC,IAAI,OAAO,CAAC,QAAQ;QAAE,OAAO,aAAa,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IACzF,IAAI,OAAO,CAAC,QAAQ;QAAE,OAAO,aAAa,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IACzF,MAAM,IAAI,KAAK,CAAC,oDAAoD,CAAC,CAAC;AACxE,CAAC;AASD,SAAS,OAAO,CAAC,OAAgB,EAAE,OAAqB;IACtD,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;IAC7C,MAAM,KAAK,GAAG,eAAe,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,WAAW,CAAC,CAAC;IAC/D,MAAM,WAAW,GAAiB,EAAE,CAAC;IAErC,8EAA8E;IAC9E,MAAM,MAAM,GAAG,IAAI,GAAG,EAAqC,CAAC;IAC5D,MAAM,WAAW,GAAG,CAAC,IAAmB,EAA6B,EAAE;QACrE,MAAM,GAAG,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;QAC5B,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC/B,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QAC3C,IAAI,MAAM;YAAE,OAAO,MAAM,CAAC;QAC1B,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9B,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QACzC,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;QAC3B,MAAM,EAAE,EAAE,EAAE,GAAG,SAAS,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;QACxD,aAAa,CAAC,EAAE,CAAC,CAAC;QAClB,MAAM,OAAO,GAAG,YAAY,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,WAAW,CAAC,CAAC,OAAO,CAAC;QAClE,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;QACzB,OAAO,OAAO,CAAC;IACjB,CAAC,CAAC;IAEF,oGAAoG;IACpG,KAAK,MAAM,UAAU,IAAI,WAAW,CAAC,MAAM,EAAE,EAAE,CAAC;QAC9C,MAAM,IAAI,GAAG,SAAS,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC;QAC3F,WAAW,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,WAAW,EAAE,GAAG,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;QACjE,WAAW,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC;IACvG,CAAC;IAED,MAAM,MAAM,GAAG,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,IAAI,MAAM,EAAE,CAAC,CAAC;IAC3E,WAAW,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,WAAW,EAAE,GAAG,aAAa,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;IACrE,MAAM,OAAO,GAAG,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,WAAW,CAAC,CAAC;IACjE,WAAW,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,UAAU,EAAE,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;IACpG,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,CAAC,EAAE,EAAE,WAAW,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,CAAC;AACzE,CAAC;AAED,SAAS,SAAS,CAAC,QAAkB,EAAE,WAAyB;IAC9D,MAAM,MAAM,GAAG,eAAe,CAAC,WAAW,CAAC,CAAC;IAC5C,OAAO;QACL,EAAE,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC;QACtB,OAAO,EAAE,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC;QACxC,WAAW,EAAE,EAAE,KAAK,EAAE,CAAC,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE;QACjH,WAAW,EAAE,MAAM;QACnB,YAAY,EAAE,QAAQ,CAAC,KAAK,CAAC,IAAI;KAClC,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAAC,OAAgB,EAAE,OAAqB;IAClE,MAAM,QAAQ,GAAG,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAC3C,OAAO,EAAE,GAAG,SAAS,CAAC,QAAQ,EAAE,QAAQ,CAAC,WAAW,CAAC,EAAE,EAAE,EAAE,QAAQ,CAAC,EAAE,EAAE,CAAC;AAC3E,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,cAAc,CAAC,OAAgB,EAAE,OAAuB;IAC5E,MAAM,QAAQ,GAAG,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAC3C,IAAI,EAAE,GAAG,QAAQ,CAAC,EAAE,CAAC;IACrB,IAAI,MAAM,GAAsB,EAAE,CAAC;IACnC,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC;QACjB,MAAM,MAAM,GAAG,MAAM,WAAW,CAAC,EAAE,CAAC,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC;QAC1D,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC;QAClC,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;IACzB,CAAC;IACD,MAAM,OAAO,GAAG,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC;IACvC,MAAM,GAAG,GAAG,cAAc,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC;IAC5C,MAAM,IAAI,GAAG,QAAQ,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,YAAY,EAAE,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;IAChI,OAAO;QACL,GAAG,SAAS,CAAC,QAAQ,EAAE,CAAC,GAAG,QAAQ,CAAC,WAAW,EAAE,GAAG,IAAI,CAAC,WAAW,CAAC,CAAC;QACtE,EAAE;QACF,GAAG;QACH,IAAI,EAAE,IAAI,CAAC,MAAM;QACjB,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,MAAM;KACP,CAAC;AACJ,CAAC"}

package/dist/refs.d.ts

@@ -0,0 +1,9 @@
+/**
+ * The test of a `$ref` object, as `isOutputRef()` of the client has it (the browser entry of the
+ * client does not export that function).
+ */
+/** True for an object with a `$ref` string (also an inherited one, as the `in` test of the client). */
+export declare function isOutputRef(value: unknown): value is {
+    readonly $ref: string;
+};
+//# sourceMappingURL=refs.d.ts.map

package/dist/refs.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"refs.d.ts","sourceRoot":"","sources":["../src/refs.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,uGAAuG;AACvG,wBAAgB,WAAW,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAE9E"}

package/dist/refs.js

@@ -0,0 +1,9 @@
+/**
+ * The test of a `$ref` object, as `isOutputRef()` of the client has it (the browser entry of the
+ * client does not export that function).
+ */
+/** True for an object with a `$ref` string (also an inherited one, as the `in` test of the client). */
+export function isOutputRef(value) {
+    return typeof value === "object" && value !== null && "$ref" in value && typeof value.$ref === "string";
+}
+//# sourceMappingURL=refs.js.map

package/dist/refs.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"refs.js","sourceRoot":"","sources":["../src/refs.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,uGAAuG;AACvG,MAAM,UAAU,WAAW,CAAC,KAAc;IACxC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,MAAM,IAAI,KAAK,IAAI,OAAQ,KAA4B,CAAC,IAAI,KAAK,QAAQ,CAAC;AAClI,CAAC"}

package/dist/register.d.ts

@@ -0,0 +1,6 @@
+/**
+ * Importing this file registers the procedures of @procedures/compiler in the global registry:
+ * `import "@procedures/compiler/register"`. The package root registers nothing.
+ */
+export * from "./module.js";
+//# sourceMappingURL=register.d.ts.map

package/dist/register.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"register.d.ts","sourceRoot":"","sources":["../src/register.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAIH,cAAc,aAAa,CAAC"}

package/dist/register.js

@@ -0,0 +1,8 @@
+/**
+ * Importing this file registers the procedures of @procedures/compiler in the global registry:
+ * `import "@procedures/compiler/register"`. The package root registers nothing.
+ */
+import { registerCompilerProcedures } from "./module.js";
+export * from "./module.js";
+registerCompilerProcedures();
+//# sourceMappingURL=register.js.map

package/dist/register.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"register.js","sourceRoot":"","sources":["../src/register.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,0BAA0B,EAAE,MAAM,aAAa,CAAC;AAEzD,cAAc,aAAa,CAAC;AAE5B,0BAA0B,EAAE,CAAC"}

package/dist/runtime.d.ts

@@ -0,0 +1,68 @@
+/**
+ * The runtime of a compiled program: the small functions that the generated code calls.
+ *
+ * Each function does one step of the interpreter of `@procedures/client` with the same result and
+ * the same error message. The closure code and the source text use the same functions, so the
+ * two forms of a program operate the same. The entry `@procedures/compiler/runtime` exports them
+ * for the source text. Importing this module registers nothing.
+ */
+import { type HydrationEvent, type ProcedureContext, type ProcedurePath, type RefScope } from "@procedures/client/browser";
+/**
+ * The context that a compiled program needs: the context of a procedure handler gives it. Each
+ * call goes through `client.call`, so it keeps its admission, validation, deadline and interceptors.
+ */
+export interface ProgramContext {
+    readonly client: Pick<ProcedureContext["client"], "call">;
+    /** The registry of the caller: the raw-input rule of a fallback to the interpreter reads it. */
+    readonly registry?: ProcedureContext["registry"] | undefined;
+    /** The hydration observer of the program: a fallback to the interpreter gives it its events. */
+    readonly onRef?: ((event: HydrationEvent) => void) | undefined;
+}
+/** A compiled program: `(ctx, input) => output`. */
+export type CompiledProgram = (ctx: ProgramContext, input?: unknown) => Promise<unknown>;
+/** One frame of a scope for a raw input: the names with their values, and `$last` when the frame has it. */
+export interface RuntimeFrame {
+    readonly names: ReadonlyArray<readonly [string, unknown]>;
+    readonly last?: readonly [unknown] | undefined;
+}
+/** `getPath()` of the client: the own fields of a value, or undefined. */
+export declare function get(value: unknown, fields: readonly string[]): unknown;
+/** The error of the interpreter for a `$ref` name that no scope has. */
+export declare function unknownName(text: string): never;
+/** This function throws an error with the message of the interpreter. */
+export declare function fail(message: string): never;
+/** The input of an operand call with the parent context (`cwd`, `node`): `callOperand()` of the client. */
+export declare function merge(input: unknown, extra: Readonly<Record<string, unknown>>): unknown;
+/** The truth of a condition of `client.conditional`: the `value` field of an object decides. */
+export declare function truthy(condition: unknown): boolean;
+/** The items of `client.map` and `client.reduce`: an array, or the error of the interpreter. */
+export declare function items(value: unknown): unknown[];
+/** The message of an error, as the control-flow procedures read it. */
+export declare function message(error: unknown): string;
+/** An object from its entries: each key is an own property, also `__proto__`. */
+export declare function object(entries: ReadonlyArray<readonly [string, unknown]>): Record<string, unknown>;
+/** A call that waits for its runner: the call object with its hydrated input (`hydrateRef()`). */
+export declare function deferred(source: Record<string, unknown>, input: unknown): unknown;
+/** The scope of the interpreter for a raw input: the frames from the outermost to the innermost. */
+export declare function scope(frames: readonly RuntimeFrame[]): RefScope | undefined;
+/** A call through the client. */
+export declare function call(ctx: ProgramContext, path: ProcedurePath, input: unknown): Promise<unknown>;
+/** A call of a procedure that takes its input raw: it gets the scope of the caller (`withScope()`). */
+export declare function callRaw(ctx: ProgramContext, path: ProcedurePath, input: unknown, frames: readonly RuntimeFrame[] | undefined): Promise<unknown>;
+/** The result of `client.parallel`. */
+export interface ParallelResult {
+    results: unknown[];
+    allSucceeded: boolean;
+    errors: Array<{
+        index: number;
+        error: string;
+    }>;
+}
+/** `client.parallel`: workers take the tasks in order, with `concurrency` and `failFast`. */
+export declare function parallel(tasks: ReadonlyArray<() => Promise<unknown>>, concurrency: number | undefined, failFast: boolean): Promise<ParallelResult>;
+/**
+ * `client.exec(program, input)`: the fields of the input go over the fields of the input of the
+ * root call. The program changes, so the interpreter runs it.
+ */
+export declare function execWithInput(ctx: ProgramContext, program: unknown, input: unknown, rawKeys: readonly string[]): Promise<unknown>;
+//# sourceMappingURL=runtime.d.ts.map

package/dist/runtime.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime.d.ts","sourceRoot":"","sources":["../src/runtime.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAWL,KAAK,cAAc,EACnB,KAAK,gBAAgB,EACrB,KAAK,aAAa,EAClB,KAAK,QAAQ,EACd,MAAM,4BAA4B,CAAC;AAEpC;;;GAGG;AACH,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,gBAAgB,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC,CAAC;IAC1D,gGAAgG;IAChG,QAAQ,CAAC,QAAQ,CAAC,EAAE,gBAAgB,CAAC,UAAU,CAAC,GAAG,SAAS,CAAC;IAC7D,gGAAgG;IAChG,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,KAAK,EAAE,cAAc,KAAK,IAAI,CAAC,GAAG,SAAS,CAAC;CAChE;AAED,oDAAoD;AACpD,MAAM,MAAM,eAAe,GAAG,CAAC,GAAG,EAAE,cAAc,EAAE,KAAK,CAAC,EAAE,OAAO,KAAK,OAAO,CAAC,OAAO,CAAC,CAAC;AAEzF,4GAA4G;AAC5G,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,SAAS,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IAC1D,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,CAAC,OAAO,CAAC,GAAG,SAAS,CAAC;CAChD;AAED,0EAA0E;AAC1E,wBAAgB,GAAG,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,SAAS,MAAM,EAAE,GAAG,OAAO,CAUtE;AAED,wEAAwE;AACxE,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,KAAK,CAM/C;AAED,yEAAyE;AACzE,wBAAgB,IAAI,CAAC,OAAO,EAAE,MAAM,GAAG,KAAK,CAE3C;AAED,2GAA2G;AAC3G,wBAAgB,KAAK,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG,OAAO,CAGvF;AAED,gGAAgG;AAChG,wBAAgB,MAAM,CAAC,SAAS,EAAE,OAAO,GAAG,OAAO,CAGlD;AAED,gGAAgG;AAChG,wBAAgB,KAAK,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,EAAE,CAG/C;AAED,uEAAuE;AACvE,wBAAgB,OAAO,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAE9C;AAED,iFAAiF;AACjF,wBAAgB,MAAM,CAAC,OAAO,EAAE,aAAa,CAAC,SAAS,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAElG;AAED,kGAAkG;AAClG,wBAAgB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,KAAK,EAAE,OAAO,GAAG,OAAO,CAEjF;AAED,oGAAoG;AACpG,wBAAgB,KAAK,CAAC,MAAM,EAAE,SAAS,YAAY,EAAE,GAAG,QAAQ,GAAG,SAAS,CAS3E;AAED,iCAAiC;AACjC,wBAAgB,IAAI,CAAC,GAAG,EAAE,cAAc,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,CAE/F;AAED,uGAAuG;AACvG,wBAAgB,OAAO,CAAC,GAAG,EAAE,cAAc,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,SAAS,YAAY,EAAE,GAAG,SAAS,GAAG,OAAO,CAAC,OAAO,CAAC,CAE/I;AAED,uCAAuC;AACvC,MAAM,WAAW,cAAc;IAC7B,OAAO,EAAE,OAAO,EAAE,CAAC;IACnB,YAAY,EAAE,OAAO,CAAC;IACtB,MAAM,EAAE,KAAK,CAAC;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CACjD;AAED,6FAA6F;AAC7F,wBAAsB,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,MAAM,OAAO,CAAC,OAAO,CAAC,CAAC,EAAE,WAAW,EAAE,MAAM,GAAG,SAAS,EAAE,QAAQ,EAAE,OAAO,GAAG,OAAO,CAAC,cAAc,CAAC,CAyBxJ;AASD;;;GAGG;AACH,wBAAsB,aAAa,CAAC,GAAG,EAAE,cAAc,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,SAAS,MAAM,EAAE,GAAG,OAAO,CAAC,OAAO,CAAC,CAYvI"}

package/dist/runtime.js

@@ -0,0 +1,138 @@
+/**
+ * The runtime of a compiled program: the small functions that the generated code calls.
+ *
+ * Each function does one step of the interpreter of `@procedures/client` with the same result and
+ * the same error message. The closure code and the source text use the same functions, so the
+ * two forms of a program operate the same. The entry `@procedures/compiler/runtime` exports them
+ * for the source text. Importing this module registers nothing.
+ */
+import { createRefScope, isAnyProcedureRef, isControlFlowPath, isPlainObject, normalizeRef, pathToKey, prepareRootCall, rawInputRule, withScope, } from "@procedures/client/browser";
+/** `getPath()` of the client: the own fields of a value, or undefined. */
+export function get(value, fields) {
+    let current = value;
+    for (const field of fields) {
+        if (current && typeof current === "object" && Object.hasOwn(current, field)) {
+            current = current[field];
+        }
+        else {
+            return undefined;
+        }
+    }
+    return current;
+}
+/** The error of the interpreter for a `$ref` name that no scope has. */
+export function unknownName(text) {
+    const name = text.split(".")[0];
+    throw new Error(`Unknown $ref name "${name}" in "${text}": no step, item or input has this name here. ` +
+        `For a literal $ref object, write { "$literal": { "$ref": ... } }.`);
+}
+/** This function throws an error with the message of the interpreter. */
+export function fail(message) {
+    throw new Error(message);
+}
+/** The input of an operand call with the parent context (`cwd`, `node`): `callOperand()` of the client. */
+export function merge(input, extra) {
+    if (Object.keys(extra).length === 0)
+        return input;
+    return { ...(typeof input === "object" && input !== null && !Array.isArray(input) ? input : {}), ...extra };
+}
+/** The truth of a condition of `client.conditional`: the `value` field of an object decides. */
+export function truthy(condition) {
+    if (condition && typeof condition === "object" && "value" in condition)
+        return Boolean(condition.value);
+    return Boolean(condition);
+}
+/** The items of `client.map` and `client.reduce`: an array, or the error of the interpreter. */
+export function items(value) {
+    if (!Array.isArray(value))
+        throw new Error(`items must be an array, got ${value === null ? "null" : typeof value}`);
+    return value;
+}
+/** The message of an error, as the control-flow procedures read it. */
+export function message(error) {
+    return error instanceof Error ? error.message : String(error);
+}
+/** An object from its entries: each key is an own property, also `__proto__`. */
+export function object(entries) {
+    return Object.fromEntries(entries);
+}
+/** A call that waits for its runner: the call object with its hydrated input (`hydrateRef()`). */
+export function deferred(source, input) {
+    return input === source["input"] ? source : { ...source, input };
+}
+/** The scope of the interpreter for a raw input: the frames from the outermost to the innermost. */
+export function scope(frames) {
+    let current;
+    for (const frame of frames) {
+        const next = createRefScope(current);
+        for (const [name, value] of frame.names)
+            next.outputs.set(name, value);
+        if (frame.last)
+            next.last = frame.last[0];
+        current = next;
+    }
+    return current;
+}
+/** A call through the client. */
+export function call(ctx, path, input) {
+    return ctx.client.call(path, input);
+}
+/** A call of a procedure that takes its input raw: it gets the scope of the caller (`withScope()`). */
+export function callRaw(ctx, path, input, frames) {
+    return ctx.client.call(path, withScope(input, frames ? scope(frames) : undefined));
+}
+/** `client.parallel`: workers take the tasks in order, with `concurrency` and `failFast`. */
+export async function parallel(tasks, concurrency, failFast) {
+    const results = new Array(tasks.length);
+    const errors = [];
+    const limit = typeof concurrency === "number" && concurrency > 0 ? Math.min(concurrency, tasks.length) : tasks.length;
+    let nextIndex = 0;
+    let aborted = false;
+    const worker = async () => {
+        while (!aborted) {
+            const index = nextIndex++;
+            if (index >= tasks.length)
+                return;
+            try {
+                results[index] = await tasks[index]();
+            }
+            catch (error) {
+                if (failFast) {
+                    aborted = true;
+                    throw error;
+                }
+                errors.push({ index, error: message(error) });
+                results[index] = undefined;
+            }
+        }
+    };
+    await Promise.all(Array.from({ length: Math.max(1, limit) }, () => worker()));
+    errors.sort((a, b) => a.index - b.index);
+    return { results, allSucceeded: errors.length === 0, errors };
+}
+/** The raw-input rule of a fallback: the registry of the caller, or the rule of the compile time. */
+function rawRule(ctx, rawKeys) {
+    if (ctx.registry)
+        return rawInputRule(ctx.registry);
+    const keys = new Set(rawKeys);
+    return (path) => keys.has(pathToKey(path)) || isControlFlowPath(path);
+}
+/**
+ * `client.exec(program, input)`: the fields of the input go over the fields of the input of the
+ * root call. The program changes, so the interpreter runs it.
+ */
+export async function execWithInput(ctx, program, input, rawKeys) {
+    let ref;
+    if (isAnyProcedureRef(program)) {
+        const normalized = normalizeRef(program);
+        ref = { ...normalized, input: isPlainObject(normalized.input) && isPlainObject(input) ? { ...normalized.input, ...input } : input };
+    }
+    else {
+        // client.exec(path, input)
+        ref = { $proc: program, input: input ?? {} };
+    }
+    const executor = (path, value) => ctx.client.call(path, value);
+    const root = await prepareRootCall(ref, executor, { rawInput: rawRule(ctx, rawKeys), onRef: ctx.onRef });
+    return ctx.client.call(root.path, root.input);
+}
+//# sourceMappingURL=runtime.js.map

package/dist/runtime.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime.js","sourceRoot":"","sources":["../src/runtime.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EACL,cAAc,EACd,iBAAiB,EACjB,iBAAiB,EACjB,aAAa,EACb,YAAY,EACZ,SAAS,EACT,eAAe,EACf,YAAY,EACZ,SAAS,GAMV,MAAM,4BAA4B,CAAC;AAuBpC,0EAA0E;AAC1E,MAAM,UAAU,GAAG,CAAC,KAAc,EAAE,MAAyB;IAC3D,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,OAAO,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,CAAC;YAC5E,OAAO,GAAI,OAAmC,CAAC,KAAK,CAAC,CAAC;QACxD,CAAC;aAAM,CAAC;YACN,OAAO,SAAS,CAAC;QACnB,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,wEAAwE;AACxE,MAAM,UAAU,WAAW,CAAC,IAAY;IACtC,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAChC,MAAM,IAAI,KAAK,CACb,sBAAsB,IAAI,SAAS,IAAI,gDAAgD;QACrF,mEAAmE,CACtE,CAAC;AACJ,CAAC;AAED,yEAAyE;AACzE,MAAM,UAAU,IAAI,CAAC,OAAe;IAClC,MAAM,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC;AAC3B,CAAC;AAED,2GAA2G;AAC3G,MAAM,UAAU,KAAK,CAAC,KAAc,EAAE,KAAwC;IAC5E,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAClD,OAAO,EAAE,GAAG,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,KAAK,EAAE,CAAC;AAC9G,CAAC;AAED,gGAAgG;AAChG,MAAM,UAAU,MAAM,CAAC,SAAkB;IACvC,IAAI,SAAS,IAAI,OAAO,SAAS,KAAK,QAAQ,IAAI,OAAO,IAAI,SAAS;QAAE,OAAO,OAAO,CAAE,SAAgC,CAAC,KAAK,CAAC,CAAC;IAChI,OAAO,OAAO,CAAC,SAAS,CAAC,CAAC;AAC5B,CAAC;AAED,gGAAgG;AAChG,MAAM,UAAU,KAAK,CAAC,KAAc;IAClC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,+BAA+B,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,KAAK,EAAE,CAAC,CAAC;IACpH,OAAO,KAAK,CAAC;AACf,CAAC;AAED,uEAAuE;AACvE,MAAM,UAAU,OAAO,CAAC,KAAc;IACpC,OAAO,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAChE,CAAC;AAED,iFAAiF;AACjF,MAAM,UAAU,MAAM,CAAC,OAAkD;IACvE,OAAO,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;AACrC,CAAC;AAED,kGAAkG;AAClG,MAAM,UAAU,QAAQ,CAAC,MAA+B,EAAE,KAAc;IACtE,OAAO,KAAK,KAAK,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,MAAM,EAAE,KAAK,EAAE,CAAC;AACnE,CAAC;AAED,oGAAoG;AACpG,MAAM,UAAU,KAAK,CAAC,MAA+B;IACnD,IAAI,OAA6B,CAAC;IAClC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,IAAI,GAAG,cAAc,CAAC,OAAO,CAAC,CAAC;QACrC,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,KAAK,CAAC,KAAK;YAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACvE,IAAI,KAAK,CAAC,IAAI;YAAE,IAAI,CAAC,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1C,OAAO,GAAG,IAAI,CAAC;IACjB,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,iCAAiC;AACjC,MAAM,UAAU,IAAI,CAAC,GAAmB,EAAE,IAAmB,EAAE,KAAc;IAC3E,OAAO,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;AACtC,CAAC;AAED,uGAAuG;AACvG,MAAM,UAAU,OAAO,CAAC,GAAmB,EAAE,IAAmB,EAAE,KAAc,EAAE,MAA2C;IAC3H,OAAO,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;AACrF,CAAC;AASD,6FAA6F;AAC7F,MAAM,CAAC,KAAK,UAAU,QAAQ,CAAC,KAA4C,EAAE,WAA+B,EAAE,QAAiB;IAC7H,MAAM,OAAO,GAAc,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IACnD,MAAM,MAAM,GAA4C,EAAE,CAAC;IAC3D,MAAM,KAAK,GAAG,OAAO,WAAW,KAAK,QAAQ,IAAI,WAAW,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,WAAW,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC;IACtH,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,MAAM,MAAM,GAAG,KAAK,IAAmB,EAAE;QACvC,OAAO,CAAC,OAAO,EAAE,CAAC;YAChB,MAAM,KAAK,GAAG,SAAS,EAAE,CAAC;YAC1B,IAAI,KAAK,IAAI,KAAK,CAAC,MAAM;gBAAE,OAAO;YAClC,IAAI,CAAC;gBACH,OAAO,CAAC,KAAK,CAAC,GAAG,MAAM,KAAK,CAAC,KAAK,CAAE,EAAE,CAAC;YACzC,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,IAAI,QAAQ,EAAE,CAAC;oBACb,OAAO,GAAG,IAAI,CAAC;oBACf,MAAM,KAAK,CAAC;gBACd,CAAC;gBACD,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;gBAC9C,OAAO,CAAC,KAAK,CAAC,GAAG,SAAS,CAAC;YAC7B,CAAC;QACH,CAAC;IACH,CAAC,CAAC;IACF,MAAM,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IAC9E,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;IACzC,OAAO,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;AAChE,CAAC;AAED,qGAAqG;AACrG,SAAS,OAAO,CAAC,GAAmB,EAAE,OAA0B;IAC9D,IAAI,GAAG,CAAC,QAAQ;QAAE,OAAO,YAAY,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACpD,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC;IAC9B,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,iBAAiB,CAAC,IAAI,CAAC,CAAC;AACxE,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,GAAmB,EAAE,OAAgB,EAAE,KAAc,EAAE,OAA0B;IACnH,IAAI,GAAoB,CAAC;IACzB,IAAI,iBAAiB,CAAC,OAAO,CAAC,EAAE,CAAC;QAC/B,MAAM,UAAU,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;QACzC,GAAG,GAAG,EAAE,GAAG,UAAU,EAAE,KAAK,EAAE,aAAa,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,UAAU,CAAC,KAAK,EAAE,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC;IACtI,CAAC;SAAM,CAAC;QACN,2BAA2B;QAC3B,GAAG,GAAG,EAAE,KAAK,EAAE,OAAwB,EAAE,KAAK,EAAE,KAAK,IAAI,EAAE,EAAE,CAAC;IAChE,CAAC;IACD,MAAM,QAAQ,GAAG,CAAY,IAAmB,EAAE,KAAU,EAAiB,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAY,IAAI,EAAE,KAAK,CAAC,CAAC;IACxH,MAAM,IAAI,GAAG,MAAM,eAAe,CAAC,GAAG,EAAE,QAAQ,EAAE,EAAE,QAAQ,EAAE,OAAO,CAAC,GAAG,EAAE,OAAO,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC;IACzG,OAAO,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;AAChD,CAAC"}

package/dist/schema.d.ts

@@ -0,0 +1,41 @@
+/**
+ * The check of an input against the JSON Schema of a procedure (the manifest gives draft-07).
+ *
+ * The compiler knows only a part of an input before the run: the literals, and the keys of an
+ * object whose values are calls. This validator works on such a partial value (a shape). It
+ * reports only a definite problem: a value that the compiler knows and that the schema refuses.
+ * A part that the compiler does not know agrees with each schema.
+ */
+import { type IRNode, type Pointer } from "./ir.js";
+/** A partial value: what the compiler knows of a value before the run. */
+export type Shape = {
+    readonly kind: "known";
+    readonly value: unknown;
+    readonly pointer: Pointer;
+} | {
+    readonly kind: "unknown";
+    readonly pointer: Pointer;
+} | {
+    readonly kind: "object";
+    readonly entries: ReadonlyMap<string, Shape>;
+    readonly pointer: Pointer;
+} | {
+    readonly kind: "array";
+    readonly items: readonly Shape[];
+    readonly pointer: Pointer;
+};
+/** The shape of the value of a node. */
+export declare function shapeOf(node: IRNode): Shape;
+/** The shape of an input with the parent context of control flow (`callOperand()`). */
+export declare function withExtra(shape: Shape, extra: Readonly<Record<string, unknown>>): Shape;
+/** One problem of an input. */
+export interface SchemaIssue {
+    /** The pointer of the part of the program. */
+    readonly pointer: Pointer;
+    /** The path in the input: `filter.status` or `items[2]`. */
+    readonly path: string;
+    readonly message: string;
+}
+/** This function gives the definite problems of a partial input against a JSON Schema. */
+export declare function checkShape(shape: Shape, schema: unknown): SchemaIssue[];
+//# sourceMappingURL=schema.d.ts.map