* op-challenger: Tidy up TxSender

Don't return receipts as they always ignored
Return an error when a transaction publishes but reverts rather than logging and ignoring
Add a method that returns errors for each individual transaction

* op-challenger: Simulate ClaimCredit transaction before sending actual transaction

Detects when credit is reported as available but is actually still locked by the DelayedWETH contract.

---------
Co-authored-by: refcell <abigger87@gmail.com>

Co-authored-by: github-actions[bot] <github-actions[bot]@users.noreply.github.com>

Adds the DGF address to the SDK now that OP Sepolia has been
updated.

Co-authored-by: refcell <abigger87@gmail.com>

Don't return receipts as they always ignored
Return an error when a transaction publishes but reverts rather than logging and ignoring
Add a method that returns errors for each individual transaction

* op-challenger: Add timer metrics for acting on games and attempting to resolve claims.

* op-challenger: Add metrics for contract interactions

Without the header, it results in a warning message.
This prevents CI from passing.
We also want to ensure that its free software.

Uses the correct name for sepolia L2 instead of the old alias.

Bumps [viem](https://github.com/wevm/viem) from 2.7.19 to 2.8.13.
- [Release notes](https://github.com/wevm/viem/releases)
- [Commits](https://github.com/wevm/viem/compare/viem@2.7.19...viem@2.8.13)

---
updated-dependencies:
- dependency-name: viem
  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>

* fix(ctb): require exact bond amounts

* fix(ctb): precise bond amount tests

* fix(ctb): ci checks

* Semver / DGF strict bonds

* Rename `InsufficientBond` error -> `IncorrectBondAmount`

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

* op-challenger: Format list-claims output better

* op-challenger: Format list-games output better

it used to log the full transaction frames

Bumps [abitype](https://github.com/wevm/abitype) from 1.0.0 to 1.0.2.
- [Release notes](https://github.com/wevm/abitype/releases)
- [Commits](https://github.com/wevm/abitype/compare/abitype@1.0.0...abitype@1.0.2)

---
updated-dependencies:
- dependency-name: abitype
  dependency-type: direct:development
  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 [nx](https://github.com/nrwl/nx/tree/HEAD/packages/nx) from 18.0.4 to 18.1.2.
- [Release notes](https://github.com/nrwl/nx/releases)
- [Commits](https://github.com/nrwl/nx/commits/18.1.2/packages/nx)

---
updated-dependencies:
- dependency-name: nx
  dependency-type: direct:development
  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>

Updates the README for contracts-bedrock to prepare for the
upcoming audit of the FPAC system.

Improves the SDK to handle the DisputeGameFactory more carefully
and validate the games that it queries from the factory. Should
mean that the client will not attempt to create withdrawals
using invalid proposals.

* fix: track challenges when pipeline is stalled

* cleanup

* fix: remove tx version byte in test

* remove Heap usage

* fix: add pending queue

* remove unused check

* use 2 PQs

* Update comment in op-e2e/actions/plasma_test.go
Co-authored-by: Joshua Gutow <jbgutow@gmail.com>

---------
Co-authored-by: Joshua Gutow <jbgutow@gmail.com>

Some miscellaneous comment cleanup for dispute contracts.

* fix(ct): bugs in DelayedWETH

Fixes two bugs in Delayed WETH. First was a limitation of the
recover function that would have made it relatively easy to DoS
the function by simply withdrawing small amounts of ETH every time
the owner attempted to withdraw the full balance. Second is a bug
in hold function where the approval was the wrong way around.

* Update Kontrol snapshot

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

Bumps [gorm.io/gorm](https://github.com/go-gorm/gorm) from 1.25.7 to 1.25.8.
- [Release notes](https://github.com/go-gorm/gorm/releases)
- [Commits](https://github.com/go-gorm/gorm/compare/v1.25.7...v1.25.8)

---
updated-dependencies:
- dependency-name: gorm.io/gorm
  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>

* Sepolia FPAC deploy config

* fix deploy script

op-service.

* feat: introduce AnchorStateRegistry

Introduces the AnchorStateRegistry used to hold anchor states for
different game types. Anchor states are updated automatically when
a game resolves.

* kontrol snapshot

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

* Update `proveWithdrawalTransaction` require

* revert message update in test

* op-wheel: delete dead code

The `ovm-owners` command was only relevant for the migration from legacy
op mainnet to bedrock. Now that bedrock is running in production, we can
delete this code. It reduces code in the codebase that is no longer
necessary to make maintaining easier.

The ability to perform the upgrade is preserved in the legacy codebase,
snapshotted at a point where the migration is reproducible.

See https://github.com/ethereum-optimism/optimism-legacy

* op-wheel: fix build

Bumps [follow-redirects](https://github.com/follow-redirects/follow-redirects) from 1.15.3 to 1.15.6.
- [Release notes](https://github.com/follow-redirects/follow-redirects/releases)
- [Commits](https://github.com/follow-redirects/follow-redirects/compare/v1.15.3...v1.15.6)

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

Checks the proposed L2 block was safe when the game was created using the safe head database if available.
If not available for any reason, it falls back to the current behaviour of considering the root valid if it matches the local node.