Has anyone ever forced an L2 transaction inclusion via L1? 

I know its theoretically possible, but curious if it happens in practice or if its like fraud proofs which haven't seen usage in prod environments.

not a direct answer but cool related project: @dghelm built a tool to make forcing L2 transactions easier

Play: https://dgh.works/works • Work: @scrollzkp

Technowatermelon. Elder Millenial. Building Farcaster. 

nf.td/varun

not a direct answer but cool related project: @dghelm built a tool to make forcing L2 transactions easier https://ethglobal.com/showcase/trust-issues-3wnx4

I like baking /goodbread and building apps on web3 protocols. DevRel @ ENS Labs. gregskril.com