EIP-7906: Transaction Assertions via State Diff Opcode

EIPs EIPs core
,
19

Isn’t it a post-verification mechanism, rather than a system that pre-declared the positions allowed to be modified during the transaction process? This is the idea of EIP-8158