npm - @nomicfoundation/edr - Versions diffs - 0.13.0 → 0.14.0 - Mend

@nomicfoundation/edr 0.13.0 → 0.14.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (3) hide show

package/index.d.ts CHANGED Viewed

@@ -1,7 +1,165 @@
-/* tslint:disable */
+/* auto-generated by NAPI-RS */
 /* eslint-disable */
+/**
+ * Opaque handle to the `Bytecode` struct.
+ * Only used on the JS side by the `VmTraceDecoder` class.
+ */
+export declare class BytecodeWrapper {
-/* auto-generated by NAPI-RS */
+}
+export declare class ContractDecoder {
+  /** Creates an empty instance. */
+  constructor()
+  /** Creates a new instance with the provided configuration. */
+  static withContracts(config: TracingConfigWithBuffers): ContractDecoder
+}
+export declare class EdrContext {
+  /** Creates a new [`EdrContext`] instance. Should only be called once! */
+  constructor()
+  /** Constructs a new provider with the provided configuration. */
+  createProvider(chainType: string, providerConfig: ProviderConfig, loggerConfig: LoggerConfig, subscriptionConfig: SubscriptionConfig, contractDecoder: ContractDecoder): Promise<Provider>
+  /** Registers a new provider factory for the provided chain type. */
+  registerProviderFactory(chainType: string, factory: ProviderFactory): Promise<void>
+  registerSolidityTestRunnerFactory(chainType: string, factory: SolidityTestRunnerFactory): Promise<void>
+  /**
+   * Executes Solidity tests
+   *
+   * The function will return a promise that resolves to a
+   * [`SolidityTestResult`].
+   *
+   * Arguments:
+   * - `chainType`: the same chain type that was passed to
+   *   `registerProviderFactory`.
+   * - `artifacts`: the project's compilation output artifacts. It's
+   *   important to include include all artifacts here, otherwise cheatcodes
+   *   that access artifacts and other functionality (e.g. auto-linking, gas
+   *   reports) can break.
+   * - `testSuites`: the test suite ids that specify which test suites to
+   *   execute. The test suite artifacts must be present in `artifacts`.
+   * - `configArgs`: solidity test runner configuration. See the struct docs
+   *   for details.
+   * - `tracingConfig`: the build infos used for stack trace generation.
+   *   These are lazily parsed and it's important that they're passed as
+   *   Uint8 arrays for performance.
+   * - `onTestSuiteCompletedCallback`: The progress callback will be called
+   *   with the results of each test suite as soon as it finished executing.
+   */
+  runSolidityTests(chainType: string, artifacts: Array<Artifact>, testSuites: Array<ArtifactId>, configArgs: SolidityTestRunnerConfigArgs, tracingConfig: TracingConfigWithBuffers, onTestSuiteCompletedCallback: (arg: SuiteResult) => void): Promise<SolidityTestResult>
+}
+export declare class Exit {
+  get kind(): ExitCode
+  isError(): boolean
+  getReason(): string
+}
+export declare class Precompile {
+  /** Returns the address of the precompile. */
+  get address(): Uint8Array
+}
+/** A JSON-RPC provider for Ethereum. */
+export declare class Provider {
+  /**
+   * Adds a compilation result to the instance.
+   *
+   * For internal use only. Support for this method may be removed in the future.
+   */
+  addCompilationResult(solcVersion: string, compilerInput: any, compilerOutput: any): Promise<void>
+  /** Retrieves the instance's contract decoder. */
+  contractDecoder(): ContractDecoder
+  /** Handles a JSON-RPC request and returns a JSON-RPC response. */
+  handleRequest(request: string): Promise<Response>
+  setCallOverrideCallback(callOverrideCallback: (contract_address: ArrayBuffer, data: ArrayBuffer) => Promise<CallOverrideResult | undefined>): Promise<void>
+  /**
+   * Set to `true` to make the traces returned with `eth_call`,
+   * `eth_estimateGas`, `eth_sendRawTransaction`, `eth_sendTransaction`,
+   * `evm_mine`, `hardhat_mine` include the full stack and memory. Set to
+   * `false` to disable this.
+   */
+  setVerboseTracing(verboseTracing: boolean): Promise<void>
+}
+export declare class ProviderFactory {
+}
+export declare class RawTrace {
+  get trace(): Array<TracingMessage | TracingStep | TracingMessageResult>
+}
+export declare class Response {
+  /** Returns the response data as a JSON string or a JSON object. */
+  get data(): string | any
+  /** Compute the error stack trace. Return the stack trace if it can be decoded, otherwise returns none. Throws if there was an error computing the stack trace. */
+  stackTrace(): StackTrace | UnexpectedError | HeuristicFailed | null
+  /**
+   * Constructs the execution traces for the request. Returns an empty array
+   * if traces are not enabled for this provider according to
+   * [`crate::solidity_tests::config::SolidityTestRunnerConfigArgs::include_traces`]. Otherwise, returns
+   * an array of the root calls of the trace, which always includes the
+   * request's call itself.
+   */
+  callTraces(): Array<CallTrace>
+}
+export declare class ReturnData {
+  readonly value: Uint8Array
+  constructor(value: Uint8Array)
+  isEmpty(): boolean
+  isErrorReturnData(): boolean
+  isPanicReturnData(): boolean
+  decodeError(): string
+  decodePanic(): bigint
+}
+export declare class SolidityTestRunnerFactory {
+}
+/** See [`edr_solidity_tests::result::TestResult`] */
+export declare class TestResult {
+  /** The name of the test. */
+  get name(): string
+  /** See [`edr_solidity_tests::result::TestResult::status`] */
+  get status(): TestStatus
+  /** See [`edr_solidity_tests::result::TestResult::reason`] */
+  get reason(): string | undefined
+  /** See [`edr_solidity_tests::result::TestResult::counterexample`] */
+  get counterexample(): BaseCounterExample | CounterExampleSequence | undefined
+  /** See [`edr_solidity_tests::result::TestResult::decoded_logs`] */
+  get decodedLogs(): Array<string>
+  /** See [`edr_solidity_tests::result::TestResult::kind`] */
+  get kind(): StandardTestKind | FuzzTestKind | InvariantTestKind
+  /** See [`edr_solidity_tests::result::TestResult::duration`] */
+  get durationNs(): bigint
+  /**
+   * Groups of value snapshot entries (incl. gas).
+   *
+   * Only present if the test runner collected scoped snapshots. Currently,
+   * this is always the case.
+   */
+  get valueSnapshotGroups(): Array<ValueSnapshotGroup> | undefined
+  /**
+   * Compute the error stack trace.
+   * The result is either the stack trace or the reason why we couldn't
+   * generate the stack trace.
+   * Returns null if the test status is succeeded or skipped.
+   * Cannot throw.
+   */
+  stackTrace(): StackTrace | UnexpectedError | HeuristicFailed | UnsafeToReplay | null
+  /**
+   * Constructs the execution traces for the test. Returns an empty array if
+   * traces for this test were not requested according to
+   * [`crate::solidity_tests::config::SolidityTestRunnerConfigArgs::include_traces`]. Otherwise, returns
+   * an array of the root calls of the trace, which always includes the test
+   * call itself and may also include the setup call if there is one
+   * (identified by the function name `setUp`).
+   */
+  callTraces(): Array<CallTrace>
+}
 /** Specification of overrides for an account and its storage. */
 export interface AccountOverride {
@@ -20,13 +178,79 @@ export interface AccountOverride {
    */
   storage?: Array<StorageSlot>
 }
-/** A description of a storage slot's state. */
-export interface StorageSlot {
-  /** The storage slot's index */
-  index: bigint
-  /** The storage slot's value */
-  value: bigint
+export interface AddressLabel {
+  /** The address to label */
+  address: Uint8Array
+  /** The label to assign to the address */
+  label: string
+}
+/**
+ * Adds per-statement coverage instrumentation to the given Solidity source
+ * code.
+ */
+export declare function addStatementCoverageInstrumentation(sourceCode: string, sourceId: string, solidityVersion: string): InstrumentationResult
+export const AMSTERDAM: string
+export const ARROW_GLACIER: string
+/** A compilation artifact. */
+export interface Artifact {
+  /** The identifier of the artifact. */
+  id: ArtifactId
+  /** The test contract. */
+  contract: ContractData
+}
+/** The identifier of a Solidity contract. */
+export interface ArtifactId {
+  /** The name of the contract. */
+  name: string
+  /** Original source file path. */
+  source: string
+  /** The solc semver string. */
+  solcVersion: string
+}
+/** See [`edr_solidity_tests::fuzz::BaseCounterExample`] */
+export interface BaseCounterExample {
+  /** See [`edr_solidity_tests::fuzz::BaseCounterExample::sender`] */
+  readonly sender?: Uint8Array
+  /** See [`edr_solidity_tests::fuzz::BaseCounterExample::addr`] */
+  readonly address?: Uint8Array
+  /** See [`edr_solidity_tests::fuzz::BaseCounterExample::calldata`] */
+  readonly calldata: Uint8Array
+  /** See [`edr_solidity_tests::fuzz::BaseCounterExample::contract_name`] */
+  readonly contractName?: string
+  /** See [`edr_solidity_tests::fuzz::BaseCounterExample::signature`] */
+  readonly signature?: string
+  /** See [`edr_solidity_tests::fuzz::BaseCounterExample::args`] */
+  readonly args?: string
+}
+export interface BaseFeeActivationByBlockNumber {
+  /** The block number at which the `base_fee_params` is activated */
+  blockNumber: bigint
+}
+export interface BaseFeeActivationByHardfork {
+  /** The hardfork at which the `base_fee_params` is activated */
+  hardfork: string
+}
+/** Configuration for EIP-1559 parameters */
+export interface BaseFeeParamActivation {
+  activation: BaseFeeActivationByBlockNumber | BaseFeeActivationByHardfork
+  maxChangeDenominator: bigint
+  elasticityMultiplier: bigint
 }
+export const BEDROCK: string
+export const BERLIN: string
 /** Information about the blob gas used in a block. */
 export interface BlobGas {
   /**
@@ -42,143 +266,119 @@ export interface BlobGas {
    */
   excessGas: bigint
 }
-/** The result of executing a call override. */
-export interface CallOverrideResult {
-  result: Uint8Array
-  shouldRevert: boolean
+/**
+ * Hardhat V3 build info where the compiler output is not part of the build
+ * info file.
+ */
+export interface BuildInfoAndOutput {
+  /** The build info input file */
+  buildInfo: Uint8Array
+  /** The build info output file */
+  output: Uint8Array
 }
-export const GENERIC_CHAIN_TYPE: string
-export declare function genericChainProviderFactory(): ProviderFactory
-export const L1_CHAIN_TYPE: string
-export declare function l1GenesisState(hardfork: SpecId): Array<AccountOverride>
-export declare function l1ProviderFactory(): ProviderFactory
-/** Identifier for the Ethereum spec. */
-export enum SpecId {
-  /** Frontier */
-  Frontier = 0,
-  /** Frontier Thawing */
-  FrontierThawing = 1,
-  /** Homestead */
-  Homestead = 2,
-  /** DAO Fork */
-  DaoFork = 3,
-  /** Tangerine */
-  Tangerine = 4,
-  /** Spurious Dragon */
-  SpuriousDragon = 5,
-  /** Byzantium */
-  Byzantium = 6,
-  /** Constantinople */
-  Constantinople = 7,
-  /** Petersburg */
-  Petersburg = 8,
-  /** Istanbul */
-  Istanbul = 9,
-  /** Muir Glacier */
-  MuirGlacier = 10,
-  /** Berlin */
-  Berlin = 11,
-  /** London */
-  London = 12,
-  /** Arrow Glacier */
-  ArrowGlacier = 13,
-  /** Gray Glacier */
-  GrayGlacier = 14,
-  /** Merge */
-  Merge = 15,
-  /** Shanghai */
-  Shanghai = 16,
-  /** Cancun */
-  Cancun = 17,
-  /** Prague */
-  Prague = 18,
-  /** Osaka */
-  Osaka = 19
-}
-/**
- * Tries to parse the provided string to create a [`SpecId`] instance.
- *
- * Returns an error if the string does not match any known hardfork.
- */
-export declare function l1HardforkFromString(hardfork: string): SpecId
-export declare function l1HardforkToString(harfork: SpecId): string
-/**
- * Returns the latest supported OP hardfork.
- *
- * The returned value will be updated after each network upgrade.
- */
-export declare function l1HardforkLatest(): SpecId
-export const FRONTIER: string
-export const FRONTIER_THAWING: string
-export const HOMESTEAD: string
-export const DAO_FORK: string
-export const TANGERINE: string
-export const SPURIOUS_DRAGON: string
 export const BYZANTIUM: string
-export const CONSTANTINOPLE: string
-export const PETERSBURG: string
-export const ISTANBUL: string
-export const MUIR_GLACIER: string
-export const BERLIN: string
-export const LONDON: string
-export const ARROW_GLACIER: string
-export const GRAY_GLACIER: string
-export const MERGE: string
-export const SHANGHAI: string
-export const CANCUN: string
-export const PRAGUE: string
-export const OSAKA: string
-/** Enumeration of supported OP hardforks. */
-export enum OpHardfork {
-  Bedrock = 100,
-  Regolith = 101,
-  Canyon = 102,
-  Ecotone = 103,
-  Fjord = 104,
-  Granite = 105,
-  Holocene = 106,
-  Isthmus = 107
+/** What chains to cache */
+export declare enum CachedChains {
+  /** Cache all chains */
+  All = 0,
+  /** Don't cache anything */
+  None = 1
 }
-/**
- * Tries to parse the provided string to create an [`OpHardfork`]
- * instance.
- *
- * Returns an error if the string does not match any known hardfork.
- */
-export declare function opHardforkFromString(hardfork: string): OpHardfork
-/** Returns the string representation of the provided OP hardfork. */
-export declare function opHardforkToString(hardfork: OpHardfork): string
-/**
- * Returns the latest supported OP hardfork.
- *
- * The returned value will be updated after each network upgrade.
- */
-export declare function opLatestHardfork(): OpHardfork
-export const OP_CHAIN_TYPE: string
-export declare function opGenesisState(hardfork: OpHardfork): Array<AccountOverride>
-export declare function opProviderFactory(): ProviderFactory
-export const BEDROCK: string
-export const REGOLITH: string
-export const CANYON: string
-export const ECOTONE: string
-export const FJORD: string
-export const GRANITE: string
-export const HOLOCENE: string
-export const ISTHMUS: string
-/** Configuration for EIP-1559 parameters */
-export interface BaseFeeParamActivation {
-  activation: BaseFeeActivationByBlockNumber | BaseFeeActivationByHardfork
-  maxChangeDenominator: bigint
-  elasticityMultiplier: bigint
+/** What endpoints to enable caching for */
+export declare enum CachedEndpoints {
+  /** Cache all endpoints */
+  All = 0,
+  /** Only cache non-local host endpoints */
+  Remote = 1
 }
-export interface BaseFeeActivationByBlockNumber {
-  /** The block number at which the `base_fee_params` is activated */
-  blockNumber: bigint
+export interface CallFailedErrorStackTraceEntry {
+  type: StackTraceEntryType.CALL_FAILED_ERROR
+  sourceReference: SourceReference
 }
-export interface BaseFeeActivationByHardfork {
-  /** The hardfork at which the `base_fee_params` is activated */
-  hardfork: string
+/** The various kinds of call frames possible in the EVM. */
+export declare enum CallKind {
+  /** Regular call that may change state. */
+  Call = 0,
+  /**
+   * Variant of `DelegateCall` that doesn't preserve sender or value in the
+   * frame.
+   */
+  CallCode = 1,
+  /** Call that executes the code of the target in the context of the caller. */
+  DelegateCall = 2,
+  /** Regular call that may not change state. */
+  StaticCall = 3,
+  /** Contract creation. */
+  Create = 4
+}
+export interface CallOutput {
+  /** Return value */
+  returnValue: Uint8Array
+}
+/** The result of executing a call override. */
+export interface CallOverrideResult {
+  result: Uint8Array
+  shouldRevert: boolean
+}
+export interface CallstackEntryStackTraceEntry {
+  type: StackTraceEntryType.CALLSTACK_ENTRY
+  sourceReference: SourceReference
+  functionType: ContractFunctionType
+}
+/**
+ * Object representing a call in an execution trace, including contract
+ * creation.
+ */
+export interface CallTrace {
+  /** The kind of call or contract creation this represents. */
+  kind: CallKind
+  /** Whether the call succeeded or reverted. */
+  success: boolean
+  /** Whether the call is a cheatcode. */
+  isCheatcode: boolean
+  /** The amount of gas that was consumed. */
+  gasUsed: bigint
+  /** The amount of native token that was included with the call. */
+  value: bigint
+  /** The target address of the call. */
+  address: string
+  /** The name of the contract that is the target of the call, if known. */
+  contract?: string
+  /**
+   * The input (calldata) to the call. If it encodes a known function call,
+   * it will be decoded into the function name and a list of arguments.
+   * For example, `{ name: "ownerOf", arguments: ["1"] }`. Note that the
+   * function name may also be any of the special `fallback` and `receive`
+   * functions. Otherwise, it will be provided as a raw byte array.
+   */
+  inputs: DecodedTraceParameters | Uint8Array
+  /**
+   * The output of the call. This will be a decoded human-readable
+   * representation of the value if the function is known, otherwise a
+   * raw byte array.
+   */
+  outputs: string | Uint8Array
+  /**
+   * Interleaved subcalls and event logs. Use `kind` to check if each member
+   * of the array is a call or log trace.
+   */
+  children: Array<CallTrace | LogTrace>
 }
+export const CANCUN: string
+export const CANYON: string
 /** Specification of a chain with possible overrides. */
 export interface ChainOverride {
   /** The chain ID */
@@ -188,6 +388,30 @@ export interface ChainOverride {
   /** If present, overrides for the chain's supported hardforks */
   hardforkActivationOverrides?: Array<HardforkActivation>
 }
+/** Error codes that can be returned by cheatcodes in Solidity tests. */
+export declare enum CheatcodeErrorCode {
+  /** The specified cheatcode is not supported. */
+  UnsupportedCheatcode = 'UnsupportedCheatcode',
+  /** The specified cheatcode is missing. */
+  MissingCheatcode = 'MissingCheatcode'
+}
+/** Error returned by a cheatcode in Solidity tests. */
+export interface CheatcodeErrorDetails {
+  /** The error code representing the type of cheatcode error. */
+  code: CheatcodeErrorCode
+  /** The name of the cheatcode that caused the error. */
+  cheatcode: string
+}
+export interface CheatcodeErrorStackTraceEntry {
+  type: StackTraceEntryType.CHEATCODE_ERROR
+  message: string
+  sourceReference: SourceReference
+  details?: CheatcodeErrorDetails
+}
 /** Configuration for a code coverage reporter. */
 export interface CodeCoverageConfig {
   /**
@@ -201,221 +425,99 @@ export interface CodeCoverageConfig {
    */
   onCollectedCoverageCallback: (coverageHits: Uint8Array[]) => Promise<void>
 }
-export interface GasReportConfig {
+/** A type that controls when stack traces are collected. */
+export declare enum CollectStackTraces {
+  /** Always collects stack traces, adding performance overhead. */
+  Always = 0,
   /**
-   * Gas reports are collected after a block is mined or `eth_call` is
-   * executed.
+   * Only collects stack traces upon failure, re-executing the test. This
+   * minimizes performance overhead.
    *
-   * Exceptions thrown in the callback will be propagated to the original
-   * caller.
+   * Not all tests can be re-executed since certain cheatcodes contain
+   * non-deterministic side-effects.
    */
-  onCollectedGasReportCallback: (gasReport: GasReport) => Promise<void>
+  OnFailure = 1
 }
-/** Configuration for forking a blockchain */
-export interface ForkConfig {
+export const CONSTANTINOPLE: string
+export const CONSTRUCTOR_FUNCTION_NAME: string
+export interface ContractCallRunOutOfGasError {
+  type: StackTraceEntryType.CONTRACT_CALL_RUN_OUT_OF_GAS_ERROR
+  sourceReference?: SourceReference
+}
+/** A test contract to execute. */
+export interface ContractData {
+  /** Contract ABI as json string. */
+  abi: string
   /**
-   * The block number to fork from. If not provided, the latest safe block is
-   * used.
+   * Contract creation code as hex string. It can be missing if the contract
+   * is ABI only.
    */
-  blockNumber?: bigint
-  /** The directory to cache remote JSON-RPC responses */
-  cacheDir?: string
-  /** Overrides for the configuration of chains. */
-  chainOverrides?: Array<ChainOverride>
-  /** The HTTP headers to use when making requests to the JSON-RPC endpoint */
-  httpHeaders?: Array<HttpHeader>
-  /** The URL of the JSON-RPC endpoint to fork from */
-  url: string
-}
-export interface HttpHeader {
-  name: string
-  value: string
-}
-/** Configuration for a hardfork activation */
-export interface HardforkActivation {
-  /** The condition for the hardfork activation */
-  condition: HardforkActivationByBlockNumber | HardforkActivationByTimestamp
-  /** The activated hardfork */
-  hardfork: string
-}
-export interface HardforkActivationByBlockNumber {
-  /** The block number at which the hardfork is activated */
-  blockNumber: bigint
-}
-export interface HardforkActivationByTimestamp {
-  /** The timestamp at which the hardfork is activated */
-  timestamp: bigint
-}
-/** Controls the gas estimation strategy used by `eth_estimateGas`. */
-export enum GasEstimationMode {
-  /** Estimates the minimum gas required for the top-level call to succeed. */
-  TopLevelSuccess = 0,
-  /**
-   * Estimates the minimum gas required for the top-level call to succeed
-   * without any internal sub-call running out of gas.
-   */
-  NoInternalOutOfGas = 1
-}
-/**The type of ordering to use when selecting blocks to mine. */
-export enum MineOrdering {
-  /**Insertion order */
-  Fifo = 'Fifo',
-  /**Effective miner fee */
-  Priority = 'Priority'
-}
-/** Configuration for the provider's mempool. */
-export interface MemPoolConfig {
-  order: MineOrdering
-}
-export interface IntervalRange {
-  min: bigint
-  max: bigint
-}
-/** Configuration for the provider's miner. */
-export interface MiningConfig {
-  autoMine: boolean
-  /**
-   * The block gas limit to use for mining a block.
-   *
-   * When not set, enforcement of the block gas limit is disabled in the mem
-   * pool, miner, and REVM.
-   */
-  blockGasLimit?: bigint
-  interval?: bigint | IntervalRange
-  memPool: MemPoolConfig
-}
-/** Configuration for a locally mined blockchain. */
-export interface LocalConfig {
+  bytecode?: string
+  /** The link references of the deployment bytecode. */
+  linkReferences?: Record<string, Record<string, Array<LinkReference>>>
   /**
-   * The blob gas used for the genesis block, introduced in [EIP-4844].
-   *
-   * [EIP-4844]: https://eips.ethereum.org/EIPS/eip-4844
+   * Contract runtime code as hex string. It can be missing if the contract
+   * is ABI only.
    */
-  genesisBlobGas?: BlobGas
-  /** The block gas limit of the genesis block. */
-  genesisBlockGasLimit: bigint
-  /** The date, in seconds since the Unix epoch, of the genesis block. */
-  genesisBlockTime?: bigint
+  deployedBytecode?: string
+  /** The link references of the deployed bytecode. */
+  deployedLinkReferences?: Record<string, Record<string, Array<LinkReference>>>
 }
-/** Configuration for runtime observability. */
-export interface ObservabilityConfig {
-  /** If present, configures runtime observability to collect code coverage. */
-  codeCoverage?: CodeCoverageConfig
-  /** If present, configures runtime observability to collect gas reports. */
-  gasReport?: GasReportConfig
-  /**
-   * Controls when to include call traces in the results of transaction
-   * execution.
-   *
-   * Defaults to `IncludeTraces.None`.
-   */
-  includeCallTraces?: IncludeTraces
+export declare enum ContractFunctionType {
+  CONSTRUCTOR = 0,
+  FUNCTION = 1,
+  FALLBACK = 2,
+  RECEIVE = 3,
+  GETTER = 4,
+  MODIFIER = 5,
+  FREE_FUNCTION = 6
 }
-/** Configuration for a provider */
-export interface ProviderConfig {
-  /** Whether to allow blocks with the same timestamp */
-  allowBlocksWithSameTimestamp: boolean
-  /** Whether to allow unlimited contract size */
-  allowUnlimitedContractSize: boolean
-  /** Whether to return an `Err` when `eth_call` fails */
-  bailOnCallFailure: boolean
-  /** Whether to return an `Err` when a `eth_sendTransaction` fails */
-  bailOnTransactionFailure: boolean
-  /**
-   * EIP-1559 base fee parameters activations to be used to calculate the
-   * block base fee.
-   *
-   * Provide an ordered list of `base_fee_params` to be
-   * used starting from the specified activation point (hardfork or block
-   * number).
-   * If not provided, the default values from the chain spec
-   * will be used.
-   */
-  baseFeeConfig?: Array<BaseFeeParamActivation>
-  /** The chain ID of the blockchain */
-  chainId: bigint
-  /** The address of the coinbase */
-  coinbase: Uint8Array
-  /**
-   * The default transaction gas limit to use for RPC call and transaction
-   * requests that do not specify a `gas` value.
-   */
-  defaultTransactionGasLimit: bigint
-  /**
-   * The gas estimation mode to use for `eth_estimateGas`. Defaults to
-   * `GasEstimationMode::TopLevelSuccess` if not set.
-   */
-  gasEstimationMode?: GasEstimationMode
-  /** The genesis state of the blockchain */
-  genesisState: Array<AccountOverride>
-  /** The hardfork of the blockchain */
-  hardfork: string
-  /**
-   * The initial base fee per gas of the blockchain. Required for EIP-1559
-   * transactions and later
-   */
-  initialBaseFeePerGas?: bigint
-  /**
-   * The initial parent beacon block root of the blockchain. Required for
-   * EIP-4788
-   */
-  initialParentBeaconBlockRoot?: Uint8Array
-  /** The minimum gas price of the next block. */
-  minGasPrice: bigint
-  /** The configuration for the miner */
-  mining: MiningConfig
-  /** The network configuration for the provider. */
-  network: ForkConfig | LocalConfig
-  /** The network ID of the blockchain */
-  networkId: bigint
-  /** The configuration for the provider's observability */
-  observability: ObservabilityConfig
-  /** Secret keys of owned accounts */
-  ownedAccounts: Array<string>
-  /** Overrides for precompiles */
-  precompileOverrides: Array<Precompile>
-  /**
-   * Transaction gas cap, introduced in [EIP-7825].
-   *
-   * Integer values should be larger than zero.
-   *
-   * When `false`, enforcement of the transaction gas cap is disabled and
-   * transactions with any `gas` value are accepted by the mempool and
-   * executed without REVM's transaction gas cap check.
-   *
-   * When not set, a hardfork-specific default value will be used.
-   *
-   * [EIP-7825]: https://eips.ethereum.org/EIPS/eip-7825
-   */
-  transactionGasCap?: bigint | false
+export interface ContractGasReport {
+  deployments: Array<DeploymentGasReport>
+  functions: Record<string, Array<FunctionGasReport>>
 }
-/** Tracing config for Solidity stack trace generation. */
-export interface TracingConfigWithBuffers {
-  /**
-   * Build information to use for decoding contracts. Either a Hardhat v2
-   * build info file that contains both input and output or a Hardhat v3
-   * build info file that doesn't contain output and a separate output file.
-   */
-  buildInfos?: Array<Uint8Array> | Array<BuildInfoAndOutput>
-  /** Whether to ignore contracts whose name starts with "Ignored". */
-  ignoreContracts?: boolean
+export interface ContractTooLargeErrorStackTraceEntry {
+  type: StackTraceEntryType.CONTRACT_TOO_LARGE_ERROR
+  sourceReference?: SourceReference
 }
 /**
- * Hardhat V3 build info where the compiler output is not part of the build
- * info file.
+ * Original sequence size and sequence of calls used as a counter example
+ * for invariant tests.
  */
-export interface BuildInfoAndOutput {
-  /** The build info input file */
-  buildInfo: Uint8Array
-  /** The build info output file */
-  output: Uint8Array
+export interface CounterExampleSequence {
+  /** The original sequence size before shrinking. */
+  originalSequenceSize: bigint
+  /** The shrunk counterexample sequence. */
+  sequence: Array<BaseCounterExample>
 }
-export interface DebugTraceResult {
-  pass: boolean
-  gasUsed: bigint
-  output?: Uint8Array
-  structLogs: Array<DebugTraceLogItem>
+/** The instrumentation coverage library file name. */
+export const COVERAGE_LIBRARY_FILE_NAME: string
+export interface CreateOutput {
+  /** Return value */
+  returnValue: Uint8Array
+  /** Optionally, a 160-bit address */
+  address?: Uint8Array
+}
+export interface CustomErrorStackTraceEntry {
+  type: StackTraceEntryType.CUSTOM_ERROR
+  message: string
+  sourceReference: SourceReference
 }
+export const DAO_FORK: string
 export interface DebugTraceLogItem {
   /** Program Counter */
   pc: bigint
@@ -439,136 +541,44 @@ export interface DebugTraceLogItem {
   /** Map of all stored values with keys and values encoded as hex strings. */
   storage?: Record<string, string>
 }
-export interface GasReport {
-  contracts: Record<string, ContractGasReport>
-}
-export interface ContractGasReport {
-  deployments: Array<DeploymentGasReport>
-  functions: Record<string, Array<FunctionGasReport>>
+export interface DebugTraceResult {
+  pass: boolean
+  gasUsed: bigint
+  output?: Uint8Array
+  structLogs: Array<DebugTraceLogItem>
 }
-export enum GasReportExecutionStatus {
-  Success = 0,
-  Revert = 1,
-  Halt = 2
+/** Decoded function call or event. */
+export interface DecodedTraceParameters {
+  /** The name of a function or an event. */
+  name: string
+  /**
+   * The arguments of the function call or the event, in their human-readable
+   * representations.
+   */
+  arguments: Array<string>
 }
 export interface DeploymentGasReport {
   gas: bigint
   size: bigint
   runtimeSize: bigint
   status: GasReportExecutionStatus
 }
-export interface FunctionGasReport {
-  gas: bigint
-  status: GasReportExecutionStatus
-  /**
-   * The proxy delegation chain for this call, if the called contract is a
-   * proxy. Contains contract identifiers from outermost proxy to final
-   * implementation, e.g. `["Proxy", "Implementation"]`.
-   * Empty if the call is not through a proxy.
-   */
-  proxyChain: Array<string>
-}
-export interface InstrumentationResult {
-  /** The generated source code with coverage instrumentation. */
-  readonly source: string
-  /** The metadata for each instrumented code segment. */
-  readonly metadata: Array<InstrumentationMetadata>
-}
-export interface InstrumentationMetadata {
-  /**
-   * The tag that identifies the instrumented code. Tags are
-   * deterministically generated from the source code, source id, and
-   * Solidity version.
-   */
-  readonly tag: Uint8Array
-  /**
-   * The kind of instrumented code. Currently, the only supported kind
-   * is "statement".
-   */
-  readonly kind: string
-  /**
-   * The starting position of the instrumented code - including trivia such
-   * as whitespace - in the source code, in UTF-16 code units.
-   */
-  readonly startUtf16: number
-  /**
-   * The ending position of the instrumented code - including trivia such as
-   * whitespace - in the source code, in UTF-16 code units.
-   */
-  readonly endUtf16: number
-}
-/** The instrumentation coverage library file name. */
-export const COVERAGE_LIBRARY_FILE_NAME: string
-/**
- * Adds per-statement coverage instrumentation to the given Solidity source
- * code.
- */
-export declare function addStatementCoverageInstrumentation(sourceCode: string, sourceId: string, solidityVersion: string): InstrumentationResult
-/** Retrieves the latest version of `Solidity` supported for instrumentation. */
-export declare function latestSupportedSolidityVersion(): string
-/** Ethereum execution log. */
-export interface ExecutionLog {
-  address: Uint8Array
-  topics: Array<Uint8Array>
-  data: Uint8Array
-}
-export interface LoggerConfig {
-  /** Whether to enable the logger. */
-  enable: boolean
-  decodeConsoleLogInputsCallback: (inputs: ArrayBuffer[]) => string[]
-  printLineCallback: (message: string, replace: boolean) => void
-}
-/**
- * [RIP-7212](https://github.com/ethereum/RIPs/blob/master/RIPS/rip-7212.md#specification)
- * secp256r1 precompile.
- */
-export declare function precompileP256Verify(): Precompile
-/** The possible reasons for successful termination of the EVM. */
-export enum SuccessReason {
-  /** The opcode `STOP` was called */
-  Stop = 0,
-  /** The opcode `RETURN` was called */
-  Return = 1,
-  /** The opcode `SELFDESTRUCT` was called */
-  SelfDestruct = 2
-}
-export interface CallOutput {
-  /** Return value */
-  returnValue: Uint8Array
-}
-export interface CreateOutput {
-  /** Return value */
-  returnValue: Uint8Array
-  /** Optionally, a 160-bit address */
-  address?: Uint8Array
-}
-/** The result when the EVM terminates successfully. */
-export interface SuccessResult {
-  /** The reason for termination */
-  reason: SuccessReason
-  /** The amount of gas used */
-  gasUsed: bigint
-  /** The amount of gas refunded */
-  gasRefunded: bigint
-  /** The logs */
-  logs: Array<ExecutionLog>
-  /** The transaction output */
-  output: CallOutput | CreateOutput
-}
-/** The result when the EVM terminates due to a revert. */
-export interface RevertResult {
-  /** The amount of gas used */
-  gasUsed: bigint
-  /** The logs */
-  logs: Array<ExecutionLog>
-  /** The transaction output */
-  output: Uint8Array
+export interface DirectLibraryCallErrorStackTraceEntry {
+  type: StackTraceEntryType.DIRECT_LIBRARY_CALL_ERROR
+  sourceReference: SourceReference
 }
+export const ECOTONE: string
 /**
  * Indicates that the EVM has experienced an exceptional halt. This causes
  * execution to immediately end with all gas being consumed.
  */
-export enum ExceptionalHalt {
+export declare enum ExceptionalHalt {
   OutOfGas = 0,
   OpcodeNotFound = 1,
   InvalidFEOpcode = 2,
@@ -587,18 +597,14 @@ export enum ExceptionalHalt {
   /** EIP-3860: Limit and meter initcode. Initcode size limit exceeded. */
   CreateInitCodeSizeLimit = 13
 }
-/** The result when the EVM terminates due to an exceptional halt. */
-export interface HaltResult {
-  /** The exceptional halt that occurred */
-  reason: ExceptionalHalt
-  /**
-   * Halting will spend all the gas and will thus be equal to the specified
-   * gas limit
-   */
-  gasUsed: bigint
-  /** The logs */
-  logs: Array<ExecutionLog>
+/** Ethereum execution log. */
+export interface ExecutionLog {
+  address: Uint8Array
+  topics: Array<Uint8Array>
+  data: Uint8Array
 }
 /** The result of executing a transaction. */
 export interface ExecutionResult {
   /** The transaction result */
@@ -606,289 +612,125 @@ export interface ExecutionResult {
   /** Optional contract address if the transaction created a new contract. */
   contractAddress?: Uint8Array
 }
-/** A compilation artifact. */
-export interface Artifact {
-  /** The identifier of the artifact. */
-  id: ArtifactId
-  /** The test contract. */
-  contract: ContractData
+/** Represents the exit code of the EVM. */
+export declare enum ExitCode {
+  /** Execution was successful. */
+  SUCCESS = 0,
+  /** Execution was reverted. */
+  REVERT = 1,
+  /** Execution ran out of gas. */
+  OUT_OF_GAS = 2,
+  /** Execution encountered an internal error. */
+  INTERNAL_ERROR = 3,
+  /** Execution encountered an invalid opcode. */
+  INVALID_OPCODE = 4,
+  /** Execution encountered a stack underflow. */
+  STACK_UNDERFLOW = 5,
+  /** Create init code size exceeds limit (runtime). */
+  CODESIZE_EXCEEDS_MAXIMUM = 6,
+  /** Create collision. */
+  CREATE_COLLISION = 7,
+  /** Unknown halt reason. */
+  UNKNOWN_HALT_REASON = 8
 }
-/** The identifier of a Solidity contract. */
-export interface ArtifactId {
-  /** The name of the contract. */
-  name: string
-  /** Original source file path. */
-  source: string
-  /** The solc semver string. */
-  solcVersion: string
+export const FALLBACK_FUNCTION_NAME: string
+export interface FallbackNotPayableAndNoReceiveErrorStackTraceEntry {
+  type: StackTraceEntryType.FALLBACK_NOT_PAYABLE_AND_NO_RECEIVE_ERROR
+  value: bigint
+  sourceReference: SourceReference
 }
-/** A test contract to execute. */
-export interface ContractData {
-  /** Contract ABI as json string. */
-  abi: string
+export interface FallbackNotPayableErrorStackTraceEntry {
+  type: StackTraceEntryType.FALLBACK_NOT_PAYABLE_ERROR
+  value: bigint
+  sourceReference: SourceReference
+}
+export const FJORD: string
+/** Configuration for forking a blockchain */
+export interface ForkConfig {
   /**
-   * Contract creation code as hex string. It can be missing if the contract
-   * is ABI only.
+   * The block number to fork from. If not provided, the latest safe block is
+   * used.
    */
-  bytecode?: string
-  /** The link references of the deployment bytecode. */
-  linkReferences?: Record<string, Record<string, Array<LinkReference>>>
+  blockNumber?: bigint
+  /** The directory to cache remote JSON-RPC responses */
+  cacheDir?: string
+  /** Overrides for the configuration of chains. */
+  chainOverrides?: Array<ChainOverride>
+  /** The HTTP headers to use when making requests to the JSON-RPC endpoint */
+  httpHeaders?: Array<HttpHeader>
+  /** The URL of the JSON-RPC endpoint to fork from */
+  url: string
+}
+export const FRONTIER: string
+export const FRONTIER_THAWING: string
+/** * Determines the level of file system access for the given path.
+ *
+ * Exact path matching is used for file permissions. Prefix matching is used
+ * for directory permissions.
+ *
+ * Giving write access to configuration files, source files or executables
+ * in a project is considered dangerous, because it can be used by malicious
+ * Solidity dependencies to escape the EVM sandbox. It is therefore
+ * recommended to give write access to specific safe files only. If write
+ * access to a directory is needed, please make sure that it doesn't contain
+ * configuration files, source files or executables neither in the top level
+ * directory, nor in any subdirectories.
+ */
+export declare enum FsAccessPermission {
+  /** Allows reading and writing the file */
+  ReadWriteFile = 0,
+  /** Only allows reading the file */
+  ReadFile = 1,
+  /** Only allows writing the file */
+  WriteFile = 2,
   /**
-   * Contract runtime code as hex string. It can be missing if the contract
-   * is ABI only.
+   * Allows reading and writing all files in the directory and its
+   * subdirectories
    */
-  deployedBytecode?: string
-  /** The link references of the deployed bytecode. */
-  deployedLinkReferences?: Record<string, Record<string, Array<LinkReference>>>
-}
-export interface LinkReference {
-  start: number
-  length: number
-}
-/**Error codes that can be returned by cheatcodes in Solidity tests. */
-export enum CheatcodeErrorCode {
-  /**The specified cheatcode is not supported. */
-  UnsupportedCheatcode = 'UnsupportedCheatcode',
-  /**The specified cheatcode is missing. */
-  MissingCheatcode = 'MissingCheatcode'
-}
-/**Error returned by a cheatcode in Solidity tests. */
-export interface CheatcodeErrorDetails {
-  /**The error code representing the type of cheatcode error. */
-  code: CheatcodeErrorCode
-  /**The name of the cheatcode that caused the error. */
-  cheatcode: string
+  DangerouslyReadWriteDirectory = 3,
+  /** Allows reading all files in the directory and its subdirectories */
+  ReadDirectory = 4,
+  /** Allows writing all files in the directory and its subdirectories */
+  DangerouslyWriteDirectory = 5
 }
-/**
- * Solidity test runner configuration arguments exposed through the ffi.
- * Docs based on <https://book.getfoundry.sh/reference/config/testing>.
- */
-export interface SolidityTestRunnerConfigArgs {
+export interface FunctionGasReport {
+  gas: bigint
+  status: GasReportExecutionStatus
   /**
-   * The absolute path to the project root directory.
-   * Relative paths in cheat codes are resolved against this path.
+   * The proxy delegation chain for this call, if the called contract is a
+   * proxy. Contains contract identifiers from outermost proxy to final
+   * implementation, e.g. `["Proxy", "Implementation"]`.
+   * Empty if the call is not through a proxy.
    */
-  projectRoot: string
-  /** Configures the permissions of cheat codes that access the file system. */
-  fsPermissions?: Array<PathPermission>
-  /** Address labels for traces. Defaults to none. */
-  labels?: Array<AddressLabel>
-  /**
-   * Whether to enable isolation of calls. In isolation mode all top-level
-   * calls are executed as a separate transaction in a separate EVM
-   * context, enabling more precise gas accounting and transaction state
-   * changes.
-   * Defaults to false.
-   */
-  isolate?: boolean
-  /**
-   * Whether or not to enable the ffi cheatcode.
-   * Warning: Enabling this cheatcode has security implications, as it allows
-   * tests to execute arbitrary programs on your computer.
-   * Defaults to false.
-   */
-  ffi?: boolean
-  /**
-   * Allow expecting reverts with `expectRevert` at the same callstack depth
-   * as the test. Defaults to false.
-   */
-  allowInternalExpectRevert?: boolean
-  /**
-   * The value of `msg.sender` in tests as hex string.
-   * Defaults to `0x1804c8AB1F12E6bbf3894d4083f33e07309d1f38`.
-   */
-  sender?: Uint8Array
-  /**
-   * The value of `tx.origin` in tests as hex string.
-   * Defaults to `0x1804c8AB1F12E6bbf3894d4083f33e07309d1f38`.
-   */
-  txOrigin?: Uint8Array
-  /**
-   * The initial balance of the sender in tests.
-   * Defaults to `0xffffffffffffffffffffffff`.
-   */
-  initialBalance?: bigint
-  /**
-   * The value of `block.number` in tests.
-   * Defaults to `1`.
-   */
-  blockNumber?: bigint
-  /**
-   * The value of the `chainid` opcode in tests.
-   * Defaults to `31337`.
-   */
-  chainId?: bigint
-  /** The hardfork to use for EVM execution. */
-  hardfork: string
-  /**
-   * The gas limit for each test case.
-   * Defaults to `9_223_372_036_854_775_807` (`i64::MAX`).
-   */
-  gasLimit?: bigint
-  /**
-   * The price of gas (in wei) in tests.
-   * Defaults to `0`.
-   */
-  gasPrice?: bigint
-  /**
-   * The base fee per gas (in wei) in tests.
-   * Defaults to `0`.
-   */
-  blockBaseFeePerGas?: bigint
-  /**
-   * The value of `block.coinbase` in tests.
-   * Defaults to `0x0000000000000000000000000000000000000000`.
-   */
-  blockCoinbase?: Uint8Array
-  /**
-   * The value of `block.timestamp` in tests.
-   * Defaults to 1.
-   */
-  blockTimestamp?: bigint
-  /**
-   * The value of `block.difficulty` in tests.
-   * Defaults to 0.
-   */
-  blockDifficulty?: bigint
-  /**
-   * The `block.gaslimit` value during EVM execution.
-   * Defaults to none.
-   */
-  blockGasLimit?: bigint
-  /**
-   * Whether to disable the block gas limit.
-   * Defaults to false.
-   */
-  disableBlockGasLimit?: boolean
-  /**
-   * Transaction gas cap, introduced in [EIP-7825].
-   *
-   * When not set, defaults to the value defined by the used hardfork.
-   *
-   * [EIP-7825]: https://eips.ethereum.org/EIPS/eip-7825
-   */
-  transactionGasCap?: bigint
-  /**
-   * Whether to disable the [EIP-7825] transaction gas cap.
-   * Defaults to false.
-   *
-   * [EIP-7825]: https://eips.ethereum.org/EIPS/eip-7825
-   */
-  disableTransactionGasCap?: boolean
-  /**
-   * The memory limit of the EVM in bytes.
-   * Defaults to `33_554_432` (2^25 = 32MiB).
-   */
-  memoryLimit?: bigint
-  /**
-   * The predeploys applied in local mode. Defaults to no predeploys.
-   * These should match the predeploys of the network in fork mode, so they
-   * aren't set in fork mode.
-   * The code must be set and non-empty. The nonce and the balance default to
-   * zero and storage defaults to empty.
-   */
-  localPredeploys?: Array<AccountOverride>
-  /**
-   * If set, all tests are run in fork mode using this url or remote name.
-   * Defaults to none.
-   */
-  ethRpcUrl?: string
-  /** Pins the block number for the global state fork. */
-  forkBlockNumber?: bigint
-  /**
-   * Map of RPC endpoints from chain name to RPC urls for fork cheat codes,
-   * e.g. `{ "optimism": "https://optimism.alchemyapi.io/v2/..." }`
-   */
-  rpcEndpoints?: Record<string, string>
-  /**
-   * Optional RPC cache path. If this is none, then no RPC calls will be
-   * cached, otherwise data is cached to `<rpc_cache_path>/<chain
-   * id>/<block number>`. Caching can be disabled for specific chains
-   * with `rpc_storage_caching`.
-   */
-  rpcCachePath?: string
-  /** What RPC endpoints are cached. Defaults to all. */
-  rpcStorageCaching?: StorageCachingConfig
-  /**
-   * The number of seconds to wait before `vm.prompt` reverts with a timeout.
-   * Defaults to 120.
-   */
-  promptTimeout?: number
-  /** Fuzz testing configuration. */
-  fuzz?: FuzzConfigArgs
-  /**
-   * Invariant testing configuration.
-   * If an invariant config setting is not set, but a corresponding fuzz
-   * config value is set, then the fuzz config value will be used.
-   */
-  invariant?: InvariantConfigArgs
-  /** Whether to collect stack traces. */
-  collectStackTraces?: CollectStackTraces
-  /**
-   * Controls which test results should include execution traces. Defaults to
-   * None.
-   */
-  includeTraces?: IncludeTraces
-  /** The configuration for the Solidity test runner's observability */
-  observability?: ObservabilityConfig
-  /**
-   * A regex pattern to filter tests. If provided, only test methods that
-   * match the pattern will be executed and reported as a test result.
-   */
-  testPattern?: string
-  /**
-   * A regex pattern to exclude tests. If provided, test methods that match
-   * the pattern will not be executed or reported as a test result. Applied
-   * after `test_pattern`.
-   */
-  excludeTestPattern?: string
-  /**
-   * Controls whether to generate a gas report after running the tests.
-   * Enabling this also enables collection of all traces and EVM isolation
-   * mode.
-   * Defaults to false.
-   */
-  generateGasReport?: boolean
-  /**
-   * Test function level config overrides.
-   * Defaults to none.
-   */
-  testFunctionOverrides?: Array<TestFunctionOverride>
-  /**
-   * A list of EIP-712 canonical type definitions that can be referenced by
-   * type name in the `eip712HashType` and `eip712HashStruct` cheatcodes.
-   *
-   * Each entry is an independent, self-contained type definition. A
-   * definition that references nested struct types must inline those
-   * struct definitions, per the EIP-712 `encodeType` spec.
-   *
-   * Only the primary (leftmost) type of each entry is registered by name.
-   * Nested struct types referenced inside an entry are *not* registered
-   * under their own names. To look up a nested struct by name from a
-   * cheatcode, add it as a separate top-level entry whose primary type
-   * is the nested struct.
-   *
-   * The type of a struct is encoded as:
-   *
-   * `name ‖ "(" ‖ member₁ ‖ "," ‖ member₂ ‖ "," ‖ … ‖ memberₙ ")"`
-   *
-   * where each member is written as `type ‖ " " ‖ name`.
-   *
-   * Entries that fail to parse cause a startup error listing every bad
-   * entry.
-   *
-   * Example — to make both `Mail` and `Person` reachable by name:
-   *
-   * ```text
-   * "Mail(Person from,Person to,string contents)Person(address wallet,string name)"
-   * "Person(address wallet,string name)"
-   * ```
-   *
-   * With *only* the first entry, `vm.eip712HashType("Mail")` works but
-   * `vm.eip712HashType("Person")` fails with an unknown-type error.
-   */
-  eip712CanonicalTypes?: Array<string>
+  proxyChain: Array<string>
+}
+export interface FunctionNotPayableErrorStackTraceEntry {
+  type: StackTraceEntryType.FUNCTION_NOT_PAYABLE_ERROR
+  value: bigint
+  sourceReference: SourceReference
+}
+/** See [`edr_solidity_tests::fuzz::FuzzCase`] */
+export interface FuzzCase {
+  /** The calldata used for this fuzz test */
+  readonly calldata: Uint8Array
+  /** Consumed gas */
+  readonly gas: bigint
+  /** The initial gas stipend for the transaction */
+  readonly stipend: bigint
 }
 /** Fuzz testing configuration */
 export interface FuzzConfigArgs {
   /** Path where fuzz failures are recorded and replayed if set. */
@@ -944,22 +786,207 @@ export interface FuzzConfigArgs {
    */
   timeout?: number
 }
-/** Invariant testing configuration. */
-export interface InvariantConfigArgs {
-  /** Path where invariant failures are recorded and replayed if set. */
-  failurePersistDir?: string
-  /**
-   * The number of runs that must execute for each invariant test group.
-   * Defaults to 256.
-   */
+/** Test function or test contract level fuzz config override. */
+export interface FuzzConfigOverride {
+  /** The number of test cases that must execute for each property test. */
   runs?: number
   /**
-   * The number of calls executed to attempt to break invariants in one run.
-   * Defaults to 500.
-   */
-  depth?: number
-  /**
-   * Fails the invariant fuzzing if a revert occurs.
+   * The maximum number of test case rejections allowed by proptest, to be
+   * encountered during usage of `vm.assume` cheatcode. This will be used
+   * to set the `max_global_rejects` value in proptest test runner config.
+   * `max_local_rejects` option isn't exposed here since we're not using
+   * `prop_filter`.
+   */
+  maxTestRejects?: number
+  /** show `console.log` in fuzz test, defaults to `false`. */
+  showLogs?: boolean
+  /** Optional timeout (in seconds) for each property test. */
+  timeout?: TimeoutConfig
+}
+/** See [`edr_solidity_tests::result::TestKind::Fuzz`] */
+export interface FuzzTestKind {
+  /** See [`edr_solidity_tests::result::TestKind::Fuzz`] */
+  readonly runs: bigint
+  /** See [`edr_solidity_tests::result::TestKind::Fuzz`] */
+  readonly meanGas: bigint
+  /** See [`edr_solidity_tests::result::TestKind::Fuzz`] */
+  readonly medianGas: bigint
+}
+/** Controls the gas estimation strategy used by `eth_estimateGas`. */
+export declare enum GasEstimationMode {
+  /** Estimates the minimum gas required for the top-level call to succeed. */
+  TopLevelSuccess = 0,
+  /**
+   * Estimates the minimum gas required for the top-level call to succeed
+   * without any internal sub-call running out of gas.
+   */
+  NoInternalOutOfGas = 1
+}
+export interface GasReport {
+  contracts: Record<string, ContractGasReport>
+}
+/** Configuration for gas report collection. */
+export interface GasReportConfig {
+  /**
+   * Gas reports are collected after a block is mined or `eth_call` is
+   * executed.
+   *
+   * Exceptions thrown in the callback will be propagated to the original
+   * caller.
+   */
+  onCollectedGasReportCallback: (gasReport: GasReport) => Promise<void>
+}
+export declare enum GasReportExecutionStatus {
+  Success = 0,
+  Revert = 1,
+  Halt = 2
+}
+export const GENERIC_CHAIN_TYPE: string
+export declare function genericChainProviderFactory(): ProviderFactory
+export const GRANITE: string
+export const GRAY_GLACIER: string
+/** The result when the EVM terminates due to an exceptional halt. */
+export interface HaltResult {
+  /** The exceptional halt that occurred */
+  reason: ExceptionalHalt
+  /**
+   * Halting will spend all the gas and will thus be equal to the specified
+   * gas limit
+   */
+  gasUsed: bigint
+  /** The logs */
+  logs: Array<ExecutionLog>
+}
+/** Configuration for a hardfork activation */
+export interface HardforkActivation {
+  /** The condition for the hardfork activation */
+  condition: HardforkActivationByBlockNumber | HardforkActivationByTimestamp
+  /** The activated hardfork */
+  hardfork: string
+}
+export interface HardforkActivationByBlockNumber {
+  /** The block number at which the hardfork is activated */
+  blockNumber: bigint
+}
+export interface HardforkActivationByTimestamp {
+  /** The timestamp at which the hardfork is activated */
+  timestamp: bigint
+}
+/**
+ * We couldn't generate stack traces, because the stack trace generation
+ * heuristics failed due to an unknown reason.
+ */
+export interface HeuristicFailed {
+  /** Enum tag for JS. */
+  kind: "HeuristicFailed"
+}
+export const HOLOCENE: string
+export const HOMESTEAD: string
+export interface HttpHeader {
+  name: string
+  value: string
+}
+/**
+ * Configuration that controls whether execution traces are decoded and
+ * included in results.
+ *
+ * This can either be for Solidity test results or provider transaction
+ * execution results.
+ */
+export declare enum IncludeTraces {
+  /** No traces will be included at all. */
+  None = 0,
+  /**
+   * Traces will be included only on the results of failed tests or
+   * execution.
+   */
+  Failing = 1,
+  /** Traces will be included for all test results or executed transactions. */
+  All = 2
+}
+export interface InstrumentationMetadata {
+  /**
+   * The tag that identifies the instrumented code. Tags are
+   * deterministically generated from the source code, source id, and
+   * Solidity version.
+   */
+  readonly tag: Uint8Array
+  /**
+   * The kind of instrumented code. Currently, the only supported kind
+   * is "statement".
+   */
+  readonly kind: string
+  /**
+   * The starting position of the instrumented code - including trivia such
+   * as whitespace - in the source code, in UTF-16 code units.
+   */
+  readonly startUtf16: number
+  /**
+   * The ending position of the instrumented code - including trivia such as
+   * whitespace - in the source code, in UTF-16 code units.
+   */
+  readonly endUtf16: number
+}
+export interface InstrumentationResult {
+  /** The generated source code with coverage instrumentation. */
+  readonly source: string
+  /** The metadata for each instrumented code segment. */
+  readonly metadata: Array<InstrumentationMetadata>
+}
+export interface InternalFunctionCallStackEntry {
+  type: StackTraceEntryType.INTERNAL_FUNCTION_CALLSTACK_ENTRY
+  pc: number
+  sourceReference: SourceReference
+}
+export interface IntervalRange {
+  min: bigint
+  max: bigint
+}
+export interface InvalidParamsErrorStackTraceEntry {
+  type: StackTraceEntryType.INVALID_PARAMS_ERROR
+  sourceReference: SourceReference
+}
+/** Invariant testing configuration. */
+export interface InvariantConfigArgs {
+  /** Path where invariant failures are recorded and replayed if set. */
+  failurePersistDir?: string
+  /**
+   * The number of runs that must execute for each invariant test group.
+   * Defaults to 256.
+   */
+  runs?: number
+  /**
+   * The number of calls executed to attempt to break invariants in one run.
+   * Defaults to 500.
+   */
+  depth?: number
+  /**
+   * Fails the invariant fuzzing if a revert occurs.
    * Defaults to false.
    */
   failOnRevert?: boolean
@@ -1005,454 +1032,678 @@ export interface InvariantConfigArgs {
    */
   timeout?: number
 }
-/** Settings to configure caching of remote RPC endpoints. */
-export interface StorageCachingConfig {
+/** Test function or test contract level invariant config override. */
+export interface InvariantConfigOverride {
+  /** The number of runs that must execute for each invariant test group. */
+  runs?: number
+  /** The number of calls executed to attempt to break invariants in one run. */
+  depth?: number
+  /** Fails the invariant fuzzing if a revert occurs. */
+  failOnRevert?: boolean
   /**
-   * Chains to cache. Either all or none or a list of chain names, e.g.
-   * ["optimism", "mainnet"].
+   * Allows overriding an unsafe external call when running invariant tests.
+   * eg. reentrancy checks
    */
-  chains: CachedChains | Array<string>
-  /** Endpoints to cache. Either all or remote or a regex. */
-  endpoints: CachedEndpoints | string
-}
-/** What chains to cache */
-export enum CachedChains {
-  /** Cache all chains */
-  All = 0,
-  /** Don't cache anything */
-  None = 1
+  callOverride?: boolean
+  /** Optional timeout (in seconds) for each invariant test. */
+  timeout?: TimeoutConfig
 }
-/** What endpoints to enable caching for */
-export enum CachedEndpoints {
-  /** Cache all endpoints */
-  All = 0,
-  /** Only cache non-local host endpoints */
-  Remote = 1
+/** See [`edr_solidity_tests::result::InvariantMetrics`] */
+export interface InvariantMetrics {
+  readonly calls: bigint
+  readonly reverts: bigint
+  readonly discards: bigint
 }
-/** Represents an access permission to a single path */
-export interface PathPermission {
-  /** Permission level to access the `path` */
-  access: FsAccessPermission
-  /** The targeted path guarded by the permission */
-  path: string
-}
-/**
- * Determines the level of file system access for the given path.
- *
- * Exact path matching is used for file permissions. Prefix matching is used
- * for directory permissions.
- *
- * Giving write access to configuration files, source files or executables
- * in a project is considered dangerous, because it can be used by malicious
- * Solidity dependencies to escape the EVM sandbox. It is therefore
- * recommended to give write access to specific safe files only. If write
- * access to a directory is needed, please make sure that it doesn't contain
- * configuration files, source files or executables neither in the top level
- * directory, nor in any subdirectories.
-*/
-export enum FsAccessPermission {
-  /** Allows reading and writing the file */
-  ReadWriteFile = 0,
-  /** Only allows reading the file */
-  ReadFile = 1,
-  /** Only allows writing the file */
-  WriteFile = 2,
-  /**
-   * Allows reading and writing all files in the directory and its
-   * subdirectories
-   */
-  DangerouslyReadWriteDirectory = 3,
-  /** Allows reading all files in the directory and its subdirectories */
-  ReadDirectory = 4,
-  /** Allows writing all files in the directory and its subdirectories */
-  DangerouslyWriteDirectory = 5
-}
-export interface AddressLabel {
-  /** The address to label */
-  address: Uint8Array
-  /** The label to assign to the address */
-  label: string
-}
-/** A type that controls when stack traces are collected. */
-export enum CollectStackTraces {
-  /** Always collects stack traces, adding performance overhead. */
-  Always = 0,
-  /**
-   * Only collects stack traces upon failure, re-executing the test. This
-   * minimizes performance overhead.
-   *
-   * Not all tests can be re-executed since certain cheatcodes contain
-   * non-deterministic side-effects.
-   */
-  OnFailure = 1
+/** See [`edr_solidity_tests::result::TestKind::Invariant`] */
+export interface InvariantTestKind {
+  /** See [`edr_solidity_tests::result::TestKind::Invariant`] */
+  readonly runs: bigint
+  /** See [`edr_solidity_tests::result::TestKind::Invariant`] */
+  readonly calls: bigint
+  /** See [`edr_solidity_tests::result::TestKind::Invariant`] */
+  readonly reverts: bigint
+  /** See [`edr_solidity_tests::result::TestKind::Invariant`] */
+  readonly metrics: Record<string, InvariantMetrics>
+  /** See [`edr_solidity_tests::result::TestKind::Invariant`] */
+  readonly failedCorpusReplays: bigint
 }
+export const ISTANBUL: string
+export const ISTHMUS: string
+export const L1_CHAIN_TYPE: string
+export declare function l1GenesisState(hardfork: SpecId): Array<AccountOverride>
 /**
- * Configuration that controls whether execution traces are decoded and
- * included in results.
+ * Tries to parse the provided string to create a [`SpecId`] instance.
  *
- * This can either be for Solidity test results or provider transaction
- * execution results.
+ * Returns an error if the string does not match any known hardfork.
  */
-export enum IncludeTraces {
-  /** No traces will be included at all. */
-  None = 0,
-  /**
-   * Traces will be included only on the results of failed tests or
-   * execution.
-   */
-  Failing = 1,
-  /** Traces will be included for all test results or executed transactions. */
-  All = 2
+export declare function l1HardforkFromString(hardfork: string): SpecId
+/**
+ * Returns the latest supported OP hardfork.
+ *
+ * The returned value will be updated after each network upgrade.
+ */
+export declare function l1HardforkLatest(): SpecId
+export declare function l1HardforkToString(hardfork: SpecId): string
+export declare function l1ProviderFactory(): ProviderFactory
+export declare function l1SolidityTestRunnerFactory(): SolidityTestRunnerFactory
+/** Retrieves the latest version of `Solidity` supported for instrumentation. */
+export declare function latestSupportedSolidityVersion(): string
+export declare function linkHexStringBytecode(code: string, address: string, position: number): string
+export interface LinkReference {
+  start: number
+  length: number
 }
-/** Test function level config override. */
-export interface TestFunctionConfigOverride {
-  /**
-   * Allow expecting reverts with `expectRevert` at the same callstack depth
-   * as the test.
-   */
-  allowInternalExpectRevert?: boolean
-  /**
-   * Whether to enable isolation of calls for the test. In isolation mode all
-   * top-level calls are executed as a separate transaction in a separate
-   * EVM context, enabling more precise gas accounting and transaction
-   * state changes.
-   * Ignored when gas reporting is enabled, as isolation is required for
-   * accurate gas measurements.
-   */
-  isolate?: boolean
+/** Configuration for a locally mined blockchain. */
+export interface LocalConfig {
   /**
-   * The EVM version to use for this test, e.g. "Cancun". This will override
-   * the global EVM version.
+   * The blob gas used for the genesis block, introduced in [EIP-4844].
+   *
+   * [EIP-4844]: https://eips.ethereum.org/EIPS/eip-4844
    */
-  evmVersion?: string
-  /** Configuration override for fuzz testing. */
-  fuzz?: FuzzConfigOverride
-  /** Configuration override for invariant testing. */
-  invariant?: InvariantConfigOverride
-}
-/** Test function override configuration. */
-export interface TestFunctionOverride {
-  /** The test function identifier. */
-  identifier: TestFunctionIdentifier
-  /** The configuration override. */
-  config: TestFunctionConfigOverride
+  genesisBlobGas?: BlobGas
+  /** The block gas limit of the genesis block. */
+  genesisBlockGasLimit: bigint
+  /** The date, in seconds since the Unix epoch, of the genesis block. */
+  genesisBlockTime?: bigint
 }
-/** Test function identifier. */
-export interface TestFunctionIdentifier {
-  /** The contract artifact id. */
-  contractArtifact: ArtifactId
-  /** The function selector as hex string. */
-  functionSelector: string
+/** Configuration for the provider's logger. */
+export interface LoggerConfig {
+  /** Whether to enable the logger. */
+  enable: boolean
+  decodeConsoleLogInputsCallback: (inputs: ArrayBuffer[]) => string[]
+  printLineCallback: (message: string, replace: boolean) => void
 }
-/**
- * Timeout configuration.
- * Note: This wrapper is needed to avoid ambiguity with NAPI conversion.
- */
-export interface TimeoutConfig {
-  /** Optional timeout (in seconds). */
-  time?: number
+/** Kind marker for log traces. */
+export declare enum LogKind {
+  /** Single kind of log. */
+  Log = 5
 }
-/** Test function or test contract level fuzz config override. */
-export interface FuzzConfigOverride {
-  /** The number of test cases that must execute for each property test. */
-  runs?: number
+/** Object representing an event log in an execution trace. */
+export interface LogTrace {
+  /** A constant to help discriminate the union `CallTrace | LogTrace`. */
+  kind: LogKind
   /**
-   * The maximum number of test case rejections allowed by proptest, to be
-   * encountered during usage of `vm.assume` cheatcode. This will be used
-   * to set the `max_global_rejects` value in proptest test runner config.
-   * `max_local_rejects` option isn't exposed here since we're not using
-   * `prop_filter`.
+   * If the log is a known event (based on its first topic), it will be
+   * decoded into the event name and list of named parameters. For
+   * example, `{ name: "Log", arguments: ["value: 1"] }`. Otherwise, it
+   * will be provided as an array where all but the last element are the
+   * log topics, and the last element is the log data.
    */
-  maxTestRejects?: number
-  /** show `console.log` in fuzz test, defaults to `false`. */
-  showLogs?: boolean
-  /** Optional timeout (in seconds) for each property test. */
-  timeout?: TimeoutConfig
+  parameters: DecodedTraceParameters | Array<Uint8Array>
 }
-/** Test function or test contract level invariant config override. */
-export interface InvariantConfigOverride {
-  /** The number of runs that must execute for each invariant test group. */
-  runs?: number
-  /** The number of calls executed to attempt to break invariants in one run. */
-  depth?: number
-  /** Fails the invariant fuzzing if a revert occurs. */
-  failOnRevert?: boolean
+export const LONDON: string
+/** Configuration for the provider's mempool. */
+export interface MemPoolConfig {
+  order: MineOrdering
+}
+export const MERGE: string
+/** The type of ordering to use when selecting blocks to mine. */
+export declare enum MineOrdering {
+  /** Insertion order */
+  Fifo = 'Fifo',
+  /** Effective miner fee */
+  Priority = 'Priority'
+}
+/** Configuration for the provider's miner. */
+export interface MiningConfig {
+  autoMine: boolean
   /**
-   * Allows overriding an unsafe external call when running invariant tests.
-   * eg. reentrancy checks
+   * The block gas limit to use for mining a block.
+   *
+   * When not set, enforcement of the block gas limit is disabled in the mem
+   * pool, miner, and REVM.
    */
-  callOverride?: boolean
-  /** Optional timeout (in seconds) for each invariant test. */
-  timeout?: TimeoutConfig
+  blockGasLimit?: bigint
+  interval?: bigint | IntervalRange
+  memPool: MemPoolConfig
 }
-export declare function l1SolidityTestRunnerFactory(): SolidityTestRunnerFactory
-export declare function opSolidityTestRunnerFactory(): SolidityTestRunnerFactory
-/** A grouping of value snapshot entries for a test. */
-export interface ValueSnapshotGroup {
-  /** The group name. */
-  name: string
-  /** The entries in the group. */
-  entries: Array<ValueSnapshotEntry>
+export interface MissingFallbackOrReceiveErrorStackTraceEntry {
+  type: StackTraceEntryType.MISSING_FALLBACK_OR_RECEIVE_ERROR
+  sourceReference: SourceReference
 }
-/** An entry in a value snapshot group. */
-export interface ValueSnapshotEntry {
-  /** The name of the entry. */
-  name: string
-  /** The value of the entry. */
-  value: string
+export const MUIR_GLACIER: string
+export interface NonContractAccountCalledErrorStackTraceEntry {
+  type: StackTraceEntryType.NONCONTRACT_ACCOUNT_CALLED_ERROR
+  sourceReference: SourceReference
 }
-/** The stack trace result */
-export interface StackTrace {
-  /** Enum tag for JS. */
-  kind: "StackTrace"
-  /** The stack trace entries */
-  entries: Array<SolidityStackTraceEntry>
+/** Configuration for runtime observability. */
+export interface ObservabilityConfig {
+  /** If present, configures runtime observability to collect code coverage. */
+  codeCoverage?: CodeCoverageConfig
+  /** If present, configures runtime observability to collect gas reports. */
+  gasReport?: GasReportConfig
+  /**
+   * Controls when to include call traces in the results of transaction
+   * execution.
+   *
+   * Defaults to `IncludeTraces.None`.
+   */
+  includeCallTraces?: IncludeTraces
 }
-/** We couldn't generate stack traces, because an unexpected error occurred. */
-export interface UnexpectedError {
-  /** Enum tag for JS. */
-  kind: "UnexpectedError"
-  /** The error message from the unexpected error. */
-  errorMessage: string
+export const OP_CHAIN_TYPE: string
+export declare function opGenesisState(hardfork: OpHardfork): Array<AccountOverride>
+/** Enumeration of supported OP hardforks. */
+export declare enum OpHardfork {
+  Bedrock = 100,
+  Regolith = 101,
+  Canyon = 102,
+  Ecotone = 103,
+  Fjord = 104,
+  Granite = 105,
+  Holocene = 106,
+  Isthmus = 107
 }
 /**
- * We couldn't generate stack traces, because the stack trace generation
- * heuristics failed due to an unknown reason.
+ * Tries to parse the provided string to create an [`OpHardfork`]
+ * instance.
+ *
+ * Returns an error if the string does not match any known hardfork.
  */
-export interface HeuristicFailed {
-  /** Enum tag for JS. */
-  kind: "HeuristicFailed"
-}
+export declare function opHardforkFromString(hardfork: string): OpHardfork
+/** Returns the string representation of the provided OP hardfork. */
+export declare function opHardforkToString(hardfork: OpHardfork): string
 /**
- * We couldn't generate stack traces, because the test execution is unsafe to
- * replay due to indeterminism. This can be caused by either specifying a fork
- * url without a fork block number in the test runner config or using impure
- * cheatcodes.
+ * Returns the latest supported OP hardfork.
+ *
+ * The returned value will be updated after each network upgrade.
  */
-export interface UnsafeToReplay {
-  /** Enum tag for JS. */
-  kind: "UnsafeToReplay"
-  /**
-   * Indeterminism due to specifying a fork url without a fork block number
-   * in the test runner config.
-   */
-  globalForkLatest: boolean
-  /**
-   * The list of executed impure cheatcode signatures. We collect function
-   * signatures instead of function names as whether a cheatcode is impure
-   * can depend on the arguments it takes (e.g. `createFork` without a second
-   * argument means implicitly fork from “latest”). Example signature:
-   * `function createSelectFork(string calldata urlOrAlias) external returns
-   * (uint256 forkId);`.
-   */
-  impureCheatcodes: Array<string>
-}
-/**The result of a test execution. */
-export enum TestStatus {
-  /**Test success */
-  Success = 'Success',
-  /**Test failure */
-  Failure = 'Failure',
-  /**Test skipped */
-  Skipped = 'Skipped'
-}
-/** See [`edr_solidity_tests::result::TestKind::Unit`] */
-export interface StandardTestKind {
-  /** The gas consumed by the test. */
-  readonly consumedGas: bigint
-}
-/** See [`edr_solidity_tests::result::TestKind::Fuzz`] */
-export interface FuzzTestKind {
-  /** See [`edr_solidity_tests::result::TestKind::Fuzz`] */
-  readonly runs: bigint
-  /** See [`edr_solidity_tests::result::TestKind::Fuzz`] */
-  readonly meanGas: bigint
-  /** See [`edr_solidity_tests::result::TestKind::Fuzz`] */
-  readonly medianGas: bigint
-}
-/** See [`edr_solidity_tests::fuzz::FuzzCase`] */
-export interface FuzzCase {
-  /** The calldata used for this fuzz test */
-  readonly calldata: Uint8Array
-  /** Consumed gas */
-  readonly gas: bigint
-  /** The initial gas stipend for the transaction */
-  readonly stipend: bigint
-}
-/** See [`edr_solidity_tests::result::TestKind::Invariant`] */
-export interface InvariantTestKind {
-  /** See [`edr_solidity_tests::result::TestKind::Invariant`] */
-  readonly runs: bigint
-  /** See [`edr_solidity_tests::result::TestKind::Invariant`] */
-  readonly calls: bigint
-  /** See [`edr_solidity_tests::result::TestKind::Invariant`] */
-  readonly reverts: bigint
-  /** See [`edr_solidity_tests::result::TestKind::Invariant`] */
-  readonly metrics: Record<string, InvariantMetrics>
-  /** See [`edr_solidity_tests::result::TestKind::Invariant`] */
-  readonly failedCorpusReplays: bigint
+export declare function opLatestHardfork(): OpHardfork
+export declare function opProviderFactory(): ProviderFactory
+export declare function opSolidityTestRunnerFactory(): SolidityTestRunnerFactory
+export const OSAKA: string
+export interface OtherExecutionErrorStackTraceEntry {
+  type: StackTraceEntryType.OTHER_EXECUTION_ERROR
+  sourceReference?: SourceReference
 }
-/** See [`edr_solidity_tests::result::InvariantMetrics`] */
-export interface InvariantMetrics {
-  readonly calls: bigint
-  readonly reverts: bigint
-  readonly discards: bigint
+export interface PanicErrorStackTraceEntry {
+  type: StackTraceEntryType.PANIC_ERROR
+  errorCode: bigint
+  sourceReference?: SourceReference
 }
-/**
- * Original sequence size and sequence of calls used as a counter example
- * for invariant tests.
- */
-export interface CounterExampleSequence {
-  /** The original sequence size before shrinking. */
-  originalSequenceSize: bigint
-  /** The shrunk counterexample sequence. */
-  sequence: Array<BaseCounterExample>
+/** Represents an access permission to a single path */
+export interface PathPermission {
+  /** Permission level to access the `path` */
+  access: FsAccessPermission
+  /** The targeted path guarded by the permission */
+  path: string
 }
-/** See [`edr_solidity_tests::fuzz::BaseCounterExample`] */
-export interface BaseCounterExample {
-  /** See [`edr_solidity_tests::fuzz::BaseCounterExample::sender`] */
-  readonly sender?: Uint8Array
-  /** See [`edr_solidity_tests::fuzz::BaseCounterExample::addr`] */
-  readonly address?: Uint8Array
-  /** See [`edr_solidity_tests::fuzz::BaseCounterExample::calldata`] */
-  readonly calldata: Uint8Array
-  /** See [`edr_solidity_tests::fuzz::BaseCounterExample::contract_name`] */
-  readonly contractName?: string
-  /** See [`edr_solidity_tests::fuzz::BaseCounterExample::signature`] */
-  readonly signature?: string
-  /** See [`edr_solidity_tests::fuzz::BaseCounterExample::args`] */
-  readonly args?: string
+export const PETERSBURG: string
+export const PRAGUE: string
+export const PRECOMPILE_FUNCTION_NAME: string
+export interface PrecompileErrorStackTraceEntry {
+  type: StackTraceEntryType.PRECOMPILE_ERROR
+  precompile: number
+  sourceReference?: undefined
 }
 /**
- * Object representing a call in an execution trace, including contract
- * creation.
+ * [RIP-7212](https://github.com/ethereum/RIPs/blob/master/RIPS/rip-7212.md#specification)
+ * secp256r1 precompile.
  */
-export interface CallTrace {
-  /** The kind of call or contract creation this represents. */
-  kind: CallKind
-  /** Whether the call succeeded or reverted. */
-  success: boolean
-  /** Whether the call is a cheatcode. */
-  isCheatcode: boolean
-  /** The amount of gas that was consumed. */
-  gasUsed: bigint
-  /** The amount of native token that was included with the call. */
-  value: bigint
-  /** The target address of the call. */
-  address: string
-  /** The name of the contract that is the target of the call, if known. */
-  contract?: string
+export declare function precompileP256Verify(): Precompile
+export declare function printStackTrace(trace: SolidityStackTrace): void
+/** Configuration for a provider. */
+export interface ProviderConfig {
+  /** Whether to allow blocks with the same timestamp */
+  allowBlocksWithSameTimestamp: boolean
+  /** Whether to allow unlimited contract size */
+  allowUnlimitedContractSize: boolean
+  /** Whether to return an `Err` when `eth_call` fails */
+  bailOnCallFailure: boolean
+  /** Whether to return an `Err` when a `eth_sendTransaction` fails */
+  bailOnTransactionFailure: boolean
   /**
-   * The input (calldata) to the call. If it encodes a known function call,
-   * it will be decoded into the function name and a list of arguments.
-   * For example, `{ name: "ownerOf", arguments: ["1"] }`. Note that the
-   * function name may also be any of the special `fallback` and `receive`
-   * functions. Otherwise, it will be provided as a raw byte array.
+   * EIP-1559 base fee parameters activations to be used to calculate the
+   * block base fee.
+   *
+   * Provide an ordered list of `base_fee_params` to be
+   * used starting from the specified activation point (hardfork or block
+   * number).
+   * If not provided, the default values from the chain spec
+   * will be used.
    */
-  inputs: DecodedTraceParameters | Uint8Array
+  baseFeeConfig?: Array<BaseFeeParamActivation>
+  /** The chain ID of the blockchain */
+  chainId: bigint
+  /** The address of the coinbase */
+  coinbase: Uint8Array
   /**
-   * The output of the call. This will be a decoded human-readable
-   * representation of the value if the function is known, otherwise a
-   * raw byte array.
+   * The default transaction gas limit to use for RPC call and transaction
+   * requests that do not specify a `gas` value.
    */
-  outputs: string | Uint8Array
+  defaultTransactionGasLimit: bigint
   /**
-   * Interleaved subcalls and event logs. Use `kind` to check if each member
-   * of the array is a call or log trace.
+   * The gas estimation mode to use for `eth_estimateGas`. Defaults to
+   * `GasEstimationMode::TopLevelSuccess` if not set.
    */
-  children: Array<CallTrace | LogTrace>
-}
-/** Object representing an event log in an execution trace. */
-export interface LogTrace {
-  /** A constant to help discriminate the union `CallTrace | LogTrace`. */
-  kind: LogKind
+  gasEstimationMode?: GasEstimationMode
+  /** The genesis state of the blockchain */
+  genesisState: Array<AccountOverride>
+  /** The hardfork of the blockchain */
+  hardfork: string
   /**
-   * If the log is a known event (based on its first topic), it will be
-   * decoded into the event name and list of named parameters. For
-   * example, `{ name: "Log", arguments: ["value: 1"] }`. Otherwise, it
-   * will be provided as an array where all but the last element are the
-   * log topics, and the last element is the log data.
+   * The initial base fee per gas of the blockchain. Required for EIP-1559
+   * transactions and later
    */
-  parameters: DecodedTraceParameters | Array<Uint8Array>
-}
-/** The various kinds of call frames possible in the EVM. */
-export enum CallKind {
-  /** Regular call that may change state. */
-  Call = 0,
+  initialBaseFeePerGas?: bigint
   /**
-   * Variant of `DelegateCall` that doesn't preserve sender or value in the
-   * frame.
+   * The initial parent beacon block root of the blockchain. Required for
+   * EIP-4788
    */
-  CallCode = 1,
-  /** Call that executes the code of the target in the context of the caller. */
-  DelegateCall = 2,
-  /** Regular call that may not change state. */
-  StaticCall = 3,
-  /** Contract creation. */
-  Create = 4
-}
-/** Kind marker for log traces. */
-export enum LogKind {
-  /** Single kind of log. */
-  Log = 5
-}
-/** Decoded function call or event. */
-export interface DecodedTraceParameters {
-  /** The name of a function or an event. */
-  name: string
+  initialParentBeaconBlockRoot?: Uint8Array
+  /** The minimum gas price of the next block. */
+  minGasPrice: bigint
+  /** The configuration for the miner */
+  mining: MiningConfig
+  /** The network configuration for the provider. */
+  network: ForkConfig | LocalConfig
+  /** The network ID of the blockchain */
+  networkId: bigint
+  /** The configuration for the provider's observability */
+  observability: ObservabilityConfig
+  /** Secret keys of owned accounts */
+  ownedAccounts: Array<string>
+  /** Overrides for precompiles */
+  precompileOverrides: Array<Precompile>
   /**
-   * The arguments of the function call or the event, in their human-readable
-   * representations.
+   * Transaction gas cap, introduced in [EIP-7825].
+   *
+   * Integer values should be larger than zero.
+   *
+   * When `false`, enforcement of the transaction gas cap is disabled and
+   * transactions with any `gas` value are accepted by the mempool and
+   * executed without REVM's transaction gas cap check.
+   *
+   * When not set, a hardfork-specific default value will be used.
+   *
+   * [EIP-7825]: https://eips.ethereum.org/EIPS/eip-7825
    */
-  arguments: Array<string>
+  transactionGasCap?: bigint | false
+}
+export const RECEIVE_FUNCTION_NAME: string
+export const REGOLITH: string
+export interface ReturndataSizeErrorStackTraceEntry {
+  type: StackTraceEntryType.RETURNDATA_SIZE_ERROR
+  sourceReference: SourceReference
+}
+export interface RevertErrorStackTraceEntry {
+  type: StackTraceEntryType.REVERT_ERROR
+  returnData: Uint8Array
+  sourceReference: SourceReference
+  isInvalidOpcodeError: boolean
 }
+/** The result when the EVM terminates due to a revert. */
+export interface RevertResult {
+  /** The amount of gas used */
+  gasUsed: bigint
+  /** The logs */
+  logs: Array<ExecutionLog>
+  /** The transaction output */
+  output: Uint8Array
+}
+export const SHANGHAI: string
+export type SolidityStackTrace =
+  Array<SolidityStackTraceEntry>
+export type SolidityStackTraceEntry =
+  CallstackEntryStackTraceEntry | UnrecognizedCreateCallstackEntryStackTraceEntry | UnrecognizedContractCallstackEntryStackTraceEntry | PrecompileErrorStackTraceEntry | RevertErrorStackTraceEntry | PanicErrorStackTraceEntry | CustomErrorStackTraceEntry | FunctionNotPayableErrorStackTraceEntry | InvalidParamsErrorStackTraceEntry | FallbackNotPayableErrorStackTraceEntry | FallbackNotPayableAndNoReceiveErrorStackTraceEntry | UnrecognizedFunctionWithoutFallbackErrorStackTraceEntry | MissingFallbackOrReceiveErrorStackTraceEntry | ReturndataSizeErrorStackTraceEntry | NonContractAccountCalledErrorStackTraceEntry | CallFailedErrorStackTraceEntry | DirectLibraryCallErrorStackTraceEntry | UnrecognizedCreateErrorStackTraceEntry | UnrecognizedContractErrorStackTraceEntry | OtherExecutionErrorStackTraceEntry | UnmappedSolc063RevertErrorStackTraceEntry | ContractTooLargeErrorStackTraceEntry | InternalFunctionCallStackEntry | ContractCallRunOutOfGasError | CheatcodeErrorStackTraceEntry
 /** The result of a Solidity test run. */
 export interface SolidityTestResult {
   /** Gas report, if it was generated. */
   readonly gasReport?: GasReport
 }
-/** Configuration for subscriptions. */
-export interface SubscriptionConfig {
-  /** Callback to be called when a new event is received. */
-  subscriptionCallback: (event: SubscriptionEvent) => void
+/**
+ * Solidity test runner configuration arguments exposed through the ffi.
+ * Docs based on <https://book.getfoundry.sh/reference/config/testing>.
+ */
+export interface SolidityTestRunnerConfigArgs {
+  /**
+   * The absolute path to the project root directory.
+   * Relative paths in cheat codes are resolved against this path.
+   */
+  projectRoot: string
+  /** Configures the permissions of cheat codes that access the file system. */
+  fsPermissions?: Array<PathPermission>
+  /** Address labels for traces. Defaults to none. */
+  labels?: Array<AddressLabel>
+  /**
+   * Whether to enable isolation of calls. In isolation mode all top-level
+   * calls are executed as a separate transaction in a separate EVM
+   * context, enabling more precise gas accounting and transaction state
+   * changes.
+   * Defaults to false.
+   */
+  isolate?: boolean
+  /**
+   * Whether or not to enable the ffi cheatcode.
+   * Warning: Enabling this cheatcode has security implications, as it allows
+   * tests to execute arbitrary programs on your computer.
+   * Defaults to false.
+   */
+  ffi?: boolean
+  /**
+   * Allow expecting reverts with `expectRevert` at the same callstack depth
+   * as the test. Defaults to false.
+   */
+  allowInternalExpectRevert?: boolean
+  /**
+   * The value of `msg.sender` in tests as hex string.
+   * Defaults to `0x1804c8AB1F12E6bbf3894d4083f33e07309d1f38`.
+   */
+  sender?: Uint8Array
+  /**
+   * The value of `tx.origin` in tests as hex string.
+   * Defaults to `0x1804c8AB1F12E6bbf3894d4083f33e07309d1f38`.
+   */
+  txOrigin?: Uint8Array
+  /**
+   * The initial balance of the sender in tests.
+   * Defaults to `0xffffffffffffffffffffffff`.
+   */
+  initialBalance?: bigint
+  /**
+   * The value of `block.number` in tests.
+   * Defaults to `1`.
+   */
+  blockNumber?: bigint
+  /**
+   * The value of the `chainid` opcode in tests.
+   * Defaults to `31337`.
+   */
+  chainId?: bigint
+  /** The hardfork to use for EVM execution. */
+  hardfork: string
+  /**
+   * The gas limit for each test case.
+   * Defaults to `9_223_372_036_854_775_807` (`i64::MAX`).
+   */
+  gasLimit?: bigint
+  /**
+   * The price of gas (in wei) in tests.
+   * Defaults to `0`.
+   */
+  gasPrice?: bigint
+  /**
+   * The base fee per gas (in wei) in tests.
+   * Defaults to `0`.
+   */
+  blockBaseFeePerGas?: bigint
+  /**
+   * The value of `block.coinbase` in tests.
+   * Defaults to `0x0000000000000000000000000000000000000000`.
+   */
+  blockCoinbase?: Uint8Array
+  /**
+   * The value of `block.timestamp` in tests.
+   * Defaults to 1.
+   */
+  blockTimestamp?: bigint
+  /**
+   * The value of `block.difficulty` in tests.
+   * Defaults to 0.
+   */
+  blockDifficulty?: bigint
+  /**
+   * The `block.gaslimit` value during EVM execution.
+   * Defaults to none.
+   */
+  blockGasLimit?: bigint
+  /**
+   * Whether to disable the block gas limit.
+   * Defaults to false.
+   */
+  disableBlockGasLimit?: boolean
+  /**
+   * Transaction gas cap, introduced in [EIP-7825].
+   *
+   * When not set, defaults to the value defined by the used hardfork.
+   *
+   * [EIP-7825]: https://eips.ethereum.org/EIPS/eip-7825
+   */
+  transactionGasCap?: bigint
+  /**
+   * Whether to disable the [EIP-7825] transaction gas cap.
+   * Defaults to false.
+   *
+   * [EIP-7825]: https://eips.ethereum.org/EIPS/eip-7825
+   */
+  disableTransactionGasCap?: boolean
+  /**
+   * The memory limit of the EVM in bytes.
+   * Defaults to `33_554_432` (2^25 = 32MiB).
+   */
+  memoryLimit?: bigint
+  /**
+   * The predeploys applied in local mode. Defaults to no predeploys.
+   * These should match the predeploys of the network in fork mode, so they
+   * aren't set in fork mode.
+   * The code must be set and non-empty. The nonce and the balance default to
+   * zero and storage defaults to empty.
+   */
+  localPredeploys?: Array<AccountOverride>
+  /**
+   * If set, all tests are run in fork mode using this url or remote name.
+   * Defaults to none.
+   */
+  ethRpcUrl?: string
+  /** Pins the block number for the global state fork. */
+  forkBlockNumber?: bigint
+  /**
+   * Map of RPC endpoints from chain name to RPC urls for fork cheat codes,
+   * e.g. `{ "optimism": "https://optimism.alchemyapi.io/v2/..." }`
+   */
+  rpcEndpoints?: Record<string, string>
+  /**
+   * Optional RPC cache path. If this is none, then no RPC calls will be
+   * cached, otherwise data is cached to `<rpc_cache_path>/<chain
+   * id>/<block number>`. Caching can be disabled for specific chains
+   * with `rpc_storage_caching`.
+   */
+  rpcCachePath?: string
+  /** What RPC endpoints are cached. Defaults to all. */
+  rpcStorageCaching?: StorageCachingConfig
+  /**
+   * The number of seconds to wait before `vm.prompt` reverts with a timeout.
+   * Defaults to 120.
+   */
+  promptTimeout?: number
+  /** Fuzz testing configuration. */
+  fuzz?: FuzzConfigArgs
+  /**
+   * Invariant testing configuration.
+   * If an invariant config setting is not set, but a corresponding fuzz
+   * config value is set, then the fuzz config value will be used.
+   */
+  invariant?: InvariantConfigArgs
+  /** Whether to collect stack traces. */
+  collectStackTraces?: CollectStackTraces
+  /**
+   * Controls which test results should include execution traces. Defaults to
+   * None.
+   */
+  includeTraces?: IncludeTraces
+  /** The configuration for the Solidity test runner's observability */
+  observability?: ObservabilityConfig
+  /**
+   * A regex pattern to filter tests. If provided, only test methods that
+   * match the pattern will be executed and reported as a test result.
+   */
+  testPattern?: string
+  /**
+   * A regex pattern to exclude tests. If provided, test methods that match
+   * the pattern will not be executed or reported as a test result. Applied
+   * after `test_pattern`.
+   */
+  excludeTestPattern?: string
+  /**
+   * Controls whether to generate a gas report after running the tests.
+   * Enabling this also enables collection of all traces and EVM isolation
+   * mode.
+   * Defaults to false.
+   */
+  generateGasReport?: boolean
+  /**
+   * Test function level config overrides.
+   * Defaults to none.
+   */
+  testFunctionOverrides?: Array<TestFunctionOverride>
+  /**
+   * A list of EIP-712 canonical type definitions that can be referenced by
+   * type name in the `eip712HashType` and `eip712HashStruct` cheatcodes.
+   *
+   * Each entry is an independent, self-contained type definition. A
+   * definition that references nested struct types must inline those
+   * struct definitions, per the EIP-712 `encodeType` spec.
+   *
+   * Only the primary (leftmost) type of each entry is registered by name.
+   * Nested struct types referenced inside an entry are *not* registered
+   * under their own names. To look up a nested struct by name from a
+   * cheatcode, add it as a separate top-level entry whose primary type
+   * is the nested struct.
+   *
+   * The type of a struct is encoded as:
+   *
+   * `name ‖ "(" ‖ member₁ ‖ "," ‖ member₂ ‖ "," ‖ … ‖ memberₙ ")"`
+   *
+   * where each member is written as `type ‖ " " ‖ name`.
+   *
+   * Entries that fail to parse cause a startup error listing every bad
+   * entry.
+   *
+   * Example — to make both `Mail` and `Person` reachable by name:
+   *
+   * ```text
+   * "Mail(Person from,Person to,string contents)Person(address wallet,string name)"
+   * "Person(address wallet,string name)"
+   * ```
+   *
+   * With *only* the first entry, `vm.eip712HashType("Mail")` works but
+   * `vm.eip712HashType("Person")` fails with an unknown-type error.
+   */
+  eip712CanonicalTypes?: Array<string>
 }
-export interface SubscriptionEvent {
-  filterId: bigint
-  result: any
+export interface SourceReference {
+  sourceName: string
+  sourceContent: string
+  contract?: string
+  function?: string
+  line: number
+  range: Array<number>
 }
-export declare function linkHexStringBytecode(code: string, address: string, position: number): string
-export declare function printStackTrace(trace: SolidityStackTrace): void
-/** Represents the exit code of the EVM. */
-export enum ExitCode {
-  /** Execution was successful. */
-  SUCCESS = 0,
-  /** Execution was reverted. */
-  REVERT = 1,
-  /** Execution ran out of gas. */
-  OUT_OF_GAS = 2,
-  /** Execution encountered an internal error. */
-  INTERNAL_ERROR = 3,
-  /** Execution encountered an invalid opcode. */
-  INVALID_OPCODE = 4,
-  /** Execution encountered a stack underflow. */
-  STACK_UNDERFLOW = 5,
-  /** Create init code size exceeds limit (runtime). */
-  CODESIZE_EXCEEDS_MAXIMUM = 6,
-  /** Create collision. */
-  CREATE_COLLISION = 7,
-  /** Unknown halt reason. */
-  UNKNOWN_HALT_REASON = 8
+/** Identifier for the Ethereum spec. */
+export declare enum SpecId {
+  /** Frontier */
+  Frontier = 0,
+  /** Frontier Thawing */
+  FrontierThawing = 1,
+  /** Homestead */
+  Homestead = 2,
+  /** DAO Fork */
+  DaoFork = 3,
+  /** Tangerine */
+  Tangerine = 4,
+  /** Spurious Dragon */
+  SpuriousDragon = 5,
+  /** Byzantium */
+  Byzantium = 6,
+  /** Constantinople */
+  Constantinople = 7,
+  /** Petersburg */
+  Petersburg = 8,
+  /** Istanbul */
+  Istanbul = 9,
+  /** Muir Glacier */
+  MuirGlacier = 10,
+  /** Berlin */
+  Berlin = 11,
+  /** London */
+  London = 12,
+  /** Arrow Glacier */
+  ArrowGlacier = 13,
+  /** Gray Glacier */
+  GrayGlacier = 14,
+  /** Merge */
+  Merge = 15,
+  /** Shanghai */
+  Shanghai = 16,
+  /** Cancun */
+  Cancun = 17,
+  /** Prague */
+  Prague = 18,
+  /** Osaka */
+  Osaka = 19,
+  /** Amsterdam */
+  Amsterdam = 20
 }
-export enum ContractFunctionType {
-  CONSTRUCTOR = 0,
-  FUNCTION = 1,
-  FALLBACK = 2,
-  RECEIVE = 3,
-  GETTER = 4,
-  MODIFIER = 5,
-  FREE_FUNCTION = 6
+export const SPURIOUS_DRAGON: string
+/** The stack trace result */
+export interface StackTrace {
+  /** Enum tag for JS. */
+  kind: "StackTrace"
+  /** The stack trace entries */
+  entries: Array<SolidityStackTraceEntry>
 }
-export enum StackTraceEntryType {
+export declare enum StackTraceEntryType {
   CALLSTACK_ENTRY = 0,
   UNRECOGNIZED_CREATE_CALLSTACK_ENTRY = 1,
   UNRECOGNIZED_CONTRACT_CALLSTACK_ENTRY = 2,
@@ -1479,140 +1730,175 @@ export enum StackTraceEntryType {
   CONTRACT_CALL_RUN_OUT_OF_GAS_ERROR = 23,
   CHEATCODE_ERROR = 24
 }
 export declare function stackTraceEntryTypeToString(val: StackTraceEntryType): string
-export const FALLBACK_FUNCTION_NAME: string
-export const RECEIVE_FUNCTION_NAME: string
-export const CONSTRUCTOR_FUNCTION_NAME: string
-export const UNRECOGNIZED_FUNCTION_NAME: string
-export const UNKNOWN_FUNCTION_NAME: string
-export const PRECOMPILE_FUNCTION_NAME: string
-export const UNRECOGNIZED_CONTRACT_NAME: string
-export interface SourceReference {
-  sourceName: string
-  sourceContent: string
-  contract?: string
-  function?: string
-  line: number
-  range: Array<number>
-}
-export interface CallstackEntryStackTraceEntry {
-  type: StackTraceEntryType.CALLSTACK_ENTRY
-  sourceReference: SourceReference
-  functionType: ContractFunctionType
-}
-export interface UnrecognizedCreateCallstackEntryStackTraceEntry {
-  type: StackTraceEntryType.UNRECOGNIZED_CREATE_CALLSTACK_ENTRY
-  sourceReference?: undefined
-}
-export interface UnrecognizedContractCallstackEntryStackTraceEntry {
-  type: StackTraceEntryType.UNRECOGNIZED_CONTRACT_CALLSTACK_ENTRY
-  address: Uint8Array
-  sourceReference?: undefined
-}
-export interface PrecompileErrorStackTraceEntry {
-  type: StackTraceEntryType.PRECOMPILE_ERROR
-  precompile: number
-  sourceReference?: undefined
-}
-export interface RevertErrorStackTraceEntry {
-  type: StackTraceEntryType.REVERT_ERROR
-  returnData: Uint8Array
-  sourceReference: SourceReference
-  isInvalidOpcodeError: boolean
-}
-export interface PanicErrorStackTraceEntry {
-  type: StackTraceEntryType.PANIC_ERROR
-  errorCode: bigint
-  sourceReference?: SourceReference
-}
-export interface CustomErrorStackTraceEntry {
-  type: StackTraceEntryType.CUSTOM_ERROR
-  message: string
-  sourceReference: SourceReference
-}
-export interface FunctionNotPayableErrorStackTraceEntry {
-  type: StackTraceEntryType.FUNCTION_NOT_PAYABLE_ERROR
-  value: bigint
-  sourceReference: SourceReference
-}
-export interface InvalidParamsErrorStackTraceEntry {
-  type: StackTraceEntryType.INVALID_PARAMS_ERROR
-  sourceReference: SourceReference
+/** See [`edr_solidity_tests::result::TestKind::Unit`] */
+export interface StandardTestKind {
+  /** The gas consumed by the test. */
+  readonly consumedGas: bigint
 }
-export interface FallbackNotPayableErrorStackTraceEntry {
-  type: StackTraceEntryType.FALLBACK_NOT_PAYABLE_ERROR
-  value: bigint
-  sourceReference: SourceReference
+/** Settings to configure caching of remote RPC endpoints. */
+export interface StorageCachingConfig {
+  /**
+   * Chains to cache. Either all or none or a list of chain names, e.g.
+   * ["optimism", "mainnet"].
+   */
+  chains: CachedChains | Array<string>
+  /** Endpoints to cache. Either all or remote or a regex. */
+  endpoints: CachedEndpoints | string
 }
-export interface FallbackNotPayableAndNoReceiveErrorStackTraceEntry {
-  type: StackTraceEntryType.FALLBACK_NOT_PAYABLE_AND_NO_RECEIVE_ERROR
+/** A description of a storage slot's state. */
+export interface StorageSlot {
+  /** The storage slot's index */
+  index: bigint
+  /** The storage slot's value */
   value: bigint
-  sourceReference: SourceReference
-}
-export interface UnrecognizedFunctionWithoutFallbackErrorStackTraceEntry {
-  type: StackTraceEntryType.UNRECOGNIZED_FUNCTION_WITHOUT_FALLBACK_ERROR
-  sourceReference: SourceReference
-}
-export interface MissingFallbackOrReceiveErrorStackTraceEntry {
-  type: StackTraceEntryType.MISSING_FALLBACK_OR_RECEIVE_ERROR
-  sourceReference: SourceReference
-}
-export interface ReturndataSizeErrorStackTraceEntry {
-  type: StackTraceEntryType.RETURNDATA_SIZE_ERROR
-  sourceReference: SourceReference
 }
-export interface NonContractAccountCalledErrorStackTraceEntry {
-  type: StackTraceEntryType.NONCONTRACT_ACCOUNT_CALLED_ERROR
-  sourceReference: SourceReference
+/** Configuration for subscriptions. */
+export interface SubscriptionConfig {
+  /** Callback to be called when a new event is received. */
+  subscriptionCallback: (arg: SubscriptionEvent) => void
 }
-export interface CallFailedErrorStackTraceEntry {
-  type: StackTraceEntryType.CALL_FAILED_ERROR
-  sourceReference: SourceReference
+export interface SubscriptionEvent {
+  filterId: bigint
+  result: unknown
 }
-export interface DirectLibraryCallErrorStackTraceEntry {
-  type: StackTraceEntryType.DIRECT_LIBRARY_CALL_ERROR
-  sourceReference: SourceReference
+/** The possible reasons for successful termination of the EVM. */
+export declare enum SuccessReason {
+  /** The opcode `STOP` was called */
+  Stop = 0,
+  /** The opcode `RETURN` was called */
+  Return = 1,
+  /** The opcode `SELFDESTRUCT` was called */
+  SelfDestruct = 2
 }
-export interface UnrecognizedCreateErrorStackTraceEntry {
-  type: StackTraceEntryType.UNRECOGNIZED_CREATE_ERROR
-  returnData: Uint8Array
-  sourceReference?: undefined
-  isInvalidOpcodeError: boolean
+/** The result when the EVM terminates successfully. */
+export interface SuccessResult {
+  /** The reason for termination */
+  reason: SuccessReason
+  /** The amount of gas used */
+  gasUsed: bigint
+  /** The amount of gas refunded */
+  gasRefunded: bigint
+  /** The logs */
+  logs: Array<ExecutionLog>
+  /** The transaction output */
+  output: CallOutput | CreateOutput
 }
-export interface UnrecognizedContractErrorStackTraceEntry {
-  type: StackTraceEntryType.UNRECOGNIZED_CONTRACT_ERROR
-  address: Uint8Array
-  returnData: Uint8Array
-  sourceReference?: undefined
-  isInvalidOpcodeError: boolean
+/**
+ * See [`edr_solidity_tests::result::SuiteResult`]
+ *
+ * `#[napi(object)]` (POJO) rather than `#[napi]` class because there are no
+ * methods, and consumers (e.g. Hardhat's solidity-test reporter) read
+ * `.testResults` multiple times per suite. As a class, each read would
+ * re-clone the entire `Vec<TestResult>`; as an object, the data is serialized
+ * to a plain JS object once when the suite-completion TSFN fires.
+ *
+ * `object_from_js = false`: napi-derive's default for `#[napi(object)]` emits
+ * both `ToNapiValue` and `FromNapiValue`. We never receive a `SuiteResult`
+ * from JS (it's only ever constructed Rust-side and pushed through the
+ * progress TSFN), and the `Vec<TestResult>` field can't satisfy
+ * `FromNapiValue` because `TestResult` is a `#[napi]` class and not a POJO.
+ * Disabling the from-JS direction lets the to-JS direction compile cleanly.
+ */
+export interface SuiteResult {
+  /**
+   * The artifact id can be used to match input to result in the progress
+   * callback.
+   */
+  id: ArtifactId
+  /** See [`edr_solidity_tests::result::SuiteResult::duration`]. */
+  durationNs: bigint
+  /** See [`edr_solidity_tests::result::SuiteResult::test_results`]. */
+  testResults: Array<TestResult>
+  /** See [`edr_solidity_tests::result::SuiteResult::warnings`]. */
+  warnings: Array<string>
 }
-export interface OtherExecutionErrorStackTraceEntry {
-  type: StackTraceEntryType.OTHER_EXECUTION_ERROR
-  sourceReference?: SourceReference
+export const TANGERINE: string
+/** Test function level config override. */
+export interface TestFunctionConfigOverride {
+  /**
+   * Allow expecting reverts with `expectRevert` at the same callstack depth
+   * as the test.
+   */
+  allowInternalExpectRevert?: boolean
+  /**
+   * Whether to enable isolation of calls for the test. In isolation mode all
+   * top-level calls are executed as a separate transaction in a separate
+   * EVM context, enabling more precise gas accounting and transaction
+   * state changes.
+   * Ignored when gas reporting is enabled, as isolation is required for
+   * accurate gas measurements.
+   */
+  isolate?: boolean
+  /**
+   * The EVM version to use for this test, e.g. "Cancun". This will override
+   * the global EVM version.
+   */
+  evmVersion?: string
+  /** Configuration override for fuzz testing. */
+  fuzz?: FuzzConfigOverride
+  /** Configuration override for invariant testing. */
+  invariant?: InvariantConfigOverride
 }
-export interface UnmappedSolc063RevertErrorStackTraceEntry {
-  type: StackTraceEntryType.UNMAPPED_SOLC_0_6_3_REVERT_ERROR
-  sourceReference?: SourceReference
+/** Test function identifier. */
+export interface TestFunctionIdentifier {
+  /** The contract artifact id. */
+  contractArtifact: ArtifactId
+  /** The function selector as hex string. */
+  functionSelector: string
 }
-export interface ContractTooLargeErrorStackTraceEntry {
-  type: StackTraceEntryType.CONTRACT_TOO_LARGE_ERROR
-  sourceReference?: SourceReference
+/** Test function override configuration. */
+export interface TestFunctionOverride {
+  /** The test function identifier. */
+  identifier: TestFunctionIdentifier
+  /** The configuration override. */
+  config: TestFunctionConfigOverride
 }
-export interface InternalFunctionCallStackEntry {
-  type: StackTraceEntryType.INTERNAL_FUNCTION_CALLSTACK_ENTRY
-  pc: number
-  sourceReference: SourceReference
+/** The result of a test execution. */
+export declare enum TestStatus {
+  /** Test success */
+  Success = 'Success',
+  /** Test failure */
+  Failure = 'Failure',
+  /** Test skipped */
+  Skipped = 'Skipped'
 }
-export interface ContractCallRunOutOfGasError {
-  type: StackTraceEntryType.CONTRACT_CALL_RUN_OUT_OF_GAS_ERROR
-  sourceReference?: SourceReference
+/**
+ * Timeout configuration.
+ * Note: This wrapper is needed to avoid ambiguity with NAPI conversion.
+ */
+export interface TimeoutConfig {
+  /** Optional timeout (in seconds). */
+  time?: number
 }
-export interface CheatcodeErrorStackTraceEntry {
-  type: StackTraceEntryType.CHEATCODE_ERROR
-  message: string
-  sourceReference: SourceReference
-  details?: CheatcodeErrorDetails
+/** Tracing config for Solidity stack trace generation. */
+export interface TracingConfigWithBuffers {
+  /**
+   * Build information to use for decoding contracts. Either a Hardhat v2
+   * build info file that contains both input and output or a Hardhat v3
+   * build info file that doesn't contain output and a separate output file.
+   */
+  buildInfos?: Array<Uint8Array> | Array<BuildInfoAndOutput>
+  /** Whether to ignore contracts whose name starts with "Ignored". */
+  ignoreContracts?: boolean
 }
 export interface TracingMessage {
   /** Sender address */
   readonly caller: Uint8Array
@@ -1636,6 +1922,12 @@ export interface TracingMessage {
   /** Code of the contract that is being executed. */
   readonly code?: Uint8Array
 }
+export interface TracingMessageResult {
+  /** Execution result */
+  readonly executionResult: ExecutionResult
+}
 export interface TracingStep {
   /** Call depth */
   readonly depth: number
@@ -1652,174 +1944,105 @@ export interface TracingStep {
   /** The memory at the step. None if verbose tracing is disabled. */
   readonly memory?: Uint8Array
 }
-export interface TracingMessageResult {
-  /** Execution result */
-  readonly executionResult: ExecutionResult
-}
-export interface Withdrawal {
-  /** The index of withdrawal */
-  index: bigint
-  /** The index of the validator that generated the withdrawal */
-  validatorIndex: bigint
-  /** The recipient address for withdrawal value */
-  address: Uint8Array
-  /** The value contained in withdrawal */
-  amount: bigint
+/** We couldn't generate stack traces, because an unexpected error occurred. */
+export interface UnexpectedError {
+  /** Enum tag for JS. */
+  kind: "UnexpectedError"
+  /** The error message from the unexpected error. */
+  errorMessage: string
 }
-export declare class EdrContext {
-  /** Creates a new [`EdrContext`] instance. Should only be called once! */
-  constructor()
-  /** Constructs a new provider with the provided configuration. */
-  createProvider(chainType: string, providerConfig: ProviderConfig, loggerConfig: LoggerConfig, subscriptionConfig: SubscriptionConfig, contractDecoder: ContractDecoder): Promise<Provider>
-  /** Registers a new provider factory for the provided chain type. */
-  registerProviderFactory(chainType: string, factory: ProviderFactory): Promise<void>
-  registerSolidityTestRunnerFactory(chainType: string, factory: SolidityTestRunnerFactory): Promise<void>
-  /**
-   * Executes Solidity tests
-   *
-   * The function will return a promise that resolves to a
-   * [`SolidityTestResult`].
-   *
-   * Arguments:
-   * - `chainType`: the same chain type that was passed to
-   *   `registerProviderFactory`.
-   * - `artifacts`: the project's compilation output artifacts. It's
-   *   important to include include all artifacts here, otherwise cheatcodes
-   *   that access artifacts and other functionality (e.g. auto-linking, gas
-   *   reports) can break.
-   * - `testSuites`: the test suite ids that specify which test suites to
-   *   execute. The test suite artifacts must be present in `artifacts`.
-   * - `configArgs`: solidity test runner configuration. See the struct docs
-   *   for details.
-   * - `tracingConfig`: the build infos used for stack trace generation.
-   *   These are lazily parsed and it's important that they're passed as
-   *   Uint8 arrays for performance.
-   * - `onTestSuiteCompletedCallback`: The progress callback will be called
-   *   with the results of each test suite as soon as it finished executing.
-   */
-  runSolidityTests(chainType: string, artifacts: Array<Artifact>, testSuites: Array<ArtifactId>, configArgs: SolidityTestRunnerConfigArgs, tracingConfig: TracingConfigWithBuffers, onTestSuiteCompletedCallback: (result: SuiteResult) => void): Promise<SolidityTestResult>
+export const UNKNOWN_FUNCTION_NAME: string
+export interface UnmappedSolc063RevertErrorStackTraceEntry {
+  type: StackTraceEntryType.UNMAPPED_SOLC_0_6_3_REVERT_ERROR
+  sourceReference?: SourceReference
 }
-export declare class ContractDecoder {
-  /**Creates an empty instance. */
-  constructor()
-  /**Creates a new instance with the provided configuration. */
-  static withContracts(config: TracingConfigWithBuffers): ContractDecoder
+export const UNRECOGNIZED_CONTRACT_NAME: string
+export const UNRECOGNIZED_FUNCTION_NAME: string
+export interface UnrecognizedContractCallstackEntryStackTraceEntry {
+  type: StackTraceEntryType.UNRECOGNIZED_CONTRACT_CALLSTACK_ENTRY
+  address: Uint8Array
+  sourceReference?: undefined
 }
-export declare class Precompile {
-  /** Returns the address of the precompile. */
-  get address(): Uint8Array
+export interface UnrecognizedContractErrorStackTraceEntry {
+  type: StackTraceEntryType.UNRECOGNIZED_CONTRACT_ERROR
+  address: Uint8Array
+  returnData: Uint8Array
+  sourceReference?: undefined
+  isInvalidOpcodeError: boolean
 }
-export declare class ProviderFactory { }
-export declare class Response {
-  /**Returns the response data as a JSON string or a JSON object. */
-  get data(): string | any
-  /**Compute the error stack trace. Return the stack trace if it can be decoded, otherwise returns none. Throws if there was an error computing the stack trace. */
-  stackTrace(): StackTrace | UnexpectedError | HeuristicFailed | null
-  /**
-   * Constructs the execution traces for the request. Returns an empty array
-   * if traces are not enabled for this provider according to
-   * [`crate::solidity_tests::config::SolidityTestRunnerConfigArgs::include_traces`]. Otherwise, returns
-   * an array of the root calls of the trace, which always includes the
-   * request's call itself.
-   */
-  callTraces(): Array<CallTrace>
+export interface UnrecognizedCreateCallstackEntryStackTraceEntry {
+  type: StackTraceEntryType.UNRECOGNIZED_CREATE_CALLSTACK_ENTRY
+  sourceReference?: undefined
 }
-/** A JSON-RPC provider for Ethereum. */
-export declare class Provider {
-  /**
-   *Adds a compilation result to the instance.
-   *
-   *For internal use only. Support for this method may be removed in the future.
-   */
-  addCompilationResult(solcVersion: string, compilerInput: any, compilerOutput: any): Promise<void>
-  /**Retrieves the instance's contract decoder. */
-  contractDecoder(): ContractDecoder
-  /**Handles a JSON-RPC request and returns a JSON-RPC response. */
-  handleRequest(request: string): Promise<Response>
-  setCallOverrideCallback(callOverrideCallback: (contract_address: ArrayBuffer, data: ArrayBuffer) => Promise<CallOverrideResult | undefined>): Promise<void>
-  /**
-   * Set to `true` to make the traces returned with `eth_call`,
-   * `eth_estimateGas`, `eth_sendRawTransaction`, `eth_sendTransaction`,
-   * `evm_mine`, `hardhat_mine` include the full stack and memory. Set to
-   * `false` to disable this.
-   */
-  setVerboseTracing(verboseTracing: boolean): Promise<void>
+export interface UnrecognizedCreateErrorStackTraceEntry {
+  type: StackTraceEntryType.UNRECOGNIZED_CREATE_ERROR
+  returnData: Uint8Array
+  sourceReference?: undefined
+  isInvalidOpcodeError: boolean
 }
-export declare class SolidityTestRunnerFactory { }
-/** See [`edr_solidity_tests::result::SuiteResult`] */
-export declare class SuiteResult {
-  /**
-   * The artifact id can be used to match input to result in the progress
-   * callback
-   */
-  readonly id: ArtifactId
-  /** See [`edr_solidity_tests::result::SuiteResult::duration`] */
-  readonly durationNs: bigint
-  /** See [`edr_solidity_tests::result::SuiteResult::test_results`] */
-  readonly testResults: Array<TestResult>
-  /** See [`edr_solidity_tests::result::SuiteResult::warnings`] */
-  readonly warnings: Array<string>
+export interface UnrecognizedFunctionWithoutFallbackErrorStackTraceEntry {
+  type: StackTraceEntryType.UNRECOGNIZED_FUNCTION_WITHOUT_FALLBACK_ERROR
+  sourceReference: SourceReference
 }
-/** See [`edr_solidity_tests::result::TestResult`] */
-export declare class TestResult {
-  /** The name of the test. */
-  readonly name: string
-  /** See [`edr_solidity_tests::result::TestResult::status`] */
-  readonly status: TestStatus
-  /** See [`edr_solidity_tests::result::TestResult::reason`] */
-  readonly reason?: string
-  /** See [`edr_solidity_tests::result::TestResult::counterexample`] */
-  readonly counterexample?: BaseCounterExample | CounterExampleSequence
-  /** See [`edr_solidity_tests::result::TestResult::decoded_logs`] */
-  readonly decodedLogs: Array<string>
-  /** See [`edr_solidity_tests::result::TestResult::kind`] */
-  readonly kind: StandardTestKind | FuzzTestKind | InvariantTestKind
-  /** See [`edr_solidity_tests::result::TestResult::duration`] */
-  readonly durationNs: bigint
-  /**
-   * Groups of value snapshot entries (incl. gas).
-   *
-   * Only present if the test runner collected scoped snapshots. Currently,
-   * this is always the case.
-   */
-  readonly valueSnapshotGroups?: Array<ValueSnapshotGroup>
+/**
+ * We couldn't generate stack traces, because the test execution is unsafe to
+ * replay due to indeterminism. This can be caused by either specifying a fork
+ * url without a fork block number in the test runner config or using impure
+ * cheatcodes.
+ */
+export interface UnsafeToReplay {
+  /** Enum tag for JS. */
+  kind: "UnsafeToReplay"
   /**
-   * Compute the error stack trace.
-   * The result is either the stack trace or the reason why we couldn't
-   * generate the stack trace.
-   * Returns null if the test status is succeeded or skipped.
-   * Cannot throw.
+   * Indeterminism due to specifying a fork url without a fork block number
+   * in the test runner config.
    */
-  stackTrace(): StackTrace | UnexpectedError | HeuristicFailed | UnsafeToReplay | null
+  globalForkLatest: boolean
   /**
-   * Constructs the execution traces for the test. Returns an empty array if
-   * traces for this test were not requested according to
-   * [`crate::solidity_tests::config::SolidityTestRunnerConfigArgs::include_traces`]. Otherwise, returns
-   * an array of the root calls of the trace, which always includes the test
-   * call itself and may also include the setup call if there is one
-   * (identified by the function name `setUp`).
+   * The list of executed impure cheatcode signatures. We collect function
+   * signatures instead of function names as whether a cheatcode is impure
+   * can depend on the arguments it takes (e.g. `createFork` without a second
+   * argument means implicitly fork from “latest”). Example signature:
+   * `function createSelectFork(string calldata urlOrAlias) external returns
+   * (uint256 forkId);`.
    */
-  callTraces(): Array<CallTrace>
+  impureCheatcodes: Array<string>
 }
-export declare class Exit {
-  get kind(): ExitCode
-  isError(): boolean
-  getReason(): string
+/** An entry in a value snapshot group. */
+export interface ValueSnapshotEntry {
+  /** The name of the entry. */
+  name: string
+  /** The value of the entry. */
+  value: string
 }
-/**
- * Opaque handle to the `Bytecode` struct.
- * Only used on the JS side by the `VmTraceDecoder` class.
- */
-export declare class BytecodeWrapper { }
-export declare class ReturnData {
-  readonly value: Uint8Array
-  constructor(value: Uint8Array)
-  isEmpty(): boolean
-  isErrorReturnData(): boolean
-  isPanicReturnData(): boolean
-  decodeError(): string
-  decodePanic(): bigint
+/** A grouping of value snapshot entries for a test. */
+export interface ValueSnapshotGroup {
+  /** The group name. */
+  name: string
+  /** The entries in the group. */
+  entries: Array<ValueSnapshotEntry>
 }
-export declare class RawTrace {
-  get trace(): Array<TracingMessage | TracingStep | TracingMessageResult>
+export interface Withdrawal {
+  /** The index of withdrawal */
+  index: bigint
+  /** The index of the validator that generated the withdrawal */
+  validatorIndex: bigint
+  /** The recipient address for withdrawal value */
+  address: Uint8Array
+  /** The value contained in withdrawal */
+  amount: bigint
 }