feat(ctb): OutputBisection actor tests

[clabby]

Overview

Introduces a GameSolver harness for actor tests against the OutputBisectionGame contract. Each actor is an abstraction
around the game solving logic, capable of participating in an OutputBisectionGame backed by the AlphabetVM2.

Test Cases

Note
We don't have to cover all of these, though it would be nice. op-e2e gives us more concrete coverage, these should primarily help drive contracts changes w/o the weight of op-e2e.

• [Fuzz] Correct root, same trace length between actors - DEFENDER_WINS
• Correct root, defense step by dishonest actor - DEFENDER_WINS.
• Incorrect root, defense step by honest actor - CHALLENGER_WINS.
• Correct root, attack step by dishonest actor from the absolute prestate - DEFENDER_WINS
• Incorrect root, attack step by honest actor from the absolute prestate - CHALLENGER_WINS
• Correct root, attack step in secondary execution trace subgame by dishonest actor - DEFENDER_WINS
• Incorrect root, attack step in secondary execution trace subgame by honest actor - CHALLENGER_WINS
• Correct root, defense step in secondary execution trace subgame at final insn by dishonest actor - DEFENDER_WINS
• Incorrect root, defense step in secondary execution trace subgame at final insn by honest actor - CHALLENGER_WINS
• Variable trace lengths
• Variable l2Outputs lengths (?)

Metadata
closes https://github.com/ethereum-optimism/client-pod/issues/255
closes https://github.com/ethereum-optimism/client-pod/issues/253

[clabby]

Current dependencies on/for this PR:

• develop
  • PR chore(ctb): fmt #8537
    • PR fix(ctb): Upgrade foundry #8538
      • PR feat(ctb): OutputBisection actor tests #8536 👈

This stack of pull requests is managed by Graphite.

[codecov]

Codecov Report

Merging #8536 (8e65880) into develop (dc01c03) will decrease coverage by 8.93%.
The diff coverage is 0.00%.

Additional details and impacted files

@@             Coverage Diff             @@
##           develop    #8536      +/-   ##
===========================================
- Coverage    34.60%   25.68%   -8.93%     
===========================================
  Files          167      119      -48     
  Lines         7155     4879    -2276     
  Branches      1209     1060     -149     
===========================================
- Hits          2476     1253    -1223     
+ Misses        4530     3523    -1007     
+ Partials       149      103      -46     

Flag	Coverage Δ
cannon-go-tests	?
chain-mon-tests	27.14% <ø> (ø)
common-ts-tests	?
contracts-bedrock-tests	20.19% <0.00%> (-0.06%)	⬇️
contracts-ts-tests	12.25% <ø> (ø)
core-utils-tests	?
sdk-next-tests	42.18% <ø> (ø)
sdk-tests	42.18% <ø> (ø)

Flags with carried forward coverage won't be shown. Click here to find out more.

Files	Coverage Δ
.../contracts-bedrock/src/dispute/lib/LibPosition.sol	0.00% <0.00%> (ø)
...tracts-bedrock/src/dispute/OutputBisectionGame.sol	0.00% <0.00%> (ø)

... and 48 files with indirect coverage changes

[coderabbitai]

Walkthrough

Walkthrough

The changes involve updates to smart contracts related to dispute resolution, position tracking, and testing within a blockchain framework. A new version of the OutputBisectionGame contract has been released, with enhanced logic for verifying execution bisection roots. The LibPosition contract has been refactored for improved ancestor tracing. Test contracts have been expanded with new variables, functions, and actors to better simulate and handle disputes. The AlphabetVM2 mock contract has been updated for more accurate state transition computations.

Changes

File Path	Change Summary
.../OutputBisectionGame.sol .../OutputBisectionActors.sol .../OutputBisectionGame.t.sol	Updated version constant in OutputBisectionGame.sol; added logic in verifyExecBisectionRoot. Added new variables and functions; modified constructor signatures; introduced DisputeActor and HonestDisputeActor in OutputBisectionActors.sol. Added imports, modified functions, and added new contracts and helper functions in OutputBisectionGame.t.sol.
.../LibPosition.sol	Refactored ancestor finding logic with traceAncestor function.
.../AlphabetVM2.sol	Added view keyword to computeStateTransition; refactored function logic; added PreimageKeyLib import.

Thank you for using CodeRabbit. We offer it for free to the OSS community and would appreciate your support in helping us grow. If you find it useful, would you consider giving us a shout-out on X ?

---

Tips

Chat with CodeRabbit Bot (@coderabbitai)

• You can reply to a review comment from CodeRabbit.
• You can also chat with CodeRabbit bot directly around the specific lines of code or files in the PR by tagging @coderabbitai in a new comment.
• You can tag @coderabbitai in a PR comment and ask questions about the PR and the codebase.

CodeRabbit Commands (invoked as PR comments)

• @coderabbitai pause to pause the reviews on a PR.
• @coderabbitai resume to resume the paused reviews.
• @coderabbitai review to trigger a review. This is useful when automatic reviews are disabled for the repository.
• @coderabbitai resolve resolve all the CodeRabbit review comments.
• @coderabbitai help to get help.

Additionally, you can add @coderabbitai ignore anywhere in the PR description to prevent this PR from being reviewed.

CodeRabbit Configration File (.coderabbit.yaml)

• You can programmatically configure CodeRabbit by adding a .coderabbit.yaml file to the root of your repository.
• The JSON schema for the configuration file is available here.
• If your editor has YAML language server enabled, you can add the path at the top of this file to enable auto-completion and validation: # yaml-language-server: $schema=https://coderabbit.ai/integrations/coderabbit-overrides.v2.json

[Inphi]

Very nice!