@provablehq/veil-codegen 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,104 @@
+# @provablehq/veil-codegen
+
+Generates TypeScript bindings from an Aleo program's ABI, and ships the
+`veil-codegen` CLI that drives it.
+
+Reach for it as a package maintainer, not a consumer: point it at a program's
+`abi.json` and it emits a `.ts` module of struct and record interfaces, record
+and struct decoders (`RecordValue` → typed interface), per-function input and
+output types, mapping and storage types, the parsed `PROGRAM_ABI` constant, and
+a typed contract factory (`read`/`write`/`simulate`/`execute`). A package like
+`@provablehq/shield-swap-sdk` commits that output and ships it — a consumer installing the
+package gets the bindings already. You run codegen when the upstream contract
+drifts (redeploy, a new or renamed entrypoint, struct, or mapping) and the
+checked-in bindings need to catch up.
+
+## Installation
+
+It is a build-time tool, so install it as a dev dependency:
+
+```sh
+pnpm add -D @provablehq/veil-codegen
+```
+
+## Usage
+
+### CLI
+
+Two modes. Generate one file directly with `--abi` + `--out`:
+
+```sh
+veil-codegen --abi ./abi/loyalty_token.json --out ./src/generated/loyalty_token.ts
+```
+
+Or drive one or more programs from a config file with `--config` (this is how
+`@provablehq/shield-swap-sdk` wires it — a `generate` script runs
+`veil-codegen --config codegen/veil.config.json`):
+
+```sh
+veil-codegen --config veil.config.json
+```
+
+Flags:
+
+- `--abi <path>` — path to the program's `abi.json`. Pair with `--out`.
+- `--out <path>` — output `.ts` file. Parent directories are created if missing.
+- `--config <path>` — path to a config JSON. Defaults to `veil.config.json`.
+- `--core-import <path>` — import specifier for `@provablehq/veil-core` in the emitted
+  file. Defaults to `@provablehq/veil-core`; on the CLI it overrides the config's
+  `coreImport`.
+- `--help`, `-h` — print usage.
+
+Paths inside a config file resolve relative to the config file's own location,
+not the working directory.
+
+### Config file
+
+```json
+{
+  "programs": [
+    {
+      "abi": "./abi/shield_swap_v0_0_2.json",
+      "out": "../src/generated/shield_swap.ts"
+    }
+  ],
+  "coreImport": "@provablehq/veil-core"
+}
+```
+
+- `programs` — one entry per program to generate. Each has an `abi` path and an
+  `out` path, both resolved relative to the config file.
+- `programs[].programId` — optional. Stamps a `PROGRAM_ID` (and factory target)
+  that differs from the ABI's own `program`. Set it when the bindings take their
+  shape from one deployment's ABI but must target another, identical-shape
+  deployment. Defaults to the ABI's `program`.
+- `coreImport` — optional. Import specifier for `@provablehq/veil-core` in every emitted
+  file. Defaults to `@provablehq/veil-core`.
+
+### Programmatic API
+
+`generate` takes an already-parsed ABI and returns the TypeScript source as a
+string; it writes nothing and touches no network. Parse the ABI with
+`parseAbi` from `@provablehq/veil-core` first, then write the result yourself. This is the
+path to take when you generate as part of a larger build step rather than from
+the CLI.
+
+```ts
+import { readFileSync, writeFileSync } from 'node:fs'
+import { parseAbi } from '@provablehq/veil-core'
+import { generate } from '@provablehq/veil-codegen'
+
+const abi = parseAbi(JSON.parse(readFileSync('./abi/loyalty_token.json', 'utf-8')))
+const source = generate({ abi, coreImport: '@provablehq/veil-core' })
+writeFileSync('./src/generated/loyalty_token.ts', source)
+```
+
+`generate(options)` accepts `GenerateOptions`:
+
+- `abi` — the parsed `ABI` to generate from.
+- `coreImport` — optional import specifier for `@provablehq/veil-core`. Defaults to
+  `@provablehq/veil-core`.
+- `programId` — optional override for the emitted `PROGRAM_ID`, same meaning as
+  the config field above. Defaults to the ABI's `program`.
+</content>
+</invoke>

package/dist/chunk-OU67QL3U.js

