Simulation
Reference functions grouped under Simulation, with signatures, examples, and metadata generated from the Determica catalog.
- assume_code Declares the exact EVM runtime bytecode supplied for one address in a PROGRAM's initial state.Scalar
- assume_native_balance Declares the exact native balance, in Wei, supplied for one address in a PROGRAM's initial state.Scalar
- assume_no_code Declares that one address has no EVM runtime bytecode in a PROGRAM's initial state.Scalar
- assume_nonce Declares the exact account nonce supplied for one address in a PROGRAM's initial state.Scalar
- assume_storage Declares the exact 32-byte value supplied for one contract storage slot in a PROGRAM's initial state.Scalar
- call_context Builds the EVM transaction context attached to one PROGRAM call step.Scalar
- execute_call Builds one raw EVM call step for ordered, non-atomic PROGRAM execution.Scalar
- execute_contract Selects an ABI function, encodes its arguments, and builds one step for ordered, non-atomic PROGRAM execution.Scalar
- execution_evidence Reads stored execution tables and returns their schema-versioned evidence projection.Scalar
- observation_fact Declares a human-readable label for an address without scheduling a READ.Scalar
- observe Schedules one keyed READ at both the pre and terminal execution checkpoints.Scalar
- observe_after_step Schedules one keyed READ at the checkpoint after a zero-based PROGRAM step.Scalar
- program Builds an ordered, non-atomic EVM PROGRAM that stops execution after its first unsuccessful step.Scalar
- 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