* fix docs link

* replaced with correct link

* fix some typos in alt-da

* fix from PR #12223

* new find in batcher

* small fix

* Change version and hash

Adds rule tests for all semgrep rules and fixes a few bugs that
were found during testing. Moves semgrep rules into the semgrep
folder without the . prefix because the prefix caused semgrep to
be unable to run the tests.

Cleans up some things to enable Superchain Registry validation:

- Removes the foundry deployer address used by L2Genesis.sol from the outputted allocs file.
- Removes storage slots with zero values from any state dump.

* op-chain-ops: Marshal withdrawalnetwork as int

* fix test

* lint

* fix other test

* swap networks

Update op-challenger to latest develop

Kona changed the default log level so the -v is undesirable now.

Generates a versions.json to record which prestate came from each tag and compares it to the releases.json.
Adds a couple of releases missed from releases.json and removes governanceApproved from some releases which were not deployed to op-mainnet or submitted to governance.

* op-deployer: Add support for inspecting l2 semvers

* goimports

* add factory targets

* op-service: Add omitempty to EIP1559Params

These parameters are only valid for Holocene, and cause errors during unmarshaling on older op-node versions.

* op-deployer: Add support for inspecting l2 semvers

* goimports

* add factory targets

* 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

* chore: add new solady version and import it for erc20

* fix: undo forge std changes

* chore: re run pre pr script

* 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

* chore: run pre-pr and update vendor interface

* fix: refactor common errors (#90)

* fix: refactor common errors

* fix: remove unused version

* feat: add permit2 on optimism superchain erc20

* chore: run pre-pr script

* fix: reuse unauthorized error (#92)

* fix: superchain erc20 factory conflicts

* fix: rename crosschain functions (#94)

* chore: run pre-pr

* chore: run pre-pr

* chore: run pre-pr

* feat: add new tests on optimism superchain erc20

* fix: vars and params naming on newly added tests

* fix: var name

* feat: support permit2 on optimism superchain erc20 and upgrade solady's erc20 implementation (#97)


---
Co-Authored-by: AgusDuha <81362284+agusduha@users.noreply.github.com>

* chore: use ierc20 alias for ierc20 solady interface (#108)

---------
Co-authored-by: AgusDuha <81362284+agusduha@users.noreply.github.com>
Co-authored-by: agusduha <agusnduha@gmail.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>

Refactors the op-service/client package a fair bit to ensure config options are more consistently applied.

Signed-off-by: Chen Kai <281165273grape@gmail.com>

* 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.