@@ -0,0 +1,493 @@
+// src/generate.ts
+function generate(options) {
+  const { abi, coreImport = "@provablehq/veil-core", programId = abi.program } = options;
+  const lines = [];
+  lines.push(`// Auto-generated by @provablehq/veil-codegen from ${abi.program}`);
+  lines.push(`// Do not edit manually.`);
+  lines.push("");
+  lines.push(`import { getContract } from '${coreImport}'`);
+  lines.push(`import type { RecordValue, FutureValue, PublicClient, WalletClient, ABI, InputRequest, PlaintextValue } from '${coreImport}'`);
+  lines.push("");
+  lines.push(`export const PROGRAM_ID = '${programId}' as const`);
+  lines.push("");
+  lines.push(`function litStr(v: PlaintextValue | undefined, suffix: string): string {`);
+  lines.push(`  if (typeof v === 'bigint') return \`\${v}\${suffix}\``);
+  lines.push(`  if (typeof v === 'string') return v`);
+  lines.push(`  if (v == null) return ''`);
+  lines.push(`  // Fail fast: a struct/array/boolean value in a literal slot means the ABI`);
+  lines.push(`  // or an upstream parser is wrong \u2014 never coerce it into corrupt data.`);
+  lines.push(`  throw new Error(\`Expected \${suffix} literal, got \${typeof v}\`)`);
+  lines.push(`}`);
+  lines.push("");
+  for (const struct of abi.structs) {
+    lines.push(...generateStructInterface(struct));
+    lines.push("");
+    lines.push(...generateStructMapper(struct));
+    lines.push("");
+  }
+  for (const record of abi.records) {
+    lines.push(...generateRecordInterface(record));
+    lines.push("");
+    lines.push(...generateRecordMapper(record));
+    lines.push("");
+  }
+  for (const fn of abi.functions) {
+    lines.push(...generateFunctionInputType(fn, abi));
+    lines.push("");
+    lines.push(...generateFunctionOutputType(fn, abi));
+    lines.push("");
+  }
+  for (const mapping of abi.mappings) {
+    lines.push(...generateMappingType(mapping));
+    lines.push("");
+  }
+  for (const sv of abi.storageVariables) {
+    lines.push(...generateStorageVariableType(sv));
+    lines.push("");
+  }
+  lines.push(...generateAbiConstant(abi));
+  lines.push("");
+  lines.push(...generateContractFactory(abi));
+  lines.push("");
+  return lines.join("\n");
+}
+function generateStructInterface(struct) {
+  const name = struct.path[struct.path.length - 1] ?? "UnknownStruct";
+  const lines = [];
+  lines.push(`export interface ${name} {`);
+  for (const field of struct.fields) {
+    const tsType = plaintextToTsType(field.type);
+    lines.push(`  ${field.name}: ${tsType}`);
+  }
+  lines.push(`}`);
+  return lines;
+}
+function generateRecordInterface(record) {
+  const name = recordName(record);
+  const lines = [];
+  lines.push(`export interface ${name} {`);
+  lines.push(`  owner: string`);
+  for (const field of record.fields) {
+    if (field.name === "owner") continue;
+    const tsType = plaintextToTsType(field.type);
+    lines.push(`  ${field.name}: ${tsType}`);
+  }
+  lines.push(`  _record: RecordValue`);
+  lines.push(`}`);
+  return lines;
+}
+function mapperFieldLines(fields, container, fieldsVar) {
+  const lines = [];
+  for (const field of fields) {
+    if (field.name === "owner") continue;
+    if (field.type.kind === "struct") {
+      const structName = field.type.path.at(-1);
+      if (!structName) {
+        throw new Error(
+          `Malformed ABI: struct field "${field.name}" in "${container}" has an empty type path. Cannot derive struct name for code generation.`
+        );
+      }
+      lines.push(`    ${field.name}: ${fieldsVar}.${field.name}?.value as unknown as ${structName} ?? {} as unknown as ${structName},`);
+    } else {
+      const rawAccess = `${fieldsVar}.${field.name}?.value`;
+      const expr = plaintextFieldExpr(rawAccess, field.type);
+      lines.push(`    ${field.name}: ${expr} ?? ${plaintextDefault(field.type)},`);
+    }
+  }
+  return lines;
+}
+function fieldsGuardLine(varName) {
+  return `  const fields = (typeof ${varName} === 'object' && ${varName} !== null ? ${varName}.fields : undefined) ?? {}`;
+}
+function generateRecordMapper(record) {
+  const name = recordName(record);
+  const lines = [];
+  lines.push(`export function to${name}(record: RecordValue | string): ${name} {`);
+  lines.push(fieldsGuardLine("record"));
+  lines.push(`  return {`);
+  lines.push(`    owner: ((typeof record === 'object' && record !== null ? record.owner : undefined) ?? '') as string,`);
+  lines.push(...mapperFieldLines(record.fields, name, "fields"));
+  lines.push(`    _record: record as unknown as RecordValue,`);
+  lines.push(`  }`);
+  lines.push(`}`);
+  return lines;
+}
+function generateStructMapper(struct) {
+  const name = struct.path[struct.path.length - 1] ?? "UnknownStruct";
+  const lines = [];
+  lines.push(`export function to${name}(value: RecordValue): ${name} {`);
+  lines.push(`  return {`);
+  lines.push(...mapperFieldLines(struct.fields, name, "value.fields"));
+  lines.push(`  }`);
+  lines.push(`}`);
+  return lines;
+}
+function generateFunctionInputType(fn, abi) {
+  const typeName = pascalCase(fn.name) + "Inputs";
+  const lines = [];
+  lines.push(`export type ${typeName} = {`);
+  for (const input of fn.inputs) {
+    const name = input.name ?? `arg${fn.inputs.indexOf(input)}`;
+    if (input.type.kind === "plaintext") {
+      const tsType = plaintextToTsType(input.type.type);
+      lines.push(`  ${name}: ${tsType} | InputRequest`);
+    } else if (input.type.kind === "record") {
+      const recName = input.type.path[input.type.path.length - 1] ?? "RecordValue";
+      const isLocal = !input.type.program || input.type.program.replace(/\.aleo$/, "") === abi.program.replace(/\.aleo$/, "");
+      lines.push(`  ${name}: ${isLocal ? recName : "RecordValue"} | RecordValue | string | InputRequest`);
+    } else if (input.type.kind === "dynamicRecord") {
+      lines.push(`  ${name}: RecordValue | string | InputRequest`);
+    }
+  }
+  lines.push(`}`);
+  return lines;
+}
+function generateFunctionOutputType(fn, abi) {
+  const typeName = pascalCase(fn.name) + "Outputs";
+  const lines = [];
+  if (fn.outputs.length === 0) {
+    lines.push(`export type ${typeName} = void`);
+    return lines;
+  }
+  if (fn.outputs.length === 1) {
+    const tsType = outputToTsType(fn.outputs[0].type, abi);
+    lines.push(`export type ${typeName} = ${tsType}`);
+    return lines;
+  }
+  const typeElements = fn.outputs.map((output) => outputToTsType(output.type, abi));
+  lines.push(`export type ${typeName} = [${typeElements.join(", ")}]`);
+  return lines;
+}
+function outputToTsType(output, abi) {
+  if (output.kind === "plaintext") {
+    return plaintextToTsType(output.type);
+  } else if (output.kind === "record") {
+    const recName = output.path[output.path.length - 1] ?? "RecordValue";
+    const isLocal = !output.program || output.program.replace(/\.aleo$/, "") === abi.program.replace(/\.aleo$/, "");
+    return isLocal ? recName : "RecordValue";
+  } else if (output.kind === "dynamicRecord") {
+    return "RecordValue";
+  } else if (output.kind === "future" || output.kind === "dynamicFuture") {
+    return "FutureValue";
+  }
+  return "unknown";
+}
+function generateMappingType(mapping) {
+  const name = pascalCase(mapping.name);
+  const keyType = plaintextToTsType(mapping.key);
+  const valueType = plaintextToTsType(mapping.value);
+  return [
+    `export type ${name}MappingKey = ${keyType}`,
+    `export type ${name}MappingValue = ${valueType}`
+  ];
+}
+function generateStorageVariableType(sv) {
+  const name = pascalCase(sv.name);
+  const tsType = storageTypeToTs(sv.type);
+  return [`export type ${name}StorageType = ${tsType}`];
+}
+function storageTypeToTs(st) {
+  if (st.kind === "plaintext") {
+    return plaintextToTsType(st.type);
+  } else if (st.kind === "vector") {
+    return `${storageTypeToTs(st.element)}[]`;
+  }
+  return "unknown";
+}
+function isSmallInt(p) {
+  return p === "u8" || p === "u16" || p === "u32" || p === "i8" || p === "i16" || p === "i32";
+}
+function plaintextToTsType(pt) {
+  switch (pt.kind) {
+    case "primitive":
+      return primitiveToTsType(pt.primitive);
+    case "array":
+      return `${plaintextToTsType(pt.element)}[]`;
+    case "struct":
+      return pt.path[pt.path.length - 1] ?? "unknown";
+    case "optional":
+      return `${plaintextToTsType(pt.inner)} | undefined`;
+    default:
+      return "unknown";
+  }
+}
+function primitiveToTsType(p) {
+  if (isSmallInt(p)) return "number";
+  switch (p) {
+    case "address":
+    case "field":
+    case "group":
+    case "scalar":
+    case "signature":
+    case "identifier":
+      return "string";
+    case "boolean":
+      return "boolean";
+    // 64-bit and wider: must be bigint to avoid precision loss
+    case "u64":
+    case "u128":
+    case "i64":
+    case "i128":
+      return "bigint";
+    default:
+      return "unknown";
+  }
+}
+function plaintextFieldExpr(rawAccess, pt) {
+  if (pt.kind !== "primitive") return rawAccess;
+  const p = pt.primitive;
+  if (isSmallInt(p)) return `Number((${rawAccess} ?? 0n) as bigint)`;
+  switch (p) {
+    // Wide integers stay bigint end-to-end.
+    case "u64":
+    case "u128":
+    case "i64":
+    case "i128":
+      return `${rawAccess} as bigint`;
+    // Literal types with a suffix: runtime parsers may deliver these as bigint
+    // (suffix stripped) or as the canonical suffixed string — normalize to the
+    // canonical string form (e.g. 123n → "123field").
+    case "field":
+    case "group":
+    case "scalar":
+      return `litStr(${rawAccess}, '${p}')`;
+    case "address":
+    case "signature":
+    case "identifier":
+      return `${rawAccess} as string`;
+    case "boolean":
+      return `${rawAccess} as boolean`;
+    default:
+      return rawAccess;
+  }
+}
+function plaintextDefault(pt) {
+  if (pt.kind !== "primitive") return "''";
+  if (isSmallInt(pt.primitive)) return "0";
+  switch (pt.primitive) {
+    case "boolean":
+      return "false";
+    // Wide integers — bigint default
+    case "u64":
+    case "u128":
+    case "i64":
+    case "i128":
+      return "0n";
+    case "field":
+    case "group":
+    case "scalar":
+      return "''";
+    case "address":
+    case "signature":
+    case "identifier":
+      return "''";
+    default:
+      return "''";
+  }
+}
+function generateAbiConstant(abi) {
+  return [
+    `/** The parsed ABI for ${abi.program}. */`,
+    `export const PROGRAM_ABI: ABI = ${JSON.stringify(abi, null, 2)}`
+  ];
+}
+function namedParamsType(fn, abi) {
+  if (fn.inputs.length === 0) return "{}";
+  const params = fn.inputs.map((input) => {
+    const name = input.name ?? `arg${fn.inputs.indexOf(input)}`;
+    let tsType;
+    if (input.type.kind === "plaintext") {
+      tsType = plaintextToTsType(input.type.type);
+    } else if (input.type.kind === "record") {
+      const recName = input.type.path[input.type.path.length - 1] ?? "RecordValue";
+      const isLocal = !input.type.program || input.type.program.replace(/\.aleo$/, "") === abi.program.replace(/\.aleo$/, "");
+      tsType = isLocal ? `${recName} | RecordValue | string` : "RecordValue | string";
+    } else {
+      tsType = "RecordValue | string";
+    }
+    return `${name}: ${tsType} | InputRequest`;
+  });
+  return `{ ${params.join(", ")} }`;
+}
+function simulateReturnType(fn, abi) {
+  if (fn.outputs.length === 0) return "void";
+  if (fn.outputs.length === 1) return outputToTsType(fn.outputs[0].type, abi);
+  return `[${fn.outputs.map((o) => outputToTsType(o.type, abi)).join(", ")}]`;
+}
+function executeReturnType(fn, abi) {
+  const simType = simulateReturnType(fn, abi);
+  if (simType === "void") return "{ transactionId: string }";
+  return `{ transactionId: string, result: ${simType} }`;
+}
+function inputNames(fn) {
+  return fn.inputs.map((input, i) => input.name ?? `arg${i}`);
+}
+function resolveRecordInputs(fn) {
+  const resolveLines = [];
+  const resolvedNames = [];
+  for (let i = 0; i < fn.inputs.length; i++) {
+    const input = fn.inputs[i];
+    const name = input.name ?? `arg${i}`;
+    if (input.type.kind === "record" || input.type.kind === "dynamicRecord") {
+      resolveLines.push(`        const _${name} = ${name}?._record ?? ${name}`);
+      resolvedNames.push(`_${name}`);
+    } else {
+      resolvedNames.push(name);
+    }
+  }
+  return { resolveLines, resolvedNames };
+}
+function outputMapperExpr(output, i, abi) {
+  if (output.type.kind === "record") {
+    const recName = output.type.path[output.type.path.length - 1] ?? "";
+    const isLocal = !output.type.program || output.type.program.replace(/\.aleo$/, "") === abi.program.replace(/\.aleo$/, "");
+    if (isLocal && recName) {
+      return `to${recName}(result.outputs[${i}] as unknown as RecordValue)`;
+    }
+    return `result.outputs[${i}] as unknown as RecordValue`;
+  }
+  if (output.type.kind === "plaintext") {
+    return `result.outputs[${i}] as unknown as ${plaintextToTsType(output.type.type)}`;
+  }
+  if (output.type.kind === "future" || output.type.kind === "dynamicFuture") {
+    return `result.outputs[${i}] as unknown as FutureValue`;
+  }
+  return `result.outputs[${i}]`;
+}
+function generateContractFactory(abi) {
+  const programName = abi.program;
+  const factoryName = pascalCase(programName.replace(".aleo", ""));
+  const lines = [];
+  lines.push(`export interface ${factoryName}Contract {`);
+  lines.push(`  program: string`);
+  lines.push(`  abi: ABI`);
+  if (abi.mappings.length > 0) {
+    lines.push(`  read: {`);
+    for (const mapping of abi.mappings) {
+      const keyType = plaintextToTsType(mapping.key);
+      lines.push(`    ${mapping.name}: (params: { key: ${keyType} }) => Promise<unknown>`);
+    }
+    lines.push(`  }`);
+  } else {
+    lines.push(`  read: Record<string, (params: { key: string }) => Promise<unknown>>`);
+  }
+  if (abi.functions.length > 0) {
+    lines.push(`  write: {`);
+    for (const fn of abi.functions) {
+      const params = namedParamsType(fn, abi);
+      lines.push(`    ${fn.name}: (params: ${params}) => Promise<string>`);
+    }
+    lines.push(`  }`);
+  }
+  if (abi.functions.length > 0) {
+    lines.push(`  simulate: {`);
+    for (const fn of abi.functions) {
+      const params = namedParamsType(fn, abi);
+      const retType = simulateReturnType(fn, abi);
+      lines.push(`    ${fn.name}: (params: ${params}) => Promise<${retType}>`);
+    }
+    lines.push(`  }`);
+  }
+  if (abi.functions.length > 0) {
+    lines.push(`  execute: {`);
+    for (const fn of abi.functions) {
+      const params = namedParamsType(fn, abi);
+      const retType = executeReturnType(fn, abi);
+      lines.push(`    ${fn.name}: (params: ${params}) => Promise<${retType}>`);
+    }
+    lines.push(`  }`);
+  }
+  lines.push(`  fetchAbi: () => Promise<ABI>`);
+  lines.push(`}`);
+  lines.push("");
+  lines.push(`export function create${factoryName}Contract(options: {`);
+  lines.push(`  publicClient?: PublicClient,`);
+  lines.push(`  walletClient?: WalletClient,`);
+  lines.push(`  programSource?: string,`);
+  lines.push(`  imports?: Record<string, string>,`);
+  lines.push(`}): ${factoryName}Contract {`);
+  lines.push(`  if (!options.publicClient && !options.walletClient) throw new Error('At least one of publicClient or walletClient is required')`);
+  lines.push(`  const client = options.publicClient && options.walletClient`);
+  lines.push(`    ? { public: options.publicClient, wallet: options.walletClient }`);
+  lines.push(`    : (options.publicClient ?? options.walletClient)!`);
+  lines.push(`  const raw = getContract({ program: PROGRAM_ID, abi: PROGRAM_ABI, client, programSource: options.programSource, imports: options.imports })`);
+  lines.push(`  const _raw = raw as any`);
+  lines.push("");
+  lines.push(`  return {`);
+  lines.push(`    program: raw.program,`);
+  lines.push(`    abi: raw.abi as ABI,`);
+  lines.push(`    read: _raw.read as ${factoryName}Contract['read'],`);
+  if (abi.functions.length > 0) {
+    lines.push(`    write: {`);
+    for (const fn of abi.functions) {
+      const names = inputNames(fn);
+      const { resolveLines, resolvedNames } = resolveRecordInputs(fn);
+      lines.push(`      ${fn.name}: (params: any) => {`);
+      if (names.length > 0) lines.push(`        const { ${names.join(", ")} } = params`);
+      for (const line of resolveLines) lines.push(line);
+      lines.push(`        return _raw.write.${fn.name}({ inputs: [${resolvedNames.join(", ")}] })`);
+      lines.push(`      },`);
+    }
+    lines.push(`    },`);
+  }
+  if (abi.functions.length > 0) {
+    lines.push(`    simulate: {`);
+    for (const fn of abi.functions) {
+      const names = inputNames(fn);
+      const { resolveLines, resolvedNames } = resolveRecordInputs(fn);
+      lines.push(`      ${fn.name}: async (params: any) => {`);
+      if (names.length > 0) lines.push(`        const { ${names.join(", ")} } = params`);
+      for (const line of resolveLines) lines.push(line);
+      if (fn.outputs.length === 0) {
+        lines.push(`        await _raw.simulate.${fn.name}({ inputs: [${resolvedNames.join(", ")}] })`);
+      } else {
+        lines.push(`        const result = await _raw.simulate.${fn.name}({ inputs: [${resolvedNames.join(", ")}] })`);
+      }
+      if (fn.outputs.length === 0) {
+      } else if (fn.outputs.length === 1) {
+        lines.push(`        return ${outputMapperExpr(fn.outputs[0], 0, abi)}`);
+      } else {
+        const mappers = fn.outputs.map((o, i) => outputMapperExpr(o, i, abi));
+        lines.push(`        return [${mappers.join(", ")}] as const`);
+      }
+      lines.push(`      },`);
+    }
+    lines.push(`    },`);
+  }
+  if (abi.functions.length > 0) {
+    lines.push(`    execute: {`);
+    for (const fn of abi.functions) {
+      const names = inputNames(fn);
+      const { resolveLines, resolvedNames } = resolveRecordInputs(fn);
+      lines.push(`      ${fn.name}: async (params: any) => {`);
+      if (names.length > 0) lines.push(`        const { ${names.join(", ")} } = params`);
+      for (const line of resolveLines) lines.push(line);
+      lines.push(`        const result = await _raw.execute.${fn.name}({ inputs: [${resolvedNames.join(", ")}] })`);
+      if (fn.outputs.length === 0) {
+        lines.push(`        return { transactionId: result.transactionId }`);
+      } else if (fn.outputs.length === 1) {
+        lines.push(`        return { transactionId: result.transactionId, result: ${outputMapperExpr(fn.outputs[0], 0, abi)} }`);
+      } else {
+        const mappers = fn.outputs.map((o, i) => outputMapperExpr(o, i, abi));
+        lines.push(`        return { transactionId: result.transactionId, result: [${mappers.join(", ")}] as const }`);
+      }
+      lines.push(`      },`);
+    }
+    lines.push(`    },`);
+  }
+  lines.push(`    fetchAbi: _raw.fetchAbi as unknown as ${factoryName}Contract['fetchAbi'],`);
+  lines.push(`  }`);
+  lines.push(`}`);
+  return lines;
+}
+function recordName(record) {
+  return record.path[record.path.length - 1] ?? "UnknownRecord";
+}
+function pascalCase(s) {
+  return s.split("_").map((part) => part.charAt(0).toUpperCase() + part.slice(1)).join("");
+}
+
+export {
+  generate
+};
+//# sourceMappingURL=chunk-OU67QL3U.js.map

