* test: Add permissioned game output assertions

* test: reorder DeployOpChainTest_Base for clarity

* Update packages/contracts-bedrock/test/DeployOPChain.t.sol
Co-authored-by: Matt Solomon <matt@mattsolomon.dev>

---------
Co-authored-by: Matt Solomon <matt@mattsolomon.dev>

* fix: justfile clean command

* fix: removed stale comment

* forge install: superchain-registry

v0.1.2

* fix: better clarity around when we're in a broadcast context.

* chore: fix semver lock

* fix: no permissionless root, remove hash from 0xdead

* fix: use 0xdead root properly

* feat: add remaining fault proof support

* chore: Update semver-lock

* fix: Remove extra anchor root definition and restore aritfactsFs argument

* feat: Add wip big blueprint code

* Don't wrap input to deployBigBytecode with preamble

* fix: off by one in deployBigBytecode

* feat: more gas efficient blueprint deployment for permissioned game

* Get the big deployments working

* perf: more efficient preamble parsing

* chore: snapshots + fix revert

* test: skip FaultDisputeGameAddress since we don't deploy it yet

* chore: cleanup

---------
Co-authored-by: Matt Solomon <matt@mattsolomon.dev>
Co-authored-by: Matthew Slipper <me@matthewslipper.com>

* op-service: add configurable timeouts

* op-service: fix lazy_dial

feat(L2ToL2CrossDomainMessenger): add successfulMessages and messageNonce to IL2ToL2CrossDomainMessenger (#12068)

* feat(L2ToL2CrossDomainMessenger): add successfulMessages and messageNonce to interface

* lint

Updates DeployUtils to include new utils for using create and
create2.

Updates the todo-checker to not check for closed issues in the
main job. Will still check for closed issues in the scheduled job.
Prevents CI from randomly failing when stuff gets closed.

Includes fix to stop running mt-cannon in parallel.

* feat: Add ASR proxy to OPStackManager

* feat: Add AnchorStateRegistry blueprint

* feat: Add AnchorStateRegistry Implementation

* feat: Return startingAnchorInputs as bytes

The op-deployer tooling does not support structs, therefore we need to
return a more generic type for compatibility.

* rebuild snapshots

* fix: ASR initializer encoding

* handoff commit with op-deployer debugging

debugging op-deployer test
wip: literal anchor roots

* test and golang fixes

* hardcode permissioned state

* hardcode 0xdead as the starting anchor root

* chore: fix semver lock

* fix: no permissionless root, remove hash from 0xdead

* fix: use 0xdead root properly

* fix: set the override in the input contract

* Fix tests and accidental mutation of `Implementation` struct

* lint

* semver

* Update op-chain-ops/deployer/opsm/opchain.go
Co-authored-by: Maurelian <john@oplabs.co>

* Update packages/contracts-bedrock/scripts/DeployOPChain.s.sol

---------
Co-authored-by: Matthew Slipper <me@matthewslipper.com>
Co-authored-by: Matt Solomon <matt@mattsolomon.dev>

* delete outdated structure

* small fix

Previously it was also running it in parallel with kona-asterisc traces, resulting in errors because there were two mt-cannon traces sharing a preimages directory.

Previously op-program host and cannon both logged an error message that the pre-image server couldn't be stopped after it stopped successfully.

* feat(op-e2e): L1 lookback action tests

* review

* adrian review

* feat(op-e2e): Recover from bad transactions in batch test

* fix

* clean

* naming nit

* assert that the channel actually timed out

* fmt

* Add builds for op-deployer, bugfixes, artifacts downloads

Adds Docker builds for op-deployer, makes some bugfixes, and adds support for downloading remote artifacts.

* Apply code scanning fix for arbitrary file access during archive extraction ("zip slip")
Co-authored-by: Copilot Autofix powered by AI <62310815+github-advanced-security[bot]@users.noreply.github.com>

* fix compile error

* lint

* fix test

* Update from code review, add docker build

* fix versioning

* remove errant dispatch

* update target

---------
Co-authored-by: Copilot Autofix powered by AI <62310815+github-advanced-security[bot]@users.noreply.github.com>

* op-supervisor: register each L2 block, refactor
Signed-off-by: protolambda <proto@protolambda.com>

* op-supervisor: fix lint and tests

* op-supervisor: minor fixes, logging

* op-supervisor: fix semgrep

---------
Signed-off-by: protolambda <proto@protolambda.com>

* feat(ct): add constructors to interfaces

Adds a pseudo-constructor function called __constructor__ that
will be verified as part of the interface. This pseudo-function
is useful when we want to be able to maintain type safety
in the deploy script where we use vm.getCode.

* add a pseudo-constructor for all remaining contracts with constructors

* fix warning

* update check-interface.sh comment

---------
Co-authored-by: Michael Amadi <amadimichaeld@gmail.com>

That was one ugly file.

* fix: Removing all file I/O features

* fix: comments in code.

* fix: pr comment

* proof-tools: Bump op-challenger version

* optimistic version bump

* update op-challenger version

CI is automatically using the latest version which has broken things. Update to match as a temporary fix until we can install a fixed version in CI.

* Add Emitter Contract

* Emitter Contract and Bindings

* AddL2RPC without Stopping

* Rename testdata folder to contracts

* update generate.sh

* update solidity and gen script

* op-challenger: Use a wrapper to specify the vm type for metrics

Decouples the vm type from the trace type to give the run-trace subcommand more flexibility, allowing it to report separate metrics for cannon and mt-cannon.

Also adjust the run-trace loggers to consistently use `mt-cannon` as the type.

* Use constant.
Co-authored-by: Inphi <mlaw2501@gmail.com>

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

Fixes the existing dispute interfaces and makes them match the
same style that we're using for all other interfaces.

* vm-runner: User-provided mt-cannon absolute prestate URL

* placate semgrep

Removes autogenerated invariant docs from the contracts package.
These autogenerated docs create confusion about where invariants
should be defined (the answer is in the specs) and no one actually
looks at them anyway. Just adds an additional step into CI for
minimal benefit.

* op-program: Reproducible MT-Cannon prestate

* fix mt-cannon proof gen

Updates the contracts README to use the mermaid diagrams in specs
to avoid duplicated documentation.