assertions

On-chain assertions backed by the assertions.eth contract: verify view return values and chain state atomically. Requires load assertions.

load assertions

Configuration variables

Config variables are set with set (fully qualified, including the module prefix) and are only readable by their own module and the user script.

Variable	Type	Default	Description
$assertions:address	address	—	Override the resolved assertions contract address (forks / testing).

Commands

Command	Description
assertions:assert	Assert that a contract view return satisfies a comparison, on-chain.
assertions:assert-balance	Assert the native balance of an account, on-chain.
assertions:assert-block-number	Assert the current block number, on-chain.
assertions:assert-chainid	Assert the chain ID equals an expected value, on-chain.
assertions:assert-code	Assert an address has deployed code, on-chain.
assertions:assert-codehash	Assert an address has a specific code hash, on-chain.
assertions:assert-no-code	Assert an address has no deployed code, on-chain.
assertions:assert-timestamp	Assert the current block timestamp, on-chain.

Helpers

Helper	Returns	Description
@assertions:codehash	bytes32	Read the keccak256 code hash of an address.