package/dist/chunk-OU67QL3U.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../src/generate.ts"],"sourcesContent":["// Code generator — reads a parsed ABI and produces TypeScript source code.\n\nimport type { ABI, RecordDef, StructDef, AbiFunction, Mapping, StorageVariable, StorageType } from '@provablehq/veil-core'\nimport type { Plaintext, Primitive } from '@provablehq/veil-core'\n\n// ── Public API ────────────────────────────────────────────────────────\n\n/**\n * Options for {@link generate}.\n *\n * @property abi Parsed ABI the bindings are generated from — it supplies the\n *   structs, records, functions, mappings, and storage variables to emit.\n * @property coreImport Import path emitted for `@provablehq/veil-core` types. Defaults to\n *   `'@provablehq/veil-core'`. Override when the generated file resolves core through an\n *   alias or a relative path (e.g. inside the monorepo).\n * @property programId Program id to stamp into the emitted `PROGRAM_ID` and\n *   the generated contract factory. Defaults to the ABI's own `program`.\n *   Override when the bindings' shape is taken from one deployment's ABI but\n *   they target another — e.g. when a newer program version's ABI is the only\n *   one current tooling can parse, yet the live deployment (identical shape)\n *   has a different id.\n */\nexport interface GenerateOptions {\n  abi: ABI\n  coreImport?: string\n  programId?: string\n}\n\n/**\n * Generates TypeScript source code from an Aleo program ABI.\n *\n * Produces:\n * - Struct interfaces\n * - Record interfaces with correctly typed fields\n * - Record mapper functions (RecordValue → typed interface)\n * - Function input and output types\n * - Mapping key/value types\n * - Storage variable types\n */\nexport function generate(options: GenerateOptions): string {\n  const { abi, coreImport = '@provablehq/veil-core', programId = abi.program } = options\n  const lines: string[] = []\n\n  // Header\n  lines.push(`// Auto-generated by @provablehq/veil-codegen from ${abi.program}`)\n  lines.push(`// Do not edit manually.`)\n  lines.push('')\n  lines.push(`import { getContract } from '${coreImport}'`)\n  lines.push(`import type { RecordValue, FutureValue, PublicClient, WalletClient, ABI, InputRequest, PlaintextValue } from '${coreImport}'`)\n  lines.push('')\n\n  // Program ID constant — the program these bindings target (see programId option).\n  lines.push(`export const PROGRAM_ID = '${programId}' as const`)\n  lines.push('')\n\n  // Decoder helper: literal types (field/group/scalar) may arrive from runtime\n  // parsers as bigint (suffix stripped) or as the canonical suffixed string.\n  // Normalize to the canonical string form so decoded objects match the\n  // generated interfaces at runtime.\n  lines.push(`function litStr(v: PlaintextValue | undefined, suffix: string): string {`)\n  lines.push(`  if (typeof v === 'bigint') return \\`\\${v}\\${suffix}\\``)\n  lines.push(`  if (typeof v === 'string') return v`)\n  lines.push(`  if (v == null) return ''`)\n  lines.push(`  // Fail fast: a struct/array/boolean value in a literal slot means the ABI`)\n  lines.push(`  // or an upstream parser is wrong — never coerce it into corrupt data.`)\n  lines.push(`  throw new Error(\\`Expected \\${suffix} literal, got \\${typeof v}\\`)`)\n  lines.push(`}`)\n  lines.push('')\n\n  // Structs\n  for (const struct of abi.structs) {\n    lines.push(...generateStructInterface(struct))\n    lines.push('')\n    lines.push(...generateStructMapper(struct))\n    lines.push('')\n  }\n\n  // Records\n  for (const record of abi.records) {\n    lines.push(...generateRecordInterface(record))\n    lines.push('')\n    lines.push(...generateRecordMapper(record))\n    lines.push('')\n  }\n\n  // Function input + output types\n  for (const fn of abi.functions) {\n    lines.push(...generateFunctionInputType(fn, abi))\n    lines.push('')\n    lines.push(...generateFunctionOutputType(fn, abi))\n    lines.push('')\n  }\n\n  // Mapping types\n  for (const mapping of abi.mappings) {\n    lines.push(...generateMappingType(mapping))\n    lines.push('')\n  }\n\n  // Storage variable types\n  for (const sv of abi.storageVariables) {\n    lines.push(...generateStorageVariableType(sv))\n    lines.push('')\n  }\n\n  // ABI constant + contract factory\n  lines.push(...generateAbiConstant(abi))\n  lines.push('')\n  lines.push(...generateContractFactory(abi))\n  lines.push('')\n\n  return lines.join('\\n')\n}\n\n// ── Struct generation ─────────────────────────────────────────────────\n\nfunction generateStructInterface(struct: StructDef): string[] {\n  const name = struct.path[struct.path.length - 1] ?? 'UnknownStruct'\n  const lines: string[] = []\n\n  lines.push(`export interface ${name} {`)\n\n  for (const field of struct.fields) {\n    const tsType = plaintextToTsType(field.type)\n    lines.push(`  ${field.name}: ${tsType}`)\n  }\n\n  lines.push(`}`)\n  return lines\n}\n\n// ── Record generation ─────────────────────────────────────────────────\n\nfunction generateRecordInterface(record: RecordDef): string[] {\n  const name = recordName(record)\n  const lines: string[] = []\n\n  lines.push(`export interface ${name} {`)\n  lines.push(`  owner: string`)\n\n  for (const field of record.fields) {\n    if (field.name === 'owner') continue\n    const tsType = plaintextToTsType(field.type)\n    lines.push(`  ${field.name}: ${tsType}`)\n  }\n\n  // Carry the underlying RecordValue so typed records can be passed back as inputs\n  lines.push(`  _record: RecordValue`)\n  lines.push(`}`)\n  return lines\n}\n\n// Emit the `field: <converted value>` lines shared by record and struct mappers.\n// `varName` is the mapper's parameter name (the value being decoded); `container`\n// names the enclosing type for error messages.\nfunction mapperFieldLines(\n  fields: readonly { name: string; type: Plaintext }[],\n  container: string,\n  fieldsVar: string,\n): string[] {\n  const lines: string[] = []\n  for (const field of fields) {\n    if (field.name === 'owner') continue\n    // Struct-typed fields: the raw PlaintextValue is a StructValue at runtime.\n    // Cast through unknown to the generated struct interface so the return type\n    // is correct. A missing field falls back to an empty object cast the same way.\n    if (field.type.kind === 'struct') {\n      const structName = field.type.path.at(-1)\n      if (!structName) {\n        throw new Error(\n          `Malformed ABI: struct field \"${field.name}\" in \"${container}\" has an empty type path. ` +\n          `Cannot derive struct name for code generation.`\n        )\n      }\n      lines.push(`    ${field.name}: ${fieldsVar}.${field.name}?.value as unknown as ${structName} ?? {} as unknown as ${structName},`)\n    } else {\n      const rawAccess = `${fieldsVar}.${field.name}?.value`\n      const expr = plaintextFieldExpr(rawAccess, field.type)\n      lines.push(`    ${field.name}: ${expr} ?? ${plaintextDefault(field.type)},`)\n    }\n  }\n  return lines\n}\n\n/**\n * Emits a `const fields = …` guard so a mapper tolerates an undecryptable\n * output. Record outputs owned by another party (e.g. a compliance record\n * minted to an authority) arrive as ciphertext strings, and every record\n * output arrives as ciphertext on the wallet path — the mapper then returns\n * defaulted fields with the raw ciphertext preserved on `_record`, rather\n * than dereferencing `.fields` on a string and throwing.\n */\nfunction fieldsGuardLine(varName: string): string {\n  return `  const fields = (typeof ${varName} === 'object' && ${varName} !== null ? ${varName}.fields : undefined) ?? {}`\n}\n\nfunction generateRecordMapper(record: RecordDef): string[] {\n  const name = recordName(record)\n  const lines: string[] = []\n\n  // Accepts a ciphertext string for records the caller cannot decrypt.\n  lines.push(`export function to${name}(record: RecordValue | string): ${name} {`)\n  lines.push(fieldsGuardLine('record'))\n  lines.push(`  return {`)\n  lines.push(`    owner: ((typeof record === 'object' && record !== null ? record.owner : undefined) ?? '') as string,`)\n  lines.push(...mapperFieldLines(record.fields, name, 'fields'))\n  lines.push(`    _record: record as unknown as RecordValue,`)\n  lines.push(`  }`)\n  lines.push(`}`)\n  return lines\n}\n\n// Decoder for a struct (e.g. a mapping value like PoolState/Slot). Same per-field\n// width conversions as records, without the record-only `owner`/`_record` fields.\nfunction generateStructMapper(struct: StructDef): string[] {\n  const name = struct.path[struct.path.length - 1] ?? 'UnknownStruct'\n  const lines: string[] = []\n\n  // Struct values (mapping reads, nested struct fields) are always readable\n  // plaintext — never ciphertext — so no tolerance guard: a shape mismatch\n  // should still fail loudly rather than return a silently-zeroed struct.\n  lines.push(`export function to${name}(value: RecordValue): ${name} {`)\n  lines.push(`  return {`)\n  lines.push(...mapperFieldLines(struct.fields, name, 'value.fields'))\n  lines.push(`  }`)\n  lines.push(`}`)\n  return lines\n}\n\n// ── Function input generation ─────────────────────────────────────────\n\nfunction generateFunctionInputType(fn: AbiFunction, abi: ABI): string[] {\n  const typeName = pascalCase(fn.name) + 'Inputs'\n  const lines: string[] = []\n\n  lines.push(`export type ${typeName} = {`)\n\n  for (const input of fn.inputs) {\n    const name = input.name ?? `arg${fn.inputs.indexOf(input)}`\n\n    // Every input slot also accepts an InputRequest — a privacy-preserving\n    // wallet fulfils it (address injection, record selection, derived value).\n    if (input.type.kind === 'plaintext') {\n      const tsType = plaintextToTsType(input.type.type)\n      lines.push(`  ${name}: ${tsType} | InputRequest`)\n    } else if (input.type.kind === 'record') {\n      const recName = input.type.path[input.type.path.length - 1] ?? 'RecordValue'\n      const isLocal = !input.type.program || input.type.program.replace(/\\.aleo$/, '') === abi.program.replace(/\\.aleo$/, '')\n      lines.push(`  ${name}: ${isLocal ? recName : 'RecordValue'} | RecordValue | string | InputRequest`)\n    } else if (input.type.kind === 'dynamicRecord') {\n      lines.push(`  ${name}: RecordValue | string | InputRequest`)\n    }\n  }\n\n  lines.push(`}`)\n  return lines\n}\n\n// ── Function output generation ────────────────────────────────────────\n\nfunction generateFunctionOutputType(fn: AbiFunction, abi: ABI): string[] {\n  const typeName = pascalCase(fn.name) + 'Outputs'\n  const lines: string[] = []\n\n  if (fn.outputs.length === 0) {\n    lines.push(`export type ${typeName} = void`)\n    return lines\n  }\n\n  if (fn.outputs.length === 1) {\n    const tsType = outputToTsType(fn.outputs[0].type, abi)\n    lines.push(`export type ${typeName} = ${tsType}`)\n    return lines\n  }\n\n  const typeElements = fn.outputs.map((output) => outputToTsType(output.type, abi))\n  lines.push(`export type ${typeName} = [${typeElements.join(', ')}]`)\n  return lines\n}\n\nfunction outputToTsType(output: AbiFunction['outputs'][number]['type'], abi: ABI): string {\n  if (output.kind === 'plaintext') {\n    return plaintextToTsType(output.type)\n  } else if (output.kind === 'record') {\n    const recName = output.path[output.path.length - 1] ?? 'RecordValue'\n    const isLocal = !output.program || output.program.replace(/\\.aleo$/, '') === abi.program.replace(/\\.aleo$/, '')\n    return isLocal ? recName : 'RecordValue'\n  } else if (output.kind === 'dynamicRecord') {\n    return 'RecordValue'\n  } else if (output.kind === 'future' || output.kind === 'dynamicFuture') {\n    return 'FutureValue'\n  }\n  return 'unknown'\n}\n\n// ── Mapping generation ────────────────────────────────────────────────\n\nfunction generateMappingType(mapping: Mapping): string[] {\n  const name = pascalCase(mapping.name)\n  const keyType = plaintextToTsType(mapping.key)\n  const valueType = plaintextToTsType(mapping.value)\n\n  return [\n    `export type ${name}MappingKey = ${keyType}`,\n    `export type ${name}MappingValue = ${valueType}`,\n  ]\n}\n\n// ── Storage variable generation ───────────────────────────────────────\n\nfunction generateStorageVariableType(sv: StorageVariable): string[] {\n  const name = pascalCase(sv.name)\n  const tsType = storageTypeToTs(sv.type)\n\n  return [`export type ${name}StorageType = ${tsType}`]\n}\n\nfunction storageTypeToTs(st: StorageType): string {\n  if (st.kind === 'plaintext') {\n    return plaintextToTsType(st.type)\n  } else if (st.kind === 'vector') {\n    return `${storageTypeToTs(st.element)}[]`\n  }\n  return 'unknown'\n}\n\n// ── Type mapping helpers ──────────────────────────────────────────────\n\n/**\n * Returns true for integer primitives that fit safely in a JS number (≤ 32-bit).\n *\n * u8/u16/u32 and i8/i16/i32 are typed as `number`; u64/u128 and i64/i128 require\n * `bigint` to avoid precision loss. This predicate is the single source of truth\n * for that boundary — all three type-mapping helpers delegate to it so that adding\n * a new width requires changing only this function.\n */\nfunction isSmallInt(p: Primitive): boolean {\n  return p === 'u8' || p === 'u16' || p === 'u32' || p === 'i8' || p === 'i16' || p === 'i32'\n}\n\nfunction plaintextToTsType(pt: Plaintext): string {\n  switch (pt.kind) {\n    case 'primitive':\n      return primitiveToTsType(pt.primitive)\n    case 'array':\n      return `${plaintextToTsType(pt.element)}[]`\n    case 'struct':\n      return pt.path[pt.path.length - 1] ?? 'unknown'\n    case 'optional':\n      return `${plaintextToTsType(pt.inner)} | undefined`\n    default:\n      return 'unknown'\n  }\n}\n\nfunction primitiveToTsType(p: Primitive): string {\n  if (isSmallInt(p)) return 'number'\n  switch (p) {\n    case 'address':\n    case 'field':\n    case 'group':\n    case 'scalar':\n    case 'signature':\n    case 'identifier':\n      return 'string'\n    case 'boolean':\n      return 'boolean'\n    // 64-bit and wider: must be bigint to avoid precision loss\n    case 'u64':\n    case 'u128':\n    case 'i64':\n    case 'i128':\n      return 'bigint'\n    default:\n      return 'unknown'\n  }\n}\n\n/**\n * Builds the full typed expression for a primitive record field access.\n *\n * The raw value stored in RecordFieldValue is always a bigint for all integer\n * widths (parsed by core's parseValue). For u8/u16/u32 and i8/i16/i32 fields\n * (typed as `number`), the access is wrapped with Number() to convert at\n * runtime. For u64+ (typed as `bigint`), it is cast directly. For non-primitive types (array,\n * optional) the raw access is returned unchanged — those fall through to the\n * caller's existing handling.\n *\n * @param rawAccess - Expression yielding the raw PlaintextValue, e.g. `record.fields.x?.value`\n */\nfunction plaintextFieldExpr(rawAccess: string, pt: Plaintext): string {\n  // TODO(follow-up): non-primitive record fields other than struct (i.e. `array`,\n  // `optional`) are NOT yet handled and fall through to the raw expression.\n  // This is a known gap — ABIs containing such fields will produce non-compiling\n  // output. Implement `array` and `optional` handling before using codegen with\n  // such ABIs.\n  if (pt.kind !== 'primitive') return rawAccess\n  const p = pt.primitive\n  // Small integers stored as bigint at runtime, exposed as number in the interface.\n  // The ?? 0n guard is inside the Number() call: Number(undefined) = NaN, and\n  // NaN ?? 0 does NOT trigger (?? only catches null/undefined). Guarding before\n  // Number() ensures a missing field correctly defaults to 0.\n  if (isSmallInt(p)) return `Number((${rawAccess} ?? 0n) as bigint)`\n  switch (p) {\n    // Wide integers stay bigint end-to-end.\n    case 'u64':\n    case 'u128':\n    case 'i64':\n    case 'i128':\n      return `${rawAccess} as bigint`\n    // Literal types with a suffix: runtime parsers may deliver these as bigint\n    // (suffix stripped) or as the canonical suffixed string — normalize to the\n    // canonical string form (e.g. 123n → \"123field\").\n    case 'field':\n    case 'group':\n    case 'scalar':\n      return `litStr(${rawAccess}, '${p}')`\n    case 'address':\n    case 'signature':\n    case 'identifier':\n      return `${rawAccess} as string`\n    case 'boolean':\n      return `${rawAccess} as boolean`\n    default:\n      return rawAccess\n  }\n}\n\nfunction plaintextDefault(pt: Plaintext): string {\n  // TODO(follow-up): see plaintextFieldExpr for the known array/optional gap.\n  // Non-primitive record fields fall through to \"''\" (empty string default).\n  if (pt.kind !== 'primitive') return \"''\"\n  if (isSmallInt(pt.primitive)) return '0'\n  switch (pt.primitive) {\n    case 'boolean':\n      return 'false'\n    // Wide integers — bigint default\n    case 'u64': case 'u128': case 'i64': case 'i128':\n      return '0n'\n    case 'field': case 'group': case 'scalar':\n      return \"''\"\n    case 'address': case 'signature': case 'identifier':\n      return \"''\"\n    default:\n      return \"''\"\n  }\n}\n\n// ── ABI constant + contract factory ───────────────────────────────────\n\nfunction generateAbiConstant(abi: ABI): string[] {\n  // Embed the already-parsed ABI as a typed constant.\n  // This avoids a round-trip through parseAbi at runtime.\n  return [\n    `/** The parsed ABI for ${abi.program}. */`,\n    `export const PROGRAM_ABI: ABI = ${JSON.stringify(abi, null, 2)}`,\n  ]\n}\n\n/** Generate named param type string for a function's inputs */\nfunction namedParamsType(fn: AbiFunction, abi: ABI): string {\n  if (fn.inputs.length === 0) return '{}'\n  const params = fn.inputs.map((input) => {\n    const name = input.name ?? `arg${fn.inputs.indexOf(input)}`\n    let tsType: string\n    if (input.type.kind === 'plaintext') {\n      tsType = plaintextToTsType(input.type.type)\n    } else if (input.type.kind === 'record') {\n      const recName = input.type.path[input.type.path.length - 1] ?? 'RecordValue'\n      const isLocal = !input.type.program || input.type.program.replace(/\\.aleo$/, '') === abi.program.replace(/\\.aleo$/, '')\n      tsType = isLocal ? `${recName} | RecordValue | string` : 'RecordValue | string'\n    } else {\n      tsType = 'RecordValue | string'\n    }\n    // Also accept an InputRequest in every slot (wallet-fulfilled input).\n    return `${name}: ${tsType} | InputRequest`\n  })\n  return `{ ${params.join(', ')} }`\n}\n\n/** Generate the typed return type for simulate */\nfunction simulateReturnType(fn: AbiFunction, abi: ABI): string {\n  if (fn.outputs.length === 0) return 'void'\n  if (fn.outputs.length === 1) return outputToTsType(fn.outputs[0].type, abi)\n  return `[${fn.outputs.map((o) => outputToTsType(o.type, abi)).join(', ')}]`\n}\n\n/** Generate the typed return type for execute (includes transactionId) */\nfunction executeReturnType(fn: AbiFunction, abi: ABI): string {\n  const simType = simulateReturnType(fn, abi)\n  if (simType === 'void') return '{ transactionId: string }'\n  return `{ transactionId: string, result: ${simType} }`\n}\n\n/** Generate the input names array for converting named params to positional */\nfunction inputNames(fn: AbiFunction): string[] {\n  return fn.inputs.map((input, i) => input.name ?? `arg${i}`)\n}\n\n/**\n * For record inputs, generate resolution lines that extract _record from typed records.\n * Returns { resolveLines: string[], resolvedNames: string[] }.\n * resolvedNames replaces record input names with their resolved versions.\n */\nfunction resolveRecordInputs(fn: AbiFunction): { resolveLines: string[], resolvedNames: string[] } {\n  const resolveLines: string[] = []\n  const resolvedNames: string[] = []\n\n  for (let i = 0; i < fn.inputs.length; i++) {\n    const input = fn.inputs[i]\n    const name = input.name ?? `arg${i}`\n\n    if (input.type.kind === 'record' || input.type.kind === 'dynamicRecord') {\n      resolveLines.push(`        const _${name} = ${name}?._record ?? ${name}`)\n      resolvedNames.push(`_${name}`)\n    } else {\n      resolvedNames.push(name)\n    }\n  }\n\n  return { resolveLines, resolvedNames }\n}\n\n/** Generate output mapper expression for a single output at index i */\nfunction outputMapperExpr(output: AbiFunction['outputs'][number], i: number, abi: ABI): string {\n  if (output.type.kind === 'record') {\n    const recName = output.type.path[output.type.path.length - 1] ?? ''\n    const isLocal = !output.type.program || output.type.program.replace(/\\.aleo$/, '') === abi.program.replace(/\\.aleo$/, '')\n    // Double-cast through unknown: result.outputs[i] is ParsedOutput | undefined under\n    // noUncheckedIndexedAccess. The cast to unknown then to RecordValue is intentional —\n    // the ABI guarantees this output is a record at this position.\n    if (isLocal && recName) {\n      return `to${recName}(result.outputs[${i}] as unknown as RecordValue)`\n    }\n    return `result.outputs[${i}] as unknown as RecordValue`\n  }\n  if (output.type.kind === 'plaintext') {\n    return `result.outputs[${i}] as unknown as ${plaintextToTsType(output.type.type)}`\n  }\n  if (output.type.kind === 'future' || output.type.kind === 'dynamicFuture') {\n    return `result.outputs[${i}] as unknown as FutureValue`\n  }\n  return `result.outputs[${i}]`\n}\n\nfunction generateContractFactory(abi: ABI): string[] {\n  const programName = abi.program\n  const factoryName = pascalCase(programName.replace('.aleo', ''))\n  const lines: string[] = []\n\n  // Generate typed interface with named params and typed returns\n  lines.push(`export interface ${factoryName}Contract {`)\n  lines.push(`  program: string`)\n  lines.push(`  abi: ABI`)\n\n  // read methods\n  if (abi.mappings.length > 0) {\n    lines.push(`  read: {`)\n    for (const mapping of abi.mappings) {\n      const keyType = plaintextToTsType(mapping.key)\n      lines.push(`    ${mapping.name}: (params: { key: ${keyType} }) => Promise<unknown>`)\n    }\n    lines.push(`  }`)\n  } else {\n    lines.push(`  read: Record<string, (params: { key: string }) => Promise<unknown>>`)\n  }\n\n  // write methods — named params, returns tx ID\n  if (abi.functions.length > 0) {\n    lines.push(`  write: {`)\n    for (const fn of abi.functions) {\n      const params = namedParamsType(fn, abi)\n      lines.push(`    ${fn.name}: (params: ${params}) => Promise<string>`)\n    }\n    lines.push(`  }`)\n  }\n\n  // simulate methods — named params, typed return\n  if (abi.functions.length > 0) {\n    lines.push(`  simulate: {`)\n    for (const fn of abi.functions) {\n      const params = namedParamsType(fn, abi)\n      const retType = simulateReturnType(fn, abi)\n      lines.push(`    ${fn.name}: (params: ${params}) => Promise<${retType}>`)\n    }\n    lines.push(`  }`)\n  }\n\n  // execute methods — named params, typed return + transactionId.\n  // Fee belongs in proving config, not per-call params — do not add fee here.\n  if (abi.functions.length > 0) {\n    lines.push(`  execute: {`)\n    for (const fn of abi.functions) {\n      const params = namedParamsType(fn, abi)\n      const retType = executeReturnType(fn, abi)\n      lines.push(`    ${fn.name}: (params: ${params}) => Promise<${retType}>`)\n    }\n    lines.push(`  }`)\n  }\n\n  lines.push(`  fetchAbi: () => Promise<ABI>`)\n  lines.push(`}`)\n  lines.push('')\n\n  // Generate factory with wrapper methods\n  lines.push(`export function create${factoryName}Contract(options: {`)\n  lines.push(`  publicClient?: PublicClient,`)\n  lines.push(`  walletClient?: WalletClient,`)\n  lines.push(`  programSource?: string,`)\n  lines.push(`  imports?: Record<string, string>,`)\n  lines.push(`}): ${factoryName}Contract {`)\n  lines.push(`  if (!options.publicClient && !options.walletClient) throw new Error('At least one of publicClient or walletClient is required')`)\n  lines.push(`  const client = options.publicClient && options.walletClient`)\n  lines.push(`    ? { public: options.publicClient, wallet: options.walletClient }`)\n  lines.push(`    : (options.publicClient ?? options.walletClient)!`)\n  lines.push(`  const raw = getContract({ program: PROGRAM_ID, abi: PROGRAM_ABI, client, programSource: options.programSource, imports: options.imports })`)\n  // Proxy method access is typed as Record<string, fn> whose properties are\n  // T | undefined under noUncheckedIndexedAccess. Cast to any for the internal\n  // wrappers — the typed factory interface above is what consumers see.\n  lines.push(`  const _raw = raw as any`)\n  lines.push('')\n  lines.push(`  return {`)\n  lines.push(`    program: raw.program,`)\n  lines.push(`    abi: raw.abi as ABI,`)\n  lines.push(`    read: _raw.read as ${factoryName}Contract['read'],`)\n\n  // write wrappers — convert named params to positional inputs\n  if (abi.functions.length > 0) {\n    lines.push(`    write: {`)\n    for (const fn of abi.functions) {\n      const names = inputNames(fn)\n      const { resolveLines, resolvedNames } = resolveRecordInputs(fn)\n      lines.push(`      ${fn.name}: (params: any) => {`)\n      if (names.length > 0) lines.push(`        const { ${names.join(', ')} } = params`)\n      for (const line of resolveLines) lines.push(line)\n      lines.push(`        return _raw.write.${fn.name}({ inputs: [${resolvedNames.join(', ')}] })`)\n      lines.push(`      },`)\n    }\n    lines.push(`    },`)\n  }\n\n  // simulate wrappers — convert named params to positional, map outputs to typed returns\n  if (abi.functions.length > 0) {\n    lines.push(`    simulate: {`)\n    for (const fn of abi.functions) {\n      const names = inputNames(fn)\n      const { resolveLines, resolvedNames } = resolveRecordInputs(fn)\n      lines.push(`      ${fn.name}: async (params: any) => {`)\n      if (names.length > 0) lines.push(`        const { ${names.join(', ')} } = params`)\n      for (const line of resolveLines) lines.push(line)\n\n      if (fn.outputs.length === 0) {\n        lines.push(`        await _raw.simulate.${fn.name}({ inputs: [${resolvedNames.join(', ')}] })`)\n      } else {\n        lines.push(`        const result = await _raw.simulate.${fn.name}({ inputs: [${resolvedNames.join(', ')}] })`)\n      }\n\n      if (fn.outputs.length === 0) {\n        // void return\n      } else if (fn.outputs.length === 1) {\n        lines.push(`        return ${outputMapperExpr(fn.outputs[0], 0, abi)}`)\n      } else {\n        const mappers = fn.outputs.map((o, i) => outputMapperExpr(o, i, abi))\n        lines.push(`        return [${mappers.join(', ')}] as const`)\n      }\n\n      lines.push(`      },`)\n    }\n    lines.push(`    },`)\n  }\n\n  // execute wrappers — same as simulate but includes transactionId\n  if (abi.functions.length > 0) {\n    lines.push(`    execute: {`)\n    for (const fn of abi.functions) {\n      const names = inputNames(fn)\n      const { resolveLines, resolvedNames } = resolveRecordInputs(fn)\n      lines.push(`      ${fn.name}: async (params: any) => {`)\n      if (names.length > 0) lines.push(`        const { ${names.join(', ')} } = params`)\n      for (const line of resolveLines) lines.push(line)\n      lines.push(`        const result = await _raw.execute.${fn.name}({ inputs: [${resolvedNames.join(', ')}] })`)\n\n      if (fn.outputs.length === 0) {\n        lines.push(`        return { transactionId: result.transactionId }`)\n      } else if (fn.outputs.length === 1) {\n        lines.push(`        return { transactionId: result.transactionId, result: ${outputMapperExpr(fn.outputs[0], 0, abi)} }`)\n      } else {\n        const mappers = fn.outputs.map((o, i) => outputMapperExpr(o, i, abi))\n        lines.push(`        return { transactionId: result.transactionId, result: [${mappers.join(', ')}] as const }`)\n      }\n\n      lines.push(`      },`)\n    }\n    lines.push(`    },`)\n  }\n\n  lines.push(`    fetchAbi: _raw.fetchAbi as unknown as ${factoryName}Contract['fetchAbi'],`)\n  lines.push(`  }`)\n  lines.push(`}`)\n\n  return lines\n}\n\n// ── Utility ───────────────────────────────────────────────────────────\n\nfunction recordName(record: RecordDef): string {\n  return record.path[record.path.length - 1] ?? 'UnknownRecord'\n}\n\nfunction pascalCase(s: string): string {\n  return s\n    .split('_')\n    .map((part) => part.charAt(0).toUpperCase() + part.slice(1))\n    .join('')\n}\n"],"mappings":";AAuCO,SAAS,SAAS,SAAkC;AACzD,QAAM,EAAE,KAAK,aAAa,yBAAyB,YAAY,IAAI,QAAQ,IAAI;AAC/E,QAAM,QAAkB,CAAC;AAGzB,QAAM,KAAK,sDAAsD,IAAI,OAAO,EAAE;AAC9E,QAAM,KAAK,0BAA0B;AACrC,QAAM,KAAK,EAAE;AACb,QAAM,KAAK,gCAAgC,UAAU,GAAG;AACxD,QAAM,KAAK,iHAAiH,UAAU,GAAG;AACzI,QAAM,KAAK,EAAE;AAGb,QAAM,KAAK,8BAA8B,SAAS,YAAY;AAC9D,QAAM,KAAK,EAAE;AAMb,QAAM,KAAK,0EAA0E;AACrF,QAAM,KAAK,yDAAyD;AACpE,QAAM,KAAK,uCAAuC;AAClD,QAAM,KAAK,4BAA4B;AACvC,QAAM,KAAK,8EAA8E;AACzF,QAAM,KAAK,+EAA0E;AACrF,QAAM,KAAK,sEAAsE;AACjF,QAAM,KAAK,GAAG;AACd,QAAM,KAAK,EAAE;AAGb,aAAW,UAAU,IAAI,SAAS;AAChC,UAAM,KAAK,GAAG,wBAAwB,MAAM,CAAC;AAC7C,UAAM,KAAK,EAAE;AACb,UAAM,KAAK,GAAG,qBAAqB,MAAM,CAAC;AAC1C,UAAM,KAAK,EAAE;AAAA,EACf;AAGA,aAAW,UAAU,IAAI,SAAS;AAChC,UAAM,KAAK,GAAG,wBAAwB,MAAM,CAAC;AAC7C,UAAM,KAAK,EAAE;AACb,UAAM,KAAK,GAAG,qBAAqB,MAAM,CAAC;AAC1C,UAAM,KAAK,EAAE;AAAA,EACf;AAGA,aAAW,MAAM,IAAI,WAAW;AAC9B,UAAM,KAAK,GAAG,0BAA0B,IAAI,GAAG,CAAC;AAChD,UAAM,KAAK,EAAE;AACb,UAAM,KAAK,GAAG,2BAA2B,IAAI,GAAG,CAAC;AACjD,UAAM,KAAK,EAAE;AAAA,EACf;AAGA,aAAW,WAAW,IAAI,UAAU;AAClC,UAAM,KAAK,GAAG,oBAAoB,OAAO,CAAC;AAC1C,UAAM,KAAK,EAAE;AAAA,EACf;AAGA,aAAW,MAAM,IAAI,kBAAkB;AACrC,UAAM,KAAK,GAAG,4BAA4B,EAAE,CAAC;AAC7C,UAAM,KAAK,EAAE;AAAA,EACf;AAGA,QAAM,KAAK,GAAG,oBAAoB,GAAG,CAAC;AACtC,QAAM,KAAK,EAAE;AACb,QAAM,KAAK,GAAG,wBAAwB,GAAG,CAAC;AAC1C,QAAM,KAAK,EAAE;AAEb,SAAO,MAAM,KAAK,IAAI;AACxB;AAIA,SAAS,wBAAwB,QAA6B;AAC5D,QAAM,OAAO,OAAO,KAAK,OAAO,KAAK,SAAS,CAAC,KAAK;AACpD,QAAM,QAAkB,CAAC;AAEzB,QAAM,KAAK,oBAAoB,IAAI,IAAI;AAEvC,aAAW,SAAS,OAAO,QAAQ;AACjC,UAAM,SAAS,kBAAkB,MAAM,IAAI;AAC3C,UAAM,KAAK,KAAK,MAAM,IAAI,KAAK,MAAM,EAAE;AAAA,EACzC;AAEA,QAAM,KAAK,GAAG;AACd,SAAO;AACT;AAIA,SAAS,wBAAwB,QAA6B;AAC5D,QAAM,OAAO,WAAW,MAAM;AAC9B,QAAM,QAAkB,CAAC;AAEzB,QAAM,KAAK,oBAAoB,IAAI,IAAI;AACvC,QAAM,KAAK,iBAAiB;AAE5B,aAAW,SAAS,OAAO,QAAQ;AACjC,QAAI,MAAM,SAAS,QAAS;AAC5B,UAAM,SAAS,kBAAkB,MAAM,IAAI;AAC3C,UAAM,KAAK,KAAK,MAAM,IAAI,KAAK,MAAM,EAAE;AAAA,EACzC;AAGA,QAAM,KAAK,wBAAwB;AACnC,QAAM,KAAK,GAAG;AACd,SAAO;AACT;AAKA,SAAS,iBACP,QACA,WACA,WACU;AACV,QAAM,QAAkB,CAAC;AACzB,aAAW,SAAS,QAAQ;AAC1B,QAAI,MAAM,SAAS,QAAS;AAI5B,QAAI,MAAM,KAAK,SAAS,UAAU;AAChC,YAAM,aAAa,MAAM,KAAK,KAAK,GAAG,EAAE;AACxC,UAAI,CAAC,YAAY;AACf,cAAM,IAAI;AAAA,UACR,gCAAgC,MAAM,IAAI,SAAS,SAAS;AAAA,QAE9D;AAAA,MACF;AACA,YAAM,KAAK,OAAO,MAAM,IAAI,KAAK,SAAS,IAAI,MAAM,IAAI,yBAAyB,UAAU,wBAAwB,UAAU,GAAG;AAAA,IAClI,OAAO;AACL,YAAM,YAAY,GAAG,SAAS,IAAI,MAAM,IAAI;AAC5C,YAAM,OAAO,mBAAmB,WAAW,MAAM,IAAI;AACrD,YAAM,KAAK,OAAO,MAAM,IAAI,KAAK,IAAI,OAAO,iBAAiB,MAAM,IAAI,CAAC,GAAG;AAAA,IAC7E;AAAA,EACF;AACA,SAAO;AACT;AAUA,SAAS,gBAAgB,SAAyB;AAChD,SAAO,4BAA4B,OAAO,oBAAoB,OAAO,eAAe,OAAO;AAC7F;AAEA,SAAS,qBAAqB,QAA6B;AACzD,QAAM,OAAO,WAAW,MAAM;AAC9B,QAAM,QAAkB,CAAC;AAGzB,QAAM,KAAK,qBAAqB,IAAI,mCAAmC,IAAI,IAAI;AAC/E,QAAM,KAAK,gBAAgB,QAAQ,CAAC;AACpC,QAAM,KAAK,YAAY;AACvB,QAAM,KAAK,0GAA0G;AACrH,QAAM,KAAK,GAAG,iBAAiB,OAAO,QAAQ,MAAM,QAAQ,CAAC;AAC7D,QAAM,KAAK,gDAAgD;AAC3D,QAAM,KAAK,KAAK;AAChB,QAAM,KAAK,GAAG;AACd,SAAO;AACT;AAIA,SAAS,qBAAqB,QAA6B;AACzD,QAAM,OAAO,OAAO,KAAK,OAAO,KAAK,SAAS,CAAC,KAAK;AACpD,QAAM,QAAkB,CAAC;AAKzB,QAAM,KAAK,qBAAqB,IAAI,yBAAyB,IAAI,IAAI;AACrE,QAAM,KAAK,YAAY;AACvB,QAAM,KAAK,GAAG,iBAAiB,OAAO,QAAQ,MAAM,cAAc,CAAC;AACnE,QAAM,KAAK,KAAK;AAChB,QAAM,KAAK,GAAG;AACd,SAAO;AACT;AAIA,SAAS,0BAA0B,IAAiB,KAAoB;AACtE,QAAM,WAAW,WAAW,GAAG,IAAI,IAAI;AACvC,QAAM,QAAkB,CAAC;AAEzB,QAAM,KAAK,eAAe,QAAQ,MAAM;AAExC,aAAW,SAAS,GAAG,QAAQ;AAC7B,UAAM,OAAO,MAAM,QAAQ,MAAM,GAAG,OAAO,QAAQ,KAAK,CAAC;AAIzD,QAAI,MAAM,KAAK,SAAS,aAAa;AACnC,YAAM,SAAS,kBAAkB,MAAM,KAAK,IAAI;AAChD,YAAM,KAAK,KAAK,IAAI,KAAK,MAAM,iBAAiB;AAAA,IAClD,WAAW,MAAM,KAAK,SAAS,UAAU;AACvC,YAAM,UAAU,MAAM,KAAK,KAAK,MAAM,KAAK,KAAK,SAAS,CAAC,KAAK;AAC/D,YAAM,UAAU,CAAC,MAAM,KAAK,WAAW,MAAM,KAAK,QAAQ,QAAQ,WAAW,EAAE,MAAM,IAAI,QAAQ,QAAQ,WAAW,EAAE;AACtH,YAAM,KAAK,KAAK,IAAI,KAAK,UAAU,UAAU,aAAa,wCAAwC;AAAA,IACpG,WAAW,MAAM,KAAK,SAAS,iBAAiB;AAC9C,YAAM,KAAK,KAAK,IAAI,uCAAuC;AAAA,IAC7D;AAAA,EACF;AAEA,QAAM,KAAK,GAAG;AACd,SAAO;AACT;AAIA,SAAS,2BAA2B,IAAiB,KAAoB;AACvE,QAAM,WAAW,WAAW,GAAG,IAAI,IAAI;AACvC,QAAM,QAAkB,CAAC;AAEzB,MAAI,GAAG,QAAQ,WAAW,GAAG;AAC3B,UAAM,KAAK,eAAe,QAAQ,SAAS;AAC3C,WAAO;AAAA,EACT;AAEA,MAAI,GAAG,QAAQ,WAAW,GAAG;AAC3B,UAAM,SAAS,eAAe,GAAG,QAAQ,CAAC,EAAE,MAAM,GAAG;AACrD,UAAM,KAAK,eAAe,QAAQ,MAAM,MAAM,EAAE;AAChD,WAAO;AAAA,EACT;AAEA,QAAM,eAAe,GAAG,QAAQ,IAAI,CAAC,WAAW,eAAe,OAAO,MAAM,GAAG,CAAC;AAChF,QAAM,KAAK,eAAe,QAAQ,OAAO,aAAa,KAAK,IAAI,CAAC,GAAG;AACnE,SAAO;AACT;AAEA,SAAS,eAAe,QAAgD,KAAkB;AACxF,MAAI,OAAO,SAAS,aAAa;AAC/B,WAAO,kBAAkB,OAAO,IAAI;AAAA,EACtC,WAAW,OAAO,SAAS,UAAU;AACnC,UAAM,UAAU,OAAO,KAAK,OAAO,KAAK,SAAS,CAAC,KAAK;AACvD,UAAM,UAAU,CAAC,OAAO,WAAW,OAAO,QAAQ,QAAQ,WAAW,EAAE,MAAM,IAAI,QAAQ,QAAQ,WAAW,EAAE;AAC9G,WAAO,UAAU,UAAU;AAAA,EAC7B,WAAW,OAAO,SAAS,iBAAiB;AAC1C,WAAO;AAAA,EACT,WAAW,OAAO,SAAS,YAAY,OAAO,SAAS,iBAAiB;AACtE,WAAO;AAAA,EACT;AACA,SAAO;AACT;AAIA,SAAS,oBAAoB,SAA4B;AACvD,QAAM,OAAO,WAAW,QAAQ,IAAI;AACpC,QAAM,UAAU,kBAAkB,QAAQ,GAAG;AAC7C,QAAM,YAAY,kBAAkB,QAAQ,KAAK;AAEjD,SAAO;AAAA,IACL,eAAe,IAAI,gBAAgB,OAAO;AAAA,IAC1C,eAAe,IAAI,kBAAkB,SAAS;AAAA,EAChD;AACF;AAIA,SAAS,4BAA4B,IAA+B;AAClE,QAAM,OAAO,WAAW,GAAG,IAAI;AAC/B,QAAM,SAAS,gBAAgB,GAAG,IAAI;AAEtC,SAAO,CAAC,eAAe,IAAI,iBAAiB,MAAM,EAAE;AACtD;AAEA,SAAS,gBAAgB,IAAyB;AAChD,MAAI,GAAG,SAAS,aAAa;AAC3B,WAAO,kBAAkB,GAAG,IAAI;AAAA,EAClC,WAAW,GAAG,SAAS,UAAU;AAC/B,WAAO,GAAG,gBAAgB,GAAG,OAAO,CAAC;AAAA,EACvC;AACA,SAAO;AACT;AAYA,SAAS,WAAW,GAAuB;AACzC,SAAO,MAAM,QAAQ,MAAM,SAAS,MAAM,SAAS,MAAM,QAAQ,MAAM,SAAS,MAAM;AACxF;AAEA,SAAS,kBAAkB,IAAuB;AAChD,UAAQ,GAAG,MAAM;AAAA,IACf,KAAK;AACH,aAAO,kBAAkB,GAAG,SAAS;AAAA,IACvC,KAAK;AACH,aAAO,GAAG,kBAAkB,GAAG,OAAO,CAAC;AAAA,IACzC,KAAK;AACH,aAAO,GAAG,KAAK,GAAG,KAAK,SAAS,CAAC,KAAK;AAAA,IACxC,KAAK;AACH,aAAO,GAAG,kBAAkB,GAAG,KAAK,CAAC;AAAA,IACvC;AACE,aAAO;AAAA,EACX;AACF;AAEA,SAAS,kBAAkB,GAAsB;AAC/C,MAAI,WAAW,CAAC,EAAG,QAAO;AAC1B,UAAQ,GAAG;AAAA,IACT,KAAK;AAAA,IACL,KAAK;AAAA,IACL,KAAK;AAAA,IACL,KAAK;AAAA,IACL,KAAK;AAAA,IACL,KAAK;AACH,aAAO;AAAA,IACT,KAAK;AACH,aAAO;AAAA;AAAA,IAET,KAAK;AAAA,IACL,KAAK;AAAA,IACL,KAAK;AAAA,IACL,KAAK;AACH,aAAO;AAAA,IACT;AACE,aAAO;AAAA,EACX;AACF;AAcA,SAAS,mBAAmB,WAAmB,IAAuB;AAMpE,MAAI,GAAG,SAAS,YAAa,QAAO;AACpC,QAAM,IAAI,GAAG;AAKb,MAAI,WAAW,CAAC,EAAG,QAAO,WAAW,SAAS;AAC9C,UAAQ,GAAG;AAAA;AAAA,IAET,KAAK;AAAA,IACL,KAAK;AAAA,IACL,KAAK;AAAA,IACL,KAAK;AACH,aAAO,GAAG,SAAS;AAAA;AAAA;AAAA;AAAA,IAIrB,KAAK;AAAA,IACL,KAAK;AAAA,IACL,KAAK;AACH,aAAO,UAAU,SAAS,MAAM,CAAC;AAAA,IACnC,KAAK;AAAA,IACL,KAAK;AAAA,IACL,KAAK;AACH,aAAO,GAAG,SAAS;AAAA,IACrB,KAAK;AACH,aAAO,GAAG,SAAS;AAAA,IACrB;AACE,aAAO;AAAA,EACX;AACF;AAEA,SAAS,iBAAiB,IAAuB;AAG/C,MAAI,GAAG,SAAS,YAAa,QAAO;AACpC,MAAI,WAAW,GAAG,SAAS,EAAG,QAAO;AACrC,UAAQ,GAAG,WAAW;AAAA,IACpB,KAAK;AACH,aAAO;AAAA;AAAA,IAET,KAAK;AAAA,IAAO,KAAK;AAAA,IAAQ,KAAK;AAAA,IAAO,KAAK;AACxC,aAAO;AAAA,IACT,KAAK;AAAA,IAAS,KAAK;AAAA,IAAS,KAAK;AAC/B,aAAO;AAAA,IACT,KAAK;AAAA,IAAW,KAAK;AAAA,IAAa,KAAK;AACrC,aAAO;AAAA,IACT;AACE,aAAO;AAAA,EACX;AACF;AAIA,SAAS,oBAAoB,KAAoB;AAG/C,SAAO;AAAA,IACL,0BAA0B,IAAI,OAAO;AAAA,IACrC,mCAAmC,KAAK,UAAU,KAAK,MAAM,CAAC,CAAC;AAAA,EACjE;AACF;AAGA,SAAS,gBAAgB,IAAiB,KAAkB;AAC1D,MAAI,GAAG,OAAO,WAAW,EAAG,QAAO;AACnC,QAAM,SAAS,GAAG,OAAO,IAAI,CAAC,UAAU;AACtC,UAAM,OAAO,MAAM,QAAQ,MAAM,GAAG,OAAO,QAAQ,KAAK,CAAC;AACzD,QAAI;AACJ,QAAI,MAAM,KAAK,SAAS,aAAa;AACnC,eAAS,kBAAkB,MAAM,KAAK,IAAI;AAAA,IAC5C,WAAW,MAAM,KAAK,SAAS,UAAU;AACvC,YAAM,UAAU,MAAM,KAAK,KAAK,MAAM,KAAK,KAAK,SAAS,CAAC,KAAK;AAC/D,YAAM,UAAU,CAAC,MAAM,KAAK,WAAW,MAAM,KAAK,QAAQ,QAAQ,WAAW,EAAE,MAAM,IAAI,QAAQ,QAAQ,WAAW,EAAE;AACtH,eAAS,UAAU,GAAG,OAAO,4BAA4B;AAAA,IAC3D,OAAO;AACL,eAAS;AAAA,IACX;AAEA,WAAO,GAAG,IAAI,KAAK,MAAM;AAAA,EAC3B,CAAC;AACD,SAAO,KAAK,OAAO,KAAK,IAAI,CAAC;AAC/B;AAGA,SAAS,mBAAmB,IAAiB,KAAkB;AAC7D,MAAI,GAAG,QAAQ,WAAW,EAAG,QAAO;AACpC,MAAI,GAAG,QAAQ,WAAW,EAAG,QAAO,eAAe,GAAG,QAAQ,CAAC,EAAE,MAAM,GAAG;AAC1E,SAAO,IAAI,GAAG,QAAQ,IAAI,CAAC,MAAM,eAAe,EAAE,MAAM,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC;AAC1E;AAGA,SAAS,kBAAkB,IAAiB,KAAkB;AAC5D,QAAM,UAAU,mBAAmB,IAAI,GAAG;AAC1C,MAAI,YAAY,OAAQ,QAAO;AAC/B,SAAO,oCAAoC,OAAO;AACpD;AAGA,SAAS,WAAW,IAA2B;AAC7C,SAAO,GAAG,OAAO,IAAI,CAAC,OAAO,MAAM,MAAM,QAAQ,MAAM,CAAC,EAAE;AAC5D;AAOA,SAAS,oBAAoB,IAAsE;AACjG,QAAM,eAAyB,CAAC;AAChC,QAAM,gBAA0B,CAAC;AAEjC,WAAS,IAAI,GAAG,IAAI,GAAG,OAAO,QAAQ,KAAK;AACzC,UAAM,QAAQ,GAAG,OAAO,CAAC;AACzB,UAAM,OAAO,MAAM,QAAQ,MAAM,CAAC;AAElC,QAAI,MAAM,KAAK,SAAS,YAAY,MAAM,KAAK,SAAS,iBAAiB;AACvE,mBAAa,KAAK,kBAAkB,IAAI,MAAM,IAAI,gBAAgB,IAAI,EAAE;AACxE,oBAAc,KAAK,IAAI,IAAI,EAAE;AAAA,IAC/B,OAAO;AACL,oBAAc,KAAK,IAAI;AAAA,IACzB;AAAA,EACF;AAEA,SAAO,EAAE,cAAc,cAAc;AACvC;AAGA,SAAS,iBAAiB,QAAwC,GAAW,KAAkB;AAC7F,MAAI,OAAO,KAAK,SAAS,UAAU;AACjC,UAAM,UAAU,OAAO,KAAK,KAAK,OAAO,KAAK,KAAK,SAAS,CAAC,KAAK;AACjE,UAAM,UAAU,CAAC,OAAO,KAAK,WAAW,OAAO,KAAK,QAAQ,QAAQ,WAAW,EAAE,MAAM,IAAI,QAAQ,QAAQ,WAAW,EAAE;AAIxH,QAAI,WAAW,SAAS;AACtB,aAAO,KAAK,OAAO,mBAAmB,CAAC;AAAA,IACzC;AACA,WAAO,kBAAkB,CAAC;AAAA,EAC5B;AACA,MAAI,OAAO,KAAK,SAAS,aAAa;AACpC,WAAO,kBAAkB,CAAC,mBAAmB,kBAAkB,OAAO,KAAK,IAAI,CAAC;AAAA,EAClF;AACA,MAAI,OAAO,KAAK,SAAS,YAAY,OAAO,KAAK,SAAS,iBAAiB;AACzE,WAAO,kBAAkB,CAAC;AAAA,EAC5B;AACA,SAAO,kBAAkB,CAAC;AAC5B;AAEA,SAAS,wBAAwB,KAAoB;AACnD,QAAM,cAAc,IAAI;AACxB,QAAM,cAAc,WAAW,YAAY,QAAQ,SAAS,EAAE,CAAC;AAC/D,QAAM,QAAkB,CAAC;AAGzB,QAAM,KAAK,oBAAoB,WAAW,YAAY;AACtD,QAAM,KAAK,mBAAmB;AAC9B,QAAM,KAAK,YAAY;AAGvB,MAAI,IAAI,SAAS,SAAS,GAAG;AAC3B,UAAM,KAAK,WAAW;AACtB,eAAW,WAAW,IAAI,UAAU;AAClC,YAAM,UAAU,kBAAkB,QAAQ,GAAG;AAC7C,YAAM,KAAK,OAAO,QAAQ,IAAI,qBAAqB,OAAO,yBAAyB;AAAA,IACrF;AACA,UAAM,KAAK,KAAK;AAAA,EAClB,OAAO;AACL,UAAM,KAAK,uEAAuE;AAAA,EACpF;AAGA,MAAI,IAAI,UAAU,SAAS,GAAG;AAC5B,UAAM,KAAK,YAAY;AACvB,eAAW,MAAM,IAAI,WAAW;AAC9B,YAAM,SAAS,gBAAgB,IAAI,GAAG;AACtC,YAAM,KAAK,OAAO,GAAG,IAAI,cAAc,MAAM,sBAAsB;AAAA,IACrE;AACA,UAAM,KAAK,KAAK;AAAA,EAClB;AAGA,MAAI,IAAI,UAAU,SAAS,GAAG;AAC5B,UAAM,KAAK,eAAe;AAC1B,eAAW,MAAM,IAAI,WAAW;AAC9B,YAAM,SAAS,gBAAgB,IAAI,GAAG;AACtC,YAAM,UAAU,mBAAmB,IAAI,GAAG;AAC1C,YAAM,KAAK,OAAO,GAAG,IAAI,cAAc,MAAM,gBAAgB,OAAO,GAAG;AAAA,IACzE;AACA,UAAM,KAAK,KAAK;AAAA,EAClB;AAIA,MAAI,IAAI,UAAU,SAAS,GAAG;AAC5B,UAAM,KAAK,cAAc;AACzB,eAAW,MAAM,IAAI,WAAW;AAC9B,YAAM,SAAS,gBAAgB,IAAI,GAAG;AACtC,YAAM,UAAU,kBAAkB,IAAI,GAAG;AACzC,YAAM,KAAK,OAAO,GAAG,IAAI,cAAc,MAAM,gBAAgB,OAAO,GAAG;AAAA,IACzE;AACA,UAAM,KAAK,KAAK;AAAA,EAClB;AAEA,QAAM,KAAK,gCAAgC;AAC3C,QAAM,KAAK,GAAG;AACd,QAAM,KAAK,EAAE;AAGb,QAAM,KAAK,yBAAyB,WAAW,qBAAqB;AACpE,QAAM,KAAK,gCAAgC;AAC3C,QAAM,KAAK,gCAAgC;AAC3C,QAAM,KAAK,2BAA2B;AACtC,QAAM,KAAK,qCAAqC;AAChD,QAAM,KAAK,OAAO,WAAW,YAAY;AACzC,QAAM,KAAK,mIAAmI;AAC9I,QAAM,KAAK,+DAA+D;AAC1E,QAAM,KAAK,sEAAsE;AACjF,QAAM,KAAK,uDAAuD;AAClE,QAAM,KAAK,8IAA8I;AAIzJ,QAAM,KAAK,2BAA2B;AACtC,QAAM,KAAK,EAAE;AACb,QAAM,KAAK,YAAY;AACvB,QAAM,KAAK,2BAA2B;AACtC,QAAM,KAAK,0BAA0B;AACrC,QAAM,KAAK,0BAA0B,WAAW,mBAAmB;AAGnE,MAAI,IAAI,UAAU,SAAS,GAAG;AAC5B,UAAM,KAAK,cAAc;AACzB,eAAW,MAAM,IAAI,WAAW;AAC9B,YAAM,QAAQ,WAAW,EAAE;AAC3B,YAAM,EAAE,cAAc,cAAc,IAAI,oBAAoB,EAAE;AAC9D,YAAM,KAAK,SAAS,GAAG,IAAI,sBAAsB;AACjD,UAAI,MAAM,SAAS,EAAG,OAAM,KAAK,mBAAmB,MAAM,KAAK,IAAI,CAAC,aAAa;AACjF,iBAAW,QAAQ,aAAc,OAAM,KAAK,IAAI;AAChD,YAAM,KAAK,6BAA6B,GAAG,IAAI,eAAe,cAAc,KAAK,IAAI,CAAC,MAAM;AAC5F,YAAM,KAAK,UAAU;AAAA,IACvB;AACA,UAAM,KAAK,QAAQ;AAAA,EACrB;AAGA,MAAI,IAAI,UAAU,SAAS,GAAG;AAC5B,UAAM,KAAK,iBAAiB;AAC5B,eAAW,MAAM,IAAI,WAAW;AAC9B,YAAM,QAAQ,WAAW,EAAE;AAC3B,YAAM,EAAE,cAAc,cAAc,IAAI,oBAAoB,EAAE;AAC9D,YAAM,KAAK,SAAS,GAAG,IAAI,4BAA4B;AACvD,UAAI,MAAM,SAAS,EAAG,OAAM,KAAK,mBAAmB,MAAM,KAAK,IAAI,CAAC,aAAa;AACjF,iBAAW,QAAQ,aAAc,OAAM,KAAK,IAAI;AAEhD,UAAI,GAAG,QAAQ,WAAW,GAAG;AAC3B,cAAM,KAAK,+BAA+B,GAAG,IAAI,eAAe,cAAc,KAAK,IAAI,CAAC,MAAM;AAAA,MAChG,OAAO;AACL,cAAM,KAAK,8CAA8C,GAAG,IAAI,eAAe,cAAc,KAAK,IAAI,CAAC,MAAM;AAAA,MAC/G;AAEA,UAAI,GAAG,QAAQ,WAAW,GAAG;AAAA,MAE7B,WAAW,GAAG,QAAQ,WAAW,GAAG;AAClC,cAAM,KAAK,kBAAkB,iBAAiB,GAAG,QAAQ,CAAC,GAAG,GAAG,GAAG,CAAC,EAAE;AAAA,MACxE,OAAO;AACL,cAAM,UAAU,GAAG,QAAQ,IAAI,CAAC,GAAG,MAAM,iBAAiB,GAAG,GAAG,GAAG,CAAC;AACpE,cAAM,KAAK,mBAAmB,QAAQ,KAAK,IAAI,CAAC,YAAY;AAAA,MAC9D;AAEA,YAAM,KAAK,UAAU;AAAA,IACvB;AACA,UAAM,KAAK,QAAQ;AAAA,EACrB;AAGA,MAAI,IAAI,UAAU,SAAS,GAAG;AAC5B,UAAM,KAAK,gBAAgB;AAC3B,eAAW,MAAM,IAAI,WAAW;AAC9B,YAAM,QAAQ,WAAW,EAAE;AAC3B,YAAM,EAAE,cAAc,cAAc,IAAI,oBAAoB,EAAE;AAC9D,YAAM,KAAK,SAAS,GAAG,IAAI,4BAA4B;AACvD,UAAI,MAAM,SAAS,EAAG,OAAM,KAAK,mBAAmB,MAAM,KAAK,IAAI,CAAC,aAAa;AACjF,iBAAW,QAAQ,aAAc,OAAM,KAAK,IAAI;AAChD,YAAM,KAAK,6CAA6C,GAAG,IAAI,eAAe,cAAc,KAAK,IAAI,CAAC,MAAM;AAE5G,UAAI,GAAG,QAAQ,WAAW,GAAG;AAC3B,cAAM,KAAK,wDAAwD;AAAA,MACrE,WAAW,GAAG,QAAQ,WAAW,GAAG;AAClC,cAAM,KAAK,iEAAiE,iBAAiB,GAAG,QAAQ,CAAC,GAAG,GAAG,GAAG,CAAC,IAAI;AAAA,MACzH,OAAO;AACL,cAAM,UAAU,GAAG,QAAQ,IAAI,CAAC,GAAG,MAAM,iBAAiB,GAAG,GAAG,GAAG,CAAC;AACpE,cAAM,KAAK,kEAAkE,QAAQ,KAAK,IAAI,CAAC,cAAc;AAAA,MAC/G;AAEA,YAAM,KAAK,UAAU;AAAA,IACvB;AACA,UAAM,KAAK,QAAQ;AAAA,EACrB;AAEA,QAAM,KAAK,6CAA6C,WAAW,uBAAuB;AAC1F,QAAM,KAAK,KAAK;AAChB,QAAM,KAAK,GAAG;AAEd,SAAO;AACT;AAIA,SAAS,WAAW,QAA2B;AAC7C,SAAO,OAAO,KAAK,OAAO,KAAK,SAAS,CAAC,KAAK;AAChD;AAEA,SAAS,WAAW,GAAmB;AACrC,SAAO,EACJ,MAAM,GAAG,EACT,IAAI,CAAC,SAAS,KAAK,OAAO,CAAC,EAAE,YAAY,IAAI,KAAK,MAAM,CAAC,CAAC,EAC1D,KAAK,EAAE;AACZ;","names":[]}

