When an L2 block has cross-L2 dependencies, and any of those dependencies is cross-verified but does not match the expected executed message, then we need to reorg.

The local-safe and cross-safe DBs should be rewound to drop the invalidated L1 blocks.
The events DB should rewind such that the remaining L2 blocks are consistent with the local-safe DB (i.e. all history matches the post-reorg local-safe DB, or it's ahead of the last known local-safe L2 block).

The effects of this reorg should be picked up by the op-node, which will also have to follow the reorg.