@provablehq/veil-leo 0.4.0

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 Provable Inc.
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/README.md

@@ -0,0 +1,80 @@
+# @provablehq/veil-leo
+
+Wraps the Leo CLI in a typed TS/JS client. The client shells out to the `leo`
+binary and exposes its `build`, `abi`, `deploy`, and `synthesize` commands as
+async methods, with the CLI flags surfaced as typed options objects instead of
+string arguments.
+
+Reach for it when a script, test, or tool needs to compile, deploy, or generate
+an ABI for a Leo program without hand-assembling `leo` command lines. It composes
+onto any veil client through `.extend()`, so a test client can compile a program
+and mine a block from one call site.
+
+## Installation
+
+```sh
+pnpm add @provablehq/veil-leo
+```
+
+This package spawns the `leo` binary — it does not vendor the Leo toolchain. The
+`leo` CLI MUST be installed and on `PATH` (or given explicitly via `leoPath`).
+See the [Leo installation guide](https://developer.aleo.org/leo/installation).
+
+## Usage
+
+`leoActions` attaches a `LeoClient` under the `.leo` property of any veil client.
+The extension ignores the host client — Leo operations run locally and need no
+transport — so it works on a public, wallet, or test client alike.
+
+```ts
+import { createTestClient } from '@provablehq/veil-core'
+import { leoActions } from '@provablehq/veil-leo'
+
+const client = createTestClient({ transport }).extend(
+  leoActions({ cwd: './my-program', network: 'testnet' }),
+)
+
+// Compile the package at cwd.
+await client.leo.build()
+
+// Deploy it, broadcasting the transaction and skipping the prompt.
+await client.leo.deploy({ broadcast: true, yes: true })
+
+// Generate an ABI from a compiled .aleo bytecode file.
+const abi = await client.leo.abi({ file: 'build/main.aleo' })
+```
+
+Config passed to `leoActions` (or `createLeoClient`) sets defaults for every
+command — `cwd`, `network`, `endpoint`, `privateKey`, `leoPath`, and the global
+flags. Any option passed to an individual method overrides that default for the
+call.
+
+For a standalone client with no host to extend, call `createLeoClient` directly:
+
+```ts
+import { createLeoClient } from '@provablehq/veil-leo'
+
+const leo = createLeoClient({ cwd: './my-program' })
+await leo.build()
+```
+
+## Methods
+
+- **`build(options?)`** — `leo build`. Compiles the package at `cwd`.
+- **`deploy(options?)`** — `leo deploy`. Compiles and deploys; `broadcast` sends
+  the transaction to the network and costs a fee. Set `yes` to skip the prompt.
+- **`abi(options)`** — `leo abi`. Reads a `.aleo` bytecode file and returns the
+  ABI as a string. Pass `output` to write it to a path instead (returns `""`).
+- **`synthesize(options)`** — `leo synthesize`. Synthesizes proving and verifying
+  keys for the named program.
+
+Standalone functions cover the rest of the toolchain without a client:
+`build`, `buildBatch` (compile several project directories in sequence), `abi`
+(`leo abi` a compiled `.aleo` file, returning the ABI JSON), `run` (`leo run`
+a function with inputs), and `clean` (`leo clean`).
+
+## Errors
+
+Every method rejects if `leo` exits non-zero, with the failing subcommand and exit
+code in the message. If the binary cannot be spawned at all — not installed, not
+on `PATH` — the error names the missing `leo` and links the installation guide.

package/dist/index.d.ts

@@ -0,0 +1,297 @@
+/**
+ * Defaults applied to every command a {@link LeoClient} runs.
+ *
+ * Each field maps to a global `leo` CLI flag and is forwarded on every
+ * invocation. Any command can override a field per-call by passing the same
+ * key in its options.
+ */
+type LeoClientConfig = {
+    /**
+     * Default project root (equivalent to `--path`). Commands can still override
+     * per-call via their `cwd` option.
+     */
+    cwd?: string;
+    /** Path to the leo binary. Defaults to `'leo'` (resolved on PATH). */
+    leoPath?: string;
+    /** Default `--network`. */
+    network?: 'mainnet' | 'testnet' | 'canary';
+    /** Default `--endpoint` URL. */
+    endpoint?: string;
+    /** Default `--private-key`. */
+    privateKey?: string;
+    /** Default `--devnet` (mark target as a devnet). */
+    devnet?: boolean;
+    /** Default `--home` (path to the Aleo program registry). */
+    home?: string;
+    /** Default `-q`. Suppress leo CLI output. */
+    quiet?: boolean;
+    /** Default `-d`. Print additional debug info. */
+    debug?: boolean;
+    /** Default `--disable-update-check`. */
+    disableUpdateCheck?: boolean;
+    /** Default `--network-retries`. */
+    networkRetries?: number;
+    /** Default `--consensus-heights`. */
+    consensusHeights?: string;
+    /** Default `--offline`. */
+    offline?: boolean;
+};
+/**
+ * Compiler-phase options shared by build/deploy/synthesize.
+ *
+ * Each field maps to the `leo` CLI flag of the same (kebab-case) name.
+ *
+ * @property enableAstSpans `--enable-ast-spans`. Include source spans in AST snapshots.
+ * @property enableDce `--enable-dce`. Enable dead-code elimination.
+ * @property conditionalBlockMaxDepth `--conditional-block-max-depth`. Maximum nesting depth the compiler type-checks in conditional blocks.
+ * @property disableConditionalBranchTypeChecking `--disable-conditional-branch-type-checking`.
+ * @property enableInitialAstSnapshot `--enable-initial-ast-snapshot`. Write the pre-pass AST snapshot.
+ * @property enableAllAstSnapshots `--enable-all-ast-snapshots`. Write a snapshot after every compiler pass.
+ * @property astSnapshots `--ast-snapshots`. Names of individual compiler passes to snapshot.
+ * @property buildTests `--build-tests`. Also compile the package's tests.
+ * @property noCache `--no-cache`. Recompile instead of reusing cached build artifacts.
+ * @property noLocal `--no-local`. Resolve dependencies from the network instead of local paths.
+ */
+type LeoCompilerOptions = {
+    enableAstSpans?: boolean;
+    enableDce?: boolean;
+    conditionalBlockMaxDepth?: number;
+    disableConditionalBranchTypeChecking?: boolean;
+    enableInitialAstSnapshot?: boolean;
+    enableAllAstSnapshots?: boolean;
+    astSnapshots?: string[];
+    buildTests?: boolean;
+    noCache?: boolean;
+    noLocal?: boolean;
+};
+/** Transaction-shape options shared by deploy/synthesize. */
+type LeoTransactionOptions = {
+    /** `--priority-fees` (microcredit amounts delimited by `|`). */
+    priorityFees?: string;
+    /** `-f, --fee-records`. */
+    feeRecords?: string;
+    /** `--print` the transaction. */
+    print?: boolean;
+    /** `--broadcast` the transaction to the network. */
+    broadcast?: boolean;
+    /** `--save` the transaction to the given directory. */
+    save?: string;
+    /** `-y, --yes`. Skip confirmation prompts. */
+    yes?: boolean;
+    /** `--consensus-version`. */
+    consensusVersion?: string;
+    /** `--max-wait` seconds when searching for the tx. */
+    maxWait?: number;
+    /** `--blocks-to-check` window when searching for the tx. */
+    blocksToCheck?: number;
+};
+/**
+ * Options for {@link LeoClient.build} (`leo build`).
+ *
+ * Combines the compiler flags with per-call overrides of any
+ * {@link LeoClientConfig} default.
+ */
+type LeoBuildOptions = LeoCompilerOptions & Partial<LeoClientConfig>;
+/**
+ * Options for {@link LeoClient.abi} (`leo abi`).
+ *
+ * Also accepts per-call overrides of any {@link LeoClientConfig} default
+ * except `network`, which is redefined here for the parsing context.
+ */
+type LeoAbiOptions = {
+    /** Path to the `.aleo` bytecode file (required positional). */
+    file: string;
+    /** Network context for parsing. Defaults server-side to `'testnet'`. */
+    network?: 'mainnet' | 'testnet' | 'canary';
+    /** `-o, --output`. Write to path instead of returning stdout. */
+    output?: string;
+} & Partial<Omit<LeoClientConfig, 'network'>>;
+/**
+ * Options for {@link LeoClient.deploy} (`leo deploy`).
+ *
+ * Combines compiler flags, transaction-shape flags, and per-call overrides of
+ * any {@link LeoClientConfig} default.
+ */
+type LeoDeployOptions = {
+    /** `--skip` deployment of any program whose name contains these substrings. */
+    skip?: string[];
+} & LeoCompilerOptions & LeoTransactionOptions & Partial<LeoClientConfig>;
+/**
+ * Options for {@link LeoClient.synthesize} (`leo synthesize`).
+ *
+ * Combines compiler flags, transaction-shape flags, and per-call overrides of
+ * any {@link LeoClientConfig} default.
+ */
+type LeoSynthesizeOptions = {
+    /** Program name (required positional), e.g. `'helloworld.aleo'`. */
+    name: string;
+    /** `-l, --local`. Use the local Leo project. */
+    local?: boolean;
+    /** `-s, --skip` functions whose names contain these substrings. */
+    skip?: string[];
+} & LeoCompilerOptions & LeoTransactionOptions & Partial<LeoClientConfig>;
+/**
+ * Programmatic wrapper around the `leo` CLI.
+ *
+ * Every method spawns the `leo` binary as a child process, so the Leo CLI
+ * MUST be installed and on PATH (or located via `leoPath`). Create one with
+ * {@link createLeoClient}, or attach one to an existing veil client with
+ * {@link leoActions}.
+ */
+type LeoClient = {
+    /** Config the client was constructed with. */
+    readonly config: LeoClientConfig;
+    /** `leo build` — compile the current package. */
+    build: (options?: LeoBuildOptions) => Promise<void>;
+    /** `leo abi` — generate ABI from a `.aleo` bytecode file. Returns the ABI as a string (or empty string if `output` was given). */
+    abi: (options: LeoAbiOptions) => Promise<string>;
+    /** `leo deploy` — deploy the current package. */
+    deploy: (options?: LeoDeployOptions) => Promise<void>;
+    /** `leo synthesize` — synthesize individual proving/verifying keys for a program. */
+    synthesize: (options: LeoSynthesizeOptions) => Promise<void>;
+};
+/**
+ * Extension helper that attaches a {@link LeoClient} to any veil client under
+ * the `.leo` property. Pass to `.extend()`:
+ *
+ * ```ts
+ * const testClient = createTestClient({ transport }).extend(leoActions({ cwd }))
+ * await testClient.leo.build()
+ * await testClient.advanceBlock()
+ * ```
+ *
+ * The extension ignores the host client — leo operations don't need a transport —
+ * so this works equally well on publicClient, walletClient, or testClient.
+ *
+ * @param config Defaults forwarded to every `leo` invocation. Defaults to `{}`.
+ * @returns An extension object exposing the client at `.leo`.
+ */
+declare function leoActions(config?: LeoClientConfig): (_client: unknown) => {
+    leo: LeoClient;
+};
+/**
+ * Creates a {@link LeoClient} whose commands shell out to the `leo` CLI.
+ *
+ * Construction is cheap and does nothing on its own; each method call spawns
+ * a `leo` child process, so the Leo CLI MUST be installed
+ * (https://developer.aleo.org/leo/installation). Applies when a script
+ * or test needs to compile, deploy, or synthesize keys for a Leo project;
+ * prefer {@link leoActions} when a veil client is already in hand.
+ *
+ * @param config Defaults forwarded to every command. Defaults to `{}` — the
+ *   `leo` binary is resolved on PATH and runs in the current working directory.
+ * @returns A client whose methods reject if the binary is missing or a
+ *   command exits non-zero.
+ *
+ * @example
+ * import { createLeoClient } from '@provablehq/veil-leo'
+ *
+ * const leo = createLeoClient({ cwd: './programs/token', network: 'testnet' })
+ * await leo.build()
+ * const abi = await leo.abi({ file: './build/token/token.aleo' })
+ */
+declare function createLeoClient(config?: LeoClientConfig): LeoClient;
+/**
+ * Compiles a Leo project by spawning `leo build` as a child process.
+ *
+ * Requires the Leo CLI on PATH. This is the zero-config path for scripts;
+ * use {@link createLeoClient} when compiler flags or shared defaults are needed.
+ *
+ * @param options.cwd Project directory to build. Defaults to the current
+ *   working directory.
+ * @throws If the `leo` binary is missing or the build exits non-zero.
+ *
+ * @example
+ * import { build } from '@provablehq/veil-leo'
+ * await build({ cwd: './programs/token' })
+ */
+declare function build(options?: {
+    cwd?: string;
+}): Promise<void>;
+/**
+ * Compiles several Leo projects sequentially by spawning `leo build` once per
+ * project.
+ *
+ * Requires the Leo CLI on PATH. Builds run in order, so list dependencies
+ * before the projects that import them.
+ *
+ * @param projects Project directories, each given as a path string or a
+ *   `{ cwd }` object.
+ * @throws On the first project whose build exits non-zero; later projects are
+ *   not built.
+ *
+ * @example
+ * import { buildBatch } from '@provablehq/veil-leo'
+ * await buildBatch(['./programs/token', './programs/market'])
+ */
+declare function buildBatch(projects: Array<string | {
+    cwd?: string;
+}>): Promise<void>;
+/**
+ * Generates the ABI of a compiled `.aleo` file by spawning `leo abi <file>`
+ * and capturing its output.
+ *
+ * Requires the Leo CLI on PATH. This is the zero-config path for scripts;
+ * use {@link createLeoClient} when network or output flags and shared
+ * defaults are needed. The file MUST already exist — call {@link build}
+ * first when generating from source.
+ *
+ * @param options.file Path to the compiled `.aleo` bytecode file, relative
+ *   to `cwd`.
+ * @param options.cwd Project directory. Defaults to the current working
+ *   directory.
+ * @returns The ABI JSON captured from stdout, raw — a trailing newline may be
+ *   present. `JSON.parse` tolerates it.
+ * @throws If the `leo` binary is missing or the command exits non-zero.
+ *
+ * @example
+ * import { abi } from '@provablehq/veil-leo'
+ * const json = await abi({ file: 'build/token/token.aleo', cwd: './programs/token' })
+ */
+declare function abi(options: {
+    file: string;
+    cwd?: string;
+}): Promise<string>;
+/** Options for {@link run}. */
+type LeoRunOptions = {
+    /** Function name to call. `leo run` resolves the program from the project at `cwd`. */
+    function: string;
+    /** Inputs to pass to the function. */
+    inputs?: string[];
+    /** Path to the Leo project directory. Defaults to the current working directory. */
+    cwd?: string;
+};
+/**
+ * Executes a function of the local Leo project by spawning
+ * `leo run <function> [inputs...]`.
+ *
+ * Requires the Leo CLI on PATH. Runs the transition locally against the
+ * project at `cwd` — nothing is broadcast to a network.
+ *
+ * @param options Function name, its inputs, and the project directory.
+ * @throws If the `leo` binary is missing or the run exits non-zero (for
+ *   example on a type error or failing assertion).
+ *
+ * @example
+ * import { run } from '@provablehq/veil-leo'
+ * await run({ function: 'mint', inputs: ['1000u64'], cwd: './programs/token' })
+ */
+declare function run(options: LeoRunOptions): Promise<void>;
+/** Options for {@link clean}. */
+type LeoCleanOptions = {
+    /** Path to the Leo project directory. Defaults to the current working directory. */
+    cwd?: string;
+};
+/**
+ * Deletes a Leo project's build artifacts by spawning `leo clean`.
+ *
+ * Requires the Leo CLI on PATH. Use before a build when cached artifacts are
+ * suspect.
+ *
+ * @param options.cwd Project directory to clean. Defaults to the current
+ *   working directory.
+ * @throws If the `leo` binary is missing or the command exits non-zero.
+ */
+declare function clean(options?: LeoCleanOptions): Promise<void>;
+
+export { type LeoAbiOptions, type LeoBuildOptions, type LeoCleanOptions, type LeoClient, type LeoClientConfig, type LeoCompilerOptions, type LeoDeployOptions, type LeoRunOptions, type LeoSynthesizeOptions, type LeoTransactionOptions, abi, build, buildBatch, clean, createLeoClient, leoActions, run };

package/dist/index.js

@@ -0,0 +1,179 @@
+// src/index.ts
+import { spawn } from "child_process";
+function leoActions(config = {}) {
+  return (_client) => ({
+    leo: createLeoClient(config)
+  });
+}
+function createLeoClient(config = {}) {
+  const merge = (opts) => ({
+    ...config,
+    ...opts
+  });
+  return {
+    config,
+    build: async (options = {}) => {
+      const m = merge(options);
+      const args = [
+        "build",
+        ...buildGlobalFlags(m),
+        ...buildNetworkFlags(m),
+        ...buildCompilerFlags(options)
+      ];
+      await runLeo(args, m.cwd, m.leoPath);
+    },
+    abi: async (options) => {
+      const m = merge(options);
+      const args = ["abi", options.file];
+      if (options.network) args.push("--network", options.network);
+      if (options.output) args.push("--output", options.output);
+      args.push(...buildGlobalFlags(m));
+      return runLeoCapture(args, m.cwd, m.leoPath);
+    },
+    deploy: async (options = {}) => {
+      const m = merge(options);
+      const args = [
+        "deploy",
+        ...buildGlobalFlags(m),
+        ...buildNetworkFlags(m),
+        ...buildCompilerFlags(options),
+        ...buildTransactionFlags(options)
+      ];
+      if (options.skip) for (const s of options.skip) args.push("--skip", s);
+      await runLeo(args, m.cwd, m.leoPath);
+    },
+    synthesize: async (options) => {
+      const m = merge(options);
+      const args = ["synthesize", options.name];
+      if (options.local) args.push("--local");
+      if (options.skip) for (const s of options.skip) args.push("--skip", s);
+      args.push(
+        ...buildGlobalFlags(m),
+        ...buildNetworkFlags(m),
+        ...buildCompilerFlags(options),
+        ...buildTransactionFlags(options)
+      );
+      await runLeo(args, m.cwd, m.leoPath);
+    }
+  };
+}
+function buildGlobalFlags(c) {
+  const a = [];
+  if (c.debug) a.push("-d");
+  if (c.quiet) a.push("-q");
+  if (c.disableUpdateCheck) a.push("--disable-update-check");
+  if (c.cwd) a.push("--path", c.cwd);
+  if (c.home) a.push("--home", c.home);
+  return a;
+}
+function buildNetworkFlags(c) {
+  const a = [];
+  if (c.privateKey) a.push("--private-key", c.privateKey);
+  if (c.network) a.push("--network", c.network);
+  if (c.endpoint) a.push("--endpoint", c.endpoint);
+  if (c.devnet) a.push("--devnet");
+  if (c.consensusHeights) a.push("--consensus-heights", c.consensusHeights);
+  if (c.networkRetries !== void 0) a.push("--network-retries", String(c.networkRetries));
+  if (c.offline) a.push("--offline");
+  return a;
+}
+function buildCompilerFlags(o) {
+  const a = [];
+  if (o.enableAstSpans) a.push("--enable-ast-spans");
+  if (o.enableDce) a.push("--enable-dce");
+  if (o.conditionalBlockMaxDepth !== void 0) {
+    a.push("--conditional-block-max-depth", String(o.conditionalBlockMaxDepth));
+  }
+  if (o.disableConditionalBranchTypeChecking) {
+    a.push("--disable-conditional-branch-type-checking");
+  }
+  if (o.enableInitialAstSnapshot) a.push("--enable-initial-ast-snapshot");
+  if (o.enableAllAstSnapshots) a.push("--enable-all-ast-snapshots");
+  if (o.astSnapshots && o.astSnapshots.length) {
+    a.push("--ast-snapshots", o.astSnapshots.join(","));
+  }
+  if (o.buildTests) a.push("--build-tests");
+  if (o.noCache) a.push("--no-cache");
+  if (o.noLocal) a.push("--no-local");
+  return a;
+}
+function buildTransactionFlags(o) {
+  const a = [];
+  if (o.priorityFees) a.push("--priority-fees", o.priorityFees);
+  if (o.feeRecords) a.push("--fee-records", o.feeRecords);
+  if (o.print) a.push("--print");
+  if (o.broadcast) a.push("--broadcast");
+  if (o.save) a.push("--save", o.save);
+  if (o.yes) a.push("-y");
+  if (o.consensusVersion) a.push("--consensus-version", o.consensusVersion);
+  if (o.maxWait !== void 0) a.push("--max-wait", String(o.maxWait));
+  if (o.blocksToCheck !== void 0) a.push("--blocks-to-check", String(o.blocksToCheck));
+  return a;
+}
+function runLeo(args, cwd, leoPath = "leo") {
+  return new Promise((resolve, reject) => {
+    const proc = spawn(leoPath, args, { stdio: "inherit", cwd });
+    proc.on(
+      "error",
+      (err) => reject(
+        new Error(
+          `Failed to run ${leoPath}: ${err.message}. Ensure the Leo CLI is installed: https://developer.aleo.org/leo/installation`
+        )
+      )
+    );
+    proc.on("exit", (code) => {
+      if (code === 0) resolve();
+      else reject(new Error(`${leoPath} ${args[0]} exited with code ${code}`));
+    });
+  });
+}
+function runLeoCapture(args, cwd, leoPath = "leo") {
+  return new Promise((resolve, reject) => {
+    const proc = spawn(leoPath, args, { stdio: ["ignore", "pipe", "inherit"], cwd });
+    let stdout = "";
+    proc.stdout?.on("data", (chunk) => {
+      stdout += chunk.toString();
+    });
+    proc.on(
+      "error",
+      (err) => reject(
+        new Error(
+          `Failed to run ${leoPath}: ${err.message}. Ensure the Leo CLI is installed: https://developer.aleo.org/leo/installation`
+        )
+      )
+    );
+    proc.on("exit", (code) => {
+      if (code === 0) resolve(stdout);
+      else reject(new Error(`${leoPath} ${args[0]} exited with code ${code}`));
+    });
+  });
+}
+async function build(options) {
+  await runLeo(["build"], options?.cwd);
+}
+async function buildBatch(projects) {
+  for (const project of projects) {
+    const cwd = typeof project === "string" ? project : project.cwd;
+    await runLeo(["build"], cwd);
+  }
+}
+async function abi(options) {
+  return runLeoCapture(["abi", options.file], options.cwd);
+}
+async function run(options) {
+  const args = ["run", options.function, ...options.inputs ?? []];
+  await runLeo(args, options.cwd);
+}
+async function clean(options) {
+  await runLeo(["clean"], options?.cwd);
+}
+export {
+  abi,
+  build,
+  buildBatch,
+  clean,
+  createLeoClient,
+  leoActions,
+  run
+};
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../src/index.ts"],"sourcesContent":["import { spawn } from 'node:child_process'\n\n// =============================================================================\n// Client-level config (defaults shared across every command)\n// =============================================================================\n\n/**\n * Defaults applied to every command a {@link LeoClient} runs.\n *\n * Each field maps to a global `leo` CLI flag and is forwarded on every\n * invocation. Any command can override a field per-call by passing the same\n * key in its options.\n */\nexport type LeoClientConfig = {\n  /**\n   * Default project root (equivalent to `--path`). Commands can still override\n   * per-call via their `cwd` option.\n   */\n  cwd?: string\n  /** Path to the leo binary. Defaults to `'leo'` (resolved on PATH). */\n  leoPath?: string\n  /** Default `--network`. */\n  network?: 'mainnet' | 'testnet' | 'canary'\n  /** Default `--endpoint` URL. */\n  endpoint?: string\n  /** Default `--private-key`. */\n  privateKey?: string\n  /** Default `--devnet` (mark target as a devnet). */\n  devnet?: boolean\n  /** Default `--home` (path to the Aleo program registry). */\n  home?: string\n  /** Default `-q`. Suppress leo CLI output. */\n  quiet?: boolean\n  /** Default `-d`. Print additional debug info. */\n  debug?: boolean\n  /** Default `--disable-update-check`. */\n  disableUpdateCheck?: boolean\n  /** Default `--network-retries`. */\n  networkRetries?: number\n  /** Default `--consensus-heights`. */\n  consensusHeights?: string\n  /** Default `--offline`. */\n  offline?: boolean\n}\n\n// =============================================================================\n// Shared option mixins\n// =============================================================================\n\n/**\n * Compiler-phase options shared by build/deploy/synthesize.\n *\n * Each field maps to the `leo` CLI flag of the same (kebab-case) name.\n *\n * @property enableAstSpans `--enable-ast-spans`. Include source spans in AST snapshots.\n * @property enableDce `--enable-dce`. Enable dead-code elimination.\n * @property conditionalBlockMaxDepth `--conditional-block-max-depth`. Maximum nesting depth the compiler type-checks in conditional blocks.\n * @property disableConditionalBranchTypeChecking `--disable-conditional-branch-type-checking`.\n * @property enableInitialAstSnapshot `--enable-initial-ast-snapshot`. Write the pre-pass AST snapshot.\n * @property enableAllAstSnapshots `--enable-all-ast-snapshots`. Write a snapshot after every compiler pass.\n * @property astSnapshots `--ast-snapshots`. Names of individual compiler passes to snapshot.\n * @property buildTests `--build-tests`. Also compile the package's tests.\n * @property noCache `--no-cache`. Recompile instead of reusing cached build artifacts.\n * @property noLocal `--no-local`. Resolve dependencies from the network instead of local paths.\n */\nexport type LeoCompilerOptions = {\n  enableAstSpans?: boolean\n  enableDce?: boolean\n  conditionalBlockMaxDepth?: number\n  disableConditionalBranchTypeChecking?: boolean\n  enableInitialAstSnapshot?: boolean\n  enableAllAstSnapshots?: boolean\n  astSnapshots?: string[]\n  buildTests?: boolean\n  noCache?: boolean\n  noLocal?: boolean\n}\n\n/** Transaction-shape options shared by deploy/synthesize. */\nexport type LeoTransactionOptions = {\n  /** `--priority-fees` (microcredit amounts delimited by `|`). */\n  priorityFees?: string\n  /** `-f, --fee-records`. */\n  feeRecords?: string\n  /** `--print` the transaction. */\n  print?: boolean\n  /** `--broadcast` the transaction to the network. */\n  broadcast?: boolean\n  /** `--save` the transaction to the given directory. */\n  save?: string\n  /** `-y, --yes`. Skip confirmation prompts. */\n  yes?: boolean\n  /** `--consensus-version`. */\n  consensusVersion?: string\n  /** `--max-wait` seconds when searching for the tx. */\n  maxWait?: number\n  /** `--blocks-to-check` window when searching for the tx. */\n  blocksToCheck?: number\n}\n\n// =============================================================================\n// Per-command option types\n// =============================================================================\n\n/**\n * Options for {@link LeoClient.build} (`leo build`).\n *\n * Combines the compiler flags with per-call overrides of any\n * {@link LeoClientConfig} default.\n */\nexport type LeoBuildOptions = LeoCompilerOptions & Partial<LeoClientConfig>\n\n/**\n * Options for {@link LeoClient.abi} (`leo abi`).\n *\n * Also accepts per-call overrides of any {@link LeoClientConfig} default\n * except `network`, which is redefined here for the parsing context.\n */\nexport type LeoAbiOptions = {\n  /** Path to the `.aleo` bytecode file (required positional). */\n  file: string\n  /** Network context for parsing. Defaults server-side to `'testnet'`. */\n  network?: 'mainnet' | 'testnet' | 'canary'\n  /** `-o, --output`. Write to path instead of returning stdout. */\n  output?: string\n} & Partial<Omit<LeoClientConfig, 'network'>>\n\n/**\n * Options for {@link LeoClient.deploy} (`leo deploy`).\n *\n * Combines compiler flags, transaction-shape flags, and per-call overrides of\n * any {@link LeoClientConfig} default.\n */\nexport type LeoDeployOptions = {\n  /** `--skip` deployment of any program whose name contains these substrings. */\n  skip?: string[]\n} & LeoCompilerOptions &\n  LeoTransactionOptions &\n  Partial<LeoClientConfig>\n\n/**\n * Options for {@link LeoClient.synthesize} (`leo synthesize`).\n *\n * Combines compiler flags, transaction-shape flags, and per-call overrides of\n * any {@link LeoClientConfig} default.\n */\nexport type LeoSynthesizeOptions = {\n  /** Program name (required positional), e.g. `'helloworld.aleo'`. */\n  name: string\n  /** `-l, --local`. Use the local Leo project. */\n  local?: boolean\n  /** `-s, --skip` functions whose names contain these substrings. */\n  skip?: string[]\n} & LeoCompilerOptions &\n  LeoTransactionOptions &\n  Partial<LeoClientConfig>\n\n// =============================================================================\n// Client\n// =============================================================================\n\n/**\n * Programmatic wrapper around the `leo` CLI.\n *\n * Every method spawns the `leo` binary as a child process, so the Leo CLI\n * MUST be installed and on PATH (or located via `leoPath`). Create one with\n * {@link createLeoClient}, or attach one to an existing veil client with\n * {@link leoActions}.\n */\nexport type LeoClient = {\n  /** Config the client was constructed with. */\n  readonly config: LeoClientConfig\n  /** `leo build` — compile the current package. */\n  build: (options?: LeoBuildOptions) => Promise<void>\n  /** `leo abi` — generate ABI from a `.aleo` bytecode file. Returns the ABI as a string (or empty string if `output` was given). */\n  abi: (options: LeoAbiOptions) => Promise<string>\n  /** `leo deploy` — deploy the current package. */\n  deploy: (options?: LeoDeployOptions) => Promise<void>\n  /** `leo synthesize` — synthesize individual proving/verifying keys for a program. */\n  synthesize: (options: LeoSynthesizeOptions) => Promise<void>\n}\n\n/**\n * Extension helper that attaches a {@link LeoClient} to any veil client under\n * the `.leo` property. Pass to `.extend()`:\n *\n * ```ts\n * const testClient = createTestClient({ transport }).extend(leoActions({ cwd }))\n * await testClient.leo.build()\n * await testClient.advanceBlock()\n * ```\n *\n * The extension ignores the host client — leo operations don't need a transport —\n * so this works equally well on publicClient, walletClient, or testClient.\n *\n * @param config Defaults forwarded to every `leo` invocation. Defaults to `{}`.\n * @returns An extension object exposing the client at `.leo`.\n */\nexport function leoActions(config: LeoClientConfig = {}) {\n  return (_client: unknown): { leo: LeoClient } => ({\n    leo: createLeoClient(config),\n  })\n}\n\n/**\n * Creates a {@link LeoClient} whose commands shell out to the `leo` CLI.\n *\n * Construction is cheap and does nothing on its own; each method call spawns\n * a `leo` child process, so the Leo CLI MUST be installed\n * (https://developer.aleo.org/leo/installation). Applies when a script\n * or test needs to compile, deploy, or synthesize keys for a Leo project;\n * prefer {@link leoActions} when a veil client is already in hand.\n *\n * @param config Defaults forwarded to every command. Defaults to `{}` — the\n *   `leo` binary is resolved on PATH and runs in the current working directory.\n * @returns A client whose methods reject if the binary is missing or a\n *   command exits non-zero.\n *\n * @example\n * import { createLeoClient } from '@provablehq/veil-leo'\n *\n * const leo = createLeoClient({ cwd: './programs/token', network: 'testnet' })\n * await leo.build()\n * const abi = await leo.abi({ file: './build/token/token.aleo' })\n */\nexport function createLeoClient(config: LeoClientConfig = {}): LeoClient {\n  const merge = <T extends Partial<LeoClientConfig>>(opts: T): T & LeoClientConfig => ({\n    ...config,\n    ...opts,\n  })\n\n  return {\n    config,\n\n    build: async (options = {}) => {\n      const m = merge(options)\n      const args = [\n        'build',\n        ...buildGlobalFlags(m),\n        ...buildNetworkFlags(m),\n        ...buildCompilerFlags(options),\n      ]\n      await runLeo(args, m.cwd, m.leoPath)\n    },\n\n    abi: async (options) => {\n      const m = merge(options)\n      const args = ['abi', options.file]\n      if (options.network) args.push('--network', options.network)\n      if (options.output) args.push('--output', options.output)\n      args.push(...buildGlobalFlags(m))\n      return runLeoCapture(args, m.cwd, m.leoPath)\n    },\n\n    deploy: async (options = {}) => {\n      const m = merge(options)\n      const args = [\n        'deploy',\n        ...buildGlobalFlags(m),\n        ...buildNetworkFlags(m),\n        ...buildCompilerFlags(options),\n        ...buildTransactionFlags(options),\n      ]\n      if (options.skip) for (const s of options.skip) args.push('--skip', s)\n      await runLeo(args, m.cwd, m.leoPath)\n    },\n\n    synthesize: async (options) => {\n      const m = merge(options)\n      const args = ['synthesize', options.name]\n      if (options.local) args.push('--local')\n      if (options.skip) for (const s of options.skip) args.push('--skip', s)\n      args.push(\n        ...buildGlobalFlags(m),\n        ...buildNetworkFlags(m),\n        ...buildCompilerFlags(options),\n        ...buildTransactionFlags(options),\n      )\n      await runLeo(args, m.cwd, m.leoPath)\n    },\n  }\n}\n\n// =============================================================================\n// Flag builders\n// =============================================================================\n\nfunction buildGlobalFlags(c: LeoClientConfig): string[] {\n  const a: string[] = []\n  if (c.debug) a.push('-d')\n  if (c.quiet) a.push('-q')\n  if (c.disableUpdateCheck) a.push('--disable-update-check')\n  if (c.cwd) a.push('--path', c.cwd)\n  if (c.home) a.push('--home', c.home)\n  return a\n}\n\nfunction buildNetworkFlags(c: LeoClientConfig): string[] {\n  const a: string[] = []\n  if (c.privateKey) a.push('--private-key', c.privateKey)\n  if (c.network) a.push('--network', c.network)\n  if (c.endpoint) a.push('--endpoint', c.endpoint)\n  if (c.devnet) a.push('--devnet')\n  if (c.consensusHeights) a.push('--consensus-heights', c.consensusHeights)\n  if (c.networkRetries !== undefined) a.push('--network-retries', String(c.networkRetries))\n  if (c.offline) a.push('--offline')\n  return a\n}\n\nfunction buildCompilerFlags(o: LeoCompilerOptions): string[] {\n  const a: string[] = []\n  if (o.enableAstSpans) a.push('--enable-ast-spans')\n  if (o.enableDce) a.push('--enable-dce')\n  if (o.conditionalBlockMaxDepth !== undefined) {\n    a.push('--conditional-block-max-depth', String(o.conditionalBlockMaxDepth))\n  }\n  if (o.disableConditionalBranchTypeChecking) {\n    a.push('--disable-conditional-branch-type-checking')\n  }\n  if (o.enableInitialAstSnapshot) a.push('--enable-initial-ast-snapshot')\n  if (o.enableAllAstSnapshots) a.push('--enable-all-ast-snapshots')\n  if (o.astSnapshots && o.astSnapshots.length) {\n    a.push('--ast-snapshots', o.astSnapshots.join(','))\n  }\n  if (o.buildTests) a.push('--build-tests')\n  if (o.noCache) a.push('--no-cache')\n  if (o.noLocal) a.push('--no-local')\n  return a\n}\n\nfunction buildTransactionFlags(o: LeoTransactionOptions): string[] {\n  const a: string[] = []\n  if (o.priorityFees) a.push('--priority-fees', o.priorityFees)\n  if (o.feeRecords) a.push('--fee-records', o.feeRecords)\n  if (o.print) a.push('--print')\n  if (o.broadcast) a.push('--broadcast')\n  if (o.save) a.push('--save', o.save)\n  if (o.yes) a.push('-y')\n  if (o.consensusVersion) a.push('--consensus-version', o.consensusVersion)\n  if (o.maxWait !== undefined) a.push('--max-wait', String(o.maxWait))\n  if (o.blocksToCheck !== undefined) a.push('--blocks-to-check', String(o.blocksToCheck))\n  return a\n}\n\n// =============================================================================\n// Subprocess helpers\n// =============================================================================\n\nfunction runLeo(args: string[], cwd?: string, leoPath = 'leo'): Promise<void> {\n  return new Promise((resolve, reject) => {\n    const proc = spawn(leoPath, args, { stdio: 'inherit', cwd })\n    proc.on('error', (err) =>\n      reject(\n        new Error(\n          `Failed to run ${leoPath}: ${err.message}. Ensure the Leo CLI is installed: https://developer.aleo.org/leo/installation`,\n        ),\n      ),\n    )\n    proc.on('exit', (code) => {\n      if (code === 0) resolve()\n      else reject(new Error(`${leoPath} ${args[0]} exited with code ${code}`))\n    })\n  })\n}\n\nfunction runLeoCapture(args: string[], cwd?: string, leoPath = 'leo'): Promise<string> {\n  return new Promise((resolve, reject) => {\n    const proc = spawn(leoPath, args, { stdio: ['ignore', 'pipe', 'inherit'], cwd })\n    let stdout = ''\n    proc.stdout?.on('data', (chunk: Buffer) => {\n      stdout += chunk.toString()\n    })\n    proc.on('error', (err) =>\n      reject(\n        new Error(\n          `Failed to run ${leoPath}: ${err.message}. Ensure the Leo CLI is installed: https://developer.aleo.org/leo/installation`,\n        ),\n      ),\n    )\n    proc.on('exit', (code) => {\n      if (code === 0) resolve(stdout)\n      else reject(new Error(`${leoPath} ${args[0]} exited with code ${code}`))\n    })\n  })\n}\n\n// =============================================================================\n// Standalone API\n// =============================================================================\n\n/**\n * Compiles a Leo project by spawning `leo build` as a child process.\n *\n * Requires the Leo CLI on PATH. This is the zero-config path for scripts;\n * use {@link createLeoClient} when compiler flags or shared defaults are needed.\n *\n * @param options.cwd Project directory to build. Defaults to the current\n *   working directory.\n * @throws If the `leo` binary is missing or the build exits non-zero.\n *\n * @example\n * import { build } from '@provablehq/veil-leo'\n * await build({ cwd: './programs/token' })\n */\nexport async function build(options?: { cwd?: string }): Promise<void> {\n  await runLeo(['build'], options?.cwd)\n}\n\n/**\n * Compiles several Leo projects sequentially by spawning `leo build` once per\n * project.\n *\n * Requires the Leo CLI on PATH. Builds run in order, so list dependencies\n * before the projects that import them.\n *\n * @param projects Project directories, each given as a path string or a\n *   `{ cwd }` object.\n * @throws On the first project whose build exits non-zero; later projects are\n *   not built.\n *\n * @example\n * import { buildBatch } from '@provablehq/veil-leo'\n * await buildBatch(['./programs/token', './programs/market'])\n */\nexport async function buildBatch(projects: Array<string | { cwd?: string }>): Promise<void> {\n  for (const project of projects) {\n    const cwd = typeof project === 'string' ? project : project.cwd\n    await runLeo(['build'], cwd)\n  }\n}\n\n/**\n * Generates the ABI of a compiled `.aleo` file by spawning `leo abi <file>`\n * and capturing its output.\n *\n * Requires the Leo CLI on PATH. This is the zero-config path for scripts;\n * use {@link createLeoClient} when network or output flags and shared\n * defaults are needed. The file MUST already exist — call {@link build}\n * first when generating from source.\n *\n * @param options.file Path to the compiled `.aleo` bytecode file, relative\n *   to `cwd`.\n * @param options.cwd Project directory. Defaults to the current working\n *   directory.\n * @returns The ABI JSON captured from stdout, raw — a trailing newline may be\n *   present. `JSON.parse` tolerates it.\n * @throws If the `leo` binary is missing or the command exits non-zero.\n *\n * @example\n * import { abi } from '@provablehq/veil-leo'\n * const json = await abi({ file: 'build/token/token.aleo', cwd: './programs/token' })\n */\nexport async function abi(options: { file: string; cwd?: string }): Promise<string> {\n  return runLeoCapture(['abi', options.file], options.cwd)\n}\n\n/** Options for {@link run}. */\nexport type LeoRunOptions = {\n  /** Function name to call. `leo run` resolves the program from the project at `cwd`. */\n  function: string\n  /** Inputs to pass to the function. */\n  inputs?: string[]\n  /** Path to the Leo project directory. Defaults to the current working directory. */\n  cwd?: string\n}\n\n/**\n * Executes a function of the local Leo project by spawning\n * `leo run <function> [inputs...]`.\n *\n * Requires the Leo CLI on PATH. Runs the transition locally against the\n * project at `cwd` — nothing is broadcast to a network.\n *\n * @param options Function name, its inputs, and the project directory.\n * @throws If the `leo` binary is missing or the run exits non-zero (for\n *   example on a type error or failing assertion).\n *\n * @example\n * import { run } from '@provablehq/veil-leo'\n * await run({ function: 'mint', inputs: ['1000u64'], cwd: './programs/token' })\n */\nexport async function run(options: LeoRunOptions): Promise<void> {\n  const args = ['run', options.function, ...(options.inputs ?? [])]\n  await runLeo(args, options.cwd)\n}\n\n/** Options for {@link clean}. */\nexport type LeoCleanOptions = {\n  /** Path to the Leo project directory. Defaults to the current working directory. */\n  cwd?: string\n}\n\n/**\n * Deletes a Leo project's build artifacts by spawning `leo clean`.\n *\n * Requires the Leo CLI on PATH. Use before a build when cached artifacts are\n * suspect.\n *\n * @param options.cwd Project directory to clean. Defaults to the current\n *   working directory.\n * @throws If the `leo` binary is missing or the command exits non-zero.\n */\nexport async function clean(options?: LeoCleanOptions): Promise<void> {\n  await runLeo(['clean'], options?.cwd)\n}\n"],"mappings":";AAAA,SAAS,aAAa;AAsMf,SAAS,WAAW,SAA0B,CAAC,GAAG;AACvD,SAAO,CAAC,aAA0C;AAAA,IAChD,KAAK,gBAAgB,MAAM;AAAA,EAC7B;AACF;AAuBO,SAAS,gBAAgB,SAA0B,CAAC,GAAc;AACvE,QAAM,QAAQ,CAAqC,UAAkC;AAAA,IACnF,GAAG;AAAA,IACH,GAAG;AAAA,EACL;AAEA,SAAO;AAAA,IACL;AAAA,IAEA,OAAO,OAAO,UAAU,CAAC,MAAM;AAC7B,YAAM,IAAI,MAAM,OAAO;AACvB,YAAM,OAAO;AAAA,QACX;AAAA,QACA,GAAG,iBAAiB,CAAC;AAAA,QACrB,GAAG,kBAAkB,CAAC;AAAA,QACtB,GAAG,mBAAmB,OAAO;AAAA,MAC/B;AACA,YAAM,OAAO,MAAM,EAAE,KAAK,EAAE,OAAO;AAAA,IACrC;AAAA,IAEA,KAAK,OAAO,YAAY;AACtB,YAAM,IAAI,MAAM,OAAO;AACvB,YAAM,OAAO,CAAC,OAAO,QAAQ,IAAI;AACjC,UAAI,QAAQ,QAAS,MAAK,KAAK,aAAa,QAAQ,OAAO;AAC3D,UAAI,QAAQ,OAAQ,MAAK,KAAK,YAAY,QAAQ,MAAM;AACxD,WAAK,KAAK,GAAG,iBAAiB,CAAC,CAAC;AAChC,aAAO,cAAc,MAAM,EAAE,KAAK,EAAE,OAAO;AAAA,IAC7C;AAAA,IAEA,QAAQ,OAAO,UAAU,CAAC,MAAM;AAC9B,YAAM,IAAI,MAAM,OAAO;AACvB,YAAM,OAAO;AAAA,QACX;AAAA,QACA,GAAG,iBAAiB,CAAC;AAAA,QACrB,GAAG,kBAAkB,CAAC;AAAA,QACtB,GAAG,mBAAmB,OAAO;AAAA,QAC7B,GAAG,sBAAsB,OAAO;AAAA,MAClC;AACA,UAAI,QAAQ,KAAM,YAAW,KAAK,QAAQ,KAAM,MAAK,KAAK,UAAU,CAAC;AACrE,YAAM,OAAO,MAAM,EAAE,KAAK,EAAE,OAAO;AAAA,IACrC;AAAA,IAEA,YAAY,OAAO,YAAY;AAC7B,YAAM,IAAI,MAAM,OAAO;AACvB,YAAM,OAAO,CAAC,cAAc,QAAQ,IAAI;AACxC,UAAI,QAAQ,MAAO,MAAK,KAAK,SAAS;AACtC,UAAI,QAAQ,KAAM,YAAW,KAAK,QAAQ,KAAM,MAAK,KAAK,UAAU,CAAC;AACrE,WAAK;AAAA,QACH,GAAG,iBAAiB,CAAC;AAAA,QACrB,GAAG,kBAAkB,CAAC;AAAA,QACtB,GAAG,mBAAmB,OAAO;AAAA,QAC7B,GAAG,sBAAsB,OAAO;AAAA,MAClC;AACA,YAAM,OAAO,MAAM,EAAE,KAAK,EAAE,OAAO;AAAA,IACrC;AAAA,EACF;AACF;AAMA,SAAS,iBAAiB,GAA8B;AACtD,QAAM,IAAc,CAAC;AACrB,MAAI,EAAE,MAAO,GAAE,KAAK,IAAI;AACxB,MAAI,EAAE,MAAO,GAAE,KAAK,IAAI;AACxB,MAAI,EAAE,mBAAoB,GAAE,KAAK,wBAAwB;AACzD,MAAI,EAAE,IAAK,GAAE,KAAK,UAAU,EAAE,GAAG;AACjC,MAAI,EAAE,KAAM,GAAE,KAAK,UAAU,EAAE,IAAI;AACnC,SAAO;AACT;AAEA,SAAS,kBAAkB,GAA8B;AACvD,QAAM,IAAc,CAAC;AACrB,MAAI,EAAE,WAAY,GAAE,KAAK,iBAAiB,EAAE,UAAU;AACtD,MAAI,EAAE,QAAS,GAAE,KAAK,aAAa,EAAE,OAAO;AAC5C,MAAI,EAAE,SAAU,GAAE,KAAK,cAAc,EAAE,QAAQ;AAC/C,MAAI,EAAE,OAAQ,GAAE,KAAK,UAAU;AAC/B,MAAI,EAAE,iBAAkB,GAAE,KAAK,uBAAuB,EAAE,gBAAgB;AACxE,MAAI,EAAE,mBAAmB,OAAW,GAAE,KAAK,qBAAqB,OAAO,EAAE,cAAc,CAAC;AACxF,MAAI,EAAE,QAAS,GAAE,KAAK,WAAW;AACjC,SAAO;AACT;AAEA,SAAS,mBAAmB,GAAiC;AAC3D,QAAM,IAAc,CAAC;AACrB,MAAI,EAAE,eAAgB,GAAE,KAAK,oBAAoB;AACjD,MAAI,EAAE,UAAW,GAAE,KAAK,cAAc;AACtC,MAAI,EAAE,6BAA6B,QAAW;AAC5C,MAAE,KAAK,iCAAiC,OAAO,EAAE,wBAAwB,CAAC;AAAA,EAC5E;AACA,MAAI,EAAE,sCAAsC;AAC1C,MAAE,KAAK,4CAA4C;AAAA,EACrD;AACA,MAAI,EAAE,yBAA0B,GAAE,KAAK,+BAA+B;AACtE,MAAI,EAAE,sBAAuB,GAAE,KAAK,4BAA4B;AAChE,MAAI,EAAE,gBAAgB,EAAE,aAAa,QAAQ;AAC3C,MAAE,KAAK,mBAAmB,EAAE,aAAa,KAAK,GAAG,CAAC;AAAA,EACpD;AACA,MAAI,EAAE,WAAY,GAAE,KAAK,eAAe;AACxC,MAAI,EAAE,QAAS,GAAE,KAAK,YAAY;AAClC,MAAI,EAAE,QAAS,GAAE,KAAK,YAAY;AAClC,SAAO;AACT;AAEA,SAAS,sBAAsB,GAAoC;AACjE,QAAM,IAAc,CAAC;AACrB,MAAI,EAAE,aAAc,GAAE,KAAK,mBAAmB,EAAE,YAAY;AAC5D,MAAI,EAAE,WAAY,GAAE,KAAK,iBAAiB,EAAE,UAAU;AACtD,MAAI,EAAE,MAAO,GAAE,KAAK,SAAS;AAC7B,MAAI,EAAE,UAAW,GAAE,KAAK,aAAa;AACrC,MAAI,EAAE,KAAM,GAAE,KAAK,UAAU,EAAE,IAAI;AACnC,MAAI,EAAE,IAAK,GAAE,KAAK,IAAI;AACtB,MAAI,EAAE,iBAAkB,GAAE,KAAK,uBAAuB,EAAE,gBAAgB;AACxE,MAAI,EAAE,YAAY,OAAW,GAAE,KAAK,cAAc,OAAO,EAAE,OAAO,CAAC;AACnE,MAAI,EAAE,kBAAkB,OAAW,GAAE,KAAK,qBAAqB,OAAO,EAAE,aAAa,CAAC;AACtF,SAAO;AACT;AAMA,SAAS,OAAO,MAAgB,KAAc,UAAU,OAAsB;AAC5E,SAAO,IAAI,QAAQ,CAAC,SAAS,WAAW;AACtC,UAAM,OAAO,MAAM,SAAS,MAAM,EAAE,OAAO,WAAW,IAAI,CAAC;AAC3D,SAAK;AAAA,MAAG;AAAA,MAAS,CAAC,QAChB;AAAA,QACE,IAAI;AAAA,UACF,iBAAiB,OAAO,KAAK,IAAI,OAAO;AAAA,QAC1C;AAAA,MACF;AAAA,IACF;AACA,SAAK,GAAG,QAAQ,CAAC,SAAS;AACxB,UAAI,SAAS,EAAG,SAAQ;AAAA,UACnB,QAAO,IAAI,MAAM,GAAG,OAAO,IAAI,KAAK,CAAC,CAAC,qBAAqB,IAAI,EAAE,CAAC;AAAA,IACzE,CAAC;AAAA,EACH,CAAC;AACH;AAEA,SAAS,cAAc,MAAgB,KAAc,UAAU,OAAwB;AACrF,SAAO,IAAI,QAAQ,CAAC,SAAS,WAAW;AACtC,UAAM,OAAO,MAAM,SAAS,MAAM,EAAE,OAAO,CAAC,UAAU,QAAQ,SAAS,GAAG,IAAI,CAAC;AAC/E,QAAI,SAAS;AACb,SAAK,QAAQ,GAAG,QAAQ,CAAC,UAAkB;AACzC,gBAAU,MAAM,SAAS;AAAA,IAC3B,CAAC;AACD,SAAK;AAAA,MAAG;AAAA,MAAS,CAAC,QAChB;AAAA,QACE,IAAI;AAAA,UACF,iBAAiB,OAAO,KAAK,IAAI,OAAO;AAAA,QAC1C;AAAA,MACF;AAAA,IACF;AACA,SAAK,GAAG,QAAQ,CAAC,SAAS;AACxB,UAAI,SAAS,EAAG,SAAQ,MAAM;AAAA,UACzB,QAAO,IAAI,MAAM,GAAG,OAAO,IAAI,KAAK,CAAC,CAAC,qBAAqB,IAAI,EAAE,CAAC;AAAA,IACzE,CAAC;AAAA,EACH,CAAC;AACH;AAoBA,eAAsB,MAAM,SAA2C;AACrE,QAAM,OAAO,CAAC,OAAO,GAAG,SAAS,GAAG;AACtC;AAkBA,eAAsB,WAAW,UAA2D;AAC1F,aAAW,WAAW,UAAU;AAC9B,UAAM,MAAM,OAAO,YAAY,WAAW,UAAU,QAAQ;AAC5D,UAAM,OAAO,CAAC,OAAO,GAAG,GAAG;AAAA,EAC7B;AACF;AAuBA,eAAsB,IAAI,SAA0D;AAClF,SAAO,cAAc,CAAC,OAAO,QAAQ,IAAI,GAAG,QAAQ,GAAG;AACzD;AA2BA,eAAsB,IAAI,SAAuC;AAC/D,QAAM,OAAO,CAAC,OAAO,QAAQ,UAAU,GAAI,QAAQ,UAAU,CAAC,CAAE;AAChE,QAAM,OAAO,MAAM,QAAQ,GAAG;AAChC;AAkBA,eAAsB,MAAM,SAA0C;AACpE,QAAM,OAAO,CAAC,OAAO,GAAG,SAAS,GAAG;AACtC;","names":[]}

package/package.json

@@ -0,0 +1,36 @@
+{
+  "name": "@provablehq/veil-leo",
+  "version": "0.4.0",
+  "description": "TypeScript interface for using the Leo CLI from TS/JS.",
+  "license": "MIT",
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/ProvableHQ/veil.git",
+    "directory": "packages/leo"
+  },
+  "homepage": "https://github.com/ProvableHQ/veil#readme",
+  "type": "module",
+  "main": "dist/index.js",
+  "types": "dist/index.d.ts",
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "import": "./dist/index.js"
+    }
+  },
+  "sideEffects": false,
+  "files": [
+    "dist"
+  ],
+  "engines": {
+    "node": ">=18"
+  },
+  "publishConfig": {
+    "access": "public"
+  },
+  "scripts": {
+    "build": "tsup",
+    "test": "vitest run",
+    "typecheck": "tsc --noEmit"
+  }
+}