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

     1  # `L2OutputOracle` Invariants
     2  
     3  ## The block number of the output root proposals should monotonically increase.
     4  **Test:** [`L2OutputOracle.t.sol#L58`](../test/invariants/L2OutputOracle.t.sol#L58)
     5  
     6  When a new output is submitted, it should never be allowed to correspond to a block number that is less than the current output.