@shieldedtech/moth-wallet 0.2.0

package/README.md

@@ -0,0 +1,62 @@
+# @shieldedtech/moth-wallet
+
+The isomorphic core engine of [Moth](https://github.com/shieldedtech/moth-wallet), a wallet tool
+for the [Midnight Network](https://midnight.network). This package contains all wallet logic with
+zero platform-specific imports: HD key derivation, encrypted keystores, network/indexer/proving
+providers, background sync, and transaction building (deploy, call, transfer, mint, DUST).
+
+The `cli`, `browser`, and `tui` packages are thin platform shells around this core.
+
+> **Experimental — use at your own risk.** This is unaudited software provided AS-IS with no
+> warranty, for development and testing only. Do not use it with real funds on mainnet.
+
+## Install
+
+```bash
+npm install @shieldedtech/moth-wallet
+```
+
+## Usage
+
+```typescript
+import { WalletManager, FilesystemStorageAdapter } from '@shieldedtech/moth-wallet';
+
+// WalletManager persists encrypted keystores via a StorageAdapter
+// (FilesystemStorageAdapter defaults to ~/.moth).
+const wallets = new WalletManager(new FilesystemStorageAdapter());
+
+// Generate a wallet — returns its info plus the freshly generated 24-word mnemonic.
+const info = await wallets.generate('dev', 'passphrase', 'preview');
+console.log(info.addresses.nightExternal.bech32m.preview);
+
+// Unlock to derive keys for signing; lock() zeroes key material from memory.
+const unlocked = await wallets.unlock('dev', 'passphrase');
+// ... build and submit transactions ...
+unlocked.lock();
+```
+
+Key entry points exported from the package root include `WalletManager`, `generateMnemonic24`,
+`startWalletSync`, `sendTokens`, `deployContract`, `callCircuit`, `queryContractState`,
+`loadContractArtifact`, `IndexerClient`, `JsonRpcNodeClient`, `ProofClient`,
+`createProvingProvider`, `TransactionBuilder`, and `DEFAULT_NETWORKS`.
+
+## Modules
+
+| Area | What it covers |
+| --- | --- |
+| `wallet/` | HD derivation (BIP-44 `m/44'/2400'`), keystore encryption, mnemonics, balance |
+| `network/` | JSON-RPC node client, GraphQL indexer client |
+| `transaction/` | Transaction builder — deploy, call, transfer, mint, DUST |
+| `proof/` | Selectable proof-server and local WASM providers |
+| `sync/` | Background wallet sync with genesis-reset detection |
+| `contract/` | Artifact/witness loading, args parsing, state queries, maintenance |
+| `storage/` | `StorageAdapter` interface + filesystem implementation |
+
+## Documentation
+
+See the [project README](https://github.com/shieldedtech/moth-wallet#readme) for full
+architecture, the security model, and end-to-end examples.
+
+## License
+
+Apache-2.0 — see [LICENSE](https://github.com/shieldedtech/moth-wallet/blob/main/LICENSE).

package/dist/contract/args-parser.d.ts

@@ -0,0 +1,29 @@
+/**
+ * Parse circuit or constructor arguments from a string.
+ * Supports:
+ * - Inline JSON: '{"amount": 100}' or '[100, "0x1a2b..."]'
+ * - File reference: '@path/to/args.json' (prefix with @)
+ *
+ * Bytes<N> convention: any JSON string matching /^0x[0-9a-fA-F]+$/ is converted to a
+ * `Uint8Array` of the decoded bytes (e.g. "0x00112233" -> Uint8Array[0x00,0x11,0x22,0x33]).
+ * This applies recursively to strings found anywhere in the parsed structure (object
+ * values, array elements, nested objects). Strings that don't match the pattern —
+ * including plain "0x" with no digits — are left untouched as ordinary strings.
+ *
+ * Uint/Field bigint convention: any JSON string matching /^-?\d+n$/ (e.g. "5000000n") is
+ * converted to a `bigint` (e.g. 5000000n). This is required for any numeric constructor or
+ * circuit argument whose Compact type is `Uint<..>` or `Field` — the compact-runtime JS
+ * boundary expects `bigint`, not `number`, for these. Plain JSON numbers (no quotes, no "n"
+ * suffix) are left as JS `number` for backward compatibility.
+ */
+export declare function parseArgs(input: string): Promise<unknown>;
+/**
+ * Normalize a parsed `parseArgs()` result into a positional argument array, the shape
+ * expected by both `submitCallTx`'s `args` and `deployContract`'s `args` (constructor
+ * arguments). Mirrors the convention already used by the `call` command:
+ * - `undefined` / `{}` (no args given) -> `[]`
+ * - an array -> used as-is (already positional)
+ * - any other single value -> wrapped in a one-element array
+ */
+export declare function toPositionalArgs(parsed: unknown): unknown[];
+//# sourceMappingURL=args-parser.d.ts.map

package/dist/contract/args-parser.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"args-parser.d.ts","sourceRoot":"","sources":["../../src/contract/args-parser.ts"],"names":[],"mappings":"AAiBA;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAsB,SAAS,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAuB/D;AAyDD;;;;;;;GAOG;AACH,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,OAAO,GAAG,OAAO,EAAE,CAO3D"}

package/dist/contract/args-parser.js

@@ -0,0 +1,123 @@
+import { readFile } from 'node:fs/promises';
+import { InvalidInputError } from '../types/errors.js';
+// Matches a JSON string value representing a hex-encoded byte string, e.g. "0x1a2b3c...".
+// Used to let circuit/constructor arguments express Compact `Bytes<N>` values in JSON.
+const HEX_BYTES_PATTERN = /^0x[0-9a-fA-F]+$/;
+// Matches a JSON string value representing a bigint literal, e.g. "5000000n" or "-1n".
+// Used to let circuit/constructor arguments express Compact `Uint<..>`/`Field` values in JSON.
+// JSON has no native integer-vs-bigint distinction (JSON.parse always produces `number` for
+// numeric literals), but the compact-runtime JS boundary requires an exact `bigint` for these
+// parameter types — passing a `number` (even one that looks like the right value) is a type
+// error at proving time, not merely a range check. A bare JSON number (e.g. `5000000`) is left
+// as a JS `number`, preserving existing behavior; only a quoted string with a trailing "n"
+// (mirroring the JS bigint-literal suffix) is converted to `bigint`.
+const BIGINT_PATTERN = /^-?\d+n$/;
+/**
+ * Parse circuit or constructor arguments from a string.
+ * Supports:
+ * - Inline JSON: '{"amount": 100}' or '[100, "0x1a2b..."]'
+ * - File reference: '@path/to/args.json' (prefix with @)
+ *
+ * Bytes<N> convention: any JSON string matching /^0x[0-9a-fA-F]+$/ is converted to a
+ * `Uint8Array` of the decoded bytes (e.g. "0x00112233" -> Uint8Array[0x00,0x11,0x22,0x33]).
+ * This applies recursively to strings found anywhere in the parsed structure (object
+ * values, array elements, nested objects). Strings that don't match the pattern —
+ * including plain "0x" with no digits — are left untouched as ordinary strings.
+ *
+ * Uint/Field bigint convention: any JSON string matching /^-?\d+n$/ (e.g. "5000000n") is
+ * converted to a `bigint` (e.g. 5000000n). This is required for any numeric constructor or
+ * circuit argument whose Compact type is `Uint<..>` or `Field` — the compact-runtime JS
+ * boundary expects `bigint`, not `number`, for these. Plain JSON numbers (no quotes, no "n"
+ * suffix) are left as JS `number` for backward compatibility.
+ */
+export async function parseArgs(input) {
+    if (!input || input.trim() === '') {
+        return {};
+    }
+    const trimmed = input.trim();
+    // File reference: starts with @
+    if (trimmed.startsWith('@')) {
+        const filePath = trimmed.slice(1);
+        try {
+            const content = await readFile(filePath, 'utf-8');
+            return parseJsonSafe(content, filePath);
+        }
+        catch (err) {
+            if (err.code === 'ENOENT') {
+                throw new InvalidInputError(`Arguments file not found: ${filePath}`);
+            }
+            throw err;
+        }
+    }
+    // Inline JSON
+    return parseJsonSafe(trimmed, 'inline');
+}
+function parseJsonSafe(content, source) {
+    try {
+        return reviveTypedValues(JSON.parse(content));
+    }
+    catch (err) {
+        if (err instanceof InvalidInputError)
+            throw err;
+        // SECURITY: Do not include file content in error messages (CWE-209).
+        throw new InvalidInputError(`Invalid JSON in arguments (source: ${source}). Check syntax and try again.`);
+    }
+}
+/**
+ * Recursively convert typed-string values into their richer JS representations:
+ * - hex strings (/^0x[0-9a-fA-F]+$/) -> Uint8Array (Bytes<N> convention)
+ * - bigint-literal strings (/^-?\d+n$/) -> bigint (Uint<..>/Field convention)
+ * Other strings, and all non-string values, are left untouched.
+ */
+function reviveTypedValues(value) {
+    if (typeof value === 'string') {
+        if (HEX_BYTES_PATTERN.test(value)) {
+            return hexToBytes(value);
+        }
+        if (BIGINT_PATTERN.test(value)) {
+            return BigInt(value.slice(0, -1));
+        }
+        return value;
+    }
+    if (Array.isArray(value)) {
+        return value.map(reviveTypedValues);
+    }
+    if (value && typeof value === 'object') {
+        const out = {};
+        for (const [key, val] of Object.entries(value)) {
+            out[key] = reviveTypedValues(val);
+        }
+        return out;
+    }
+    return value;
+}
+function hexToBytes(hex) {
+    const digits = hex.slice(2);
+    if (digits.length % 2 !== 0) {
+        throw new InvalidInputError(`Invalid hex byte string "${hex}": must have an even number of hex digits.`);
+    }
+    const bytes = new Uint8Array(digits.length / 2);
+    for (let i = 0; i < bytes.length; i++) {
+        bytes[i] = Number.parseInt(digits.substring(i * 2, i * 2 + 2), 16);
+    }
+    return bytes;
+}
+/**
+ * Normalize a parsed `parseArgs()` result into a positional argument array, the shape
+ * expected by both `submitCallTx`'s `args` and `deployContract`'s `args` (constructor
+ * arguments). Mirrors the convention already used by the `call` command:
+ * - `undefined` / `{}` (no args given) -> `[]`
+ * - an array -> used as-is (already positional)
+ * - any other single value -> wrapped in a one-element array
+ */
+export function toPositionalArgs(parsed) {
+    if (parsed === undefined)
+        return [];
+    if (Array.isArray(parsed))
+        return parsed;
+    if (typeof parsed === 'object' && parsed !== null && Object.keys(parsed).length === 0) {
+        return [];
+    }
+    return [parsed];
+}
+//# sourceMappingURL=args-parser.js.map

package/dist/contract/args-parser.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"args-parser.js","sourceRoot":"","sources":["../../src/contract/args-parser.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AAEvD,0FAA0F;AAC1F,uFAAuF;AACvF,MAAM,iBAAiB,GAAG,kBAAkB,CAAC;AAE7C,uFAAuF;AACvF,+FAA+F;AAC/F,4FAA4F;AAC5F,8FAA8F;AAC9F,4FAA4F;AAC5F,+FAA+F;AAC/F,2FAA2F;AAC3F,qEAAqE;AACrE,MAAM,cAAc,GAAG,UAAU,CAAC;AAElC;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,CAAC,KAAK,UAAU,SAAS,CAAC,KAAa;IAC3C,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QAClC,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;IAE7B,gCAAgC;IAChC,IAAI,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QAC5B,MAAM,QAAQ,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAClC,IAAI,CAAC;YACH,MAAM,OAAO,GAAG,MAAM,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;YAClD,OAAO,aAAa,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;QAC1C,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,IAAK,GAA6B,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBACrD,MAAM,IAAI,iBAAiB,CAAC,6BAA6B,QAAQ,EAAE,CAAC,CAAC;YACvE,CAAC;YACD,MAAM,GAAG,CAAC;QACZ,CAAC;IACH,CAAC;IAED,cAAc;IACd,OAAO,aAAa,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;AAC1C,CAAC;AAED,SAAS,aAAa,CAAC,OAAe,EAAE,MAAc;IACpD,IAAI,CAAC;QACH,OAAO,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;IAChD,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,IAAI,GAAG,YAAY,iBAAiB;YAAE,MAAM,GAAG,CAAC;QAChD,qEAAqE;QACrE,MAAM,IAAI,iBAAiB,CACzB,sCAAsC,MAAM,gCAAgC,CAC7E,CAAC;IACJ,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,SAAS,iBAAiB,CAAC,KAAc;IACvC,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,IAAI,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YAClC,OAAO,UAAU,CAAC,KAAK,CAAC,CAAC;QAC3B,CAAC;QACD,IAAI,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YAC/B,OAAO,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACpC,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,KAAK,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC;IACtC,CAAC;IACD,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QACvC,MAAM,GAAG,GAA4B,EAAE,CAAC;QACxC,KAAK,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YAC/C,GAAG,CAAC,GAAG,CAAC,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC;QACpC,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,UAAU,CAAC,GAAW;IAC7B,MAAM,MAAM,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC5B,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,iBAAiB,CACzB,4BAA4B,GAAG,4CAA4C,CAC5E,CAAC;IACJ,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,UAAU,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAChD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,KAAK,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACrE,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,gBAAgB,CAAC,MAAe;IAC9C,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IACpC,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;QAAE,OAAO,MAAM,CAAC;IACzC,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtF,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,OAAO,CAAC,MAAM,CAAC,CAAC;AAClB,CAAC"}

package/dist/contract/artifact-loader.d.ts

@@ -0,0 +1,26 @@
+export interface ContractArtifact {
+    /** The managed/ directory path (the root passed by the user) */
+    readonly path: string;
+    /** Path to the contract/ subdirectory containing index.js */
+    readonly contractDir: string;
+    readonly circuits: string[];
+    readonly contractModule: Record<string, unknown>;
+}
+/**
+ * Load a compiled Compact contract from a managed/ directory.
+ *
+ * Accepts the path output by `compact compile`:
+ *   managed/
+ *   ├── contract/     ← contains index.js (the contract module)
+ *   │   ├── index.js
+ *   │   ├── index.d.ts
+ *   │   └── index.js.map
+ *   ├── keys/         ← prover/verifier keys
+ *   ├── zkir/         ← zero-knowledge IR
+ *   └── compiler/
+ *
+ * Also accepts the contract/ subdirectory directly, or a directory
+ * containing .js files at the root (legacy/simple layout).
+ */
+export declare function loadContractArtifact(rawPath: string): Promise<ContractArtifact>;
+//# sourceMappingURL=artifact-loader.d.ts.map

package/dist/contract/artifact-loader.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"artifact-loader.d.ts","sourceRoot":"","sources":["../../src/contract/artifact-loader.ts"],"names":[],"mappings":"AAIA,MAAM,WAAW,gBAAgB;IAC/B,gEAAgE;IAChE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,6DAA6D;IAC7D,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,MAAM,EAAE,CAAC;IAC5B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAClD;AAED;;;;;;;;;;;;;;;GAeG;AACH,wBAAsB,oBAAoB,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC,CA6CrF"}

package/dist/contract/artifact-loader.js

@@ -0,0 +1,129 @@
+import { readdir, readFile, stat } from 'node:fs/promises';
+import { join } from 'node:path';
+import { InvalidInputError } from '../types/errors.js';
+/**
+ * Load a compiled Compact contract from a managed/ directory.
+ *
+ * Accepts the path output by `compact compile`:
+ *   managed/
+ *   ├── contract/     ← contains index.js (the contract module)
+ *   │   ├── index.js
+ *   │   ├── index.d.ts
+ *   │   └── index.js.map
+ *   ├── keys/         ← prover/verifier keys
+ *   ├── zkir/         ← zero-knowledge IR
+ *   └── compiler/
+ *
+ * Also accepts the contract/ subdirectory directly, or a directory
+ * containing .js files at the root (legacy/simple layout).
+ */
+export async function loadContractArtifact(rawPath) {
+    const artifactPath = rawPath.trim();
+    // Verify directory exists
+    try {
+        const s = await stat(artifactPath);
+        if (!s.isDirectory()) {
+            throw new InvalidInputError(`Not a directory: ${artifactPath}`);
+        }
+    }
+    catch (err) {
+        if (err.code === 'ENOENT') {
+            throw new InvalidInputError(`Artifact directory not found: ${artifactPath}`);
+        }
+        throw err;
+    }
+    // Strategy 1: managed/ directory with contract/ subdirectory
+    const contractSubdir = join(artifactPath, 'contract');
+    try {
+        const contractStat = await stat(contractSubdir);
+        if (contractStat.isDirectory()) {
+            return await loadFromContractDir(artifactPath, contractSubdir);
+        }
+    }
+    catch { /* no contract/ subdir — try other strategies */ }
+    // Strategy 2: The user passed the contract/ directory directly
+    const entries = await readdir(artifactPath);
+    if (entries.includes('index.js') || entries.includes('index.cjs') || entries.includes('index.mjs')) {
+        // User pointed directly at the contract/ directory — parent is the managed/ dir
+        const parentDir = join(artifactPath, '..');
+        return await loadFromContractDir(parentDir, artifactPath);
+    }
+    // Strategy 3: Legacy — .js file at root
+    const jsFile = entries.find((e) => e.endsWith('.cjs') || e.endsWith('.mjs') || e.endsWith('.js'));
+    if (jsFile) {
+        return await loadModuleAt(artifactPath, join(artifactPath, jsFile));
+    }
+    throw new InvalidInputError(`No contract module found in ${artifactPath}. ` +
+        `Expected a managed/ directory from compact compile output ` +
+        `(with contract/index.js inside), or a directory with a .js file.`);
+}
+async function loadFromContractDir(managedDir, contractDir) {
+    const entries = await readdir(contractDir);
+    const indexFile = entries.find((e) => e === 'index.js' || e === 'index.cjs' || e === 'index.mjs');
+    if (!indexFile) {
+        throw new InvalidInputError(`No index.js found in ${contractDir}. Expected compact compile output.`);
+    }
+    const artifact = await loadModuleAt(managedDir, join(contractDir, indexFile));
+    return { ...artifact, contractDir };
+}
+async function loadModuleAt(basePath, modulePath) {
+    let contractModule;
+    try {
+        const moduleUrl = new URL(`file://${modulePath}`);
+        contractModule = await import(moduleUrl.href);
+    }
+    catch (err) {
+        throw new InvalidInputError(`Failed to load contract module at ${modulePath}: ${err}`);
+    }
+    const circuits = await extractCircuitNames(basePath, contractModule);
+    return {
+        path: basePath,
+        contractDir: join(modulePath, '..'),
+        circuits,
+        contractModule,
+    };
+}
+/**
+ * Resolve the contract's circuit names. Preference order:
+ *
+ * 1. `<artifact>/compiler/contract-info.json` — the authoritative
+ *    list emitted by the Compact compiler. Modern artifacts (>= 0.31)
+ *    ship this, with each entry's `name` field carrying the
+ *    user-facing circuit name. Use this whenever it exists.
+ * 2. A `circuits` map on the contract module (legacy / hand-rolled
+ *    artifacts).
+ * 3. A `circuits` map on `module.default` (CJS shim).
+ * 4. Module-level named exports as a last resort. This branch is
+ *    fragile because modern Compact contracts export `Contract`,
+ *    `ledger`, `pureCircuits`, `contractReferenceLocations` —
+ *    none of which are real circuit names — but it remains for
+ *    artifacts that predate `contract-info.json`.
+ */
+async function extractCircuitNames(basePath, module) {
+    try {
+        const infoPath = join(basePath, 'compiler', 'contract-info.json');
+        const raw = await readFile(infoPath, 'utf-8');
+        const info = JSON.parse(raw);
+        if (Array.isArray(info.circuits)) {
+            const names = info.circuits
+                .map((c) => c?.name)
+                .filter((n) => typeof n === 'string' && n.length > 0);
+            if (names.length > 0)
+                return names;
+        }
+    }
+    catch {
+        /* fall through to module-introspection fallbacks */
+    }
+    if (module.circuits && typeof module.circuits === 'object') {
+        return Object.keys(module.circuits);
+    }
+    if (module.default && typeof module.default === 'object') {
+        const def = module.default;
+        if (def.circuits && typeof def.circuits === 'object') {
+            return Object.keys(def.circuits);
+        }
+    }
+    return Object.keys(module).filter(key => key !== 'default' && key !== '__esModule');
+}
+//# sourceMappingURL=artifact-loader.js.map

package/dist/contract/artifact-loader.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"artifact-loader.js","sourceRoot":"","sources":["../../src/contract/artifact-loader.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAC3D,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AAWvD;;;;;;;;;;;;;;;GAeG;AACH,MAAM,CAAC,KAAK,UAAU,oBAAoB,CAAC,OAAe;IACxD,MAAM,YAAY,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC;IACpC,0BAA0B;IAC1B,IAAI,CAAC;QACH,MAAM,CAAC,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,CAAC;QACnC,IAAI,CAAC,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC;YACrB,MAAM,IAAI,iBAAiB,CAAC,oBAAoB,YAAY,EAAE,CAAC,CAAC;QAClE,CAAC;IACH,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,IAAK,GAA6B,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACrD,MAAM,IAAI,iBAAiB,CAAC,iCAAiC,YAAY,EAAE,CAAC,CAAC;QAC/E,CAAC;QACD,MAAM,GAAG,CAAC;IACZ,CAAC;IAED,6DAA6D;IAC7D,MAAM,cAAc,GAAG,IAAI,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC;IACtD,IAAI,CAAC;QACH,MAAM,YAAY,GAAG,MAAM,IAAI,CAAC,cAAc,CAAC,CAAC;QAChD,IAAI,YAAY,CAAC,WAAW,EAAE,EAAE,CAAC;YAC/B,OAAO,MAAM,mBAAmB,CAAC,YAAY,EAAE,cAAc,CAAC,CAAC;QACjE,CAAC;IACH,CAAC;IAAC,MAAM,CAAC,CAAC,gDAAgD,CAAC,CAAC;IAE5D,+DAA+D;IAC/D,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,YAAY,CAAC,CAAC;IAC5C,IAAI,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;QACnG,gFAAgF;QAChF,MAAM,SAAS,GAAG,IAAI,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;QAC3C,OAAO,MAAM,mBAAmB,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC;IAC5D,CAAC;IAED,wCAAwC;IACxC,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CACzB,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAC7E,CAAC;IACF,IAAI,MAAM,EAAE,CAAC;QACX,OAAO,MAAM,YAAY,CAAC,YAAY,EAAE,IAAI,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC,CAAC;IACtE,CAAC;IAED,MAAM,IAAI,iBAAiB,CACzB,+BAA+B,YAAY,IAAI;QAC/C,4DAA4D;QAC5D,kEAAkE,CACnE,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,mBAAmB,CAAC,UAAkB,EAAE,WAAmB;IACxE,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,WAAW,CAAC,CAAC;IAC3C,MAAM,SAAS,GAAG,OAAO,CAAC,IAAI,CAC5B,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,KAAK,UAAU,IAAI,CAAC,KAAK,WAAW,IAAI,CAAC,KAAK,WAAW,CAC1E,CAAC;IAEF,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,MAAM,IAAI,iBAAiB,CACzB,wBAAwB,WAAW,oCAAoC,CACxE,CAAC;IACJ,CAAC;IAED,MAAM,QAAQ,GAAG,MAAM,YAAY,CAAC,UAAU,EAAE,IAAI,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC,CAAC;IAC9E,OAAO,EAAE,GAAG,QAAQ,EAAE,WAAW,EAAE,CAAC;AACtC,CAAC;AAED,KAAK,UAAU,YAAY,CAAC,QAAgB,EAAE,UAAkB;IAC9D,IAAI,cAAuC,CAAC;IAE5C,IAAI,CAAC;QACH,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,UAAU,UAAU,EAAE,CAAC,CAAC;QAClD,cAAc,GAAG,MAAM,MAAM,CAAC,SAAS,CAAC,IAAI,CAA4B,CAAC;IAC3E,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,MAAM,IAAI,iBAAiB,CACzB,qCAAqC,UAAU,KAAK,GAAG,EAAE,CAC1D,CAAC;IACJ,CAAC;IAED,MAAM,QAAQ,GAAG,MAAM,mBAAmB,CAAC,QAAQ,EAAE,cAAc,CAAC,CAAC;IAErE,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,WAAW,EAAE,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC;QACnC,QAAQ;QACR,cAAc;KACf,CAAC;AACJ,CAAC;AAMD;;;;;;;;;;;;;;;GAeG;AACH,KAAK,UAAU,mBAAmB,CAChC,QAAgB,EAChB,MAA+B;IAE/B,IAAI,CAAC;QACH,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,EAAE,UAAU,EAAE,oBAAoB,CAAC,CAAC;QAClE,MAAM,GAAG,GAAG,MAAM,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC9C,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAwB,CAAC;QACpD,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;YACjC,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ;iBACxB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,CAAC;iBACnB,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;YACrE,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;gBAAE,OAAO,KAAK,CAAC;QACrC,CAAC;IACH,CAAC;IAAC,MAAM,CAAC;QACP,oDAAoD;IACtD,CAAC;IAED,IAAI,MAAM,CAAC,QAAQ,IAAI,OAAO,MAAM,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;QAC3D,OAAO,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IACtC,CAAC;IACD,IAAI,MAAM,CAAC,OAAO,IAAI,OAAO,MAAM,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;QACzD,MAAM,GAAG,GAAG,MAAM,CAAC,OAAkC,CAAC;QACtD,IAAI,GAAG,CAAC,QAAQ,IAAI,OAAO,GAAG,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;YACrD,OAAO,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACnC,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,CAC/B,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,YAAY,CACjD,CAAC;AACJ,CAAC"}

package/dist/contract/call.d.ts

@@ -0,0 +1,32 @@
+import type { TransactionResult } from '../types/transaction.js';
+import { type NetworkConfig } from '../types/network.js';
+import type { DerivedKeys } from '../types/wallet.js';
+import type { WalletKeys } from '../sync/operations.js';
+import type { WitnessProvider } from './witness-loader.js';
+import type { SyncedWallet } from '../sync/wallet-sync.js';
+export interface CallOptions {
+    contractAddress: string;
+    circuitName: string;
+    args: unknown;
+    keys: DerivedKeys;
+    /** Pre-derived typed key bundle. Preferred over `seedHex` when
+     *  available — the daemon path passes this so the raw seed never
+     *  has to enter the contract module. See
+     *  docs/spec/wallet-service/05-key-management.md D-KM-3. */
+    walletKeys?: WalletKeys;
+    /** BIP-39 hex seed. Required only when `walletKeys` is not supplied
+     *  — kept for the in-process CLI path that still works in terms of
+     *  the seed. */
+    seedHex?: string;
+    witnesses?: WitnessProvider;
+    network: NetworkConfig;
+    /** Path to compiled contract artifact — required for circuit execution and proof generation */
+    artifactPath: string;
+    /** A synced wallet facade — required for balancing transactions */
+    syncedWallet?: SyncedWallet;
+    /** Project directory for resolving SDK dependencies */
+    projectDir?: string;
+    timeoutMs?: number;
+}
+export declare function callCircuit(options: CallOptions): Promise<TransactionResult>;
+//# sourceMappingURL=call.d.ts.map

package/dist/contract/call.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"call.d.ts","sourceRoot":"","sources":["../../src/contract/call.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAC,iBAAiB,EAAC,MAAM,yBAAyB,CAAC;AAC/D,OAAO,EAAsB,KAAK,aAAa,EAAC,MAAM,qBAAqB,CAAC;AAC5E,OAAO,KAAK,EAAC,WAAW,EAAC,MAAM,oBAAoB,CAAC;AACpD,OAAO,KAAK,EAAC,UAAU,EAAC,MAAM,uBAAuB,CAAC;AAYtD,OAAO,KAAK,EAAC,eAAe,EAAC,MAAM,qBAAqB,CAAC;AACzD,OAAO,KAAK,EAAC,YAAY,EAAC,MAAM,wBAAwB,CAAC;AAEzD,MAAM,WAAW,WAAW;IAC1B,eAAe,EAAE,MAAM,CAAC;IACxB,WAAW,EAAE,MAAM,CAAC;IACpB,IAAI,EAAE,OAAO,CAAC;IACd,IAAI,EAAE,WAAW,CAAC;IAClB;;;gEAG4D;IAC5D,UAAU,CAAC,EAAE,UAAU,CAAC;IACxB;;oBAEgB;IAChB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,SAAS,CAAC,EAAE,eAAe,CAAC;IAC5B,OAAO,EAAE,aAAa,CAAC;IACvB,+FAA+F;IAC/F,YAAY,EAAE,MAAM,CAAC;IACrB,mEAAmE;IACnE,YAAY,CAAC,EAAE,YAAY,CAAC;IAC5B,uDAAuD;IACvD,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAED,wBAAsB,WAAW,CAAC,OAAO,EAAE,WAAW,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAoBlF"}