* chore(ctb): Add test for `LibClone` improvement

fmt

* feat(ctb): Relax re-proving constraints in `OptimismPortal2`

* bindings, semver

* contracts-bedrock: forge-std v1.8.1

Updates to latest `forge-std` release to get access to the latest
cheatcodes with a nice API.

https://github.com/foundry-rs/forge-std/releases/tag/v1.8.1

* contracts-bedrock: fix warnings

* lint: fix

* contracts-bedrock: fix compiler

* lint: fix

* snapshots: update

* contracts-bedrock: make deploy config safe + expect safe mem

* gas-snapshot

fmt

Remove a dead test and its mock data. This test
literally does nothing useful besides ensure that
modern ABIs are backwards compatible with legacy deployed
contracts. We now have sufficient solidity test coverage
to remove the need for this test. This test would be potentially
useful if it didn't use a really old deployed genesis state.

* fix(ctb): LibGameType cast fix

* bindings, locks, etc.

* attempt `ci-builder` fix

* `ci-builder` fix

Fix da server volume

* versions.json: bump Kontrol from `0.1.196` to `0.1.247`

* OptimismPortal.k.sol: update `expectRevert` reasons

* Remove `payable` from `resolveClaim`

* bindings, locks, etc.

* log: Fix logfmt logger to support debug and trace logs

* op-geth: Pull in fix for json logger

* op-geth: Update to v1.101311.0

* Correct `LibPosition` types

* bindings, locks, etc.

* Add OP Plasma to devnet

* Update CCI config

* Re-add plasma ope2e

* Add da-server to docker build

* Fixes

* Add tickets to TODOs

* Update after merge

* pass msg sender

* semver

bindings + semver

* bindings, locks, etc.

* bindings, locks, etc.

Copies over `yq` and `just` into the final docker image. Older
versions of `ci-builder` are known to contain `just`, something
must have changed to have them no longer fully include it.
We need to tie the release of `ci-builder` with a bump of
the foundry version unless the foundry version we are using
is still available via nightly binary download. This is because
every time we build foundry in CI it produces a bad build
that results in an "illegal instruction" error.

* fault-proofs: Fix subgame resolution mechanics

* Fix tests

* test changes + off-by-one

* :broom:

* reuse clock code

* bindgen, lint, etc.

* semver

* bindings, locks, etc.

* bindings, locks, etc.

* Unhide dup rez check

* Remove subgameAtRootResolved

---------
Co-authored-by: inphi <mlaw2501@gmail.com>

* ci: Fix devnet-fault-proofs

* ci: Make prestate available to challenger

* chore: fix typo

* chore: fix typo

* feat: tweaks to allow no deploy-config file

* fix: lint errors

* chore: clarify warning

* improving the op-upgrade docs

* addressing code rabbit suggestions

* Revert "temp: fixes for kontrol"

This reverts commit aa0b0d5b9979fcedcc8dce6f8014ebd24f7c7795.

* kontrol: update

Bumps [idna](https://github.com/kjd/idna) from 3.4 to 3.7.
- [Release notes](https://github.com/kjd/idna/releases)
- [Changelog](https://github.com/kjd/idna/blob/master/HISTORY.rst)
- [Commits](https://github.com/kjd/idna/compare/v3.4...v3.7)

---
updated-dependencies:
- dependency-name: idna
  dependency-type: direct:production
...
Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

* contracts-bedrock: OptimismPortal reduce codesize

Reduce the codesize of the OptimismPortal and the OptimismPortal2
by converting `require` statements into custom error reverts.
Also remove legacy getters, they only bloat codesize.

This will help to reduce the diff of when we go to production
with custom gas token as that feature put the contract over the
codesize limit.

* contracts-bedrock: cleanup errors

* contracts-bedrock: more custom errors

* contracts-bedrock: updates to portal

* contracts-bedrock: error comments

* contracts-bedrock: more custom errors

* portal: fixup style

* spec: update

* op-bindings: regenerate

* contracts-bedrock: update abi snapshots

* snapshots: kontrol deploy

* lint: fix

* op-chain-ops: cleanup tests

* contracts-bedrock: fix invariant tests

* contracts-bedrock: correct assertion
Co-authored-by: clabby <ben@clab.by>

* op-bindings: regenerate

* contracts-bedrock: cleanup style

* contracts-bedrock: update locks

* ctb: update test

* snapshots: update

* contracts-bedrock: simplify require

* contracts-bedrock: require

* contracts-bedrock: reduce diff

* bindings: regenerate

* snapshots: update

* contracts-bedrock: small update

* contracts-bedrock: more cleanup

* contracts-bedrock: update snapshots

* semver-lock: update

* lint: fix

* contracts-bedrock: fix tests

* contracts-bedrock: fix test

* kontrol: update

* contracts-bedrock: delete dead errors

* temp: fixes for kontrol

* invariant-docs: regenerate

---------
Co-authored-by: clabby <ben@clab.by>

* Stop tracking changes in log folder

* Sync Conainer to host function

* Move to make-summary for specific file sync

* Copy before forge formatting on host

* Update packages/contracts-bedrock/test/kontrol/scripts/make-summary-deployment.sh

Provide full path to files needing formatting
Co-authored-by: Juan C. <38925412+JuanCoRo@users.noreply.github.com>

* Update make-summary-deployment.sh

* remove nested `utils` folder

* Update deploy snapshot and summary contracts

* make-summary-deployment.sh: only use `$SUMMARY_DIR` for `docker cp`

* .gitignore: revert `logs` folder unnecessary change

---------
Co-authored-by: F-WRunTime <freeman.wenzl@runtimeverification.com>
Co-authored-by: Freeman <105403280+F-WRunTime@users.noreply.github.com>

This is going to be used by the batcher and proposer in a follow up PR to wait at startup for the sequencer to sync to tip.

fix: Fix the error judgment when obtaining the finalized/safe block of L2 when the chain is started (#10127)

* ci: bump ci-builder to 0.47.0

Includes a new foundry version that fixes issues with generating
state dumps for kontrol integration.

https://github.com/ethereum-optimism/optimism/pull/10125
https://app.circleci.com/pipelines/github/ethereum-optimism/optimism/50797/workflows/a85a79de-a4a8-4820-9199-ded9ffe9de7d

* lint: fix

* snapshots: update kontrol

Updates foundry version to the latest nightly: https://github.com/foundry-rs/foundry/releases/tag/nightly-bdc04c278f8ac716ed5fd3994bc0da841807b5cf

This release includes https://github.com/foundry-rs/foundry/pull/7632 which is required to get our kontrol proofs passing again

feat(proxyd): customise poller interval and enable cross origin check on web socket upgrader (#10107)

* feat: poller interval arg

* fix: websocket check origin

* fix: check origin behind flag

* fix: rename poller default interval

Bumps [github.com/aws/aws-sdk-go-v2/config](https://github.com/aws/aws-sdk-go-v2) from 1.18.45 to 1.27.11.
- [Release notes](https://github.com/aws/aws-sdk-go-v2/releases)
- [Commits](https://github.com/aws/aws-sdk-go-v2/compare/config/v1.18.45...config/v1.27.11)

---
updated-dependencies:
- dependency-name: github.com/aws/aws-sdk-go-v2/config
  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>

* contracts-bedrock: update optimism portal guardian usage

Migrate to the modern `guardian()(address)` instead of using
`GUARDIAN()(address)`  which is deprecated. This will make
a future removal of the ABI easier to manage by reducing the
diff required when the legacy methods are removed.

* contracts-bedrock: more GUARDIAN usage

rm