#Evidence
Functions marked with Evidence, grouped from the generated Determica catalog for fast scanning across related workflows.
- evm_decode_log_for(UBIGINT, ADDRESS, UBIGINT, BYTES32[], BYTES) Returns a log diagnostic using the ABI registered locally for a chain, emitter, and block; use it when ABI selection depends on contract context.Scalar · Contracts and ABI
- evm_decode_revert_for(UBIGINT, ADDRESS, UBIGINT, BYTES) Returns a revert diagnostic using the ABI registered locally for a chain, contract, and block; use it when ABI selection depends on contract context.Scalar · Contracts and ABI
- evm_register_contract_abi(UBIGINT, ADDRESS, JSON) Stores contract ABI metadata in the current database for block-aware log and revert decoding.Scalar · Contracts and ABI
- 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