# ASSUMPTION

Exact balance, nonce, storage, or runtime-code value supplied as initial PROGRAM state.

Canonical HTML: <https://determica.com/docs/types/assumption>

- Family: Logical
- Physical type: JSON

Exact balance, nonce, storage, or runtime-code value supplied as initial PROGRAM state.

## Used by functions

### Returned as output

- [assume_code](/docs/functions/assume_code.md) — Declares the exact EVM runtime bytecode supplied for one address in a PROGRAM's initial state.
- [assume_native_balance](/docs/functions/assume_native_balance.md) — Declares the exact native balance, in Wei, supplied for one address in a PROGRAM's initial state.
- [assume_no_code](/docs/functions/assume_no_code.md) — Declares that one address has no EVM runtime bytecode in a PROGRAM's initial state.
- [assume_nonce](/docs/functions/assume_nonce.md) — Declares the exact account nonce supplied for one address in a PROGRAM's initial state.
- [assume_storage](/docs/functions/assume_storage.md) — Declares the exact 32-byte value supplied for one contract storage slot in a PROGRAM's initial state.