github.com/ethereum-optimism/optimism@v1.7.2/packages/contracts-bedrock/invariant-docs/FaultDisputeGame.md (about)

     1  # `FaultDisputeGame` Invariants
     2  
     3  ## FaultDisputeGame always returns all ETH on total resolution
     4  **Test:** [`FaultDisputeGame.t.sol#L33`](../test/invariants/FaultDisputeGame.t.sol#L33)
     5  
     6  The FaultDisputeGame contract should always return all ETH in the contract to the correct recipients upon resolution of all outstanding claims. There may never be any ETH left in the contract after a full resolution.