package/dist/cli.d.ts

@@ -0,0 +1 @@
+#!/usr/bin/env node

package/dist/cli.js

@@ -0,0 +1,71 @@
+#!/usr/bin/env node
+import {
+  generate
+} from "./chunk-OU67QL3U.js";
+
+// src/cli.ts
+import { readFileSync, writeFileSync, mkdirSync } from "fs";
+import { dirname, resolve } from "path";
+import { parseAbi } from "@provablehq/veil-core";
+function main() {
+  const args = process.argv.slice(2);
+  if (args.includes("--help") || args.includes("-h") || args.length === 0) {
+    console.log(`
+Usage:
+  veil-codegen --abi <path> --out <path>     Generate from a single ABI
+  veil-codegen --config <path>               Generate from a config file
+
+Options:
+  --abi <path>       Path to abi.json file
+  --out <path>       Output .ts file path
+  --config <path>    Path to config JSON (default: veil.config.json)
+  --core-import      Import path for @provablehq/veil-core (default: '@provablehq/veil-core')
+  --help, -h         Show this help
+
+Config file format (veil.config.json):
+  {
+    "programs": [
+      { "abi": "./loyalty_token/build/abi.json", "out": "./src/generated/loyalty_token.ts" }
+    ],
+    "coreImport": "@provablehq/veil-core"
+  }
+
+  Each program may set "programId" to stamp a PROGRAM_ID that differs from the
+  ABI's own program (for bindings shaped from one deployment but targeting
+  another).
+`);
+    process.exit(0);
+  }
+  const configIndex = args.indexOf("--config");
+  const abiIndex = args.indexOf("--abi");
+  const outIndex = args.indexOf("--out");
+  const coreImportIndex = args.indexOf("--core-import");
+  const coreImport = coreImportIndex !== -1 ? args[coreImportIndex + 1] : void 0;
+  if (configIndex !== -1) {
+    const configPath = resolve(args[configIndex + 1] ?? "veil.config.json");
+    const config = JSON.parse(readFileSync(configPath, "utf-8"));
+    const resolvedCoreImport = coreImport ?? config.coreImport;
+    for (const program of config.programs) {
+      const abiPath = resolve(dirname(configPath), program.abi);
+      const outPath = resolve(dirname(configPath), program.out);
+      generateOne(abiPath, outPath, resolvedCoreImport, program.programId);
+    }
+  } else if (abiIndex !== -1 && outIndex !== -1) {
+    const abiPath = resolve(args[abiIndex + 1]);
+    const outPath = resolve(args[outIndex + 1]);
+    generateOne(abiPath, outPath, coreImport);
+  } else {
+    console.error("Error: provide either --abi + --out or --config");
+    process.exit(1);
+  }
+}
+function generateOne(abiPath, outPath, coreImport, programId) {
+  const raw = JSON.parse(readFileSync(abiPath, "utf-8"));
+  const abi = parseAbi(raw);
+  const source = generate({ abi, coreImport, programId });
+  mkdirSync(dirname(outPath), { recursive: true });
+  writeFileSync(outPath, source, "utf-8");
+  console.log(`Generated ${outPath} from ${abi.program}${programId ? ` (as ${programId})` : ""}`);
+}
+main();
+//# sourceMappingURL=cli.js.map

