@drewf.eth
Re: interop, will the superchain include mainnet in it's dependency set? Why/why not? Would initiating messages always be safe, or would L1 preconf mechanisms be used to enable unsafe message dependencies?
More generally, does depending on initiating messages require anything beyond a contract that defines a dispute game for whether a specific initiating message is valid?