#Simulate
Functions marked with Simulate, grouped from the generated Determica catalog for fast scanning across related workflows.
- assume_code(ADDRESS, BYTES, VARCHAR) Declares the exact EVM runtime bytecode supplied for one address in a PROGRAM's initial state.Scalar · Simulation
- assume_native_balance(ADDRESS, UINT256, VARCHAR) Declares the exact native balance, in Wei, supplied for one address in a PROGRAM's initial state.Scalar · Simulation
- assume_no_code(ADDRESS, VARCHAR) Declares that one address has no EVM runtime bytecode in a PROGRAM's initial state.Scalar · Simulation
- assume_nonce(ADDRESS, UBIGINT, VARCHAR) Declares the exact account nonce supplied for one address in a PROGRAM's initial state.Scalar · Simulation
- assume_storage(ADDRESS, BYTES32, BYTES32, VARCHAR) Declares the exact 32-byte value supplied for one contract storage slot in a PROGRAM's initial state.Scalar · Simulation
- call_context(UINT256, STRUCT(address ADDRESS, storage_keys BYTES32[])[], BYTES32[]) Builds the EVM transaction context attached to one PROGRAM call step.Scalar · Simulation
- code_at(CLIENT, ADDRESS) Reads an account's runtime bytecode from live RPC state, the exact state identified by a pinned CLIENT, or retained execution state. Without a CLIENT, it builds a reusable READ and does not access state.Scalar · Chain reads
- execute_call(ADDRESS, ADDRESS, BYTES, UINT256, UBIGINT) Builds one raw EVM call step for ordered, non-atomic PROGRAM execution.Scalar · Simulation
- execute_contract(ADDRESS, ADDRESS, UINT256, UBIGINT, JSON, VARCHAR, ...args) Selects an ABI function, encodes its arguments, and builds one step for ordered, non-atomic PROGRAM execution.Scalar · Simulation
- execution_evidence(UUID) Reads stored execution tables and returns their schema-versioned evidence projection.Scalar · Simulation
- native_balance(CLIENT, ADDRESS) Returns an address's native-token balance as exact Wei in live, pinned, or retained execution state. Without a CLIENT, it builds a reusable READ and does not access state.Scalar · Chain reads
- nonce(CLIENT, ADDRESS) Returns an address's transaction count in live, pinned, or retained execution state. Without a CLIENT, it builds a reusable READ and does not access state.Scalar · Chain reads
- observation_fact(ADDRESS, VARCHAR) Declares a human-readable label for an address without scheduling a READ.Scalar · Simulation
- observe(VARCHAR, READ) Schedules one keyed READ at both the pre and terminal execution checkpoints.Scalar · Simulation
- observe_after_step(VARCHAR, UINTEGER, READ) Schedules one keyed READ at the checkpoint after a zero-based PROGRAM step.Scalar · Simulation
- program(STEP[]) Builds an ordered, non-atomic EVM PROGRAM that stops execution after its first unsuccessful step.Scalar · Simulation
- raw_call(CLIENT, ADDRESS, BYTES) Executes an isolated EVM call and returns the raw response bytes. Without a CLIENT, it builds a reusable READ and does not execute the call.Scalar · Chain reads
- read_contract(CLIENT, ADDRESS, JSON, VARCHAR, ...args) Calls a contract function against live, pinned, or retained execution state and returns a typed SQL value. Without a CLIENT, it builds a reusable READ and does not execute the call.Scalar · Chain reads
- run(CLIENT) Executes candidate EVM programs sequentially against exact CLIENT state, then atomically publishes compact receipts and auditable local evidence. It never submits transactions or mutates the connected chain.Table · Simulation
- storage_at(CLIENT, ADDRESS, BYTES32) Returns one raw 32-byte storage word for a contract and BYTES32 slot in live, pinned, or retained execution state. Without a CLIENT, it builds a reusable READ and does not access state.Scalar · Chain reads