package/dist/cli.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../src/cli.ts"],"sourcesContent":["#!/usr/bin/env node\n\n// CLI entry point for @provablehq/veil-codegen.\n//\n// Usage:\n//   veil-codegen --abi loyalty_token/build/abi.json --out src/generated/loyalty_token.ts\n//   veil-codegen --config veil.config.json\n\nimport { readFileSync, writeFileSync, mkdirSync } from 'fs'\nimport { dirname, resolve } from 'path'\nimport { parseAbi } from '@provablehq/veil-core'\nimport { generate } from './generate.js'\n\ninterface ProgramConfig {\n  abi: string\n  out: string\n  /**\n   * Program id to stamp into the emitted PROGRAM_ID. Defaults to the ABI's own\n   * `program`. Set this when the bindings' shape comes from one deployment's\n   * ABI but they target another (identical-shape) deployment.\n   */\n  programId?: string\n}\n\ninterface Config {\n  programs: ProgramConfig[]\n  coreImport?: string\n}\n\nfunction main() {\n  const args = process.argv.slice(2)\n\n  if (args.includes('--help') || args.includes('-h') || args.length === 0) {\n    console.log(`\nUsage:\n  veil-codegen --abi <path> --out <path>     Generate from a single ABI\n  veil-codegen --config <path>               Generate from a config file\n\nOptions:\n  --abi <path>       Path to abi.json file\n  --out <path>       Output .ts file path\n  --config <path>    Path to config JSON (default: veil.config.json)\n  --core-import      Import path for @provablehq/veil-core (default: '@provablehq/veil-core')\n  --help, -h         Show this help\n\nConfig file format (veil.config.json):\n  {\n    \"programs\": [\n      { \"abi\": \"./loyalty_token/build/abi.json\", \"out\": \"./src/generated/loyalty_token.ts\" }\n    ],\n    \"coreImport\": \"@provablehq/veil-core\"\n  }\n\n  Each program may set \"programId\" to stamp a PROGRAM_ID that differs from the\n  ABI's own program (for bindings shaped from one deployment but targeting\n  another).\n`)\n    process.exit(0)\n  }\n\n  const configIndex = args.indexOf('--config')\n  const abiIndex = args.indexOf('--abi')\n  const outIndex = args.indexOf('--out')\n  const coreImportIndex = args.indexOf('--core-import')\n\n  const coreImport = coreImportIndex !== -1 ? args[coreImportIndex + 1] : undefined\n\n  if (configIndex !== -1) {\n    // Config mode\n    const configPath = resolve(args[configIndex + 1] ?? 'veil.config.json')\n    const config: Config = JSON.parse(readFileSync(configPath, 'utf-8'))\n    const resolvedCoreImport = coreImport ?? config.coreImport\n\n    for (const program of config.programs) {\n      const abiPath = resolve(dirname(configPath), program.abi)\n      const outPath = resolve(dirname(configPath), program.out)\n      generateOne(abiPath, outPath, resolvedCoreImport, program.programId)\n    }\n  } else if (abiIndex !== -1 && outIndex !== -1) {\n    // Single file mode\n    const abiPath = resolve(args[abiIndex + 1]!)\n    const outPath = resolve(args[outIndex + 1]!)\n    generateOne(abiPath, outPath, coreImport)\n  } else {\n    console.error('Error: provide either --abi + --out or --config')\n    process.exit(1)\n  }\n}\n\nfunction generateOne(abiPath: string, outPath: string, coreImport?: string, programId?: string) {\n  const raw = JSON.parse(readFileSync(abiPath, 'utf-8'))\n  const abi = parseAbi(raw)\n\n  const source = generate({ abi, coreImport, programId })\n\n  mkdirSync(dirname(outPath), { recursive: true })\n  writeFileSync(outPath, source, 'utf-8')\n\n  console.log(`Generated ${outPath} from ${abi.program}${programId ? ` (as ${programId})` : ''}`)\n}\n\nmain()\n"],"mappings":";;;;;;AAQA,SAAS,cAAc,eAAe,iBAAiB;AACvD,SAAS,SAAS,eAAe;AACjC,SAAS,gBAAgB;AAmBzB,SAAS,OAAO;AACd,QAAM,OAAO,QAAQ,KAAK,MAAM,CAAC;AAEjC,MAAI,KAAK,SAAS,QAAQ,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,WAAW,GAAG;AACvE,YAAQ,IAAI;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,CAuBf;AACG,YAAQ,KAAK,CAAC;AAAA,EAChB;AAEA,QAAM,cAAc,KAAK,QAAQ,UAAU;AAC3C,QAAM,WAAW,KAAK,QAAQ,OAAO;AACrC,QAAM,WAAW,KAAK,QAAQ,OAAO;AACrC,QAAM,kBAAkB,KAAK,QAAQ,eAAe;AAEpD,QAAM,aAAa,oBAAoB,KAAK,KAAK,kBAAkB,CAAC,IAAI;AAExE,MAAI,gBAAgB,IAAI;AAEtB,UAAM,aAAa,QAAQ,KAAK,cAAc,CAAC,KAAK,kBAAkB;AACtE,UAAM,SAAiB,KAAK,MAAM,aAAa,YAAY,OAAO,CAAC;AACnE,UAAM,qBAAqB,cAAc,OAAO;AAEhD,eAAW,WAAW,OAAO,UAAU;AACrC,YAAM,UAAU,QAAQ,QAAQ,UAAU,GAAG,QAAQ,GAAG;AACxD,YAAM,UAAU,QAAQ,QAAQ,UAAU,GAAG,QAAQ,GAAG;AACxD,kBAAY,SAAS,SAAS,oBAAoB,QAAQ,SAAS;AAAA,IACrE;AAAA,EACF,WAAW,aAAa,MAAM,aAAa,IAAI;AAE7C,UAAM,UAAU,QAAQ,KAAK,WAAW,CAAC,CAAE;AAC3C,UAAM,UAAU,QAAQ,KAAK,WAAW,CAAC,CAAE;AAC3C,gBAAY,SAAS,SAAS,UAAU;AAAA,EAC1C,OAAO;AACL,YAAQ,MAAM,iDAAiD;AAC/D,YAAQ,KAAK,CAAC;AAAA,EAChB;AACF;AAEA,SAAS,YAAY,SAAiB,SAAiB,YAAqB,WAAoB;AAC9F,QAAM,MAAM,KAAK,MAAM,aAAa,SAAS,OAAO,CAAC;AACrD,QAAM,MAAM,SAAS,GAAG;AAExB,QAAM,SAAS,SAAS,EAAE,KAAK,YAAY,UAAU,CAAC;AAEtD,YAAU,QAAQ,OAAO,GAAG,EAAE,WAAW,KAAK,CAAC;AAC/C,gBAAc,SAAS,QAAQ,OAAO;AAEtC,UAAQ,IAAI,aAAa,OAAO,SAAS,IAAI,OAAO,GAAG,YAAY,QAAQ,SAAS,MAAM,EAAE,EAAE;AAChG;AAEA,KAAK;","names":[]}

