A wrapper of the in-memory state sparse merkle tree and the transaction accumulator that represent a specific state collectively. Usually it is a state after executing a block.
A structure that summarizes the result of the execution needed for consensus to agree on. The execution is responsible for generating the ID of the new state, which is returned in the result.
Different reasons for proposal rejection