#Simulate
Functions marked with Simulate, grouped from the generated Determica catalog for fast scanning across related workflows.
- assume_code Declares exact EVM runtime bytecode used to evaluate a PROGRAM offline.Scalar · Simulation
- assume_native_balance Declares an exact native-token balance used to evaluate a PROGRAM offline.Scalar · Simulation
- assume_no_code Declares that an account has no EVM runtime bytecode.Scalar · Simulation
- assume_nonce Declares an exact account nonce used to evaluate a PROGRAM offline.Scalar · Simulation
- assume_storage Declares an exact contract storage-slot value used to evaluate a PROGRAM offline.Scalar · Simulation
- call_context Builds the optional EVM-visible context attached to one PROGRAM call step.Scalar · Simulation
- code_at Returns deployed bytecode for an address in live, pinned, or retained execution state. Without a CLIENT, it builds a reusable READ and does not access state.Scalar · Chain reads
- execute_call Builds one raw EVM call step for sequential, non-atomic PROGRAM execution.Scalar · Simulation
- execute_contract Builds one ABI-encoded contract call step for sequential, non-atomic PROGRAM execution.Scalar · Simulation
- execution_evidence Builds a versioned execution dossier.Scalar · Simulation
- native_balance 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 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 Labels an address without reading state.Scalar · Simulation
- observe Schedules one logical keyed READ at the pre and terminal checkpoints.Scalar · Simulation
- observe_after_step Schedules a READ at one retained post-step checkpoint.Scalar · Simulation
- program Builds a sequential, non-atomic EVM PROGRAM from typed assumptions and call steps.Scalar · Simulation
- raw_call 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 Calls a contract function against live, pinned, or retained execution state and returns ABI-decoded SQL values. Without a CLIENT, it builds a reusable READ and does not execute the call.Scalar · Chain reads
- run 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 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