* ct/scripts/ChainAssertions: add require revert message
Signed-off-by: jsvisa <delweng@gmail.com>

* ct/scripts/deploy/Deploy: add require revert message
Signed-off-by: jsvisa <delweng@gmail.com>

* ct/scripts/deploy/DeployOwnership: add require revert message
Signed-off-by: jsvisa <delweng@gmail.com>

* ct/scripts/deploy/DeployPeriphery: add require revert message
Signed-off-by: jsvisa <delweng@gmail.com>

* feat(semgrep): enable for all solidity files, except WETH9
Signed-off-by: jsvisa <delweng@gmail.com>

* fix require issues
Signed-off-by: jsvisa <delweng@gmail.com>

* fix(semgrep): run just semgrep to fix the require rules
Signed-off-by: jsvisa <delweng@gmail.com>

---------
Signed-off-by: jsvisa <delweng@gmail.com>

Co-authored-by: Tarun Khasnavis <tarunkhasnavis@Taruns-MacBook-Pro.local>

Added in extra dependency details to the getting started versions script to point people to where to learn more. (#13540)

* attempt...

* fixes

* fix checks

* fix kontrol build

* update DeploymentSummaryFaultProofs kontrol hash

* fixes

* undo unnecessary change

* feat: Reduce diff and usage of OptimismPortal2

* semver

* fix: init test

---------
Co-authored-by: Maurelian <maurelian@protonmail.ch>

* op-proposer: do not propose if outputRoot is the same as last proposed game

* fixed porposer tests

* PR comments

* Fix log message.

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

This handles deploying the kurtosis enclave according to spec, and
then stitching together the relevant information to be transmitted for
downstream consumption.

* feature: Allow adding arbitrary HTTP handlers to RPC HTTP Server.

* feature: Add sync package to handle streaming db files between nodes.

* tweak: Add DB sync server handler to op-supervisor server.

* feature: Use db sync if it's configured and there's no existing db.

* tweak: Use retry lib, which also adds max retries.

* rename: SyncRPC -> SyncEndpoint.

* tweak: Make the initial chain set part of the Server constructor.

* cleanup: Remove unused functions.

* rename: client -> syncClient to avoid package collision.

* fix: Load DepSet and use for sync server.

* tweak: Use client.BasicHTTPClient for sync client.

* fix: Don't double concat the path.

* tests,fix: Set sync resume to true.

* tweak: Add error context.

* tweak: Make http body close lint-friendly.

* tweak: Change retry policy to backoff from 1s to 30s, up to 10 minutes.

* tests,fix: Use require.ErrorIs to handle wrapped error.

This is in service of outputting useful information at the end of the
deployment.

Here we get back some useful wallets and addresses for downstream
consumption.

This enables us to retrieve information about artifacts and services,
for downstream consumption.

* Update README.md

* Update README.md

* op-supervisor: fix typo in README.md

---------
Co-authored-by: protolambda <proto@protolambda.com>

This can be used in isolation to sanity check that a kurtosis-devnet
template expands properly, without having to run the entire workflow
(although it would fail early anyway).

* fix: more robust opcm checking upon deploy.

* Update packages/contracts-bedrock/scripts/deploy/ChainAssertions.sol
Co-authored-by: Maurelian <john@oplabs.co>

* Update packages/contracts-bedrock/scripts/deploy/ChainAssertions.sol
Co-authored-by: Maurelian <john@oplabs.co>

* fix: pr comments.

---------
Co-authored-by: Maurelian <john@oplabs.co>

This will allow us to point kurtosis to these artifacts, and deploy
them from HEAD.

Right now I'm assuming we have some available "just" recipes for them.
We might decide to do things differently down the road.

* feat: Move OptimismMintableERC721 and Factory contracts to L2 dir

* feat: Remove outdated comment about 721 bridge refunds.

Either we deleted that code path, or it never existed in the 721 bridge
and we just copy pasted the comment form the ERC20 bridge.

* fix: semver

* op-program: Support multiple types of op-program releases

* include type in formatted release string

* show label on fault

* also show label for onExit

Our docker builds can be published to the local registry, so kurtosis
can access them.

We need something similar for contracts bundles for now. We'll bring
up a local http server for the duration of the kurtosis command run,
which will serve the contracts.

This enables us to parse the input provided to kurtosis for the
enclave creation, and retrieve some basic information to organize the
dynamic information we'll get from the enclave directly.

Namely, the name and network ID for each chain created.

We need a few things:
- some convenience functions for expanding user functions
- optional data to drive the template
- strict expansion (missingkley=error)

The artifacts for v1.8.0 were generated from the tag `op-contracts-v180-artifacts-base`, which points to `proposal/contracts/v1.8.0` with the non-proxied OPCM backported.

The OPCM was deployed using the `opcm bootstrap` command. The PDG blueprints were updated using a custom script which you can find at the `op-contracts-v180-blueprints-script` [tag](https://github.com/ethereum-optimism/optimism/commit/a7091185a787ea104343abafc311d65a5916e4b8).

As part of this PR, I also added a bunch of tests to assert that the semver versions of deployed contracts are correct. I'll add similar tests for mainnet once the gov vote passes.

* feat: Rename Upgrade.s.sol to ForkProd.s.sol

The updated name is more descriptive of what the code currently does. It
also reflects more accurately the current plan of applying the upgrade
outside of this script in a separate one, which may be named
`Upgrade.s.sol` and  will call `OPCM.upgrade()`.

* feat: fix artifcat name

* feat: ForkLive instead of ForkProd

* prefer .FillBytes() to .Bytes() and copy

The latter can result in an error if the number is less than 32 bytes in length (it gets padded incorrectly).

* add tests

* output to JSON

* add test case for OPM

* tidy up

* use const in test

* op-service: RPC subscribe interface fix and utils

* op-service: fix subscribe args pass through

* feat: Basic upgrade test scaffolding

* Add Superchain Registry

* Fork from Registry

* feat: allowCheatcodes on setPreinstalls in L2Genesis

* feat: Refactory and clean up registry reads

* feat: cleanup Upgrade.s.sol

* fix: Move strings into function body

Upgrade has no constructor

* feat: Some cleanup

* feat: write optimismPortal2

* feat: Automatically run anvil on 8546

* feat: Add upgrade testing to Ci

* fix: use parameter to set UPGRADE_TEST env var

* feat: more cleanup

* fix: PR feedback

* tweak ci

* fix: justfile bug

* fix: Upgrade syntax errors

* add export MAINNET_RPC_URL to ci

* debug address in use

* feat: Allow cheatcodes for FFIInterface

* feat: use EIP1967Helper

* feat: improve comments in Setup.sol

* feat: add support for interop and optimized test setups

- Implemented the ability to use interop in test configurations.
- Added checks to skip tests when certain conditions for forked tests are met.
- Enhanced Setup with options for overriding L2 genesis and creating forks.
- Included additional logging for L1 setup processes.
- Enabled etching of deployed upgrade contracts for testing purposes.

* feat: Use ETH_RPC_URL as env var name

* test fixes for forking

* feat: anvil-fork-stop does not error

* feat: Do not mess with EVM env on a fork test

* feat: Take anvil out of the loop

* feat: Don't warp if forked

* fix: isForkTest not forkBlock

* lint

* feat: enforce forking from sepolia or mainnet

* fix(ctb): test fixes for a forked env

* Revert "feat: Take anvil out of the loop"

This reverts commit c70e8d7fd6f65319050b06df4eeb78461a682260.

* feat: remove anvil-fork-stop

also add helpful comments on just commands

* fix: unsilence anvil

* fix snapshot and semgrep

* temp: slightly faster just-upgrade loop

* feat: pin fork block

* feat: change upgrade_test to test_upgrade in config.yml for consistency

* feat: cache forked state

* speculative: skip l2 work

* feat: skip benchmark tests if isFork

* feat: skip deploying L2 tokens when forking

* feat: add skipIfForkTest

* feat: limit upgrade testing to L1 contracts

* feat: move skipping logic into Setup.sol

* feat: Simplify ci config for upgrade tests

* gas snapshot

* delete ignored deploy artifact

* remove unused added vm call

* feat: remove modifications to skipped test paths

* feat: improve block number handling

* feat: Document adding a new contract

* fix: ci config syntax error

* better justfile comments

* feat: skip some tests and log messages when you do

* feat: skip SystemConfig tests with incompatible iface

* feat: add returnIfForkTest and fix a bunch of tests

* feat: more test fixes and tweaks

* gas snapshot

* feat: Add test-upgrade-rerun to justfile and ci config

* feat: Make PINNED_BLOCK_NUMBER be not a magic number

* fix: long standing bug unrelated to this work

the L1 xDM test was exercising the L2 xDM. Fork testing caught this
because it skips deploying L2 contracts.
Deploying the L2 contracts to the same network as the L1 contracts was
always a bit janky anyways.

* feat: PDG: cleaner fork test handling

* feat: remove unused import

* fix incorrect vm.roll/warp skipping logic

* fix: OptimismPortal2 tests

* fix gas snapshot

* fix: restore test_list to contracts-bedrock-tests job

* feat(ci): Split up the test-upgrade CI job

* fix(ci): remove erroneous param reference

* feat: Improve caching of forked state

* feat: use config syntax for inserting rpc url

* debug: cache key

* feat: Fix cache key checksum

* Apply suggestions from code review
Co-authored-by: Matt Solomon <matt@mattsolomon.dev>

* clarify comment about setup.setup forking

* feat: remove diff meant for upstack

* fix lint

* feat: make isForkTest private and add a getter

* debugging with annotations

* feat: fix test_findLatestGames_static_succeeds

* fix: OptimismPortal2 test_initialize_succeeds

Read guardian from chain rather than config

* feat: fix returnIfForkTest

Properly uses the return opcode to halt the test.

* fix: Portal tests for forking

* fix: DGF test for forking

* fix: Skip CGT tests on L1StandardBridge

* fix: Skip CGT tests on L1CrossDomainMessenger

* fix DGF testFuzz_create_succeeds

* fix: DGF testFuzz_create_sameUUID_reverts

* feat: remove debugging annotations

* fix: remove left over console

* fix: PermissionedDisputeGame tests

* fix: remove unused import

* fix: test_donateETH_succeeds for fork testing

* fix: isForkTest getter call

* feat: Temporarily skip UnexpectedRootClaim failures on forked upgrade tests

* Revert "feat: remove diff meant for upstack"

This reverts commit cab685617fd9db6961debe503f81042575b848f7.

* feat: clearer env var name for NO_MATCH_CONTRACTS

* fix gas snapshot

* fix test_constructor_succeeds tests after disableInit rebase

* lint

---------
Co-authored-by: Matt Solomon <matt@mattsolomon.dev>

* add script that checks that proxied (non predeploy) contracts call `_disableInitializers` in their constructor

* add check that all initialize functions of proxied contracts (not predeploys) have the external and initializer modifiers

* add to ctb justfile but not in `just check` yet

* fixes

* use semgrep instead

* ...

* fixes

* fixes

* fixes

* fixes

* fixes

* fix comment on semgrep test

* fix semgrep test

* rename rule

* rename rule

* add exception

* cannon: Fix parentheses in syscall noop handling

* cannon: Add cannon64 test case for the undefined syscall path

* cannon: Update futex-related tests - use 32-bit futex values

* cannon: Update go vm implementation - use 32-bit futex values

* cannon: Update sol 64-bit vm implementation - use 32-bit futex values

* cannon: Update sol 32-bit vm implementation - use 32-bit futex values

* cannon: Update MIPS64 version

* cannon: Update MIPS2 version

* cannon: Run semver lock

* cannon: Update semver comments to match actual version

* cannon: Run semver-lock

* cannon: Randomize futex value in register when testing

* cannon: Tweak comment

* cannon: Ignore the upper bytes in the futex value register

* cannon: Make FutexVal thread field 32-bit

* cannon: Run semver-lock

* cannon: Fix some inconsistencies, run semver-lock

* cannon: Rename testutil method

* use disableInitializers

* use disableInitializers

* use disableInitializers

* use disableInitializers

* fixes

* assert the values of storage slot of proxies and implementation contracts

* fix initialize's visibility

* fixes

* fixes

* fixes

* semver bump

* feat(op-deployer): add support for http locator

Given that the downloader code already supports it, we might as well offer the capability.

This is useful for pointing to local registries during development, without having to worry about SSL.

* update locator_test.go

http is now supported.
ftp can be used for unsupported scheme test.

* find lone words, rm more unused imports, print file path and not file name

* fixes

* fix first-time JWT generation bug

* op-service: improve and test JWT secret loading code

---------
Co-authored-by: protolambda <proto@protolambda.com>

* Config: Enable Isthmus

* Contracts: Add isthmus

* set the isthmus time offset in genesis

* rollup.Config implements types.BlockType interface

---------
Co-authored-by: Vinod Damle <5338861+vdamle@users.noreply.github.com>