op-node: Add channel_input_bytes metric

op-program: Implement derivation driver

Adds gauge metric for the amount of compressed bytes read from the
channel just prior to batch decoding.

contracts-bedrock: fix L2OutputOracle comment

Version Packages

fix(specs/deposits.md): Sherlock specs fix - clarify the deposit feed is called OptimismPortal

Hooks up the L1 and L2 sources with the derivation pipeline so the program can run successfully in fetching mode.

Closing: DEVRL-843

Based on: https://github.com/sherlock-audit/2023-01-optimism-judging/blob/b7921698c1c537714c5f2021aa46ce0a1935ba39/1-specs-findings/1-processed/1-true/depositfeed-dedupe/226.md#L1

op-program: Integrate existing L1Client implementation to fetch L1 data

op-node: Log when reading channels

fix: specs lint

op-e2e: 1s L2 block time

feat(specs): Challenge Agent specification

op-e2e: fix p2p gossip flakiness

feat(specs/bridges.md): Sherlock correction

op-chain-ops: migrate error handling

Per-event diagrams

- disable batcher instead of making L1 block time longer
- increase timeouts
- start sequencing after verifiers are ready to receive blocks, to avoid
  missed blocks

op-chain-ops: sanity check gas limit

specs: DisputeGame interface + behavior