* Reapply "cannon: Generic FPVM interface (#10993)" (#11004)

This reverts commit 124b1a9e.

* cannon: Fix post-state hash in proof

* remove PostStateHash from StepWitness

* op-upgrade: deprecate

Delete `op-upgrade` and its related packages. These are no longer used
in favor of the `superchain-ops` repo. No need to keep around dead code.
The `safe` and `upgrades` packages are deleted.

* justfile: delete

Bumps [github.com/btcsuite/btcd](https://github.com/btcsuite/btcd) from 0.24.0 to 0.24.2.
- [Release notes](https://github.com/btcsuite/btcd/releases)
- [Changelog](https://github.com/btcsuite/btcd/blob/master/CHANGES)
- [Commits](https://github.com/btcsuite/btcd/compare/v0.24.0...v0.24.2)

---
updated-dependencies:
- dependency-name: github.com/btcsuite/btcd
  dependency-type: direct:production
  update-type: version-update:semver-patch
...
Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

* op-node: maintain sync-status through events, remove legacy snapshot-log

* op-service: fix typo
Co-authored-by: Adrian Sutton <adrian@oplabs.co>

* op-node: clarify hidden snapshot log flag

* op-node: make CurrentL1 SyncStatus update more frequently

---------
Co-authored-by: Adrian Sutton <adrian@oplabs.co>

* contracts-bedrock: cleanup interop predeploys

Small refactor to the interop predeploys to reuse existing code.
It was determined safe to use the `SafeCall` library, so we opt
to use that instead of duplicating code. No tests are added since
existing test coverage ensures that these calls happen as expected.
A manual mutation test where the value was not passed through was
performed and failing tests were observed.

The `SafeCall` library was previously pinned to `0.8.15` due to the
"call with min gas" semantics, it may be possible that a new compiler
version could emit code that doesn't act how `0.8.15` acts, but the
whole gas introspection thing is an anti pattern and we have invariant
tests that would catch this if we modified the solc version used
by `OptimismPortal`. We know to never follow this pattern again,
ie `hasMinGas` or `callWithMinGas` should never be used again
in the codebase and should be deleted at some point once we get
rid of the whole min gas limit semantics.

* lint: fix

* semver-lock: update

This reverts commit bdce0bfa.

Bumps [github.com/multiformats/go-multiaddr](https://github.com/multiformats/go-multiaddr) from 0.12.4 to 0.13.0.
- [Release notes](https://github.com/multiformats/go-multiaddr/releases)
- [Commits](https://github.com/multiformats/go-multiaddr/compare/v0.12.4...v0.13.0)

---
updated-dependencies:
- dependency-name: github.com/multiformats/go-multiaddr
  dependency-type: direct:production
  update-type: version-update:semver-minor
...
Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

* cannon: Increment MIPS.sol version

* cannon: Add syscall args helper

* cannon: Extract mmap helper

* cannon: Extract sysRead helper

Also:
- Extract solidity memory helpers into new lib.
- Reorganize syscall constants.

* cannon: Add NatSpec documentation to solidity syscall helpers

* cannon: Extract sysWrite helper

* cannon: Use consistent naming convention

* cannon: Extract sysFcntl helper, fix typos

* cannon: Consolidate comments, fix formatting

* cannon: Add helper for setting registers, pc fields

* cannon: Reorganize syscall constants

* cannon: Fix MIPSMemory import

* cannon: Run semver-lock and snapshots

* cannon: Explicitly inject proof offsets into helper fns

Proofs offsets may differ between implementations, so these values must
be passed into helper functions rather than calculated internally.

* cannon: Remove hard-coded state.memRoot references from MIPSMemory.sol

* cannon: Work around stack too deep error

* cannon: Rework stack-too-deep fix

* cannon: Run semver-lock and snapshots

* cannon: Validate calldata size directly in readMem, writeMem

* cannon: Run semver-lock and snapshots

* Replace errors import with errutil in correct case

* fix after goimports -w .

* op-supervisor: Support recording executing message info

* op-supervisor: Reduce permissions

* op-supervisor: Implement recovery for entry db

* op-supervisor: Track size in entrydb instead of last entry idx

* op-supervisor: Trim log entries back to the last valid ending point

* op-supervisor: Remove the manual recover operations since recovery at startup is automatic

* op-supervisor: Add support for writing multiple entries in a single write

* op-supervisor: Write all entries for a log in one append call.

Only update in-memory state after the write succeeds.

* op-supervisor: Handle partial writes

* op-supervisor: Extract logic to reverse an init event

* op-supervisor: Use errors.New

* op-supervisor: Combine the two AddLog variants.

* op-supervisor: Remove place holder tests.

* op-supervisor: Separate Executes and Contains queries

* op-supervisor: Only read executing message when it is actually used.

* op-chain-ops: cleanup foundry package

Moves the foundry related code into the foundry package.
We have some code for reading the allocs that foundry writes
to disk with `vm.dumpState(string)`. It makes more sense to
have these functions and types in the `foundry` package
rather than the `genesis` package.

* op-chain-ops: fix compile issue

* op-node: port package usage

Bumps [github.com/minio/minio-go/v7](https://github.com/minio/minio-go) from 7.0.71 to 7.0.72.
- [Release notes](https://github.com/minio/minio-go/releases)
- [Commits](https://github.com/minio/minio-go/compare/v7.0.71...v7.0.72)

---
updated-dependencies:
- dependency-name: github.com/minio/minio-go/v7
  dependency-type: direct:production
  update-type: version-update:semver-patch
...
Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

Implement checks for required fields in config and add tests for them.

* op-supervisor: Introduce thread-unsafe log database

* op-supervisor: Add simple r/w locking

* op-supervisor: Add comment

* op-supervisor: Start switching to multi-entry database format

* op-supervisor: Improve test to cover the case where a new block starts at a search checkpoint boundary (other than at the start of the file)

* op-supervisor: Use a flag to indicate when log index should increment rather than a 1 byte increment amount.

* op-supervisor: Comment out unused stuff to make lint happy.

* op-supervisor: Load correct block number and log idx on init

* op-supervisor: Refactor state to only hold context that can always be kept up to date.

* op-supervisor: Support rewinding

* op-supervisor: Remove TODO that probably won't be done there

* op-supervisor: Require first log in block to have logIdx 0

* op-supervisor: Remove completed TODO.

* op-supervisor: Improve testing for logs not existing

* op-supervisor: Fix typo

* op-supervisor: Tidy up TODOs and pending tests.

* op-supervisor: Add invariant assertions for db data

* op-supervisor: Lock db in ClosestBlockInfo

* op-supervisor: Label alerts

* op-supervisor: Use a TruncatedHash for logs everywhere and make it a fixed size array.

* op-supervisor: Separate serialization of initating events

* op-supervisor: Separate serialization of other event types and enforce type code.

* op-supervisor: Introduce entry type

* op-supervisor: Split out an entry database

* op-supervisor: Introduce structs for entry types

* op-supervisor: Use a struct for CanonicalHash too

* op-conductor: add override to disable HA mode in disaster recovery scenarios

* op-conductor: add leader override in conductor API

* Change leaderOverride to atomic.Bool

Move the ts config out of the root of the repo to the packages
themselves. This is because no new typescript development is planned
for the monorepo itself, new typescript lives in the ecosystem monorepo,
see https://github.com/ethereum-optimism/ecosystem. It may also live in
the monitoring monorepo, see https://github.com/ethereum-optimism/monitorism.

This will make porting the individual ts packages out of the monorepo
more simple and also cleans up the root of the monorepo, reducing the
overhead for contributors.

The `pnpm-workspace.yaml` file should no longer
include a reference to the ts package that was removed
along with the `indexer`.

* op-node: event handling on block attributes

todo

* op-node: update plasma step to no longer hardcode pipeline stepping

Current fault dispute rules are that the safe head is extended to the end of the trace.

* op-program: refactor to use events derivers

* op-node: differentiate between invalid payload and invalid payload attributes

* Use common.Hash type in asterisc VMState

* Update asterisc test state

* Fix OP-GETH broken link

* use correct link

* fix link

* cannon: Extract handleHiLo, handleJump, handlRd from mips.go

* cannon: Extract handleHiLo, handleJump, handlRd from MIPS.sol

* cannon: Increment MIPS.sol version

* cannon: Run semver-lock and snapshots

* cannon: Fix slither warning - init variable to zero

* op-conductor: Add optional version parameter to cluster membership changes

* Fix tests

* Add API backwards compatibility for conductor changes

* Clean up some boilerplate

* ctb: Add safe extension contract auth to Specs.t.sol

* ctb: Fix capitalization on Safe dir