Notice that this works (some kind of commit-and-execute schema). On this way we only need balance and nonce and codeFlag to make sure that a tx can pay for the MINIMAL_FEE_THAT_PREVENTS_DOS.
The problem is how to reconcile this with Encrypted Mempools? See LUCID: Encrypted mempool with distributed payload propagation for instance. This won’t really allow us to do this as we no longer can check this. And it’s super hard for me to see how to have private txs, when we have to pay for DOS prevention work.
So, I don’t think is impossible to reconcile all this. But seriously needs work from all EIP authors involved. Otherwise it’s going to be hard.