Rebase on `develop` / Docgen

packages/contracts-bedrock/contracts/test/invariants/CrossDomainMessenger.t.sol

@@ -116,6 +116,7 @@ contract XDM_MinGasLimits is Messenger_Initializer, InvariantTest {
      * gas limits are supplied.
      *
      * There are two minimum gas limits here:
+     *
      * - The outer min gas limit is for the call from the `OptimismPortal` to the
      * `L1CrossDomainMessenger`,  and it can be retrieved by calling the xdm's `baseGas` function
      * with the `message` and inner limit.

packages/contracts-bedrock/invariant-docs/CrossDomainMessenger.md

+# `CrossDomainMessenger` Invariants
+
+## A call to `relayMessage` should never revert if at least the proper minimum gas limits are supplied.
+**Test:** [`CrossDomainMessenger.t.sol#L127`](../contracts/test/invariants/CrossDomainMessenger.t.sol#L127)
+
+There are two minimum gas limits here: 
+- The outer min gas limit is for the call from the `OptimismPortal` to the `L1CrossDomainMessenger`,  and it can be retrieved by calling the xdm's `baseGas` function with the `message` and inner limit. 
+- The inner min gas limit is for the call from the `L1CrossDomainMessenger` to the target contract. 

packages/contracts-bedrock/invariant-docs/README.md

@@ -8,6 +8,7 @@ This directory contains documentation for all defined invariant tests within `co
 ## Table of Contents
 - [AddressAliasing](./AddressAliasing.md)
 - [Burn](./Burn.md)
+- [CrossDomainMessenger](./CrossDomainMessenger.md)
 - [Encoding](./Encoding.md)
 - [Hashing](./Hashing.md)
 - [L2OutputOracle](./L2OutputOracle.md)