Why not a really dead simple L2 that only runs an amm but it’s an L2 in multiple chains. If it’s sequencer fails to include a tx that’s locally posted, a local implementation of the amm takes over the root in exit mode and local coins can exit.