voltaire-effect 0.3.0 → 1.0.1

package/dist/services/index.d.ts

@@ -1,18 +1,19 @@
 import * as Layer from 'effect/Layer';
 import * as effect_Cause from 'effect/Cause';
 import * as effect_Types from 'effect/Types';
-import { HexType as HexType$8 } from '@tevm/voltaire/Hex';
+import { HexType as HexType$6 } from '@tevm/voltaire/Hex';
 import * as Context from 'effect/Context';
 import * as Effect from 'effect/Effect';
 import { T as TransportError, P as ProviderService, K as KeccakService } from '../ProviderService-BZ5pqDrD.js';
 export { a as ProviderShape } from '../ProviderService-BZ5pqDrD.js';
 import { WatchPendingOptions, PendingTransactionEvent, WatchConfirmedOptions, ConfirmedTransactionEvent, TrackOptions, TransactionStreamEvent } from '@tevm/voltaire/transaction';
 import * as Stream from 'effect/Stream';
+import { ExecutionPlan, Redacted } from 'effect';
 import { BrandedAddress, BrandedHex, BrandedSignature, TypedData, EventLog, BrandedHash } from '@tevm/voltaire';
+import { HashType as HashType$1 } from '@tevm/voltaire/Hash';
 import { S as Secp256k1Service } from '../Secp256k1Service-OxQ6hJFp.js';
 import { BlockInclude, WatchOptions, BlockStreamEvent, BackfillOptions, BlocksEvent } from '@tevm/voltaire/block';
 export { BackfillOptions, BlockInclude, BlockStreamEvent, BlocksEvent, WatchOptions } from '@tevm/voltaire/block';
-import { HashType as HashType$1 } from '@tevm/voltaire/Hash';
 import { AddressType as AddressType$9 } from '@tevm/voltaire/Address';
 import * as RequestResolver from 'effect/RequestResolver';
 import * as Request from 'effect/Request';
@@ -22,7 +23,6 @@ import * as Socket from '@effect/platform/Socket';
 import * as Duration from 'effect/Duration';
 import * as Schedule from 'effect/Schedule';
 import { Schedule as Schedule$1 } from 'effect/Schedule';
-import { ExecutionPlan } from 'effect';
 import * as Scope from 'effect/Scope';
 import * as RateLimiter from 'effect/RateLimiter';
 import * as FiberRef from 'effect/FiberRef';
@@ -416,7 +416,7 @@ type SubmitHashrateError = TransportError;
 interface AccountStateOverride {
     readonly balance?: bigint;
     readonly nonce?: bigint;
-    readonly code?: HexType$8 | `0x${string}`;
+    readonly code?: HexType$6 | `0x${string}`;
     readonly state?: Record<`0x${string}`, `0x${string}`>;
     readonly stateDiff?: Record<`0x${string}`, `0x${string}`>;
 }
