The original RIP-7560 previously required a separation of a Native Account Abstraction transaction flow into non-atomic validation frame and execution frame.
We now believe that this separation may not be necessary for some L2 implementations, so this separation of transactions into non-atomic parts has been extracted into a separate document here: