* op-deployer: Add deploy config inspect command

* goimports

* error check

* op-deployer: Run validations over L2 genesis

Asserts that the L2 genesis is valid using our pre-existing checks prior to running the script.

* add negative test

* fix broken test

* clarify test name

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

* feat(contracts): rm multiline comments before check unused import
Signed-off-by: jsvisa <delweng@gmail.com>

* Revert "feat(contracts): rm multiline comments before check unused import"

This reverts commit 5ef475a4b3e86be2f2291b34c803b4ef1f12a50d.
Signed-off-by: jsvisa <delweng@gmail.com>

* feat(contracts): use atomic.Bool instead
Signed-off-by: jsvisa <delweng@gmail.com>

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

* versions.json: update Kontrol from `0.1.316` to `1.0.37`

* Remove `kdeploy` profile

* Update kontrol commands

* Run Fault Proofs summary by default

* Update non fault proofs summaries

* Update fault proofs summaries

* Remove `deployment` folder

* Exclude `proveWithdrawalTransaction` proofs

* Revert "Exclude `proveWithdrawalTransaction` proofs"

This reverts commit 5dd0f0393ff654fa46c7ca7d5cd02e03ffd12b79.

* `run-kontrol.sh`: add `--bmc-depth 1`

* foundry.toml: remove `kdeploy` profile

* .gitignore: remove `kout-deployment`

* Update summaries

* `common.sh`: account for `FOUNDRY_PROFILE` being `default`

* Remove `check-kontrol-deployment.sh`

Since now the Kontrol snapshot is taken from the `Deploy.s.sol` script, there is
no need to check that the custom Kontrol deployment is unmodified. Plus, the
custom Kontrol deployment process was removed previously on this PR

* justfile: remove `kontrol-deployment-check` from running checks

* config.yml: remove `kontrol-deployment-check`

* moving to Kontrol v1.0.50, invariant operational

* always rekompile and regen

* workers correction

* moving to Kontrol v1.0.51

* run-kontrol.sh: shellcheck typos

* run-kontrol.sh: add `verbose` and flags for `rekompile` and `regen`

* run-kontrol.sh: remove `--verbose` for `kontrol prove`

* Update `DeploymentSummaryFault` code

* Update `DeploymentSummary`

* Update Kontrol to version `1.0.53`

---------
Co-authored-by: Petar Maksimovic <petar.maksimovic@runtimeverification.com>

* eip-1559 sysconfig contract changes

* tests: add SystemConfig tests

---------
Co-authored-by: Mark Tyneway <mark.tyneway@gmail.com>

