fix: update contracts README diagram (#11406)

packages/contracts-bedrock/README.md

@@ -55,51 +55,66 @@ graph LR
         L1StandardBridge(<a href="https://github.com/ethereum-optimism/optimism/tree/develop/packages/contracts-bedrock/src/L1/L1StandardBridge.sol">L1StandardBridge</a>)
         L1ERC721Bridge(<a href="https://github.com/ethereum-optimism/optimism/tree/develop/packages/contracts-bedrock/src/L1/L1ERC721Bridge.sol">L1ERC721Bridge</a>)
         L1CrossDomainMessenger(<a href="https://github.com/ethereum-optimism/optimism/tree/develop/packages/contracts-bedrock/src/L1/L1CrossDomainMessenger.sol">L1CrossDomainMessenger</a>)
-        L2OutputOracle(<a href="https://github.com/ethereum-optimism/optimism/tree/develop/packages/contracts-bedrock/src/L1/L2OutputOracle.sol">L2OutputOracle</a>)
         OptimismPortal(<a href="https://github.com/ethereum-optimism/optimism/tree/develop/packages/contracts-bedrock/src/L1/OptimismPortal.sol">OptimismPortal</a>)
         SuperchainConfig(<a href="https://github.com/ethereum-optimism/optimism/tree/develop/packages/contracts-bedrock/src/L1/SuperchainConfig.sol">SuperchainConfig</a>)
         SystemConfig(<a href="https://github.com/ethereum-optimism/optimism/tree/develop/packages/contracts-bedrock/src/L1/SystemConfig.sol">SystemConfig</a>)
+        DisputeGameFactory(<a href="https://github.com/ethereum-optimism/optimism/tree/develop/packages/contracts-bedrock/src/dispute/DisputeGameFactory.sol">DisputeGameFactory</a>)
+        FaultDisputeGame(<a href="https://github.com/ethereum-optimism/optimism/tree/develop/packages/contracts-bedrock/src/dispute/FaultDisputeGame.sol">FaultDisputeGame</a>)
+        AnchorStateRegistry(<a href="https://github.com/ethereum-optimism/optimism/tree/develop/packages/contracts-bedrock/src/dispute/AnchorStateRegistry.sol">AnchorStateRegistry</a>)
+        DelayedWETH(<a href="https://github.com/ethereum-optimism/optimism/tree/develop/packages/contracts-bedrock/src/dispute/weth/DelayedWETH.sol">DelayedWETH</a>)
     end
 
-    subgraph "User Interactions"
+    subgraph "User Interactions (Permissionless)"
         Users(Users)
+        Challengers(Challengers)
     end
 
     subgraph "System Interactions"
-        Batcher(Batcher)
-        Proposer(Proposer)
         Guardian(Guardian)
+        Batcher(Batcher)
     end
 
     subgraph "Layer 2 Interactions"
         L2Nodes(Layer 2 Nodes)
     end
 
+    L2Nodes -.->|fetch transaction batches| BatchDataEOA
+    L2Nodes -.->|fetch deposit events| OptimismPortal
+
     Batcher -->|publish transaction batches| BatchDataEOA
-    Proposer -->|propose state outputs| L2OutputOracle
-    Guardian -->|remove invalid state outputs| L2OutputOracle
 
-    ExternalERC20 <-->|mint/burn/transfer| L1StandardBridge
-    ExternalERC721 <-->|mint/burn/transfer| L1ERC721Bridge
+    ExternalERC20 <-->|mint/burn/transfer tokens| L1StandardBridge
+    ExternalERC721 <-->|mint/burn/transfer tokens| L1ERC721Bridge
 
-    L1StandardBridge <-->|send/receive message| L1CrossDomainMessenger
-    L1ERC721Bridge <-->|send/receive message| L1CrossDomainMessenger
-    L1CrossDomainMessenger <-->|package/send/receive message| OptimismPortal
+    L1StandardBridge <-->|send/receive messages| L1CrossDomainMessenger
     L1StandardBridge -.->|query pause state| SuperchainConfig
+
+    L1ERC721Bridge <-->|send/receive messages| L1CrossDomainMessenger
     L1ERC721Bridge -.->|query pause state| SuperchainConfig
+
+    L1CrossDomainMessenger <-->|send/receive messages| OptimismPortal
     L1CrossDomainMessenger -.->|query pause state| SuperchainConfig
-    OptimismPortal -.->|query pause state| SuperchainConfig
 
+    OptimismPortal -.->|query pause state| SuperchainConfig
     OptimismPortal -.->|query config| SystemConfig
-    OptimismPortal -.->|query proposed states| L2OutputOracle
+    OptimismPortal -.->|query state proposals| DisputeGameFactory
 
-    Users <-->|deposit/withdraw ETH/ERC20| L1StandardBridge
-    Users <-->|deposit/withdraw ERC721| L1ERC721Bridge
-    Users -->|prove/execute withdrawal transactions| OptimismPortal
+    DisputeGameFactory -->|generate instances| FaultDisputeGame
 
-    L2Nodes -.->|fetch transaction batches| BatchDataEOA
-    L2Nodes -.->|verify output roots| L2OutputOracle
-    L2Nodes -.->|fetch deposit events| OptimismPortal
+    FaultDisputeGame -->|store bonds| DelayedWETH
+    FaultDisputeGame -->|query/update anchor states| AnchorStateRegistry
+
+    Users <-->|deposit/withdraw ETH/ERC20s| L1StandardBridge
+    Users <-->|deposit/withdraw ERC721s| L1ERC721Bridge
+    Users -->|prove/execute withdrawals| OptimismPortal
+
+    Challengers -->|propose output roots| DisputeGameFactory
+    Challengers -->|verify/challenge/defend proposals| FaultDisputeGame
+
+    Guardian -->|pause/unpause| SuperchainConfig
+    Guardian -->|safety net actions| OptimismPortal
+    Guardian -->|safety net actions| DisputeGameFactory
+    Guardian -->|safety net actions| DelayedWETH
 
     classDef extContracts stroke:#ff9,stroke-width:2px;
     classDef l1Contracts stroke:#bbf,stroke-width:2px;
@@ -108,10 +123,10 @@ graph LR
     classDef systemUser stroke:#f9a,stroke-width:2px;
     classDef l2Nodes stroke:#333,stroke-width:2px
     class ExternalERC20,ExternalERC721 extContracts;
-    class L1StandardBridge,L1ERC721Bridge,L1CrossDomainMessenger,L2OutputOracle,OptimismPortal,SuperchainConfig,SystemConfig l1Contracts;
+    class L1StandardBridge,L1ERC721Bridge,L1CrossDomainMessenger,OptimismPortal,SuperchainConfig,SystemConfig,DisputeGameFactory,FaultDisputeGame,DelayedWETH,AnchorStateRegistry l1Contracts;
     class BatchDataEOA l1EOA;
-    class Users userInt;
-    class Batcher,Proposer,Guardian systemUser;
+    class Users,Challengers userInt;
+    class Batcher,Guardian systemUser;
     class L2Nodes l2Nodes;
 ```