@@ -442,7 +442,7 @@ interface BlockOverrides {
 interface CallRequest {
     readonly to?: AddressInput$2;
     readonly from?: AddressInput$2;
-    readonly data?: HexType$8 | `0x${string}`;
+    readonly data?: HexType$6 | `0x${string}`;
     readonly value?: bigint;
     readonly gas?: bigint;
 }
@@ -3132,19 +3132,18 @@ declare const TestProvider: (mocks: Record<string, (...args: unknown[]) => unkno
  */
 
 type AddressType$8 = BrandedAddress.AddressType;
-type HexType$7 = BrandedHex.HexType;
 /**
  * Represents a single ABI item.
  * @internal
  */
-type AbiItem$1 = {
+type AbiItem$2 = {
     type: string;
     name?: string;
 };
 /**
  * ABI type that can be used with readContract.
  */
-type Abi$2 = readonly AbiItem$1[];
+type Abi$2 = readonly AbiItem$2[];
 /**
  * Error union for readContract.
  */
@@ -3176,12 +3175,17 @@ type GetFunctionInputs$1<TAbi extends Abi$2, TFunctionName extends string> = TAb
 type AbiInputsToArgs$2<TInputs extends readonly {
     type: string;
 }[]> = {
-    [K in keyof TInputs]: AbiTypeToTS$1<TInputs[K]["type"]>;
+    [K in keyof TInputs]: AbiTypeToInput$2<TInputs[K]["type"]>;
 };
 /**
- * Maps a single ABI type to TypeScript type.
+ * Maps a single ABI type to TypeScript input type.
+ */
+type BytesInput$2 = Uint8Array | `0x${string}`;
+type AbiTypeToInput$2<T extends string> = T extends `uint${string}` | `int${string}` ? bigint : T extends "address" ? AddressType$8 | `0x${string}` : T extends "bool" ? boolean : T extends `bytes${string}` | "bytes" ? BytesInput$2 : T extends "string" ? string : T extends `${string}[]` ? readonly unknown[] : T extends `(${string})` ? readonly unknown[] : unknown;
+/**
+ * Maps a single ABI type to TypeScript output type.
  */
-type AbiTypeToTS$1<T extends string> = T extends `uint${string}` | `int${string}` ? bigint : T extends "address" ? AddressType$8 | `0x${string}` : T extends "bool" ? boolean : T extends `bytes${string}` ? HexType$7 | `0x${string}` : T extends "string" ? string : T extends `${string}[]` ? readonly unknown[] : T extends `(${string})` ? readonly unknown[] : unknown;
+type AbiTypeToOutput$2<T extends string> = T extends `uint${string}` | `int${string}` ? bigint : T extends "address" ? AddressType$8 | `0x${string}` : T extends "bool" ? boolean : T extends `bytes${string}` | "bytes" ? Uint8Array : T extends "string" ? string : T extends `${string}[]` ? readonly unknown[] : T extends `(${string})` ? readonly unknown[] : unknown;
 /**
  * Gets the output type for a specific function from an ABI.
  */
@@ -3191,8 +3195,8 @@ type GetFunctionOutput$1<TAbi extends Abi$2, TFunctionName extends string> = TAb
     outputs: infer Outputs;
 } ? Outputs extends readonly {
     type: string;
-}[] ? Outputs["length"] extends 0 ? undefined : Outputs["length"] extends 1 ? AbiTypeToTS$1<Outputs[0]["type"]> : {
-    [K in keyof Outputs]: AbiTypeToTS$1<Outputs[K] extends {
+}[] ? Outputs["length"] extends 0 ? undefined : Outputs["length"] extends 1 ? AbiTypeToOutput$2<Outputs[0]["type"]> : {
+    [K in keyof Outputs]: AbiTypeToOutput$2<Outputs[K] extends {
         type: string;
     } ? Outputs[K]["type"] : never>;
 } : unknown : never : unknown;
@@ -3325,7 +3329,6 @@ declare const readContract: <const TAbi extends Abi$2, TFunctionName extends Ext
  */
 
 type AddressType$7 = BrandedAddress.AddressType;
-type HexType$6 = BrandedHex.HexType;
 /**
  * Extracts function names from an ABI.
  */
@@ -3349,12 +3352,17 @@ type GetFunctionInputs<TAbi extends Abi$2, TFunctionName extends string> = TAbi
 type AbiInputsToArgs$1<TInputs extends readonly {
     type: string;
 }[]> = {
-    [K in keyof TInputs]: AbiTypeToTS<TInputs[K]["type"]>;
+    [K in keyof TInputs]: AbiTypeToInput$1<TInputs[K]["type"]>;
 };
 /**
- * Maps a single ABI type to TypeScript type.
+ * Maps a single ABI type to TypeScript input type.
+ */
+type BytesInput$1 = Uint8Array | `0x${string}`;
+type AbiTypeToInput$1<T extends string> = T extends `uint${string}` | `int${string}` ? bigint : T extends "address" ? AddressType$7 | `0x${string}` : T extends "bool" ? boolean : T extends `bytes${string}` | "bytes" ? BytesInput$1 : T extends "string" ? string : T extends `${string}[]` ? readonly unknown[] : T extends `(${string})` ? readonly unknown[] : unknown;
+/**
+ * Maps a single ABI type to TypeScript output type.
  */
-type AbiTypeToTS<T extends string> = T extends `uint${string}` | `int${string}` ? bigint : T extends "address" ? AddressType$7 | `0x${string}` : T extends "bool" ? boolean : T extends `bytes${string}` ? HexType$6 | `0x${string}` : T extends "string" ? string : T extends `${string}[]` ? readonly unknown[] : T extends `(${string})` ? readonly unknown[] : unknown;
+type AbiTypeToOutput$1<T extends string> = T extends `uint${string}` | `int${string}` ? bigint : T extends "address" ? AddressType$7 | `0x${string}` : T extends "bool" ? boolean : T extends `bytes${string}` | "bytes" ? Uint8Array : T extends "string" ? string : T extends `${string}[]` ? readonly unknown[] : T extends `(${string})` ? readonly unknown[] : unknown;
 /**
  * Gets the output type for a specific function from an ABI.
  */
@@ -3364,8 +3372,8 @@ type GetFunctionOutput<TAbi extends Abi$2, TFunctionName extends string> = TAbi
     outputs: infer Outputs;
 } ? Outputs extends readonly {
     type: string;
-}[] ? Outputs["length"] extends 0 ? undefined : Outputs["length"] extends 1 ? AbiTypeToTS<Outputs[0]["type"]> : {
-    [K in keyof Outputs]: AbiTypeToTS<Outputs[K] extends {
+}[] ? Outputs["length"] extends 0 ? undefined : Outputs["length"] extends 1 ? AbiTypeToOutput$1<Outputs[0]["type"]> : {
+    [K in keyof Outputs]: AbiTypeToOutput$1<Outputs[K] extends {
         type: string;
     } ? Outputs[K]["type"] : never>;
 } : unknown : unknown : unknown;
@@ -3635,7 +3643,7 @@ declare const makeResilientProviderPlan: (primaryUrl: string, fallbackUrl: strin
 /**
  * Hex input type for block hashes and data.
  */
-type HexInput = HexType$8 | `0x${string}`;
+type HexInput = HexType$6 | `0x${string}`;
 /**
  * Block structure matching the native blockchain implementation.
  *
@@ -5352,452 +5360,1148 @@ declare const JsonRpcAccount: (address: AddressType$4) => Layer.Layer<AccountSer
 type HexType$3 = BrandedHex.HexType;
 declare const LocalAccount: (privateKeyHex: HexType$3) => Layer.Layer<AccountService, never, KeccakService | Secp256k1Service>;
 
+type AddressType$3 = BrandedAddress.AddressType;
+type HexType$2 = BrandedHex.HexType;
+type SignatureType = BrandedSignature.SignatureType;
+type TypedDataType = TypedData.TypedDataType;
+type EventLogType = EventLog.EventLogType;
 /**
- * @fileoverview BlockStream error type for voltaire-effect.
- *
- * @module BlockStreamError
- * @since 0.2.12
+ * Address input type that accepts both branded AddressType and plain hex strings.
+ * Provides flexibility for API consumers while maintaining type safety.
+ * Matches ProviderService.AddressInput for consistency.
  */
-declare const BlockStreamError_base: new <A extends Record<string, any> = {}>(args: effect_Types.Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => effect_Cause.YieldableError & {
-    readonly _tag: "BlockStreamError";
-} & Readonly<A>;
+type AddressInput = AddressType$3 | `0x${string}`;
 /**
- * Error thrown when a BlockStream operation fails.
+ * Caveat applied to a permission.
  *
- * @since 0.2.12
+ * @since 0.0.1
  */
-declare class BlockStreamError extends BlockStreamError_base<{
-    readonly message: string;
-    readonly cause?: unknown;
-    readonly context?: Record<string, unknown>;
-}> {
-    constructor(message: string, options?: {
-        cause?: unknown;
-        context?: Record<string, unknown>;
-    });
+interface Caveat {
+    /** Caveat type */
+    readonly type: string;
+    /** Caveat value */
+    readonly value: unknown;
 }
-
-/**
- * @fileoverview BlockStream service definition for Effect-native block streaming.
- *
- * @module BlockStreamService
- * @since 0.2.12
- *
- * @description
- * Provides Effect Stream integration for watching blocks with reorg support.
- * Wraps voltaire core's BlockStream for fiber-safe, composable block streaming.
- *
- * @see {@link BlockStream} - The live implementation layer
- * @see {@link TransportService} - Required dependency
- */
-
 /**
- * Shape of the BlockStream service.
+ * Wallet permission object per EIP-2255.
  *
- * @since 0.2.12
+ * @since 0.0.1
  */
-type BlockStreamShape = {
-    /**
-     * Backfill historical blocks within a range.
-     *
-     * @example
-     * ```typescript
-     * const program = Effect.gen(function* () {
-     *   const stream = yield* BlockStreamService;
-     *   yield* Stream.runForEach(
-     *     stream.backfill({ fromBlock: 18000000n, toBlock: 18000100n }),
-     *     (event) => Effect.log(`Got ${event.blocks.length} blocks`)
-     *   );
-     * });
-     * ```
-     */
-    readonly backfill: <TInclude extends BlockInclude = "header">(options: BackfillOptions<TInclude>) => Stream.Stream<BlocksEvent<TInclude>, BlockStreamError>;
-    /**
-     * Watch for new blocks with reorg detection.
-     *
-     * @example
-     * ```typescript
-     * const program = Effect.gen(function* () {
-     *   const stream = yield* BlockStreamService;
-     *   yield* Stream.runForEach(
-     *     stream.watch({ include: 'transactions' }),
-     *     (event) => {
-     *       if (event.type === 'reorg') {
-     *         return Effect.log(`Reorg: ${event.removed.length} blocks removed`);
-     *       }
-     *       return Effect.log(`New block: ${event.blocks[0]?.header.number}`);
-     *     }
-     *   );
-     * });
-     * ```
-     */
-    readonly watch: <TInclude extends BlockInclude = "header">(options?: WatchOptions<TInclude>) => Stream.Stream<BlockStreamEvent<TInclude>, BlockStreamError>;
-};
-declare const BlockStreamService_base: Context.TagClass<BlockStreamService, "BlockStreamService", BlockStreamShape>;
+interface Permission {
+    /** Parent capability (e.g., "eth_accounts") */
+    readonly parentCapability: string;
+    /** Invoker (origin) that was granted the permission */
+    readonly invoker: string;
+    /** Optional caveats restricting the permission */
+    readonly caveats?: readonly Caveat[];
+}
 /**
- * BlockStream service for Effect-native block streaming.
- *
- * @since 0.2.12
- *
- * @example
- * ```typescript
- * import { Effect, Stream } from 'effect';
- * import { BlockStreamService, BlockStream, HttpTransport } from 'voltaire-effect';
- *
- * const program = Effect.gen(function* () {
- *   const blockStream = yield* BlockStreamService;
+ * Permission request object.
  *
- *   yield* Stream.runForEach(
- *     blockStream.watch({ include: 'receipts' }),
- *     (event) => {
- *       if (event.type === 'reorg') {
- *         return Effect.log(`Reorg detected`);
- *       }
- *       return Effect.log(`Block ${event.blocks[0]?.header.number}`);
- *     }
- *   );
- * }).pipe(
- *   Effect.provide(BlockStream),
- *   Effect.provide(HttpTransport('https://mainnet.infura.io/v3/YOUR_KEY'))
- * );
- * ```
+ * @since 0.0.1
  */
-declare class BlockStreamService extends BlockStreamService_base {
+interface PermissionRequest {
+    /** The permission being requested (e.g., "eth_accounts") */
+    readonly [permission: string]: Record<string, unknown>;
 }
-
 /**
- * @fileoverview Live implementation of BlockStreamService.
- *
- * @module BlockStream
- * @since 0.2.12
+ * Native currency configuration for a chain.
  *
- * @description
- * Provides the live implementation layer for BlockStreamService.
- * Creates an EIP-1193 provider from TransportService and wraps core BlockStream.
- */
-
-/**
- * Build a BlockStream directly from TransportService without a service layer.
+ * @since 0.0.1
  */
-declare const makeBlockStream: () => Effect.Effect<BlockStreamShape, never, TransportService>;
+interface NativeCurrency {
+    /** Currency name (e.g., "Ether") */
+    readonly name: string;
+    /** Currency symbol (e.g., "ETH") */
+    readonly symbol: string;
+    /** Currency decimals (typically 18) */
+    readonly decimals: number;
+}
 /**
- * Live implementation of BlockStreamService.
- *
- * @since 0.2.12
- *
- * @example
- * ```typescript
- * import { Effect, Stream } from 'effect';
- * import { makeBlockStream, HttpTransport } from 'voltaire-effect/services';
+ * Chain configuration for wallet_addEthereumChain (EIP-3085).
  *
- * const program = Effect.gen(function* () {
- *   const blockStream = yield* makeBlockStream();
- *   yield* Stream.runForEach(
- *     blockStream.watch(),
- *     (event) => Effect.log(`Event: ${event.type}`)
- *   );
- * }).pipe(
- *   Effect.provide(HttpTransport('https://...'))
- * );
- * ```
+ * @since 0.0.1
  */
-declare const BlockStream: Layer.Layer<BlockStreamService, never, TransportService>;
-
+interface ChainConfig$1 {
+    /** Chain ID as a number */
+    readonly id: number;
+    /** Human-readable chain name */
+    readonly name: string;
+    /** Native currency configuration */
+    readonly nativeCurrency: NativeCurrency;
+    /** RPC URL endpoints */
+    readonly rpcUrls: {
+        readonly default: {
+            readonly http: readonly string[];
+        };
+    };
+    /** Block explorer URLs (optional) */
+    readonly blockExplorers?: {
+        readonly default: {
+            readonly name: string;
+            readonly url: string;
+        };
+    };
+}
+declare const SignerError_base: new <A extends Record<string, any> = {}>(args: effect_Types.Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => effect_Cause.YieldableError & {
+    readonly _tag: "SignerError";
+} & Readonly<A>;
 /**
- * @fileoverview Cache service module for voltaire-effect.
+ * Error thrown when a signer operation fails.
  *
  * @description
- * Provides caching capabilities for RPC responses and other data
- * to reduce network requests and improve performance.
+ * Contains the original input, error message and optional underlying cause.
+ * All SignerService methods may fail with this error type.
  *
- * @module Cache
- * @since 0.0.1
- */
-
-/**
- * Shape interface for the Cache service.
+ * Common failure reasons:
+ * - User rejected the request (in browser wallet)
+ * - Insufficient funds for transaction
+ * - Invalid transaction parameters
+ * - Network errors during broadcast
+ * - Signing failures
  *
  * @since 0.0.1
  */
-interface CacheShape {
+declare class SignerError extends SignerError_base<{
     /**
-     * Gets a value from the cache.
-     *
-     * @param key - The cache key
-     * @returns Effect containing the cached value or undefined
+     * The original input that caused the error.
      */
-    readonly get: <T>(key: string) => Effect.Effect<T | undefined>;
+    readonly input: unknown;
     /**
-     * Sets a value in the cache.
-     *
-     * @param key - The cache key
-     * @param value - The value to cache
-     * @param ttl - Optional time-to-live in milliseconds
-     * @returns Effect that completes when value is stored
+     * Human-readable error message.
      */
-    readonly set: <T>(key: string, value: T, ttl?: number) => Effect.Effect<void>;
+    readonly message: string;
     /**
-     * Deletes a value from the cache.
-     *
-     * @param key - The cache key
-     * @returns Effect that completes when value is deleted
+     * JSON-RPC error code (propagated from underlying errors).
+     * May be undefined if the error originated outside JSON-RPC.
      */
-    readonly delete: (key: string) => Effect.Effect<void>;
+    readonly code?: number;
     /**
-     * Clears all values from the cache.
-     *
-     * @returns Effect that completes when cache is cleared
+     * Optional underlying cause.
      */
-    readonly clear: () => Effect.Effect<void>;
-}
-declare const CacheService_base: Context.TagClass<CacheService, "CacheService", CacheShape>;
-/**
- * Cache service for Effect-based applications.
- *
- * @since 0.0.1
- */
-declare class CacheService extends CacheService_base {
-}
-/**
- * Options for the MemoryCache implementation.
- */
-interface MemoryCacheOptions {
+    readonly cause?: unknown;
     /**
-     * Default time-to-live in milliseconds.
-     * If not provided, entries never expire.
+     * Optional context for debugging.
      */
-    readonly defaultTtl?: number;
+    readonly context?: Record<string, unknown>;
+}> {
     /**
-     * Maximum number of entries in the cache.
-     * If not provided, no limit is enforced.
+     * Creates a new SignerError.
+     *
+     * @param input - The original input that caused the error
+     * @param message - Human-readable error message (optional, defaults to cause message)
+     * @param options - Optional error options
+     * @param options.code - JSON-RPC error code
+     * @param options.cause - Underlying error that caused this failure
      */
-    readonly maxEntries?: number;
+    constructor(input: unknown, message?: string, options?: {
+        code?: number;
+        context?: Record<string, unknown>;
+        cause?: Error;
+    });
 }
 /**
- * In-memory cache implementation.
+ * Transaction request for sending transactions.
  *
- * @param options - Cache configuration options
- * @returns Layer providing CacheService
+ * @description
+ * Supports all Ethereum transaction types:
+ * - Legacy (type 0) - original transactions with gasPrice
+ * - EIP-2930 (type 1) - access list transactions with gasPrice
+ * - EIP-1559 (type 2) - priority fee transactions
+ * - EIP-4844 (type 3) - blob transactions for L2 data availability
+ * - EIP-7702 (type 4) - set code transactions for smart account delegation
  *
- * @since 0.0.1
- */
-declare const MemoryCache: (options?: MemoryCacheOptions) => Layer.Layer<CacheService>;
-/**
- * No-op cache implementation that never stores values.
- * Useful for testing or when caching is disabled.
+ * Transaction type is auto-detected based on provided fields, or can be
+ * explicitly set via the `type` field.
  *
- * @returns Layer providing CacheService
+ * Most fields are optional and will be auto-filled if not provided.
  *
- * @since 0.0.1
- */
-declare const NoopCache: Layer.Layer<CacheService>;
-
-/**
- * Parameters for a CCIP offchain lookup request.
+ * Auto-filled fields:
+ * - `nonce` - Fetched from network via getTransactionCount('pending')
+ * - `gasLimit` - Estimated via estimateGas
+ * - `gasPrice` or `maxFeePerGas` - Fetched from network
+ * - `chainId` - Fetched from network via eth_chainId
  *
  * @since 0.0.1
  */
-interface CcipRequest {
-    /** The contract address that initiated the lookup */
-    readonly sender: `0x${string}`;
-    /** URLs to try for fetching offchain data (tried in order) */
-    readonly urls: readonly string[];
-    /** The calldata to send to the offchain gateway */
-    readonly callData: `0x${string}`;
-    /** The callback function selector on the contract */
-    readonly callbackSelector: `0x${string}`;
-    /** Extra data to pass through to the callback */
-    readonly extraData: `0x${string}`;
-}
-declare const CcipError_base: new <A extends Record<string, any> = {}>(args: effect_Types.Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => effect_Cause.YieldableError & {
-    readonly _tag: "CcipError";
-} & Readonly<A>;
+type TransactionRequest = {
+    /** Recipient address (null or undefined for contract deployment) */
+    readonly to?: AddressInput | null;
+    /** Value in wei to send with the transaction */
+    readonly value?: bigint;
+    /** Transaction input data (for contract calls/deployment) */
+    readonly data?: HexType$2;
+    /** Transaction nonce (auto-filled from network if not provided) */
+    readonly nonce?: bigint;
+    /** Gas limit (auto-estimated if not provided) */
+    readonly gasLimit?: bigint;
+    /** Gas price for legacy/EIP-2930 transactions (type 0/1) */
+    readonly gasPrice?: bigint;
+    /** Max fee per gas for EIP-1559+ transactions (type 2/3/4) */
+    readonly maxFeePerGas?: bigint;
+    /** Max priority fee (tip) for EIP-1559+ transactions (type 2/3/4) */
+    readonly maxPriorityFeePerGas?: bigint;
+    /** Chain ID for replay protection (auto-detected if not provided) */
+    readonly chainId?: bigint;
+    /** EIP-2930+ access list for pre-warming storage slots */
+    readonly accessList?: Array<{
+        address: AddressInput;
+        storageKeys: Array<`0x${string}`>;
+    }>;
+    /** Transaction type (auto-detected if not provided) */
+    readonly type?: 0 | 1 | 2 | 3 | 4;
+    /** EIP-4844: Versioned hashes for blob commitments */
+    readonly blobVersionedHashes?: readonly `0x${string}`[];
+    /** EIP-4844: Max fee per blob gas */
+    readonly maxFeePerBlobGas?: bigint;
+    /** EIP-4844: Raw blob data (sidecar) */
+    readonly blobs?: readonly Uint8Array[];
+    /** EIP-4844: KZG commitments for blobs (sidecar) */
+    readonly kzgCommitments?: readonly `0x${string}`[];
+    /** EIP-4844: KZG proofs for blobs (sidecar) */
+    readonly kzgProofs?: readonly `0x${string}`[];
+    /** EIP-7702: Authorization list for set code transactions */
+    readonly authorizationList?: readonly AuthorizationInput[];
+};
 /**
- * Error returned when CCIP lookup fails.
+ * Parameters for preparing an EIP-7702 authorization.
  *
  * @since 0.0.1
  */
-declare class CcipError extends CcipError_base<{
-    /** The URLs that were attempted */
-    readonly urls: readonly string[];
-    /** Human-readable error message */
-    readonly message: string;
-    /** The underlying cause of the error */
-    readonly cause?: unknown;
-}> {
+interface PrepareAuthorizationParams {
+    /** Address of the contract to delegate to */
+    readonly contractAddress: `0x${string}` | AddressType$3;
+    /** Chain ID where the authorization is valid */
+    readonly chainId?: bigint;
+    /** Nonce of the authorizing account (fetched if not provided) */
+    readonly nonce?: bigint;
 }
 /**
- * Shape of the CCIP service.
+ * Parameters for EIP-5792 wallet_sendCalls.
+ *
+ * @description
+ * Defines a batch of calls to be sent atomically via wallet_sendCalls.
+ * Supported by smart contract wallets and some browser wallets.
  *
  * @since 0.0.1
  */
-type CcipShape = {
-    /**
-     * Performs a CCIP offchain lookup request.
-     *
-     * @param params - The CCIP request parameters
-     * @returns The offchain data as hex bytes
-     */
-    readonly request: (params: CcipRequest) => Effect.Effect<`0x${string}`, CcipError>;
-};
-declare const CcipService_base: Context.TagClass<CcipService, "CcipService", CcipShape>;
+interface SendCallsParams {
+    /** Array of calls to execute atomically */
+    readonly calls: readonly {
+        /** Target contract address */
+        readonly to: AddressInput;
+        /** Calldata for the call */
+        readonly data?: HexType$2;
+        /** Value in wei to send */
+        readonly value?: bigint;
+    }[];
+    /** Optional capabilities like paymaster service */
+    readonly capabilities?: {
+        /** Paymaster service configuration */
+        readonly paymasterService?: {
+            readonly url: string;
+        };
+    };
+}
 /**
- * CCIP service for EIP-3668 offchain lookups.
+ * Status of an EIP-5792 call bundle.
  *
  * @description
- * Provides the ability to fetch offchain data during contract calls.
- * When a contract reverts with OffchainLookup, this service handles
- * fetching the data from the specified gateway URLs.
+ * Represents the current state of a batch of calls sent via wallet_sendCalls.
  *
  * @since 0.0.1
- *
- * @example Basic usage with DefaultCcip
- * ```typescript
- * import { Effect } from 'effect'
- * import { CcipService, DefaultCcip } from 'voltaire-effect'
- *
- * const program = Effect.gen(function* () {
- *   const ccip = yield* CcipService
- *   return yield* ccip.request({
- *     sender: '0x...',
- *     urls: ['https://gateway.example.com/{sender}/{data}'],
- *     callData: '0x...',
- *     callbackSelector: '0x...',
- *     extraData: '0x'
- *   })
- * }).pipe(
- *   Effect.provide(DefaultCcip)
- * )
- * ```
- *
- * @see {@link DefaultCcip} - HTTP-based implementation
- * @see {@link NoopCcip} - Disabled implementation
- * @see {@link CcipShape} - The service interface shape
  */
-declare class CcipService extends CcipService_base {
+interface CallsStatus {
+    /** Current status of the bundle */
+    readonly status: "PENDING" | "CONFIRMED" | "FAILED";
+    /** Transaction receipts (only present when CONFIRMED) */
+    readonly receipts?: readonly {
+        readonly transactionHash: HexType$2;
+        readonly blockNumber: bigint;
+        readonly gasUsed: bigint;
+        readonly status: "success" | "reverted";
+        readonly logs: readonly EventLogType[];
+    }[];
 }
-
 /**
- * @fileoverview Default CCIP implementation using HTTP fetch.
- *
- * @module DefaultCcip
- * @since 0.0.1
+ * Wallet capabilities per chain (EIP-5792).
  *
  * @description
- * Implements EIP-3668 CCIP requests by fetching data from offchain gateway URLs.
- * URLs are tried in order until one succeeds.
- *
- * URL format per EIP-3668:
- * - Replace {sender} with the contract address (lowercase)
- * - Replace {data} with the calldata
- * - If URL contains {data}, use GET request
- * - Otherwise use POST with JSON body { sender, data }
+ * Describes what features a wallet supports for each chain.
  *
- * @see {@link CcipService} - The service interface
- * @see {@link NoopCcip} - Disabled implementation
- * @see https://eips.ethereum.org/EIPS/eip-3668
+ * @since 0.0.1
  */
-
+interface WalletCapabilities {
+    [chainId: string]: {
+        /** Whether atomic batch transactions are supported */
+        readonly atomicBatch?: {
+            readonly supported: boolean;
+        };
+        /** Whether paymaster service is supported */
+        readonly paymasterService?: {
+            readonly supported: boolean;
+        };
+        /** Whether session keys are supported */
+        readonly sessionKeys?: {
+            readonly supported: boolean;
+        };
+    };
+}
 /**
- * Default CCIP implementation layer.
+ * Shape of the signer service.
  *
  * @description
- * Provides CcipService with an HTTP-based implementation that follows EIP-3668.
- * Tries each URL in order until one succeeds.
+ * Defines all signing and transaction operations available through SignerService.
+ * Each method returns an Effect that may fail with SignerError.
  *
  * @since 0.0.1
- *
- * @example
+ */
+type SignerShape = {
+    /**
+     * Signs a message using EIP-191 personal_sign.
+     * @param message - The message to sign (hex-encoded)
+     * @returns Signature
+     */
+    readonly signMessage: (message: HexType$2) => Effect.Effect<SignatureType, SignerError>;
+    /**
+     * Signs a transaction without broadcasting.
+     * @param tx - Transaction parameters
+     * @returns Signed transaction (hex-encoded)
+     */
+    readonly signTransaction: (tx: TransactionRequest) => Effect.Effect<HexType$2, SignerError>;
+    /**
+     * Signs EIP-712 typed structured data.
+     * @param typedData - Typed data to sign
+     * @returns Signature
+     */
+    readonly signTypedData: (typedData: TypedDataType) => Effect.Effect<SignatureType, SignerError>;
+    /**
+     * Prepares an EIP-7702 authorization tuple.
+     * @param params - Authorization parameters
+     * @returns Unsigned authorization ready for signing
+     */
+    readonly prepareAuthorization: (params: PrepareAuthorizationParams) => Effect.Effect<UnsignedAuthorization, SignerError>;
+    /**
+     * Signs and broadcasts a transaction.
+     * @param tx - Transaction parameters
+     * @returns Transaction hash
+     */
+    readonly sendTransaction: (tx: TransactionRequest) => Effect.Effect<HashType$1, SignerError>;
+    /**
+     * Broadcasts an already-signed transaction.
+     * @param signedTx - RLP-encoded signed transaction
+     * @returns Transaction hash
+     */
+    readonly sendRawTransaction: (signedTx: HexType$2) => Effect.Effect<HashType$1, SignerError>;
+    /**
+     * Gets wallet addresses without prompting (eth_accounts).
+     * @returns Array of connected addresses
+     */
+    readonly getAddresses: () => Effect.Effect<AddressType$3[], SignerError>;
+    /**
+     * Requests wallet addresses (triggers wallet popup in browser).
+     * @returns Array of connected addresses
+     */
+    readonly requestAddresses: () => Effect.Effect<AddressType$3[], SignerError>;
+    /**
+     * Gets the current permissions granted to the dapp (EIP-2255).
+     * @returns Array of granted permissions
+     */
+    readonly getPermissions: () => Effect.Effect<Permission[], SignerError>;
+    /**
+     * Requests specific permissions from the wallet (EIP-2255).
+     * @param permissions - Object with permission names as keys
+     * @returns Array of granted permissions
+     */
+    readonly requestPermissions: (permissions: PermissionRequest) => Effect.Effect<Permission[], SignerError>;
+    /**
+     * Requests the wallet to add a new chain (EIP-3085).
+     * @param chain - Chain configuration to add
+     */
+    readonly addChain: (chain: ChainConfig$1) => Effect.Effect<void, SignerError>;
+    /**
+     * Requests wallet to switch to a different chain.
+     * @param chainId - Target chain ID (e.g., 1 for mainnet)
+     */
+    readonly switchChain: (chainId: number) => Effect.Effect<void, SignerError>;
+    /**
+     * Gets wallet capabilities per chain (EIP-5792).
+     * @param account - Optional account address to query capabilities for
+     * @returns Wallet capabilities indexed by chain ID
+     */
+    readonly getCapabilities: (account?: AddressInput) => Effect.Effect<WalletCapabilities, SignerError>;
+    /**
+     * Sends a batch of calls atomically (EIP-5792).
+     * @param params - Batch call parameters
+     * @returns Bundle ID for tracking the batch
+     */
+    readonly sendCalls: (params: SendCallsParams) => Effect.Effect<string, SignerError>;
+    /**
+     * Gets the status of a call bundle (EIP-5792).
+     * @param bundleId - The bundle ID returned from sendCalls
+     * @returns Current status and receipts if confirmed
+     */
+    readonly getCallsStatus: (bundleId: string) => Effect.Effect<CallsStatus, SignerError>;
+    /**
+     * Waits for a call bundle to complete (EIP-5792).
+     * @param bundleId - The bundle ID returned from sendCalls
+     * @param options - Polling options
+     * @returns Final status with receipts
+     */
+    readonly waitForCallsStatus: (bundleId: string, options?: {
+        readonly timeout?: number;
+        readonly pollingInterval?: number;
+    }) => Effect.Effect<CallsStatus, SignerError>;
+};
+declare const SignerService_base: Context.TagClass<SignerService, "SignerService", SignerShape>;
+/**
+ * Signer service for signing and sending transactions.
+ *
+ * @description
+ * Provides methods for signing messages, transactions, and typed data.
+ * This is an Effect Context.Tag that must be provided with a concrete
+ * implementation (Signer.Live layer) before running.
+ *
+ * The service provides:
+ * - Message signing (signMessage - EIP-191)
+ * - Transaction signing (signTransaction)
+ * - Typed data signing (signTypedData - EIP-712)
+ * - Transaction sending (sendTransaction, sendRawTransaction)
+ * - Wallet interaction (getAddresses, requestAddresses, getPermissions, requestPermissions, addChain, switchChain)
+ *
+ * Requires:
+ * - AccountService - For cryptographic signing
+ * - ProviderService - For gas estimation and nonce
+ * - TransportService - For transaction broadcast
+ *
+ * @since 0.0.1
+ *
+ * @see {@link Signer} - The live implementation layer and composition helpers
+ * @see {@link SignerShape} - The service interface shape
+ * @see {@link SignerError} - Error type for failed operations
+ * @see {@link AccountService} - Required for signing
+ */
+declare class SignerService extends SignerService_base {
+}
+
+type HexType$1 = BrandedHex.HexType;
+
+/**
+ * Signer namespace with layer constructors and composition helpers.
+ *
+ * @description
+ * Provides the live implementation and convenient factory functions for
+ * creating Signer layers with different configurations.
+ *
+ * @since 0.0.1
+ *
+ * @example Basic usage with separate layers
  * ```typescript
  * import { Effect } from 'effect'
- * import { CcipService, DefaultCcip } from 'voltaire-effect'
+ * import { Signer, SignerService, LocalAccount, Provider, HttpTransport } from 'voltaire-effect'
  *
  * const program = Effect.gen(function* () {
- *   const ccip = yield* CcipService
- *   return yield* ccip.request({
- *     sender: '0x123...',
- *     urls: ['https://gateway.example.com/{sender}/{data}'],
- *     callData: '0xabc...',
- *     callbackSelector: '0x12345678',
- *     extraData: '0x'
- *   })
- * }).pipe(Effect.provide(DefaultCcip))
+ *   const signer = yield* SignerService
+ *   return yield* signer.sendTransaction({ to: recipient, value: 1n })
+ * }).pipe(
+ *   Effect.provide(Signer.Live),
+ *   Effect.provide(LocalAccount(privateKey)),
+ *   Effect.provide(Provider),
+ *   Effect.provide(HttpTransport('https://...'))
+ * )
+ * ```
+ *
+ * @example Using fromProvider for composed layers
+ * ```typescript
+ * import { Effect } from 'effect'
+ * import { Signer, SignerService, LocalAccount, Provider, HttpTransport } from 'voltaire-effect'
+ *
+ * const transport = HttpTransport('https://...')
+ * const signerLayer = Signer.fromProvider(Provider, LocalAccount(privateKey))
+ *
+ * const program = Effect.gen(function* () {
+ *   const signer = yield* SignerService
+ *   return yield* signer.sendTransaction({ to: recipient, value: 1n })
+ * }).pipe(
+ *   Effect.provide(signerLayer),
+ *   Effect.provide(transport)
+ * )
+ * ```
+ *
+ * @example Using fromPrivateKey for quick setup
+ * ```typescript
+ * import { Effect } from 'effect'
+ * import { Signer, SignerService, Provider, HttpTransport } from 'voltaire-effect'
+ *
+ * const transport = HttpTransport('https://...')
+ * const signerLayer = Signer.fromPrivateKey(privateKey, Provider)
+ *
+ * const program = Effect.gen(function* () {
+ *   const signer = yield* SignerService
+ *   return yield* signer.sendTransaction({ to: recipient, value: 1n })
+ * }).pipe(
+ *   Effect.provide(signerLayer),
+ *   Effect.provide(transport)
+ * )
  * ```
  */
-declare const DefaultCcip: Layer.Layer<CcipService>;
-
+declare const Signer: {
+    /**
+     * Live implementation layer requiring AccountService, ProviderService, and TransportService.
+     */
+    readonly Live: Layer.Layer<SignerService, never, TransportService | ProviderService | AccountService>;
+    /**
+     * Creates a Signer layer by composing a provider layer and account layer.
+     *
+     * @description
+     * Combines a ProviderService layer with an AccountService layer to create
+     * a fully configured SignerService layer. The resulting layer still requires
+     * TransportService to be provided.
+     *
+     * @param providerLayer - Layer providing ProviderService (requires TransportService)
+     * @param accountLayer - Layer providing AccountService
+     * @returns Layer providing SignerService (requires TransportService)
+     *
+     * @since 0.0.1
+     */
+    readonly fromProvider: <E1, R1, E2, R2>(providerLayer: Layer.Layer<ProviderService, E1, R1>, accountLayer: Layer.Layer<AccountService, E2, R2>) => Layer.Layer<SignerService, E1 | E2, R1 | R2 | TransportService>;
+    /**
+     * Creates a Signer layer from a private key and provider layer.
+     *
+     * @description
+     * Convenience function that creates a LocalAccount from the private key
+     * and composes it with the given provider layer. The resulting layer
+     * still requires TransportService and the crypto services (Secp256k1Service, KeccakService).
+     *
+     * @param privateKey - The private key as a hex string (with 0x prefix)
+     * @param providerLayer - Layer providing ProviderService (requires TransportService)
+     * @returns Layer providing SignerService (requires TransportService and crypto services)
+     *
+     * @since 0.0.1
+     */
+    readonly fromPrivateKey: <E, R>(privateKey: HexType$1, providerLayer: Layer.Layer<ProviderService, E, R>) => Layer.Layer<SignerService, E, KeccakService | Secp256k1Service | TransportService | R>;
+};
+
+type AddressType$2 = BrandedAddress.AddressType;
+type HashType = BrandedHash.HashType;
+type HexType = BrandedHex.HexType;
+/**
+ * Single item in an ABI definition.
+ *
+ * @description
+ * Can be a function, event, error, constructor, or fallback.
+ * This is a simplified ABI item type for basic usage.
+ *
+ * @since 0.0.1
+ */
+type AbiItem$1 = {
+    /** Item type (function, event, error, constructor, fallback, receive) */
+    readonly type: string;
+    /** Item name (undefined for constructor/fallback/receive) */
+    readonly name?: string;
+    /** Input parameters for functions/events/errors */
+    readonly inputs?: readonly {
+        type: string;
+        name?: string;
+        indexed?: boolean;
+    }[];
+    /** Output parameters for functions */
+    readonly outputs?: readonly {
+        type: string;
+        name?: string;
+    }[];
+    /** Function state mutability (pure, view, nonpayable, payable) */
+    readonly stateMutability?: string;
+    /** Whether event is anonymous */
+    readonly anonymous?: boolean;
+};
+/**
+ * Full ABI definition as an array of items.
+ *
+ * @description
+ * Standard Solidity ABI format as produced by solc.
+ * Used to create type-safe contract instances.
+ *
+ * @since 0.0.1
+ *
+ * @example
+ * ```typescript
+ * const erc20Abi: Abi = [
+ *   { type: 'function', name: 'balanceOf', inputs: [{ type: 'address' }], outputs: [{ type: 'uint256' }], stateMutability: 'view' },
+ *   { type: 'function', name: 'transfer', inputs: [{ type: 'address' }, { type: 'uint256' }], outputs: [{ type: 'bool' }], stateMutability: 'nonpayable' },
+ *   { type: 'event', name: 'Transfer', inputs: [{ type: 'address', indexed: true }, { type: 'address', indexed: true }, { type: 'uint256' }] }
+ * ] as const
+ * ```
+ */
+type Abi = readonly AbiItem$1[];
+
+/**
+ * Block identifier for event filtering.
+ * Can be a named tag or a block number.
+ * @since 0.0.1
+ */
+type BlockTag = "latest" | "earliest" | "pending" | "safe" | "finalized" | bigint;
+/**
+ * Filter options for querying contract events.
+ * @since 0.0.1
+ */
+interface EventFilter {
+    /** Start block for the query */
+    readonly fromBlock?: BlockTag;
+    /** End block for the query */
+    readonly toBlock?: BlockTag;
+    /** Indexed argument filters */
+    readonly args?: Record<string, unknown>;
+}
+/**
+ * Decoded event from a contract log.
+ * @since 0.0.1
+ */
+interface DecodedEvent {
+    /** Name of the event */
+    readonly eventName: string;
+    /** Decoded event arguments */
+    readonly args: Record<string, unknown>;
+    /** Block number where the event was emitted */
+    readonly blockNumber: bigint;
+    /** Transaction hash that emitted the event */
+    readonly transactionHash: HexType;
+    /** Log index within the block */
+    readonly logIndex: number;
+}
+declare const ContractError_base: new <A extends Record<string, any> = {}>(args: effect_Types.Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => effect_Cause.YieldableError & {
+    readonly _tag: "ContractError";
+} & Readonly<A>;
+/**
+ * Base error class for contract operations.
+ * @since 0.0.1
+ */
+declare class ContractError extends ContractError_base<{
+    /**
+     * The original input that caused the error.
+     */
+    readonly input: unknown;
+    /**
+     * Human-readable error message.
+     */
+    readonly message: string;
+    /**
+     * JSON-RPC error code (if applicable).
+     */
+    readonly code?: number;
+    /**
+     * Optional underlying cause.
+     */
+    readonly cause?: unknown;
+    /**
+     * Optional context for debugging.
+     */
+    readonly context?: Record<string, unknown>;
+}> {
+    constructor(input: unknown, message: string, options?: {
+        code?: number;
+        context?: Record<string, unknown>;
+        cause?: unknown;
+    });
+}
+declare const ContractCallError_base: new <A extends Record<string, any> = {}>(args: effect_Types.Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => effect_Cause.YieldableError & {
+    readonly _tag: "ContractCallError";
+} & Readonly<A>;
+/**
+ * Error thrown when a contract read call fails.
+ * @since 0.0.1
+ */
+declare class ContractCallError extends ContractCallError_base<{
+    readonly input: unknown;
+    readonly message: string;
+    readonly code?: number;
+    readonly cause?: unknown;
+    readonly context?: Record<string, unknown>;
+}> {
+    constructor(input: unknown, message: string, options?: {
+        code?: number;
+        context?: Record<string, unknown>;
+        cause?: unknown;
+    });
+}
+declare const ContractWriteError_base: new <A extends Record<string, any> = {}>(args: effect_Types.Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => effect_Cause.YieldableError & {
+    readonly _tag: "ContractWriteError";
+} & Readonly<A>;
+/**
+ * Error thrown when a contract write transaction fails.
+ * @since 0.0.1
+ */
+declare class ContractWriteError extends ContractWriteError_base<{
+    readonly input: unknown;
+    readonly message: string;
+    readonly code?: number;
+    readonly cause?: unknown;
+    readonly context?: Record<string, unknown>;
+}> {
+    constructor(input: unknown, message: string, options?: {
+        code?: number;
+        context?: Record<string, unknown>;
+        cause?: unknown;
+    });
+}
+declare const ContractEventError_base: new <A extends Record<string, any> = {}>(args: effect_Types.Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => effect_Cause.YieldableError & {
+    readonly _tag: "ContractEventError";
+} & Readonly<A>;
+/**
+ * Error thrown when fetching contract events fails.
+ * @since 0.0.1
+ */
+declare class ContractEventError extends ContractEventError_base<{
+    readonly input: unknown;
+    readonly message: string;
+    readonly code?: number;
+    readonly cause?: unknown;
+    readonly context?: Record<string, unknown>;
+}> {
+    constructor(input: unknown, message: string, options?: {
+        code?: number;
+        context?: Record<string, unknown>;
+        cause?: unknown;
+    });
+}
+/**
+ * Type-safe contract instance with read, write, simulate, and event methods.
+ * @since 0.0.1
+ */
+interface ContractInstance<TAbi extends Abi> {
+    /** Contract address */
+    readonly address: AddressType$2;
+    /** Contract ABI */
+    readonly abi: TAbi;
+    /** Read-only contract methods (view/pure functions) */
+    readonly read: ContractReadMethods<TAbi>;
+    /** State-changing contract methods */
+    readonly write: ContractWriteMethods<TAbi>;
+    /** Simulate state-changing methods without sending transactions */
+    readonly simulate: ContractSimulateMethods<TAbi>;
+    /** Query contract events */
+    readonly getEvents: <E extends ExtractEventNames<TAbi>>(eventName: E, filter?: EventFilter) => Effect.Effect<DecodedEvent[], ContractEventError, ProviderService>;
+}
+type ExtractViewFunctions<TAbi extends Abi> = Extract<TAbi[number], {
+    type: "function";
+    stateMutability: "view" | "pure";
+}>;
+type ExtractWriteFunctions<TAbi extends Abi> = Extract<TAbi[number], {
+    type: "function";
+    stateMutability: "nonpayable" | "payable";
+}>;
+/**
+ * Transaction options for write methods.
+ * @since 0.0.1
+ */
+interface WriteOptions {
+    /** Value in wei to send with the transaction */
+    readonly value?: bigint;
+    /** Gas limit for the transaction */
+    readonly gas?: bigint;
+    /** Gas price for legacy transactions */
+    readonly gasPrice?: bigint;
+    /** Max fee per gas for EIP-1559 transactions */
+    readonly maxFeePerGas?: bigint;
+    /** Max priority fee for EIP-1559 transactions */
+    readonly maxPriorityFeePerGas?: bigint;
+    /** Transaction nonce */
+    readonly nonce?: bigint;
+}
+type ExtractEvents<TAbi extends Abi> = Extract<TAbi[number], {
+    type: "event";
+}>;
+type ExtractEventNames<TAbi extends Abi> = ExtractEvents<TAbi> extends {
+    name: infer N;
+} ? N extends string ? N : never : never;
+type AbiInputsToArgs<TInputs extends readonly {
+    type: string;
+    name?: string;
+}[]> = {
+    [K in keyof TInputs]: AbiTypeToInput<TInputs[K]["type"]>;
+};
+type BytesInput = Uint8Array | `0x${string}`;
+type AbiTypeToInput<T extends string> = T extends `uint${string}` ? bigint : T extends `int${string}` ? bigint : T extends "address" ? AddressType$2 : T extends "bool" ? boolean : T extends "string" ? string : T extends `bytes${string}` | "bytes" ? BytesInput : T extends `${string}[]` ? readonly unknown[] : T extends `tuple` ? Record<string, unknown> : unknown;
+type AbiTypeToOutput<T extends string> = T extends `uint${string}` ? bigint : T extends `int${string}` ? bigint : T extends "address" ? AddressType$2 : T extends "bool" ? boolean : T extends "string" ? string : T extends `bytes${string}` | "bytes" ? Uint8Array : T extends `${string}[]` ? readonly unknown[] : T extends `tuple` ? Record<string, unknown> : unknown;
+type AbiOutputToTs<TOutputs extends readonly {
+    type: string;
+}[]> = TOutputs extends readonly [{
+    type: infer T;
+}] ? T extends string ? AbiTypeToOutput<T> : unknown : TOutputs extends readonly [] ? undefined : Record<string, unknown>;
+type ContractReadMethods<TAbi extends Abi> = {
+    [F in ExtractViewFunctions<TAbi> as F["name"] extends string ? F["name"] : never]: (...args: F extends {
+        inputs: infer I;
+    } ? I extends readonly {
+        type: string;
+    }[] ? AbiInputsToArgs<I> : [] : []) => Effect.Effect<F extends {
+        outputs: infer O;
+    } ? O extends readonly {
+        type: string;
+    }[] ? AbiOutputToTs<O> : unknown : unknown, ContractCallError, ProviderService>;
+};
+type WriteMethodArgs$1<TInputs> = TInputs extends readonly {
+    type: string;
+}[] ? AbiInputsToArgs<TInputs> extends readonly [] ? [options?: WriteOptions] : [...args: AbiInputsToArgs<TInputs>, options?: WriteOptions] : [options?: WriteOptions];
+type ContractWriteMethods<TAbi extends Abi> = {
+    [F in ExtractWriteFunctions<TAbi> as F["name"] extends string ? F["name"] : never]: (...args: WriteMethodArgs$1<F extends {
+        inputs: infer I;
+    } ? I : []>) => Effect.Effect<HashType, ContractWriteError, SignerService>;
+};
+type ContractSimulateMethods<TAbi extends Abi> = {
+    [F in ExtractWriteFunctions<TAbi> as F["name"] extends string ? F["name"] : never]: (...args: F extends {
+        inputs: infer I;
+    } ? I extends readonly {
+        type: string;
+    }[] ? AbiInputsToArgs<I> : [] : []) => Effect.Effect<F extends {
+        outputs: infer O;
+    } ? O extends readonly {
+        type: string;
+    }[] ? AbiOutputToTs<O> : unknown : unknown, ContractCallError, ProviderService>;
+};
+
+/**
+ * @fileoverview Block Explorer API type definitions.
+ *
+ * @module BlockExplorerApiTypes
+ * @since 0.0.1
+ *
+ * @description
+ * Defines types for Block Explorer API configuration, responses, and errors.
+ * Used by BlockExplorerApiService to resolve ABIs and contract metadata.
+ */
+
+/**
+ * Identifier for supported block explorer sources.
+ * @since 0.0.1
+ */
+type ExplorerSourceId = "sourcify" | "etherscanV2" | "blockscout";
+/**
+ * Configuration for the Block Explorer API service.
+ * @since 0.0.1
+ */
+interface BlockExplorerApiConfig {
+    readonly sources: {
+        readonly sourcify?: {
+            readonly enabled: boolean;
+            /** Custom Sourcify instance URL */
+            readonly baseUrl?: string;
+        };
+        readonly etherscanV2?: {
+            readonly enabled: boolean;
+            readonly apiKey?: Redacted.Redacted<string> | string;
+            /** Custom Etherscan-compatible API URL */
+            readonly baseUrl?: string;
+        };
+        readonly blockscout?: {
+            readonly enabled: boolean;
+            readonly apiKey?: Redacted.Redacted<string> | string;
+            /** Custom Blockscout instance URL */
+            readonly baseUrl?: string;
+        };
+    };
+    /**
+     * Order for "verified-first" resolution.
+     * Defaults to ["sourcify", "etherscanV2", "blockscout"].
+     */
+    readonly sourceOrder?: ReadonlyArray<ExplorerSourceId>;
+    /**
+     * Default behavior for proxy following.
+     */
+    readonly followProxiesByDefault?: boolean;
+    /**
+     * Enable best-effort ABI recovery (ABR) when verified ABI is missing.
+     * Intended for inspection tooling.
+     */
+    readonly enableBestEffortAbiRecovery?: boolean;
+    /**
+     * Cache resolved ABIs.
+     */
+    readonly cache?: {
+        readonly enabled: boolean;
+        readonly ttlMillis?: number;
+        readonly capacity?: number;
+    };
+}
+/**
+ * Single item in an ABI definition.
+ * Standard Solidity ABI format.
+ * @since 0.0.1
+ */
+type AbiItem = {
+    readonly type: string;
+    readonly name?: string;
+    readonly inputs?: ReadonlyArray<{
+        readonly name?: string;
+        readonly type: string;
+        readonly indexed?: boolean;
+        readonly components?: ReadonlyArray<{
+            readonly name?: string;
+            readonly type: string;
+        }>;
+    }>;
+    readonly outputs?: ReadonlyArray<{
+        readonly name?: string;
+        readonly type: string;
+        readonly components?: ReadonlyArray<{
+            readonly name?: string;
+            readonly type: string;
+        }>;
+    }>;
+    readonly stateMutability?: "pure" | "view" | "nonpayable" | "payable";
+    readonly anonymous?: boolean;
+};
+/**
+ * Source file from a verified contract.
+ * @since 0.0.1
+ */
+interface ContractSourceFile {
+    readonly path: string;
+    readonly content: string;
+}
+/**
+ * How the ABI was resolved.
+ * @since 0.0.1
+ */
+type AbiResolution = {
+    readonly mode: "verified";
+    readonly source: ExplorerSourceId;
+} | {
+    readonly mode: "best-effort";
+    readonly source: "whatsabi";
+};
+/**
+ * Proxy chain entry for debugging/UX.
+ * @since 0.0.1
+ */
+interface ProxyInfo {
+    readonly kind: string;
+    readonly address: `0x${string}`;
+}
+/**
+ * Result of resolving a contract from block explorers.
+ * @since 0.0.1
+ */
+interface ResolvedExplorerContract {
+    /** Resolved address (implementation if proxies followed) */
+    readonly address: `0x${string}`;
+    /** Original input address */
+    readonly requestedAddress: `0x${string}`;
+    /** Contract name if available */
+    readonly name?: string;
+    /** Resolved ABI */
+    readonly abi: ReadonlyArray<AbiItem>;
+    /** How the ABI was resolved */
+    readonly resolution: AbiResolution;
+    /** Source files if requested and available */
+    readonly sources?: ReadonlyArray<ContractSourceFile>;
+    /** Proxy chain if followProxies was true */
+    readonly proxies?: ReadonlyArray<ProxyInfo>;
+}
+/**
+ * Options for getContract.
+ * @since 0.0.1
+ */
+interface GetContractOptions {
+    /**
+     * Resolution mode for ABI retrieval.
+     * - "verified-only": Only verified ABIs, fail if not found
+     * - "verified-first": Try verified first, fail if not found (default)
+     * - "best-effort": Fall back to ABI recovery when unverified
+     */
+    readonly resolution?: "verified-only" | "verified-first" | "best-effort";
+    /** Include source files in response */
+    readonly includeSources?: boolean;
+    /** Follow proxy contracts to implementation */
+    readonly followProxies?: boolean;
+}
 /**
- * @fileoverview No-op CCIP implementation that always fails.
- *
- * @module NoopCcip
+ * Options for getAbi.
  * @since 0.0.1
- *
- * @description
- * A CCIP implementation that always returns an error. Use this when offchain
- * lookups should be disabled (e.g., in sandboxed environments, testing, or
- * when external network access is restricted).
- *
- * @see {@link CcipService} - The service interface
- * @see {@link DefaultCcip} - Working HTTP implementation
  */
-
+interface GetAbiOptions {
+    readonly resolution?: "verified-only" | "verified-first" | "best-effort";
+    readonly followProxies?: boolean;
+}
 /**
- * No-op CCIP layer that always fails.
- *
- * @description
- * Provides CcipService with an implementation that immediately fails
- * with "CCIP disabled". Use when offchain lookups should not be performed.
- *
+ * Options for getSources.
  * @since 0.0.1
- *
- * @example Disable CCIP in tests
- * ```typescript
- * import { Effect } from 'effect'
- * import { CcipService, NoopCcip } from 'voltaire-effect'
- *
- * const program = Effect.gen(function* () {
- *   const ccip = yield* CcipService
- *   // This will always fail with "CCIP disabled"
- *   return yield* ccip.request({ ... })
- * }).pipe(Effect.provide(NoopCcip))
- * ```
  */
-declare const NoopCcip: Layer.Layer<CcipService>;
+interface GetSourcesOptions {
+    readonly followProxies?: boolean;
+}
+/**
+ * Dynamic contract instance with callable methods.
+ * Returned by getContract() for interacting with contracts.
+ * @since 0.0.1
+ */
+interface ExplorerContractInstance {
+    /** Resolved address (implementation if proxies followed) */
+    readonly address: `0x${string}`;
+    /** Original input address */
+    readonly requestedAddress: `0x${string}`;
+    /** Resolved ABI */
+    readonly abi: ReadonlyArray<AbiItem>;
+    /** How the ABI was resolved */
+    readonly resolution: AbiResolution;
+    /** Contract name if available */
+    readonly name?: string;
+    /** Source files if requested and available */
+    readonly sources?: ReadonlyArray<ContractSourceFile>;
+    /** Proxy chain if followProxies was true */
+    readonly proxies?: ReadonlyArray<ProxyInfo>;
+    /** Read-only methods (view/pure) */
+    readonly read: Record<string, (...args: ReadonlyArray<unknown>) => Effect.Effect<unknown, ContractCallError, ProviderService>>;
+    /** Simulate state-changing methods */
+    readonly simulate: Record<string, (...args: ReadonlyArray<unknown>) => Effect.Effect<unknown, ContractCallError, ProviderService>>;
+    /** State-changing methods */
+    readonly write: Record<string, (...args: ReadonlyArray<unknown>) => Effect.Effect<`0x${string}`, ContractWriteError, SignerService>>;
+    /** Explicit signature-based access */
+    readonly call: (signature: string, args: ReadonlyArray<unknown>) => Effect.Effect<unknown, ContractCallError, ProviderService>;
+}
+
+declare const BlockExplorerConfigError_base: new <A extends Record<string, any> = {}>(args: effect_Types.Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => effect_Cause.YieldableError & {
+    readonly _tag: "BlockExplorerConfigError";
+} & Readonly<A>;
+/**
+ * Error thrown when configuration is invalid.
+ * @since 0.0.1
+ */
+declare class BlockExplorerConfigError extends BlockExplorerConfigError_base<{
+    readonly message: string;
+}> {
+    constructor(message: string);
+}
+declare const BlockExplorerNotFoundError_base: new <A extends Record<string, any> = {}>(args: effect_Types.Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => effect_Cause.YieldableError & {
+    readonly _tag: "BlockExplorerNotFoundError";
+} & Readonly<A>;
+/**
+ * Error thrown when no ABI is found from any configured source.
+ * @since 0.0.1
+ */
+declare class BlockExplorerNotFoundError extends BlockExplorerNotFoundError_base<{
+    readonly address: `0x${string}`;
+    readonly attemptedSources: ReadonlyArray<string>;
+    readonly message: string;
+}> {
+    constructor(address: `0x${string}`, attemptedSources: ReadonlyArray<string>);
+}
+declare const BlockExplorerRateLimitError_base: new <A extends Record<string, any> = {}>(args: effect_Types.Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => effect_Cause.YieldableError & {
+    readonly _tag: "BlockExplorerRateLimitError";
+} & Readonly<A>;
+/**
+ * Error thrown when rate limited by a block explorer source.
+ * @since 0.0.1
+ */
+declare class BlockExplorerRateLimitError extends BlockExplorerRateLimitError_base<{
+    readonly source: ExplorerSourceId;
+    readonly address: `0x${string}`;
+    readonly message: string;
+    readonly retryAfterSeconds?: number;
+}> {
+    constructor(source: ExplorerSourceId, address: `0x${string}`, message: string, retryAfterSeconds?: number);
+}
+declare const BlockExplorerResponseError_base: new <A extends Record<string, any> = {}>(args: effect_Types.Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => effect_Cause.YieldableError & {
+    readonly _tag: "BlockExplorerResponseError";
+} & Readonly<A>;
+/**
+ * Error thrown when a block explorer returns a non-200 response or network error.
+ * @since 0.0.1
+ */
+declare class BlockExplorerResponseError extends BlockExplorerResponseError_base<{
+    readonly source: ExplorerSourceId;
+    readonly address: `0x${string}`;
+    readonly status?: number;
+    readonly message: string;
+    readonly body?: string;
+}> {
+    constructor(source: ExplorerSourceId, address: `0x${string}`, message: string, options?: {
+        status?: number;
+        body?: string;
+    });
+}
+declare const BlockExplorerDecodeError_base: new <A extends Record<string, any> = {}>(args: effect_Types.Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => effect_Cause.YieldableError & {
+    readonly _tag: "BlockExplorerDecodeError";
+} & Readonly<A>;
+/**
+ * Error thrown when a block explorer response cannot be decoded.
+ * @since 0.0.1
+ */
+declare class BlockExplorerDecodeError extends BlockExplorerDecodeError_base<{
+    readonly source: ExplorerSourceId;
+    readonly address: `0x${string}`;
+    readonly message: string;
+    readonly bodySnippet?: string;
+}> {
+    constructor(source: ExplorerSourceId, address: `0x${string}`, message: string, bodySnippet?: string);
+}
+declare const BlockExplorerProxyResolutionError_base: new <A extends Record<string, any> = {}>(args: effect_Types.Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => effect_Cause.YieldableError & {
+    readonly _tag: "BlockExplorerProxyResolutionError";
+} & Readonly<A>;
+/**
+ * Error thrown when proxy resolution fails.
+ * @since 0.0.1
+ */
+declare class BlockExplorerProxyResolutionError extends BlockExplorerProxyResolutionError_base<{
+    readonly address: `0x${string}`;
+    readonly message: string;
+}> {
+    constructor(address: `0x${string}`, message: string);
+}
+declare const BlockExplorerUnexpectedError_base: new <A extends Record<string, any> = {}>(args: effect_Types.Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => effect_Cause.YieldableError & {
+    readonly _tag: "BlockExplorerUnexpectedError";
+} & Readonly<A>;
+/**
+ * Catch-all error for unexpected failures.
+ * @since 0.0.1
+ */
+declare class BlockExplorerUnexpectedError extends BlockExplorerUnexpectedError_base<{
+    readonly phase: "getAbi" | "getContract" | "getSources" | "followProxies" | "bestEffortRecovery";
+    readonly message: string;
+    readonly cause: unknown;
+}> {
+    constructor(phase: BlockExplorerUnexpectedError["phase"], message: string, cause: unknown);
+}
+/**
+ * Union of all Block Explorer API errors.
+ * @since 0.0.1
+ */
+type BlockExplorerApiError = BlockExplorerConfigError | BlockExplorerNotFoundError | BlockExplorerRateLimitError | BlockExplorerResponseError | BlockExplorerDecodeError | BlockExplorerProxyResolutionError | BlockExplorerUnexpectedError;
 
 /**
- * @fileoverview Block explorer service definition for chain explorer metadata.
+ * @fileoverview Block Explorer API service definition.
  *
- * @module BlockExplorerService
+ * @module BlockExplorerApiService
  * @since 0.0.1
  *
  * @description
- * The BlockExplorerService provides block explorer metadata for a chain,
- * including human-readable name, base URL, and optional API URL.
+ * The BlockExplorerApiService provides typed access to block explorer APIs
+ * for resolving contract ABIs, metadata, and source code.
  */
 
 /**
- * Block explorer configuration for a chain.
- *
+ * Service interface for Block Explorer API operations.
  * @since 0.0.1
  */
-interface BlockExplorerConfig {
-    /** Default block explorer for the chain */
-    readonly default?: {
-        readonly name: string;
-        readonly url: string;
-        readonly apiUrl?: string;
-    };
+interface BlockExplorerApiShape {
+    /**
+     * Fetch contract with callable read/write methods.
+     */
+    readonly getContract: (address: `0x${string}`, options?: GetContractOptions) => Effect.Effect<ExplorerContractInstance, BlockExplorerApiError>;
+    /**
+     * Convenience wrapper for getContract(...).abi
+     */
+    readonly getAbi: (address: `0x${string}`, options?: GetAbiOptions) => Effect.Effect<ReadonlyArray<AbiItem>, BlockExplorerApiError>;
+    /**
+     * Convenience wrapper for getContract(...).sources
+     */
+    readonly getSources: (address: `0x${string}`, options?: GetSourcesOptions) => Effect.Effect<ReadonlyArray<ContractSourceFile>, BlockExplorerApiError>;
 }
-declare const BlockExplorerService_base: Context.TagClass<BlockExplorerService, "BlockExplorerService", BlockExplorerConfig>;
+declare const BlockExplorerApiService_base: Context.TagClass<BlockExplorerApiService, "BlockExplorerApiService", BlockExplorerApiShape>;
 /**
- * Block explorer service for chain metadata.
- *
- * @description
- * Provides access to block explorer information for the active chain.
- *
+ * Block Explorer API service for resolving contract ABIs and metadata.
  * @since 0.0.1
  */
-declare class BlockExplorerService extends BlockExplorerService_base {
+declare class BlockExplorerApiService extends BlockExplorerApiService_base {
 }
 
 /**
@@ -5836,7 +6540,7 @@ declare class BlockExplorerService extends BlockExplorerService_base {
  * }
  * ```
  */
-interface ChainConfig$1 {
+interface ChainConfig {
     /** Chain ID (e.g., 1 for mainnet, 11155111 for sepolia) */
     readonly id: number;
     /** Human-readable chain name */
@@ -5852,7 +6556,7 @@ interface ChainConfig$1 {
     /** Whether this is a testnet */
     readonly testnet?: boolean;
 }
-declare const ChainService_base: Context.TagClass<ChainService, "ChainService", ChainConfig$1>;
+declare const ChainService_base: Context.TagClass<ChainService, "ChainService", ChainConfig>;
 /**
  * Chain service for blockchain network configuration.
  *
@@ -5895,1124 +6599,796 @@ declare class ChainService extends ChainService_base {
 }
 
 /**
- * @fileoverview Contracts service definition for well-known deployments.
+ * @fileoverview Block Explorer API layer factory.
  *
- * @module ContractsService
+ * @module BlockExplorerApi
  * @since 0.0.1
  *
  * @description
- * The ContractsService provides well-known contract deployments for a chain,
- * such as multicall and ENS resolver addresses.
+ * Factory functions for creating BlockExplorerApiService layers.
+ * Supports explicit configuration and environment-based configuration.
  */
 
 /**
- * Contract deployment information.
- *
- * @since 0.0.1
- */
-interface ChainContract {
-    readonly address: `0x${string}`;
-    readonly blockCreated?: number;
-}
-/**
- * Well-known contract deployments for a chain.
- *
- * @since 0.0.1
- */
-interface ContractsConfig {
-    readonly multicall3?: ChainContract;
-    readonly ensRegistry?: ChainContract;
-    readonly ensUniversalResolver?: ChainContract;
-}
-declare const ContractsService_base: Context.TagClass<ContractsService, "ContractsService", ContractsConfig>;
-/**
- * Contracts service for chain deployment metadata.
- *
- * @description
- * Provides access to well-known contract deployments for the active chain.
- *
+ * Create a BlockExplorerApiService layer from explicit configuration.
+ * Requires ChainService. ProviderService is required when followProxies is used.
  * @since 0.0.1
  */
-declare class ContractsService extends ContractsService_base {
+declare function BlockExplorerApi(config: BlockExplorerApiConfig): Layer.Layer<BlockExplorerApiService, BlockExplorerConfigError, ChainService | ProviderService>;
+declare namespace BlockExplorerApi {
+    var fromEnv: () => Layer.Layer<BlockExplorerApiService, BlockExplorerConfigError, ChainService | ProviderService>;
 }
 
 /**
- * @fileoverview Arbitrum One L2 chain configuration.
- *
- * @module arbitrum
- * @since 0.0.1
- */
-
-/**
- * Arbitrum One configuration.
- *
- * @since 0.0.1
- */
-declare const arbitrumConfig: ChainConfig$1;
-/**
- * Arbitrum block explorer configuration.
- *
- * @since 0.0.1
- */
-declare const arbitrumBlockExplorers: BlockExplorerConfig;
-/**
- * Arbitrum contract deployments.
- *
- * @since 0.0.1
- */
-declare const arbitrumContracts: ContractsConfig;
-/**
- * Arbitrum One L2 Layer for chain metadata, explorers, and contracts.
- *
- * @since 0.0.1
- *
- * @example
- * ```typescript
- * import { Effect } from 'effect'
- * import { ChainService, arbitrum } from 'voltaire-effect'
- *
- * const program = Effect.gen(function* () {
- *   const chain = yield* ChainService
- *   console.log(chain.id) // 42161
- * }).pipe(Effect.provide(arbitrum))
- * ```
- */
-declare const arbitrum: Layer.Layer<BlockExplorerService | ChainService | ContractsService, never, never>;
-
-/**
- * @fileoverview Base L2 chain configuration.
- *
- * @module base
- * @since 0.0.1
- */
-
-/**
- * Base L2 configuration.
- *
- * @since 0.0.1
- */
-declare const baseConfig: ChainConfig$1;
-/**
- * Base block explorer configuration.
- *
- * @since 0.0.1
- */
-declare const baseBlockExplorers: BlockExplorerConfig;
-/**
- * Base contract deployments.
- *
- * @since 0.0.1
- */
-declare const baseContracts: ContractsConfig;
-/**
- * Base L2 Layer for chain metadata, explorers, and contracts.
- *
- * @since 0.0.1
- *
- * @example
- * ```typescript
- * import { Effect } from 'effect'
- * import { ChainService, base } from 'voltaire-effect'
+ * @fileoverview BlockStream error type for voltaire-effect.
  *
- * const program = Effect.gen(function* () {
- *   const chain = yield* ChainService
- *   console.log(chain.id) // 8453
- * }).pipe(Effect.provide(base))
- * ```
+ * @module BlockStreamError
+ * @since 0.2.12
  */
-declare const base: Layer.Layer<BlockExplorerService | ChainService | ContractsService, never, never>;
-
+declare const BlockStreamError_base: new <A extends Record<string, any> = {}>(args: effect_Types.Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => effect_Cause.YieldableError & {
+    readonly _tag: "BlockStreamError";
+} & Readonly<A>;
 /**
- * @fileoverview Ethereum mainnet chain configuration.
+ * Error thrown when a BlockStream operation fails.
  *
- * @module mainnet
- * @since 0.0.1
+ * @since 0.2.12
  */
+declare class BlockStreamError extends BlockStreamError_base<{
+    readonly message: string;
+    readonly cause?: unknown;
+    readonly context?: Record<string, unknown>;
+}> {
+    constructor(message: string, options?: {
+        cause?: unknown;
+        context?: Record<string, unknown>;
+    });
+}
 
 /**
- * Ethereum mainnet configuration.
+ * @fileoverview BlockStream service definition for Effect-native block streaming.
  *
- * @since 0.0.1
- */
-declare const mainnetConfig: ChainConfig$1;
-/**
- * Ethereum mainnet block explorer configuration.
+ * @module BlockStreamService
+ * @since 0.2.12
  *
- * @since 0.0.1
+ * @description
+ * Provides Effect Stream integration for watching blocks with reorg support.
+ * Wraps voltaire core's BlockStream for fiber-safe, composable block streaming.
+ *
+ * @see {@link BlockStream} - The live implementation layer
+ * @see {@link TransportService} - Required dependency
  */
-declare const mainnetBlockExplorers: BlockExplorerConfig;
+
 /**
- * Ethereum mainnet contract deployments.
+ * Shape of the BlockStream service.
  *
- * @since 0.0.1
+ * @since 0.2.12
  */
-declare const mainnetContracts: ContractsConfig;
+type BlockStreamShape = {
+    /**
+     * Backfill historical blocks within a range.
+     *
+     * @example
+     * ```typescript
+     * const program = Effect.gen(function* () {
+     *   const stream = yield* BlockStreamService;
+     *   yield* Stream.runForEach(
+     *     stream.backfill({ fromBlock: 18000000n, toBlock: 18000100n }),
+     *     (event) => Effect.log(`Got ${event.blocks.length} blocks`)
+     *   );
+     * });
+     * ```
+     */
+    readonly backfill: <TInclude extends BlockInclude = "header">(options: BackfillOptions<TInclude>) => Stream.Stream<BlocksEvent<TInclude>, BlockStreamError>;
+    /**
+     * Watch for new blocks with reorg detection.
+     *
+     * @example
+     * ```typescript
+     * const program = Effect.gen(function* () {
+     *   const stream = yield* BlockStreamService;
+     *   yield* Stream.runForEach(
+     *     stream.watch({ include: 'transactions' }),
+     *     (event) => {
+     *       if (event.type === 'reorg') {
+     *         return Effect.log(`Reorg: ${event.removed.length} blocks removed`);
+     *       }
+     *       return Effect.log(`New block: ${event.blocks[0]?.header.number}`);
+     *     }
+     *   );
+     * });
+     * ```
+     */
+    readonly watch: <TInclude extends BlockInclude = "header">(options?: WatchOptions<TInclude>) => Stream.Stream<BlockStreamEvent<TInclude>, BlockStreamError>;
+};
+declare const BlockStreamService_base: Context.TagClass<BlockStreamService, "BlockStreamService", BlockStreamShape>;
 /**
- * Ethereum mainnet Layer for chain metadata, explorers, and contracts.
+ * BlockStream service for Effect-native block streaming.
  *
- * @since 0.0.1
+ * @since 0.2.12
  *
  * @example
  * ```typescript
- * import { Effect } from 'effect'
- * import { ChainService, mainnet } from 'voltaire-effect'
+ * import { Effect, Stream } from 'effect';
+ * import { BlockStreamService, BlockStream, HttpTransport } from 'voltaire-effect';
  *
  * const program = Effect.gen(function* () {
- *   const chain = yield* ChainService
- *   console.log(chain.name) // "Ethereum"
- * }).pipe(Effect.provide(mainnet))
- * ```
- */
-declare const mainnet: Layer.Layer<BlockExplorerService | ChainService | ContractsService, never, never>;
-
-/**
- * @fileoverview Optimism L2 chain configuration.
+ *   const blockStream = yield* BlockStreamService;
  *
- * @module optimism
- * @since 0.0.1
+ *   yield* Stream.runForEach(
+ *     blockStream.watch({ include: 'receipts' }),
+ *     (event) => {
+ *       if (event.type === 'reorg') {
+ *         return Effect.log(`Reorg detected`);
+ *       }
+ *       return Effect.log(`Block ${event.blocks[0]?.header.number}`);
+ *     }
+ *   );
+ * }).pipe(
+ *   Effect.provide(BlockStream),
+ *   Effect.provide(HttpTransport('https://mainnet.infura.io/v3/YOUR_KEY'))
+ * );
+ * ```
  */
+declare class BlockStreamService extends BlockStreamService_base {
+}
 
 /**
- * Optimism (OP Mainnet) configuration.
+ * @fileoverview Live implementation of BlockStreamService.
  *
- * @since 0.0.1
- */
-declare const optimismConfig: ChainConfig$1;
-/**
- * Optimism block explorer configuration.
+ * @module BlockStream
+ * @since 0.2.12
  *
- * @since 0.0.1
+ * @description
+ * Provides the live implementation layer for BlockStreamService.
+ * Creates an EIP-1193 provider from TransportService and wraps core BlockStream.
  */
-declare const optimismBlockExplorers: BlockExplorerConfig;
+
 /**
- * Optimism contract deployments.
- *
- * @since 0.0.1
+ * Build a BlockStream directly from TransportService without a service layer.
  */
-declare const optimismContracts: ContractsConfig;
+declare const makeBlockStream: () => Effect.Effect<BlockStreamShape, never, TransportService>;
 /**
- * Optimism L2 Layer for chain metadata, explorers, and contracts.
+ * Live implementation of BlockStreamService.
  *
- * @since 0.0.1
+ * @since 0.2.12
  *
  * @example
  * ```typescript
- * import { Effect } from 'effect'
- * import { ChainService, optimism } from 'voltaire-effect'
+ * import { Effect, Stream } from 'effect';
+ * import { makeBlockStream, HttpTransport } from 'voltaire-effect/services';
  *
  * const program = Effect.gen(function* () {
- *   const chain = yield* ChainService
- *   console.log(chain.id) // 10
- * }).pipe(Effect.provide(optimism))
+ *   const blockStream = yield* makeBlockStream();
+ *   yield* Stream.runForEach(
+ *     blockStream.watch(),
+ *     (event) => Effect.log(`Event: ${event.type}`)
+ *   );
+ * }).pipe(
+ *   Effect.provide(HttpTransport('https://...'))
+ * );
  * ```
  */
-declare const optimism: Layer.Layer<BlockExplorerService | ChainService | ContractsService, never, never>;
+declare const BlockStream: Layer.Layer<BlockStreamService, never, TransportService>;
 
 /**
- * @fileoverview Polygon chain configuration.
+ * @fileoverview Cache service module for voltaire-effect.
  *
- * @module polygon
+ * @description
+ * Provides caching capabilities for RPC responses and other data
+ * to reduce network requests and improve performance.
+ *
+ * @module Cache
  * @since 0.0.1
  */
 
 /**
- * Polygon (formerly Matic) configuration.
+ * Shape interface for the Cache service.
  *
  * @since 0.0.1
  */
-declare const polygonConfig: ChainConfig$1;
+interface CacheShape {
+    /**
+     * Gets a value from the cache.
+     *
+     * @param key - The cache key
+     * @returns Effect containing the cached value or undefined
+     */
+    readonly get: <T>(key: string) => Effect.Effect<T | undefined>;
+    /**
+     * Sets a value in the cache.
+     *
+     * @param key - The cache key
+     * @param value - The value to cache
+     * @param ttl - Optional time-to-live in milliseconds
+     * @returns Effect that completes when value is stored
+     */
+    readonly set: <T>(key: string, value: T, ttl?: number) => Effect.Effect<void>;
+    /**
+     * Deletes a value from the cache.
+     *
+     * @param key - The cache key
+     * @returns Effect that completes when value is deleted
+     */
+    readonly delete: (key: string) => Effect.Effect<void>;
+    /**
+     * Clears all values from the cache.
+     *
+     * @returns Effect that completes when cache is cleared
+     */
+    readonly clear: () => Effect.Effect<void>;
+}
+declare const CacheService_base: Context.TagClass<CacheService, "CacheService", CacheShape>;
 /**
- * Polygon block explorer configuration.
+ * Cache service for Effect-based applications.
  *
  * @since 0.0.1
  */
-declare const polygonBlockExplorers: BlockExplorerConfig;
+declare class CacheService extends CacheService_base {
+}
 /**
- * Polygon contract deployments.
- *
- * @since 0.0.1
+ * Options for the MemoryCache implementation.
  */
-declare const polygonContracts: ContractsConfig;
+interface MemoryCacheOptions {
+    /**
+     * Default time-to-live in milliseconds.
+     * If not provided, entries never expire.
+     */
+    readonly defaultTtl?: number;
+    /**
+     * Maximum number of entries in the cache.
+     * If not provided, no limit is enforced.
+     */
+    readonly maxEntries?: number;
+}
 /**
- * Polygon Layer for chain metadata, explorers, and contracts.
- *
- * @since 0.0.1
+ * In-memory cache implementation.
  *
- * @example
- * ```typescript
- * import { Effect } from 'effect'
- * import { ChainService, polygon } from 'voltaire-effect'
+ * @param options - Cache configuration options
+ * @returns Layer providing CacheService
  *
- * const program = Effect.gen(function* () {
- *   const chain = yield* ChainService
- *   console.log(chain.nativeCurrency.symbol) // "POL"
- * }).pipe(Effect.provide(polygon))
- * ```
+ * @since 0.0.1
  */
-declare const polygon: Layer.Layer<BlockExplorerService | ChainService | ContractsService, never, never>;
-
+declare const MemoryCache: (options?: MemoryCacheOptions) => Layer.Layer<CacheService>;
 /**
- * @fileoverview Sepolia testnet chain configuration.
+ * No-op cache implementation that never stores values.
+ * Useful for testing or when caching is disabled.
+ *
+ * @returns Layer providing CacheService
  *
- * @module sepolia
  * @since 0.0.1
  */
+declare const NoopCache: Layer.Layer<CacheService>;
 
 /**
- * Sepolia testnet configuration.
+ * Parameters for a CCIP offchain lookup request.
  *
  * @since 0.0.1
  */
-declare const sepoliaConfig: ChainConfig$1;
+interface CcipRequest {
+    /** The contract address that initiated the lookup */
+    readonly sender: `0x${string}`;
+    /** URLs to try for fetching offchain data (tried in order) */
+    readonly urls: readonly string[];
+    /** The calldata to send to the offchain gateway */
+    readonly callData: `0x${string}`;
+    /** The callback function selector on the contract */
+    readonly callbackSelector: `0x${string}`;
+    /** Extra data to pass through to the callback */
+    readonly extraData: `0x${string}`;
+}
+declare const CcipError_base: new <A extends Record<string, any> = {}>(args: effect_Types.Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => effect_Cause.YieldableError & {
+    readonly _tag: "CcipError";
+} & Readonly<A>;
 /**
- * Sepolia testnet block explorer configuration.
+ * Error returned when CCIP lookup fails.
  *
  * @since 0.0.1
  */
-declare const sepoliaBlockExplorers: BlockExplorerConfig;
+declare class CcipError extends CcipError_base<{
+    /** The URLs that were attempted */
+    readonly urls: readonly string[];
+    /** Human-readable error message */
+    readonly message: string;
+    /** The underlying cause of the error */
+    readonly cause?: unknown;
+}> {
+}
 /**
- * Sepolia testnet contract deployments.
+ * Shape of the CCIP service.
  *
  * @since 0.0.1
  */
-declare const sepoliaContracts: ContractsConfig;
+type CcipShape = {
+    /**
+     * Performs a CCIP offchain lookup request.
+     *
+     * @param params - The CCIP request parameters
+     * @returns The offchain data as hex bytes
+     */
+    readonly request: (params: CcipRequest) => Effect.Effect<`0x${string}`, CcipError>;
+};
+declare const CcipService_base: Context.TagClass<CcipService, "CcipService", CcipShape>;
 /**
- * Sepolia testnet Layer for chain metadata, explorers, and contracts.
+ * CCIP service for EIP-3668 offchain lookups.
+ *
+ * @description
+ * Provides the ability to fetch offchain data during contract calls.
+ * When a contract reverts with OffchainLookup, this service handles
+ * fetching the data from the specified gateway URLs.
  *
  * @since 0.0.1
  *
- * @example
+ * @example Basic usage with DefaultCcip
  * ```typescript
  * import { Effect } from 'effect'
- * import { ChainService, sepolia } from 'voltaire-effect'
+ * import { CcipService, DefaultCcip } from 'voltaire-effect'
  *
  * const program = Effect.gen(function* () {
- *   const chain = yield* ChainService
- *   console.log(chain.testnet) // true
- * }).pipe(Effect.provide(sepolia))
+ *   const ccip = yield* CcipService
+ *   return yield* ccip.request({
+ *     sender: '0x...',
+ *     urls: ['https://gateway.example.com/{sender}/{data}'],
+ *     callData: '0x...',
+ *     callbackSelector: '0x...',
+ *     extraData: '0x'
+ *   })
+ * }).pipe(
+ *   Effect.provide(DefaultCcip)
+ * )
  * ```
+ *
+ * @see {@link DefaultCcip} - HTTP-based implementation
+ * @see {@link NoopCcip} - Disabled implementation
+ * @see {@link CcipShape} - The service interface shape
  */
-declare const sepolia: Layer.Layer<BlockExplorerService | ChainService | ContractsService, never, never>;
+declare class CcipService extends CcipService_base {
+}
 
 /**
- * @fileoverview RPC URL map for built-in chains.
+ * @fileoverview Default CCIP implementation using HTTP fetch.
  *
- * @module rpcUrls
+ * @module DefaultCcip
  * @since 0.0.1
- */
-/**
- * RPC endpoint configuration for a chain.
  *
- * @since 0.0.1
- */
-interface RpcUrlsConfig {
-    readonly default: {
-        readonly http: readonly string[];
-    };
-}
-/**
- * RPC URLs keyed by chain ID.
+ * @description
+ * Implements EIP-3668 CCIP requests by fetching data from offchain gateway URLs.
+ * URLs are tried in order until one succeeds.
  *
- * @since 0.0.1
+ * URL format per EIP-3668:
+ * - Replace {sender} with the contract address (lowercase)
+ * - Replace {data} with the calldata
+ * - If URL contains {data}, use GET request
+ * - Otherwise use POST with JSON body { sender, data }
+ *
+ * @see {@link CcipService} - The service interface
+ * @see {@link NoopCcip} - Disabled implementation
+ * @see https://eips.ethereum.org/EIPS/eip-3668
  */
-declare const rpcUrlsByChainId: Readonly<Record<number, RpcUrlsConfig>>;
 
-type AddressType$3 = BrandedAddress.AddressType;
-type HexType$2 = BrandedHex.HexType;
-type SignatureType = BrandedSignature.SignatureType;
-type TypedDataType = TypedData.TypedDataType;
-type EventLogType = EventLog.EventLogType;
 /**
- * Address input type that accepts both branded AddressType and plain hex strings.
- * Provides flexibility for API consumers while maintaining type safety.
- * Matches ProviderService.AddressInput for consistency.
- */
-type AddressInput = AddressType$3 | `0x${string}`;
-/**
- * Caveat applied to a permission.
+ * Default CCIP implementation layer.
  *
- * @since 0.0.1
- */
-interface Caveat {
-    /** Caveat type */
-    readonly type: string;
-    /** Caveat value */
-    readonly value: unknown;
-}
-/**
- * Wallet permission object per EIP-2255.
+ * @description
+ * Provides CcipService with an HTTP-based implementation that follows EIP-3668.
+ * Tries each URL in order until one succeeds.
  *
  * @since 0.0.1
- */
-interface Permission {
-    /** Parent capability (e.g., "eth_accounts") */
-    readonly parentCapability: string;
-    /** Invoker (origin) that was granted the permission */
-    readonly invoker: string;
-    /** Optional caveats restricting the permission */
-    readonly caveats?: readonly Caveat[];
-}
-/**
- * Permission request object.
  *
- * @since 0.0.1
- */
-interface PermissionRequest {
-    /** The permission being requested (e.g., "eth_accounts") */
-    readonly [permission: string]: Record<string, unknown>;
-}
-/**
- * Native currency configuration for a chain.
+ * @example
+ * ```typescript
+ * import { Effect } from 'effect'
+ * import { CcipService, DefaultCcip } from 'voltaire-effect'
  *
- * @since 0.0.1
+ * const program = Effect.gen(function* () {
+ *   const ccip = yield* CcipService
+ *   return yield* ccip.request({
+ *     sender: '0x123...',
+ *     urls: ['https://gateway.example.com/{sender}/{data}'],
+ *     callData: '0xabc...',
+ *     callbackSelector: '0x12345678',
+ *     extraData: '0x'
+ *   })
+ * }).pipe(Effect.provide(DefaultCcip))
+ * ```
  */
-interface NativeCurrency {
-    /** Currency name (e.g., "Ether") */
-    readonly name: string;
-    /** Currency symbol (e.g., "ETH") */
-    readonly symbol: string;
-    /** Currency decimals (typically 18) */
-    readonly decimals: number;
-}
+declare const DefaultCcip: Layer.Layer<CcipService>;
+
 /**
- * Chain configuration for wallet_addEthereumChain (EIP-3085).
+ * @fileoverview No-op CCIP implementation that always fails.
  *
+ * @module NoopCcip
  * @since 0.0.1
- */
-interface ChainConfig {
-    /** Chain ID as a number */
-    readonly id: number;
-    /** Human-readable chain name */
-    readonly name: string;
-    /** Native currency configuration */
-    readonly nativeCurrency: NativeCurrency;
-    /** RPC URL endpoints */
-    readonly rpcUrls: {
-        readonly default: {
-            readonly http: readonly string[];
-        };
-    };
-    /** Block explorer URLs (optional) */
-    readonly blockExplorers?: {
-        readonly default: {
-            readonly name: string;
-            readonly url: string;
-        };
-    };
-}
-declare const SignerError_base: new <A extends Record<string, any> = {}>(args: effect_Types.Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => effect_Cause.YieldableError & {
-    readonly _tag: "SignerError";
-} & Readonly<A>;
-/**
- * Error thrown when a signer operation fails.
  *
  * @description
- * Contains the original input, error message and optional underlying cause.
- * All SignerService methods may fail with this error type.
- *
- * Common failure reasons:
- * - User rejected the request (in browser wallet)
- * - Insufficient funds for transaction
- * - Invalid transaction parameters
- * - Network errors during broadcast
- * - Signing failures
+ * A CCIP implementation that always returns an error. Use this when offchain
+ * lookups should be disabled (e.g., in sandboxed environments, testing, or
+ * when external network access is restricted).
  *
- * @since 0.0.1
+ * @see {@link CcipService} - The service interface
+ * @see {@link DefaultCcip} - Working HTTP implementation
  */
-declare class SignerError extends SignerError_base<{
-    /**
-     * The original input that caused the error.
-     */
-    readonly input: unknown;
-    /**
-     * Human-readable error message.
-     */
-    readonly message: string;
-    /**
-     * JSON-RPC error code (propagated from underlying errors).
-     * May be undefined if the error originated outside JSON-RPC.
-     */
-    readonly code?: number;
-    /**
-     * Optional underlying cause.
-     */
-    readonly cause?: unknown;
-    /**
-     * Optional context for debugging.
-     */
-    readonly context?: Record<string, unknown>;
-}> {
-    /**
-     * Creates a new SignerError.
-     *
-     * @param input - The original input that caused the error
-     * @param message - Human-readable error message (optional, defaults to cause message)
-     * @param options - Optional error options
-     * @param options.code - JSON-RPC error code
-     * @param options.cause - Underlying error that caused this failure
-     */
-    constructor(input: unknown, message?: string, options?: {
-        code?: number;
-        context?: Record<string, unknown>;
-        cause?: Error;
-    });
-}
+
 /**
- * Transaction request for sending transactions.
+ * No-op CCIP layer that always fails.
  *
  * @description
- * Supports all Ethereum transaction types:
- * - Legacy (type 0) - original transactions with gasPrice
- * - EIP-2930 (type 1) - access list transactions with gasPrice
- * - EIP-1559 (type 2) - priority fee transactions
- * - EIP-4844 (type 3) - blob transactions for L2 data availability
- * - EIP-7702 (type 4) - set code transactions for smart account delegation
+ * Provides CcipService with an implementation that immediately fails
+ * with "CCIP disabled". Use when offchain lookups should not be performed.
  *
- * Transaction type is auto-detected based on provided fields, or can be
- * explicitly set via the `type` field.
+ * @since 0.0.1
  *
- * Most fields are optional and will be auto-filled if not provided.
+ * @example Disable CCIP in tests
+ * ```typescript
+ * import { Effect } from 'effect'
+ * import { CcipService, NoopCcip } from 'voltaire-effect'
  *
- * Auto-filled fields:
- * - `nonce` - Fetched from network via getTransactionCount('pending')
- * - `gasLimit` - Estimated via estimateGas
- * - `gasPrice` or `maxFeePerGas` - Fetched from network
- * - `chainId` - Fetched from network via eth_chainId
+ * const program = Effect.gen(function* () {
+ *   const ccip = yield* CcipService
+ *   // This will always fail with "CCIP disabled"
+ *   return yield* ccip.request({ ... })
+ * }).pipe(Effect.provide(NoopCcip))
+ * ```
+ */
+declare const NoopCcip: Layer.Layer<CcipService>;
+
+/**
+ * @fileoverview Block explorer service definition for chain explorer metadata.
  *
+ * @module BlockExplorerService
  * @since 0.0.1
+ *
+ * @description
+ * The BlockExplorerService provides block explorer metadata for a chain,
+ * including human-readable name, base URL, and optional API URL.
  */
-type TransactionRequest = {
-    /** Recipient address (null or undefined for contract deployment) */
-    readonly to?: AddressInput | null;
-    /** Value in wei to send with the transaction */
-    readonly value?: bigint;
-    /** Transaction input data (for contract calls/deployment) */
-    readonly data?: HexType$2;
-    /** Transaction nonce (auto-filled from network if not provided) */
-    readonly nonce?: bigint;
-    /** Gas limit (auto-estimated if not provided) */
-    readonly gasLimit?: bigint;
-    /** Gas price for legacy/EIP-2930 transactions (type 0/1) */
-    readonly gasPrice?: bigint;
-    /** Max fee per gas for EIP-1559+ transactions (type 2/3/4) */
-    readonly maxFeePerGas?: bigint;
-    /** Max priority fee (tip) for EIP-1559+ transactions (type 2/3/4) */
-    readonly maxPriorityFeePerGas?: bigint;
-    /** Chain ID for replay protection (auto-detected if not provided) */
-    readonly chainId?: bigint;
-    /** EIP-2930+ access list for pre-warming storage slots */
-    readonly accessList?: Array<{
-        address: AddressInput;
-        storageKeys: Array<`0x${string}`>;
-    }>;
-    /** Transaction type (auto-detected if not provided) */
-    readonly type?: 0 | 1 | 2 | 3 | 4;
-    /** EIP-4844: Versioned hashes for blob commitments */
-    readonly blobVersionedHashes?: readonly `0x${string}`[];
-    /** EIP-4844: Max fee per blob gas */
-    readonly maxFeePerBlobGas?: bigint;
-    /** EIP-4844: Raw blob data (sidecar) */
-    readonly blobs?: readonly Uint8Array[];
-    /** EIP-4844: KZG commitments for blobs (sidecar) */
-    readonly kzgCommitments?: readonly `0x${string}`[];
-    /** EIP-4844: KZG proofs for blobs (sidecar) */
-    readonly kzgProofs?: readonly `0x${string}`[];
-    /** EIP-7702: Authorization list for set code transactions */
-    readonly authorizationList?: readonly AuthorizationInput[];
-};
+
 /**
- * Parameters for preparing an EIP-7702 authorization.
+ * Block explorer configuration for a chain.
  *
  * @since 0.0.1
  */
-interface PrepareAuthorizationParams {
-    /** Address of the contract to delegate to */
-    readonly contractAddress: `0x${string}` | AddressType$3;
-    /** Chain ID where the authorization is valid */
-    readonly chainId?: bigint;
-    /** Nonce of the authorizing account (fetched if not provided) */
-    readonly nonce?: bigint;
+interface BlockExplorerConfig {
+    /** Default block explorer for the chain */
+    readonly default?: {
+        readonly name: string;
+        readonly url: string;
+        readonly apiUrl?: string;
+    };
 }
+declare const BlockExplorerService_base: Context.TagClass<BlockExplorerService, "BlockExplorerService", BlockExplorerConfig>;
 /**
- * Parameters for EIP-5792 wallet_sendCalls.
+ * Block explorer service for chain metadata.
  *
  * @description
- * Defines a batch of calls to be sent atomically via wallet_sendCalls.
- * Supported by smart contract wallets and some browser wallets.
+ * Provides access to block explorer information for the active chain.
  *
  * @since 0.0.1
  */
-interface SendCallsParams {
-    /** Array of calls to execute atomically */
-    readonly calls: readonly {
-        /** Target contract address */
-        readonly to: AddressInput;
-        /** Calldata for the call */
-        readonly data?: HexType$2;
-        /** Value in wei to send */
-        readonly value?: bigint;
-    }[];
-    /** Optional capabilities like paymaster service */
-    readonly capabilities?: {
-        /** Paymaster service configuration */
-        readonly paymasterService?: {
-            readonly url: string;
-        };
-    };
+declare class BlockExplorerService extends BlockExplorerService_base {
 }
+
 /**
- * Status of an EIP-5792 call bundle.
+ * @fileoverview Contracts service definition for well-known deployments.
+ *
+ * @module ContractsService
+ * @since 0.0.1
  *
  * @description
- * Represents the current state of a batch of calls sent via wallet_sendCalls.
+ * The ContractsService provides well-known contract deployments for a chain,
+ * such as multicall and ENS resolver addresses.
+ */
+
+/**
+ * Contract deployment information.
  *
  * @since 0.0.1
  */
-interface CallsStatus {
-    /** Current status of the bundle */
-    readonly status: "PENDING" | "CONFIRMED" | "FAILED";
-    /** Transaction receipts (only present when CONFIRMED) */
-    readonly receipts?: readonly {
-        readonly transactionHash: HexType$2;
-        readonly blockNumber: bigint;
-        readonly gasUsed: bigint;
-        readonly status: "success" | "reverted";
-        readonly logs: readonly EventLogType[];
-    }[];
+interface ChainContract {
+    readonly address: `0x${string}`;
+    readonly blockCreated?: number;
 }
 /**
- * Wallet capabilities per chain (EIP-5792).
- *
- * @description
- * Describes what features a wallet supports for each chain.
+ * Well-known contract deployments for a chain.
  *
  * @since 0.0.1
  */
-interface WalletCapabilities {
-    [chainId: string]: {
-        /** Whether atomic batch transactions are supported */
-        readonly atomicBatch?: {
-            readonly supported: boolean;
-        };
-        /** Whether paymaster service is supported */
-        readonly paymasterService?: {
-            readonly supported: boolean;
-        };
-        /** Whether session keys are supported */
-        readonly sessionKeys?: {
-            readonly supported: boolean;
-        };
-    };
+interface ContractsConfig {
+    readonly multicall3?: ChainContract;
+    readonly ensRegistry?: ChainContract;
+    readonly ensUniversalResolver?: ChainContract;
 }
+declare const ContractsService_base: Context.TagClass<ContractsService, "ContractsService", ContractsConfig>;
 /**
- * Shape of the signer service.
+ * Contracts service for chain deployment metadata.
  *
  * @description
- * Defines all signing and transaction operations available through SignerService.
- * Each method returns an Effect that may fail with SignerError.
+ * Provides access to well-known contract deployments for the active chain.
  *
  * @since 0.0.1
  */
-type SignerShape = {
-    /**
-     * Signs a message using EIP-191 personal_sign.
-     * @param message - The message to sign (hex-encoded)
-     * @returns Signature
-     */
-    readonly signMessage: (message: HexType$2) => Effect.Effect<SignatureType, SignerError>;
-    /**
-     * Signs a transaction without broadcasting.
-     * @param tx - Transaction parameters
-     * @returns Signed transaction (hex-encoded)
-     */
-    readonly signTransaction: (tx: TransactionRequest) => Effect.Effect<HexType$2, SignerError>;
-    /**
-     * Signs EIP-712 typed structured data.
-     * @param typedData - Typed data to sign
-     * @returns Signature
-     */
-    readonly signTypedData: (typedData: TypedDataType) => Effect.Effect<SignatureType, SignerError>;
-    /**
-     * Prepares an EIP-7702 authorization tuple.
-     * @param params - Authorization parameters
-     * @returns Unsigned authorization ready for signing
-     */
-    readonly prepareAuthorization: (params: PrepareAuthorizationParams) => Effect.Effect<UnsignedAuthorization, SignerError>;
-    /**
-     * Signs and broadcasts a transaction.
-     * @param tx - Transaction parameters
-     * @returns Transaction hash
-     */
-    readonly sendTransaction: (tx: TransactionRequest) => Effect.Effect<HashType$1, SignerError>;
-    /**
-     * Broadcasts an already-signed transaction.
-     * @param signedTx - RLP-encoded signed transaction
-     * @returns Transaction hash
-     */
-    readonly sendRawTransaction: (signedTx: HexType$2) => Effect.Effect<HashType$1, SignerError>;
-    /**
-     * Gets wallet addresses without prompting (eth_accounts).
-     * @returns Array of connected addresses
-     */
-    readonly getAddresses: () => Effect.Effect<AddressType$3[], SignerError>;
-    /**
-     * Requests wallet addresses (triggers wallet popup in browser).
-     * @returns Array of connected addresses
-     */
-    readonly requestAddresses: () => Effect.Effect<AddressType$3[], SignerError>;
-    /**
-     * Gets the current permissions granted to the dapp (EIP-2255).
-     * @returns Array of granted permissions
-     */
-    readonly getPermissions: () => Effect.Effect<Permission[], SignerError>;
-    /**
-     * Requests specific permissions from the wallet (EIP-2255).
-     * @param permissions - Object with permission names as keys
-     * @returns Array of granted permissions
-     */
-    readonly requestPermissions: (permissions: PermissionRequest) => Effect.Effect<Permission[], SignerError>;
-    /**
-     * Requests the wallet to add a new chain (EIP-3085).
-     * @param chain - Chain configuration to add
-     */
-    readonly addChain: (chain: ChainConfig) => Effect.Effect<void, SignerError>;
-    /**
-     * Requests wallet to switch to a different chain.
-     * @param chainId - Target chain ID (e.g., 1 for mainnet)
-     */
-    readonly switchChain: (chainId: number) => Effect.Effect<void, SignerError>;
-    /**
-     * Gets wallet capabilities per chain (EIP-5792).
-     * @param account - Optional account address to query capabilities for
-     * @returns Wallet capabilities indexed by chain ID
-     */
-    readonly getCapabilities: (account?: AddressInput) => Effect.Effect<WalletCapabilities, SignerError>;
-    /**
-     * Sends a batch of calls atomically (EIP-5792).
-     * @param params - Batch call parameters
-     * @returns Bundle ID for tracking the batch
-     */
-    readonly sendCalls: (params: SendCallsParams) => Effect.Effect<string, SignerError>;
-    /**
-     * Gets the status of a call bundle (EIP-5792).
-     * @param bundleId - The bundle ID returned from sendCalls
-     * @returns Current status and receipts if confirmed
-     */
-    readonly getCallsStatus: (bundleId: string) => Effect.Effect<CallsStatus, SignerError>;
-    /**
-     * Waits for a call bundle to complete (EIP-5792).
-     * @param bundleId - The bundle ID returned from sendCalls
-     * @param options - Polling options
-     * @returns Final status with receipts
-     */
-    readonly waitForCallsStatus: (bundleId: string, options?: {
-        readonly timeout?: number;
-        readonly pollingInterval?: number;
-    }) => Effect.Effect<CallsStatus, SignerError>;
-};
-declare const SignerService_base: Context.TagClass<SignerService, "SignerService", SignerShape>;
+declare class ContractsService extends ContractsService_base {
+}
+
+/**
+ * @fileoverview Arbitrum One L2 chain configuration.
+ *
+ * @module arbitrum
+ * @since 0.0.1
+ */
+
 /**
- * Signer service for signing and sending transactions.
+ * Arbitrum One configuration.
  *
- * @description
- * Provides methods for signing messages, transactions, and typed data.
- * This is an Effect Context.Tag that must be provided with a concrete
- * implementation (Signer.Live layer) before running.
+ * @since 0.0.1
+ */
+declare const arbitrumConfig: ChainConfig;
+/**
+ * Arbitrum block explorer configuration.
  *
- * The service provides:
- * - Message signing (signMessage - EIP-191)
- * - Transaction signing (signTransaction)
- * - Typed data signing (signTypedData - EIP-712)
- * - Transaction sending (sendTransaction, sendRawTransaction)
- * - Wallet interaction (getAddresses, requestAddresses, getPermissions, requestPermissions, addChain, switchChain)
+ * @since 0.0.1
+ */
+declare const arbitrumBlockExplorers: BlockExplorerConfig;
+/**
+ * Arbitrum contract deployments.
  *
- * Requires:
- * - AccountService - For cryptographic signing
- * - ProviderService - For gas estimation and nonce
- * - TransportService - For transaction broadcast
+ * @since 0.0.1
+ */
+declare const arbitrumContracts: ContractsConfig;
+/**
+ * Arbitrum One L2 Layer for chain metadata, explorers, and contracts.
  *
  * @since 0.0.1
  *
- * @see {@link Signer} - The live implementation layer and composition helpers
- * @see {@link SignerShape} - The service interface shape
- * @see {@link SignerError} - Error type for failed operations
- * @see {@link AccountService} - Required for signing
+ * @example
+ * ```typescript
+ * import { Effect } from 'effect'
+ * import { ChainService, arbitrum } from 'voltaire-effect'
+ *
+ * const program = Effect.gen(function* () {
+ *   const chain = yield* ChainService
+ *   console.log(chain.id) // 42161
+ * }).pipe(Effect.provide(arbitrum))
+ * ```
  */
-declare class SignerService extends SignerService_base {
-}
+declare const arbitrum: Layer.Layer<ChainService | BlockExplorerService | ContractsService, never, never>;
 
-type HexType$1 = BrandedHex.HexType;
+/**
+ * @fileoverview Base L2 chain configuration.
+ *
+ * @module base
+ * @since 0.0.1
+ */
 
 /**
- * Signer namespace with layer constructors and composition helpers.
+ * Base L2 configuration.
  *
- * @description
- * Provides the live implementation and convenient factory functions for
- * creating Signer layers with different configurations.
+ * @since 0.0.1
+ */
+declare const baseConfig: ChainConfig;
+/**
+ * Base block explorer configuration.
+ *
+ * @since 0.0.1
+ */
+declare const baseBlockExplorers: BlockExplorerConfig;
+/**
+ * Base contract deployments.
+ *
+ * @since 0.0.1
+ */
+declare const baseContracts: ContractsConfig;
+/**
+ * Base L2 Layer for chain metadata, explorers, and contracts.
  *
  * @since 0.0.1
  *
- * @example Basic usage with separate layers
+ * @example
  * ```typescript
  * import { Effect } from 'effect'
- * import { Signer, SignerService, LocalAccount, Provider, HttpTransport } from 'voltaire-effect'
+ * import { ChainService, base } from 'voltaire-effect'
  *
  * const program = Effect.gen(function* () {
- *   const signer = yield* SignerService
- *   return yield* signer.sendTransaction({ to: recipient, value: 1n })
- * }).pipe(
- *   Effect.provide(Signer.Live),
- *   Effect.provide(LocalAccount(privateKey)),
- *   Effect.provide(Provider),
- *   Effect.provide(HttpTransport('https://...'))
- * )
+ *   const chain = yield* ChainService
+ *   console.log(chain.id) // 8453
+ * }).pipe(Effect.provide(base))
  * ```
+ */
+declare const base: Layer.Layer<ChainService | BlockExplorerService | ContractsService, never, never>;
+
+/**
+ * @fileoverview Ethereum mainnet chain configuration.
  *
- * @example Using fromProvider for composed layers
+ * @module mainnet
+ * @since 0.0.1
+ */
+
+/**
+ * Ethereum mainnet configuration.
+ *
+ * @since 0.0.1
+ */
+declare const mainnetConfig: ChainConfig;
+/**
+ * Ethereum mainnet block explorer configuration.
+ *
+ * @since 0.0.1
+ */
+declare const mainnetBlockExplorers: BlockExplorerConfig;
+/**
+ * Ethereum mainnet contract deployments.
+ *
+ * @since 0.0.1
+ */
+declare const mainnetContracts: ContractsConfig;
+/**
+ * Ethereum mainnet Layer for chain metadata, explorers, and contracts.
+ *
+ * @since 0.0.1
+ *
+ * @example
  * ```typescript
  * import { Effect } from 'effect'
- * import { Signer, SignerService, LocalAccount, Provider, HttpTransport } from 'voltaire-effect'
- *
- * const transport = HttpTransport('https://...')
- * const signerLayer = Signer.fromProvider(Provider, LocalAccount(privateKey))
+ * import { ChainService, mainnet } from 'voltaire-effect'
  *
  * const program = Effect.gen(function* () {
- *   const signer = yield* SignerService
- *   return yield* signer.sendTransaction({ to: recipient, value: 1n })
- * }).pipe(
- *   Effect.provide(signerLayer),
- *   Effect.provide(transport)
- * )
+ *   const chain = yield* ChainService
+ *   console.log(chain.name) // "Ethereum"
+ * }).pipe(Effect.provide(mainnet))
  * ```
+ */
+declare const mainnet: Layer.Layer<ChainService | BlockExplorerService | ContractsService, never, never>;
+
+/**
+ * @fileoverview Optimism L2 chain configuration.
  *
- * @example Using fromPrivateKey for quick setup
+ * @module optimism
+ * @since 0.0.1
+ */
+
+/**
+ * Optimism (OP Mainnet) configuration.
+ *
+ * @since 0.0.1
+ */
+declare const optimismConfig: ChainConfig;
+/**
+ * Optimism block explorer configuration.
+ *
+ * @since 0.0.1
+ */
+declare const optimismBlockExplorers: BlockExplorerConfig;
+/**
+ * Optimism contract deployments.
+ *
+ * @since 0.0.1
+ */
+declare const optimismContracts: ContractsConfig;
+/**
+ * Optimism L2 Layer for chain metadata, explorers, and contracts.
+ *
+ * @since 0.0.1
+ *
+ * @example
  * ```typescript
  * import { Effect } from 'effect'
- * import { Signer, SignerService, Provider, HttpTransport } from 'voltaire-effect'
- *
- * const transport = HttpTransport('https://...')
- * const signerLayer = Signer.fromPrivateKey(privateKey, Provider)
+ * import { ChainService, optimism } from 'voltaire-effect'
  *
  * const program = Effect.gen(function* () {
- *   const signer = yield* SignerService
- *   return yield* signer.sendTransaction({ to: recipient, value: 1n })
- * }).pipe(
- *   Effect.provide(signerLayer),
- *   Effect.provide(transport)
- * )
+ *   const chain = yield* ChainService
+ *   console.log(chain.id) // 10
+ * }).pipe(Effect.provide(optimism))
  * ```
  */
-declare const Signer: {
-    /**
-     * Live implementation layer requiring AccountService, ProviderService, and TransportService.
-     */
-    readonly Live: Layer.Layer<SignerService, never, TransportService | ProviderService | AccountService>;
-    /**
-     * Creates a Signer layer by composing a provider layer and account layer.
-     *
-     * @description
-     * Combines a ProviderService layer with an AccountService layer to create
-     * a fully configured SignerService layer. The resulting layer still requires
-     * TransportService to be provided.
-     *
-     * @param providerLayer - Layer providing ProviderService (requires TransportService)
-     * @param accountLayer - Layer providing AccountService
-     * @returns Layer providing SignerService (requires TransportService)
-     *
-     * @since 0.0.1
-     */
-    readonly fromProvider: <E1, R1, E2, R2>(providerLayer: Layer.Layer<ProviderService, E1, R1>, accountLayer: Layer.Layer<AccountService, E2, R2>) => Layer.Layer<SignerService, E1 | E2, R1 | R2 | TransportService>;
-    /**
-     * Creates a Signer layer from a private key and provider layer.
-     *
-     * @description
-     * Convenience function that creates a LocalAccount from the private key
-     * and composes it with the given provider layer. The resulting layer
-     * still requires TransportService and the crypto services (Secp256k1Service, KeccakService).
-     *
-     * @param privateKey - The private key as a hex string (with 0x prefix)
-     * @param providerLayer - Layer providing ProviderService (requires TransportService)
-     * @returns Layer providing SignerService (requires TransportService and crypto services)
-     *
-     * @since 0.0.1
-     */
-    readonly fromPrivateKey: <E, R>(privateKey: HexType$1, providerLayer: Layer.Layer<ProviderService, E, R>) => Layer.Layer<SignerService, E, KeccakService | Secp256k1Service | TransportService | R>;
-};
+declare const optimism: Layer.Layer<ChainService | BlockExplorerService | ContractsService, never, never>;
 
-type AddressType$2 = BrandedAddress.AddressType;
-type HashType = BrandedHash.HashType;
-type HexType = BrandedHex.HexType;
 /**
- * Single item in an ABI definition.
+ * @fileoverview Polygon chain configuration.
  *
- * @description
- * Can be a function, event, error, constructor, or fallback.
- * This is a simplified ABI item type for basic usage.
+ * @module polygon
+ * @since 0.0.1
+ */
+
+/**
+ * Polygon (formerly Matic) configuration.
  *
  * @since 0.0.1
  */
-type AbiItem = {
-    /** Item type (function, event, error, constructor, fallback, receive) */
-    readonly type: string;
-    /** Item name (undefined for constructor/fallback/receive) */
-    readonly name?: string;
-    /** Input parameters for functions/events/errors */
-    readonly inputs?: readonly {
-        type: string;
-        name?: string;
-        indexed?: boolean;
-    }[];
-    /** Output parameters for functions */
-    readonly outputs?: readonly {
-        type: string;
-        name?: string;
-    }[];
-    /** Function state mutability (pure, view, nonpayable, payable) */
-    readonly stateMutability?: string;
-    /** Whether event is anonymous */
-    readonly anonymous?: boolean;
-};
+declare const polygonConfig: ChainConfig;
+/**
+ * Polygon block explorer configuration.
+ *
+ * @since 0.0.1
+ */
+declare const polygonBlockExplorers: BlockExplorerConfig;
 /**
- * Full ABI definition as an array of items.
+ * Polygon contract deployments.
  *
- * @description
- * Standard Solidity ABI format as produced by solc.
- * Used to create type-safe contract instances.
+ * @since 0.0.1
+ */
+declare const polygonContracts: ContractsConfig;
+/**
+ * Polygon Layer for chain metadata, explorers, and contracts.
  *
  * @since 0.0.1
  *
  * @example
  * ```typescript
- * const erc20Abi: Abi = [
- *   { type: 'function', name: 'balanceOf', inputs: [{ type: 'address' }], outputs: [{ type: 'uint256' }], stateMutability: 'view' },
- *   { type: 'function', name: 'transfer', inputs: [{ type: 'address' }, { type: 'uint256' }], outputs: [{ type: 'bool' }], stateMutability: 'nonpayable' },
- *   { type: 'event', name: 'Transfer', inputs: [{ type: 'address', indexed: true }, { type: 'address', indexed: true }, { type: 'uint256' }] }
- * ] as const
+ * import { Effect } from 'effect'
+ * import { ChainService, polygon } from 'voltaire-effect'
+ *
+ * const program = Effect.gen(function* () {
+ *   const chain = yield* ChainService
+ *   console.log(chain.nativeCurrency.symbol) // "POL"
+ * }).pipe(Effect.provide(polygon))
  * ```
  */
-type Abi = readonly AbiItem[];
+declare const polygon: Layer.Layer<ChainService | BlockExplorerService | ContractsService, never, never>;
 
 /**
- * Block identifier for event filtering.
- * Can be a named tag or a block number.
- * @since 0.0.1
- */
-type BlockTag = "latest" | "earliest" | "pending" | "safe" | "finalized" | bigint;
-/**
- * Filter options for querying contract events.
+ * @fileoverview Sepolia testnet chain configuration.
+ *
+ * @module sepolia
  * @since 0.0.1
  */
-interface EventFilter {
-    /** Start block for the query */
-    readonly fromBlock?: BlockTag;
-    /** End block for the query */
-    readonly toBlock?: BlockTag;
-    /** Indexed argument filters */
-    readonly args?: Record<string, unknown>;
-}
+
 /**
- * Decoded event from a contract log.
+ * Sepolia testnet configuration.
+ *
  * @since 0.0.1
  */
-interface DecodedEvent {
-    /** Name of the event */
-    readonly eventName: string;
-    /** Decoded event arguments */
-    readonly args: Record<string, unknown>;
-    /** Block number where the event was emitted */
-    readonly blockNumber: bigint;
-    /** Transaction hash that emitted the event */
-    readonly transactionHash: HexType;
-    /** Log index within the block */
-    readonly logIndex: number;
-}
-declare const ContractError_base: new <A extends Record<string, any> = {}>(args: effect_Types.Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => effect_Cause.YieldableError & {
-    readonly _tag: "ContractError";
-} & Readonly<A>;
+declare const sepoliaConfig: ChainConfig;
 /**
- * Base error class for contract operations.
+ * Sepolia testnet block explorer configuration.
+ *
  * @since 0.0.1
  */
-declare class ContractError extends ContractError_base<{
-    /**
-     * The original input that caused the error.
-     */
-    readonly input: unknown;
-    /**
-     * Human-readable error message.
-     */
-    readonly message: string;
-    /**
-     * JSON-RPC error code (if applicable).
-     */
-    readonly code?: number;
-    /**
-     * Optional underlying cause.
-     */
-    readonly cause?: unknown;
-    /**
-     * Optional context for debugging.
-     */
-    readonly context?: Record<string, unknown>;
-}> {
-    constructor(input: unknown, message: string, options?: {
-        code?: number;
-        context?: Record<string, unknown>;
-        cause?: unknown;
-    });
-}
-declare const ContractCallError_base: new <A extends Record<string, any> = {}>(args: effect_Types.Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => effect_Cause.YieldableError & {
-    readonly _tag: "ContractCallError";
-} & Readonly<A>;
+declare const sepoliaBlockExplorers: BlockExplorerConfig;
 /**
- * Error thrown when a contract read call fails.
+ * Sepolia testnet contract deployments.
+ *
  * @since 0.0.1
  */
-declare class ContractCallError extends ContractCallError_base<{
-    readonly input: unknown;
-    readonly message: string;
-    readonly code?: number;
-    readonly cause?: unknown;
-    readonly context?: Record<string, unknown>;
-}> {
-    constructor(input: unknown, message: string, options?: {
-        code?: number;
-        context?: Record<string, unknown>;
-        cause?: unknown;
-    });
-}
-declare const ContractWriteError_base: new <A extends Record<string, any> = {}>(args: effect_Types.Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => effect_Cause.YieldableError & {
-    readonly _tag: "ContractWriteError";
-} & Readonly<A>;
+declare const sepoliaContracts: ContractsConfig;
 /**
- * Error thrown when a contract write transaction fails.
+ * Sepolia testnet Layer for chain metadata, explorers, and contracts.
+ *
  * @since 0.0.1
+ *
+ * @example
+ * ```typescript
+ * import { Effect } from 'effect'
+ * import { ChainService, sepolia } from 'voltaire-effect'
+ *
+ * const program = Effect.gen(function* () {
+ *   const chain = yield* ChainService
+ *   console.log(chain.testnet) // true
+ * }).pipe(Effect.provide(sepolia))
+ * ```
  */
-declare class ContractWriteError extends ContractWriteError_base<{
-    readonly input: unknown;
-    readonly message: string;
-    readonly code?: number;
-    readonly cause?: unknown;
-    readonly context?: Record<string, unknown>;
-}> {
-    constructor(input: unknown, message: string, options?: {
-        code?: number;
-        context?: Record<string, unknown>;
-        cause?: unknown;
-    });
-}
-declare const ContractEventError_base: new <A extends Record<string, any> = {}>(args: effect_Types.Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => effect_Cause.YieldableError & {
-    readonly _tag: "ContractEventError";
-} & Readonly<A>;
+declare const sepolia: Layer.Layer<ChainService | BlockExplorerService | ContractsService, never, never>;
+
 /**
- * Error thrown when fetching contract events fails.
+ * @fileoverview RPC URL map for built-in chains.
+ *
+ * @module rpcUrls
  * @since 0.0.1
  */
-declare class ContractEventError extends ContractEventError_base<{
-    readonly input: unknown;
-    readonly message: string;
-    readonly code?: number;
-    readonly cause?: unknown;
-    readonly context?: Record<string, unknown>;
-}> {
-    constructor(input: unknown, message: string, options?: {
-        code?: number;
-        context?: Record<string, unknown>;
-        cause?: unknown;
-    });
-}
 /**
- * Type-safe contract instance with read, write, simulate, and event methods.
+ * RPC endpoint configuration for a chain.
+ *
  * @since 0.0.1
  */
-interface ContractInstance<TAbi extends Abi> {
-    /** Contract address */
-    readonly address: AddressType$2;
-    /** Contract ABI */
-    readonly abi: TAbi;
-    /** Read-only contract methods (view/pure functions) */
-    readonly read: ContractReadMethods<TAbi>;
-    /** State-changing contract methods */
-    readonly write: ContractWriteMethods<TAbi>;
-    /** Simulate state-changing methods without sending transactions */
-    readonly simulate: ContractSimulateMethods<TAbi>;
-    /** Query contract events */
-    readonly getEvents: <E extends ExtractEventNames<TAbi>>(eventName: E, filter?: EventFilter) => Effect.Effect<DecodedEvent[], ContractEventError, ProviderService>;
+interface RpcUrlsConfig {
+    readonly default: {
+        readonly http: readonly string[];
+    };
 }
-type ExtractViewFunctions<TAbi extends Abi> = Extract<TAbi[number], {
-    type: "function";
-    stateMutability: "view" | "pure";
-}>;
-type ExtractWriteFunctions<TAbi extends Abi> = Extract<TAbi[number], {
-    type: "function";
-    stateMutability: "nonpayable" | "payable";
-}>;
 /**
- * Transaction options for write methods.
+ * RPC URLs keyed by chain ID.
+ *
  * @since 0.0.1
  */
-interface WriteOptions {
-    /** Value in wei to send with the transaction */
-    readonly value?: bigint;
-    /** Gas limit for the transaction */
-    readonly gas?: bigint;
-    /** Gas price for legacy transactions */
-    readonly gasPrice?: bigint;
-    /** Max fee per gas for EIP-1559 transactions */
-    readonly maxFeePerGas?: bigint;
-    /** Max priority fee for EIP-1559 transactions */
-    readonly maxPriorityFeePerGas?: bigint;
-    /** Transaction nonce */
-    readonly nonce?: bigint;
-}
-type ExtractEvents<TAbi extends Abi> = Extract<TAbi[number], {
-    type: "event";
-}>;
-type ExtractEventNames<TAbi extends Abi> = ExtractEvents<TAbi> extends {
-    name: infer N;
-} ? N extends string ? N : never : never;
-type AbiInputsToArgs<TInputs extends readonly {
-    type: string;
-    name?: string;
-}[]> = {
-    [K in keyof TInputs]: AbiTypeToTs<TInputs[K]["type"]>;
-};
-type AbiTypeToTs<T extends string> = T extends `uint${string}` ? bigint : T extends `int${string}` ? bigint : T extends "address" ? AddressType$2 : T extends "bool" ? boolean : T extends "string" ? string : T extends `bytes${string}` ? HexType : T extends "bytes" ? HexType : T extends `${string}[]` ? readonly unknown[] : T extends `tuple` ? Record<string, unknown> : unknown;
-type AbiOutputToTs<TOutputs extends readonly {
-    type: string;
-}[]> = TOutputs extends readonly [{
-    type: infer T;
-}] ? T extends string ? AbiTypeToTs<T> : unknown : TOutputs extends readonly [] ? undefined : Record<string, unknown>;
-type ContractReadMethods<TAbi extends Abi> = {
-    [F in ExtractViewFunctions<TAbi> as F["name"] extends string ? F["name"] : never]: (...args: F extends {
-        inputs: infer I;
-    } ? I extends readonly {
-        type: string;
-    }[] ? AbiInputsToArgs<I> : [] : []) => Effect.Effect<F extends {
-        outputs: infer O;
-    } ? O extends readonly {
-        type: string;
-    }[] ? AbiOutputToTs<O> : unknown : unknown, ContractCallError, ProviderService>;
-};
-type WriteMethodArgs$1<TInputs> = TInputs extends readonly {
-    type: string;
-}[] ? AbiInputsToArgs<TInputs> extends readonly [] ? [options?: WriteOptions] : [...args: AbiInputsToArgs<TInputs>, options?: WriteOptions] : [options?: WriteOptions];
-type ContractWriteMethods<TAbi extends Abi> = {
-    [F in ExtractWriteFunctions<TAbi> as F["name"] extends string ? F["name"] : never]: (...args: WriteMethodArgs$1<F extends {
-        inputs: infer I;
-    } ? I : []>) => Effect.Effect<HashType, ContractWriteError, SignerService>;
-};
-type ContractSimulateMethods<TAbi extends Abi> = {
-    [F in ExtractWriteFunctions<TAbi> as F["name"] extends string ? F["name"] : never]: (...args: F extends {
-        inputs: infer I;
-    } ? I extends readonly {
-        type: string;
-    }[] ? AbiInputsToArgs<I> : [] : []) => Effect.Effect<F extends {
-        outputs: infer O;
-    } ? O extends readonly {
-        type: string;
-    }[] ? AbiOutputToTs<O> : unknown : unknown, ContractCallError, ProviderService>;
-};
+declare const rpcUrlsByChainId: Readonly<Record<number, RpcUrlsConfig>>;
 
 /**
  * @fileoverview Contract gas estimation helper.
@@ -9575,4 +9951,4 @@ declare const makeRpcResolver: (transport: {
  */
 declare const RpcBatch: Layer.Layer<RpcBatchService, never, TransportService>;
 
-export { type Abi$2 as Abi, AbiDecodeError, AbiEncodeError, AbiEncoderService, type AbiEncoderShape, type AccessListInput, type AccessListType, AccountError, AccountService, type AccountShape, type AccountStateOverride, type AddressInput$2 as AddressInput, ArbitrumFormatter, ArbitrumProvider, type AssetChange, type BackfillBlocksError, BalanceResolver, BaseProvider, type Block, type BlockExplorerConfig, BlockExplorerService, type BlockOverrides, BlockStream, BlockStreamError, BlockStreamService, type BlockStreamShape, type BlockTag$1 as BlockTag, type BlockType, BlockchainError, type HexInput as BlockchainHexInput, BlockchainService, type BlockchainShape, BrowserProvider, BrowserTransport, CacheService, type CacheShape, type CallError, type CallRequest, CcipError, type CcipRequest, CcipService, type CcipShape, type ChainConfig$1 as ChainConfig, type ChainContract, ChainService, type ComposedServices, Contract, type Abi as ContractAbi, type AbiItem as ContractAbiItem, type BlockTag as ContractBlockTag, type ContractCall, ContractCallError, type ContractDef, ContractError, ContractEventError, type ContractFactory, type ContractInstance, type ContractRegistryBase, type ContractRegistryConfig, ContractRegistryService, type ContractRegistryShape, ContractWriteError, type ContractsConfig, ContractsService, type CreateAccessListError, type CreateAccessListResult, type CreateBlockFilterError, type CreateEventFilterError, type CreatePendingTransactionFilterError, CustomTransport, type CustomTransportConfig, CustomTransportFromFn, Debug, DebugService, type DebugShape, type DebugTraceConfig, type DecodedEvent, DefaultAbiEncoder, DefaultCcip, DefaultEns, DefaultFeeEstimator, DefaultFormatter, DefaultKzg, DefaultNonceManager, DefaultRateLimiter, DefaultTransactionSerializer, DeserializeError, type EIP1193Provider, ENS_REGISTRY_ADDRESS, ENS_UNIVERSAL_RESOLVER_ADDRESS, EngineApi, EngineApiService, type EngineApiShape, EnsError, EnsService, type EnsShape, type EstimateGasError, EthBlockNumber, EthCall, EthChainId, EthEstimateGas, EthGasPrice, EthGetBalance, EthGetBlockByHash, EthGetBlockByNumber, EthGetCode, EthGetLogs, EthGetStorageAt, EthGetTransactionByHash, EthGetTransactionCount, EthGetTransactionReceipt, type EventFilter, FeeEstimationError, FeeEstimatorService, type FeeEstimatorShape, type FeeHistoryType, type FeeValues, type FeeValuesEIP1559, type FeeValuesLegacy, type FilterChanges, type FilterId, ForkBlockchain, type ForkBlockchainOptions, FormatError, FormatterService, type FormatterShape, GenericRpcRequest, type GetAccountsError, GetBalance, type GetBalanceError, type GetBlobBaseFeeError, type GetBlockArgs, type GetBlockError, type GetBlockNumberError, type GetBlockReceiptsArgs, type GetBlockReceiptsError, type GetBlockTransactionCountArgs, type GetBlockTransactionCountError, type GetChainIdError, type GetCodeError, type GetCoinbaseError, type GetEnsAddressParams, type GetEnsAvatarParams, type GetEnsNameParams, type GetEnsResolverParams, type GetEnsTextParams, type GetFeeHistoryError, type GetFilterChangesError, type GetFilterLogsError, type GetGasPriceError, type GetHashrateError, type GetLogsError, type GetMaxPriorityFeePerGasError, type GetMiningError, type GetProofError, type GetProtocolVersionError, type GetStorageAtError, type GetSyncingError, type GetTransactionByBlockHashAndIndexError, type GetTransactionByBlockNumberAndIndexError, type GetTransactionConfirmationsError, type GetTransactionCountError, type GetTransactionError, type GetTransactionReceiptError, type GetUncleArgs, type GetUncleCountArgs, type GetUncleCountError, type GetUncleError, type GetWorkError, type HashInput, HttpProvider, HttpProviderFetch, HttpTransport, IdGenerator, IdGeneratorLive, type IdGeneratorShape, InMemoryBlockchain, type InferContractRegistry, IpcProvider, JsonRpcAccount, KzgError, KzgService, type KzgShape, LocalAccount, type LogFilter, type LogType, MULTICALL3_ADDRESS, MainnetFullProvider, MainnetProvider, MemoryCache, type MemoryCacheOptions, type MulticallCall, MulticallError, type MulticallParams, type MulticallResult, type MulticallResults, type NetVersionError, NonceError, NonceManagerService, type NonceManagerShape, NoopCache, NoopCcip, NoopKzg, NoopRateLimiter, OptimismFormatter, OptimismProvider, PolygonProvider, type ProofType, Provider, ProviderConfirmationsPendingError, type ProviderError, ProviderNotFoundError, ProviderReceiptPendingError, ProviderResponseError, ProviderService, type ProviderStepConfig, ProviderStreamError, ProviderTimeoutError, ProviderValidationError, type RateLimitBehavior, RateLimitError, RateLimitedTransport, type RateLimiterConfig, RateLimiterService, type RateLimiterShape, RawProviderService, type RawProviderShape, RawProviderTransport, type RequestArguments as RawRequestArguments, type ReadContractError, type ReadContractParams, type ReceiptType, RpcBatch, RpcBatchService, type RpcBatchShape, type RpcRequest, type RpcTransactionRequest$1 as RpcTransactionRequest, type RpcUrlsConfig, type SendRawTransactionError, type SendTransactionError, SepoliaProvider, SerializeError, type SignError, type SignTransactionError, Signer, SignerError, SignerService, type SignerShape, type SimulateCallsError, type SimulateCallsParams, type SimulateContractError, type SimulateContractParams, type SimulateContractResult, type SimulateV1BlockCall, type SimulateV1BlockResult, type SimulateV1CallResult, type SimulateV1Error, type SimulateV1Payload, type SimulateV1Result, type SimulateV2Error, type SimulateV2Payload, type SimulateV2Result, type SimulationResult, type StateOverride, type StorageProofType, type SubmitHashrateError, type SubmitWorkError, type SubscribeError, type SyncingStatus, TestProvider, TestTransport, type TransactionIndexInput, type TransactionRequest, TransactionSerializerService, TransactionStream, TransactionStreamError, TransactionStreamService, type TransactionStreamShape, type TransactionType, TransportError, TransportService, type TransportShape, type UncleBlockType, type UninstallFilterError, type UnsignedTransaction, type UnsubscribeError, type WaitForTransactionReceiptArgs, type WaitForTransactionReceiptError, type WaitForTransactionReceiptOptions, type WatchBlocksError, WebSocketProvider, type WebSocketProviderConfig, WebSocketProviderGlobal, WebSocketTransport, type WithdrawalType, ZkSyncFormatter, aggregate3, arbitrum, arbitrumBlockExplorers, arbitrumConfig, arbitrumContracts, backfillBlocks, base, baseBlockExplorers, baseConfig, baseContracts, bytesToHex, cacheEnabledRef, call, createAccessList, createBlockFilter, createEventFilter, createPendingTransactionFilter, createProvider, estimateGas$1 as estimateGas, formatAccessList, formatCallRequest, formatLogFilterParams, formatTransactionRequest, getAccounts, getBalance, getBlobBaseFee, getBlock, getBlockNumber, getBlockReceipts, getBlockTransactionCount, getChainId, getCode, getCoinbase, getEnsAddress, getEnsAvatar, getEnsName, getEnsResolver, getEnsText, getFeeHistory, getFilterChanges, getFilterLogs, getGasPrice, getHashrate, getLogs, getMaxPriorityFeePerGas, getMining, getProof, getProtocolVersion, getStorageAt, getSyncing, getTransaction, getTransactionByBlockHashAndIndex, getTransactionByBlockNumberAndIndex, getTransactionConfirmations, getTransactionCount, getTransactionReceipt, getUncle, getUncleCount, mainnet, mainnetBlockExplorers, mainnetConfig, mainnetContracts, makeBlockStream, makeContractRegistry, makeFeeEstimator, makeIdGenerator, makeProviderPlan, makeRateLimiter, makeResilientProviderPlan, makeRpcResolver, makeTransactionStream, multicall, netVersion, nextId, optimism, optimismBlockExplorers, optimismConfig, optimismContracts, parseHexToBigInt, polygon, polygonBlockExplorers, polygonConfig, polygonContracts, readContract, retryScheduleRef, rpcUrlsByChainId, sendRawTransaction, sendTransaction, sepolia, sepoliaBlockExplorers, sepoliaConfig, sepoliaContracts, sign, signTransaction, simulateCalls, simulateContract, simulateV1, simulateV2, subscribe, timeoutRef, toAddressHex, toHashHex, tracingRef, uninstallFilter, unsubscribe, waitForTransactionReceipt, watchBlocks, withRetrySchedule, withTimeout, withTracing, withoutCache };
+export { type Abi$2 as Abi, AbiDecodeError, AbiEncodeError, AbiEncoderService, type AbiEncoderShape, type AbiResolution, type AccessListInput, type AccessListType, AccountError, AccountService, type AccountShape, type AccountStateOverride, type AddressInput$2 as AddressInput, ArbitrumFormatter, ArbitrumProvider, type AssetChange, type BackfillBlocksError, BalanceResolver, BaseProvider, type Block, BlockExplorerApi, type BlockExplorerApiConfig, type BlockExplorerApiError, BlockExplorerApiService, type BlockExplorerApiShape, type BlockExplorerConfig, BlockExplorerConfigError, BlockExplorerDecodeError, BlockExplorerNotFoundError, BlockExplorerProxyResolutionError, BlockExplorerRateLimitError, BlockExplorerResponseError, BlockExplorerService, BlockExplorerUnexpectedError, type BlockOverrides, BlockStream, BlockStreamError, BlockStreamService, type BlockStreamShape, type BlockTag$1 as BlockTag, type BlockType, BlockchainError, type HexInput as BlockchainHexInput, BlockchainService, type BlockchainShape, BrowserProvider, BrowserTransport, CacheService, type CacheShape, type CallError, type CallRequest, CcipError, type CcipRequest, CcipService, type CcipShape, type ChainConfig, type ChainContract, ChainService, type ComposedServices, Contract, type Abi as ContractAbi, type AbiItem$1 as ContractAbiItem, type BlockTag as ContractBlockTag, type ContractCall, ContractCallError, type ContractDef, ContractError, ContractEventError, type ContractFactory, type ContractInstance, type ContractRegistryBase, type ContractRegistryConfig, ContractRegistryService, type ContractRegistryShape, type ContractSourceFile, ContractWriteError, type ContractsConfig, ContractsService, type CreateAccessListError, type CreateAccessListResult, type CreateBlockFilterError, type CreateEventFilterError, type CreatePendingTransactionFilterError, CustomTransport, type CustomTransportConfig, CustomTransportFromFn, Debug, DebugService, type DebugShape, type DebugTraceConfig, type DecodedEvent, DefaultAbiEncoder, DefaultCcip, DefaultEns, DefaultFeeEstimator, DefaultFormatter, DefaultKzg, DefaultNonceManager, DefaultRateLimiter, DefaultTransactionSerializer, DeserializeError, type EIP1193Provider, ENS_REGISTRY_ADDRESS, ENS_UNIVERSAL_RESOLVER_ADDRESS, EngineApi, EngineApiService, type EngineApiShape, EnsError, EnsService, type EnsShape, type EstimateGasError, EthBlockNumber, EthCall, EthChainId, EthEstimateGas, EthGasPrice, EthGetBalance, EthGetBlockByHash, EthGetBlockByNumber, EthGetCode, EthGetLogs, EthGetStorageAt, EthGetTransactionByHash, EthGetTransactionCount, EthGetTransactionReceipt, type EventFilter, type AbiItem as ExplorerAbiItem, type ExplorerContractInstance, type ExplorerSourceId, FeeEstimationError, FeeEstimatorService, type FeeEstimatorShape, type FeeHistoryType, type FeeValues, type FeeValuesEIP1559, type FeeValuesLegacy, type FilterChanges, type FilterId, ForkBlockchain, type ForkBlockchainOptions, FormatError, FormatterService, type FormatterShape, GenericRpcRequest, type GetAbiOptions, type GetAccountsError, GetBalance, type GetBalanceError, type GetBlobBaseFeeError, type GetBlockArgs, type GetBlockError, type GetBlockNumberError, type GetBlockReceiptsArgs, type GetBlockReceiptsError, type GetBlockTransactionCountArgs, type GetBlockTransactionCountError, type GetChainIdError, type GetCodeError, type GetCoinbaseError, type GetContractOptions, type GetEnsAddressParams, type GetEnsAvatarParams, type GetEnsNameParams, type GetEnsResolverParams, type GetEnsTextParams, type GetFeeHistoryError, type GetFilterChangesError, type GetFilterLogsError, type GetGasPriceError, type GetHashrateError, type GetLogsError, type GetMaxPriorityFeePerGasError, type GetMiningError, type GetProofError, type GetProtocolVersionError, type GetSourcesOptions, type GetStorageAtError, type GetSyncingError, type GetTransactionByBlockHashAndIndexError, type GetTransactionByBlockNumberAndIndexError, type GetTransactionConfirmationsError, type GetTransactionCountError, type GetTransactionError, type GetTransactionReceiptError, type GetUncleArgs, type GetUncleCountArgs, type GetUncleCountError, type GetUncleError, type GetWorkError, type HashInput, HttpProvider, HttpProviderFetch, HttpTransport, IdGenerator, IdGeneratorLive, type IdGeneratorShape, InMemoryBlockchain, type InferContractRegistry, IpcProvider, JsonRpcAccount, KzgError, KzgService, type KzgShape, LocalAccount, type LogFilter, type LogType, MULTICALL3_ADDRESS, MainnetFullProvider, MainnetProvider, MemoryCache, type MemoryCacheOptions, type MulticallCall, MulticallError, type MulticallParams, type MulticallResult, type MulticallResults, type NetVersionError, NonceError, NonceManagerService, type NonceManagerShape, NoopCache, NoopCcip, NoopKzg, NoopRateLimiter, OptimismFormatter, OptimismProvider, PolygonProvider, type ProofType, Provider, ProviderConfirmationsPendingError, type ProviderError, ProviderNotFoundError, ProviderReceiptPendingError, ProviderResponseError, ProviderService, type ProviderStepConfig, ProviderStreamError, ProviderTimeoutError, ProviderValidationError, type ProxyInfo, type RateLimitBehavior, RateLimitError, RateLimitedTransport, type RateLimiterConfig, RateLimiterService, type RateLimiterShape, RawProviderService, type RawProviderShape, RawProviderTransport, type RequestArguments as RawRequestArguments, type ReadContractError, type ReadContractParams, type ReceiptType, type ResolvedExplorerContract, RpcBatch, RpcBatchService, type RpcBatchShape, type RpcRequest, type RpcTransactionRequest$1 as RpcTransactionRequest, type RpcUrlsConfig, type SendRawTransactionError, type SendTransactionError, SepoliaProvider, SerializeError, type SignError, type SignTransactionError, Signer, SignerError, SignerService, type SignerShape, type SimulateCallsError, type SimulateCallsParams, type SimulateContractError, type SimulateContractParams, type SimulateContractResult, type SimulateV1BlockCall, type SimulateV1BlockResult, type SimulateV1CallResult, type SimulateV1Error, type SimulateV1Payload, type SimulateV1Result, type SimulateV2Error, type SimulateV2Payload, type SimulateV2Result, type SimulationResult, type StateOverride, type StorageProofType, type SubmitHashrateError, type SubmitWorkError, type SubscribeError, type SyncingStatus, TestProvider, TestTransport, type TransactionIndexInput, type TransactionRequest, TransactionSerializerService, TransactionStream, TransactionStreamError, TransactionStreamService, type TransactionStreamShape, type TransactionType, TransportError, TransportService, type TransportShape, type UncleBlockType, type UninstallFilterError, type UnsignedTransaction, type UnsubscribeError, type WaitForTransactionReceiptArgs, type WaitForTransactionReceiptError, type WaitForTransactionReceiptOptions, type WatchBlocksError, WebSocketProvider, type WebSocketProviderConfig, WebSocketProviderGlobal, WebSocketTransport, type WithdrawalType, ZkSyncFormatter, aggregate3, arbitrum, arbitrumBlockExplorers, arbitrumConfig, arbitrumContracts, backfillBlocks, base, baseBlockExplorers, baseConfig, baseContracts, bytesToHex, cacheEnabledRef, call, createAccessList, createBlockFilter, createEventFilter, createPendingTransactionFilter, createProvider, estimateGas$1 as estimateGas, formatAccessList, formatCallRequest, formatLogFilterParams, formatTransactionRequest, getAccounts, getBalance, getBlobBaseFee, getBlock, getBlockNumber, getBlockReceipts, getBlockTransactionCount, getChainId, getCode, getCoinbase, getEnsAddress, getEnsAvatar, getEnsName, getEnsResolver, getEnsText, getFeeHistory, getFilterChanges, getFilterLogs, getGasPrice, getHashrate, getLogs, getMaxPriorityFeePerGas, getMining, getProof, getProtocolVersion, getStorageAt, getSyncing, getTransaction, getTransactionByBlockHashAndIndex, getTransactionByBlockNumberAndIndex, getTransactionConfirmations, getTransactionCount, getTransactionReceipt, getUncle, getUncleCount, mainnet, mainnetBlockExplorers, mainnetConfig, mainnetContracts, makeBlockStream, makeContractRegistry, makeFeeEstimator, makeIdGenerator, makeProviderPlan, makeRateLimiter, makeResilientProviderPlan, makeRpcResolver, makeTransactionStream, multicall, netVersion, nextId, optimism, optimismBlockExplorers, optimismConfig, optimismContracts, parseHexToBigInt, polygon, polygonBlockExplorers, polygonConfig, polygonContracts, readContract, retryScheduleRef, rpcUrlsByChainId, sendRawTransaction, sendTransaction, sepolia, sepoliaBlockExplorers, sepoliaConfig, sepoliaContracts, sign, signTransaction, simulateCalls, simulateContract, simulateV1, simulateV2, subscribe, timeoutRef, toAddressHex, toHashHex, tracingRef, uninstallFilter, unsubscribe, waitForTransactionReceipt, watchBlocks, withRetrySchedule, withTimeout, withTracing, withoutCache };