package/dist/index.d.ts

@@ -0,0 +1,36 @@
+import { ABI } from '@provablehq/veil-core';
+
+/**
+ * Options for {@link generate}.
+ *
+ * @property abi Parsed ABI the bindings are generated from — it supplies the
+ *   structs, records, functions, mappings, and storage variables to emit.
+ * @property coreImport Import path emitted for `@provablehq/veil-core` types. Defaults to
+ *   `'@provablehq/veil-core'`. Override when the generated file resolves core through an
+ *   alias or a relative path (e.g. inside the monorepo).
+ * @property programId Program id to stamp into the emitted `PROGRAM_ID` and
+ *   the generated contract factory. Defaults to the ABI's own `program`.
+ *   Override when the bindings' shape is taken from one deployment's ABI but
+ *   they target another — e.g. when a newer program version's ABI is the only
+ *   one current tooling can parse, yet the live deployment (identical shape)
+ *   has a different id.
+ */
+interface GenerateOptions {
+    abi: ABI;
+    coreImport?: string;
+    programId?: string;
+}
+/**
+ * Generates TypeScript source code from an Aleo program ABI.
+ *
+ * Produces:
+ * - Struct interfaces
+ * - Record interfaces with correctly typed fields
+ * - Record mapper functions (RecordValue → typed interface)
+ * - Function input and output types
+ * - Mapping key/value types
+ * - Storage variable types
+ */
+declare function generate(options: GenerateOptions): string;
+
+export { type GenerateOptions, generate };

package/dist/index.js

@@ -0,0 +1,7 @@
+import {
+  generate
+} from "./chunk-OU67QL3U.js";
+export {
+  generate
+};
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":[],"sourcesContent":[],"mappings":"","names":[]}

package/package.json

@@ -0,0 +1,48 @@
+{
+  "name": "@provablehq/veil-codegen",
+  "version": "0.4.0",
+  "description": "Generates executable TypeScript contracts from Aleo program ABIs.",
+  "license": "MIT",
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/ProvableHQ/veil.git",
+    "directory": "packages/codegen"
+  },
+  "homepage": "https://github.com/ProvableHQ/veil#readme",
+  "type": "module",
+  "bin": {
+    "veil-codegen": "./dist/cli.js"
+  },
+  "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"
+  },
+  "dependencies": {
+    "@provablehq/veil-core": "0.4.0"
+  },
+  "devDependencies": {
+    "tsup": "^8.0.0",
+    "typescript": "^5.7.0",
+    "@provablehq/veil-aleo-devnode": "0.4.0",
+    "@provablehq/veil-leo": "0.4.0",
+    "@provablehq/veil-aleo-sdk": "0.4.0"
+  },
+  "scripts": {
+    "build": "tsup",
+    "test": "vitest run"
+  }
+}