Added some minor comments, but pretty much completely correct! Thanks for the more easily digestible write up! As for L1 state delta applying, it is done as part of the block proposal. So "at the same time" the new L2 state is applied, we also apply the post L1 state atomically.