* feat: SuperchainWETH redesign (#101)

* feat: add superchain erc20 bridge (#61)

* feat: add superchain erc20 bridge

* fix: interfaces and versions

* refactor: optimism superchain erc20 redesign (#62)

* refactor: use oz upgradeable erc20 as dependency

* chore: update interfaces

* fix: tests based on changes

* refactor: remove op as dependency

* feat: add check for supererc20 bridge on modifier

* chore: update tests and interfaces

* chore: update stack vars name on test

* chore: remove empty gitmodules file

* chore: update superchain weth errors

* test: add superchain erc20 bridge tests (#65)

* test: add superchain erc20 bridge tests

* test: add optimism superchain erc20 beacon tests

* test: remove unnecessary test

* test: tests fixes

* test: tests fixes

* chore: update missing bridge on natspec (#69)

* chore: update missing bridge on natspec

* fix: natspecs

---------
Co-authored-by: agusduha <agusnduha@gmail.com>

* fix: remove superchain erc20 base (#70)

* refactor: update isuperchainweth (#71)


---------
Co-authored-by: agusduha <agusnduha@gmail.com>

* feat: rename mint/burn and add SuperchainERC20 (#74)

* refactor: rename mint and burn functions on superchain erc20

* chore: rename optimism superchain erc20 to superchain erc20

* feat: create optimism superchain erc20 contract

* chore: update natspec and errors

* fix: superchain erc20 tests

* refactor: make superchain erc20 abstract

* refactor: move storage and erc20 metadata functions to implementation

* chore: update interfaces

* chore: update superchain erc20 events

* fix: tests

* fix: natspecs

* fix: add semmver lock and snapshots

* fix: remove unused imports

* fix: natspecs

---------
Co-authored-by: 0xDiscotech <131301107+0xDiscotech@users.noreply.github.com>

* fix: refactor zero check (#76)

* fix: pre pr

* fix: semver natspec check failure (#79)

* fix: semver natspec check failure

* fix: ignore mock contracts in semver natspec script

* fix: error message

* feat: add crosschain erc20 interface (#80)

* feat: add crosschain erc20 interface

* fix: refactor interfaces

* fix: superchain bridge natspec (#83)

* fix: superchain weth natspec (#84)
Co-authored-by: 0xng <ng@defi.sucks>
Co-authored-by: 0xParticle <particle@defi.sucks>
Co-authored-by: gotzenx <78360669+gotzenx@users.noreply.github.com>

* fix: stop inheriting superchain interfaces (#85)

* fix: stop inheriting superchain interfaces

* fix: move events and erros into the implementation

* fix: make superchainERC20 inherits from crosschainERC20

* fix: superchain bridge rename (#86)

* fix: fee vault compiler error (#87)

* fix: remove unused imports

* fix: refactor common errors (#90)

* fix: refactor common errors

* fix: remove unused version

* fix: reuse unauthorized error (#92)

* fix: superchain erc20 factory conflicts

* fix: rename crosschain functions (#94)

* feat: superweth redesign

* fix: pr fixes

* fix: fixes post merge

---------
Co-authored-by: Disco <131301107+0xDiscotech@users.noreply.github.com>
Co-authored-by: 0xng <ng@defi.sucks>
Co-authored-by: 0xParticle <particle@defi.sucks>
Co-authored-by: gotzenx <78360669+gotzenx@users.noreply.github.com>

* fix: SuperchainWETH redesign fixes (#110)

* fix: superchainWETH redesign fixes

* fix: withdraw arg

* fix: fix revert in SuperchainWETH tests (#112)

---------
Co-authored-by: AgusDuha <81362284+agusduha@users.noreply.github.com>
Co-authored-by: Disco <131301107+0xDiscotech@users.noreply.github.com>
Co-authored-by: 0xng <ng@defi.sucks>
Co-authored-by: 0xParticle <particle@defi.sucks>
Co-authored-by: agusduha <agusnduha@gmail.com>

* test: Default to enabling fault proofs

* test: replace useFaultProofs with useLegacyContracts

Note that this does not modify the deploy config, which still uses the
same `useFaultProofs` flag. It simply modifies the state variables in
CommonTest

* chore: Update gas snapshot

* fix: enableLegacy on L2OO invariants

* feat: Add comment

* fix: enableLegacy on portal invariants

* fix: enableLegacy on Initializable.t.sol

* fix: enableLegacy on portal tests

* feat: follow convention of super.enable...()

* fix: Don't double enable

* op-deployer: bugfix: Chain ownership roles

* update tests and owner slot

It got effectively disabled in #12533 and while investigating a fix,
I realized that its original assertion was too strict. The new assertion
adds as a factor the number of batch calls that each individual fetcher
would make if no batch calls were shared.

* extend op-node to support holocene 1559 params

* - add Holocene parameter validation to op-program engine

- updates for latest op-geth tag

---------
Co-authored-by: Matthew Slipper <me@matthewslipper.com>

* op-deployer: Support L1 alloc deployments

Adds support for deploying to L1 allocs file. When deploying to an allocs file, all contracts necessary for the L2 will be included in the L1's genesis state. This is useful for devnet deployments and test automation.

To use an L1 allocs file, set the field `deploymentStrategy` in the intent to `allocs`. The default is `live`, for live chains.

* make apply command work, fix test

* merge artifacts

* fix merge artifacts

* Update op-deployer/pkg/deployer/state/state.go
Co-authored-by: Blaine Malone <blainemalone01@gmail.com>

* fix: extra check for singleton contracts in tests.

* Update op-deployer/pkg/deployer/flags.go
Co-authored-by: Blaine Malone <blainemalone01@gmail.com>

* remove unused param

* fix merge artifact

---------
Co-authored-by: Blaine Malone <blainemalone01@gmail.com>

* op-program: store prestate versions in json files

* op-program: add function to read standard.json

* op-program: embed standard.json to make it importable

* ci: checkout op-program tag after parsing standard.json file

* ci: fix EXPECTED_PRESTATE_HASH env var export

* op-program: combine releases into one file with governanceApproved flag

* op-program: add unit test for prestate GetReleases

* ci: point op-program preimage test at new versions.json file

Updates semgrep config to apply doc comment rule to tests.
Updates tests to fix instances where this was violated.

Adds a new semgrep rule that blocks if attempting to use
vm.expectRevert before a low-level call but the call is not
followed by an assertion that the call reverted as expected.

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

Bumps [github.com/kurtosis-tech/kurtosis/api/golang](https://github.com/kurtosis-tech/kurtosis) from 1.3.0 to 1.3.1.
- [Release notes](https://github.com/kurtosis-tech/kurtosis/releases)
- [Changelog](https://github.com/kurtosis-tech/kurtosis/blob/main/CHANGELOG.md)
- [Commits](https://github.com/kurtosis-tech/kurtosis/compare/1.3.0...1.3.1)

---
updated-dependencies:
- dependency-name: github.com/kurtosis-tech/kurtosis/api/golang
  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>

Bumps [github.com/prometheus/client_golang](https://github.com/prometheus/client_golang) from 1.20.4 to 1.20.5.
- [Release notes](https://github.com/prometheus/client_golang/releases)
- [Changelog](https://github.com/prometheus/client_golang/blob/main/CHANGELOG.md)
- [Commits](https://github.com/prometheus/client_golang/compare/v1.20.4...v1.20.5)

---
updated-dependencies:
- dependency-name: github.com/prometheus/client_golang
  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>

* feat: op-program --network flag accepts number as chainid

* put common parse code into rollup.Config struct

* address comments

---------
Co-authored-by: Qi Zhou <qizhou@ethstorage.io>

Updates all contracts and tests to use the MIPS and PreimageOracle
interfaces.

Updates the semgrep exclusion rules so that tests are no longer
ignored by default. Tests are now ignored explicitly inside of the
semgrep configuration file. Solidity safety rules are not ignored
for tests and issues are fixed.

Removes an assertion that causes this test to fail often when the CI executor is under load. You can verify this failure for yourself by running the test with `GOMAXPROCS=1`. The assertion didn't seem to be providing much value, so I just removed it.

This has been flaking a lot due to context deadline exceeded errors.

* op-e2e,ctb: Test fixes

- Prevents multiple invocations of the Anvil runner from causing port conflicts.
- Updates the DeployOPChain.s.sol gas limit to 60M

* update test

* fix interop test

* opcm: exposing preimage oracle and mips singletons via DeployOPChain.s.sol

* fix: new approach using opcm to grab mips singleton.

* fix: small cleanup to contracts.go.

* fix: more error checking

* fix: semgrep fix.

* fix: small rename

We only need a `--artifacts-locator` flag now.

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

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