github.com/ethereum-optimism/optimism@v1.7.2/packages/contracts-bedrock/invariant-docs (about) AddressAliasHelper.md Burn.Eth.md Burn.Gas.md CrossDomainMessenger.md Encoding.md FaultDisputeGame.md Hashing.md InvariantTest.sol.md L2OutputOracle.md OptimismPortal.md OptimismPortal2.md README.md ResourceMetering.md SafeCall.md SystemConfig.md