Inphi

@samlaf Sorry for the late response This PR needs another rebase from develop to fix the semver codehash.

> I take it all the alt-da changes is to preserve compatibility with changes in the superchain-registry? caught me updating the PR description to mention this. Yup!

> op-geth devnet tests fail with `Fatal: Failed to register the Ethereum service: incompatible state scheme, stored: path, provided: hash`. I'm confused how this failure can be triggered by the...

nit: let's simply call this `admin_propose` or such. So the naming is agnostic to output or super roots

> One major question is whether the `isDeposit()` function should be only callable by the `CrossL2Inbox`. Do we want arbitrary smart contracts to be able to know this information? It...

`DerivationUpdate` isn't used because it's also triggered [on local-safe updates](https://github.com/ethereum-optimism/optimism/blob/195d8cf780d46d351a96432e979d0f1066aef2e4/op-node/rollup/interop/managed/system.go#L140) which pollute the `CurrentL1` understanding of the latest L1 block processed by the op-node. Consuming `DerivationUpdate` will reset the `CurrentL1`...

I think someone from proofs should write the spec. I'll assign it to myself for now.

> @Inphi @mbaxter can you help re trigger the CI, lint and test already passed in my local env @GrapeBaBa Done. Could you rebase on the latest develop to fix...

To add to this, it'll be awesome to have a vim-styled "command mode" that supercedes navigation shortcuts. Though it'll be nice to have a full-blown lua scripting engine to interface...

@iFrostizz Lua interface is to write (inline) scripts to automate certain debug flows. Kind of like gdb scripts.