Merge pull request #6142 from ethereum-optimism/jm/rm-sum-defs

feat(specs): Remove duplicate config information

specs/proposals.md

@@ -17,8 +17,6 @@
   - [Configuration](#configuration)
 - [Security Considerations](#security-considerations)
   - [L1 Reorgs](#l1-reorgs)
-- [Summary of Definitions](#summary-of-definitions)
-  - [Constants](#constants)
 
 <!-- END doctoc generated TOC please keep comment here to allow auto update -->
 
@@ -225,12 +223,3 @@ If the L1 has a reorg after an output has been generated and submitted, the L2 s
 leading to a faulty proposal. This is mitigated against by allowing the proposer to submit an
 L1 block number and hash to the Output Oracle when appending a new output; in the event of a reorg, the block hash
 will not match that of the block with that number and the call will revert.
-
-## Summary of Definitions
-
-### Constants
-
-| Name                  | Value   | Unit    |
-| --------------------- | ------- | ------- |
-| `SUBMISSION_INTERVAL` | `120`   | blocks  |
-| `L2_BLOCK_TIME`       | `2`     | seconds |

specs/withdrawals.md

@@ -48,8 +48,6 @@ finalization.
 - [Security Considerations](#security-considerations)
   - [Key Properties of Withdrawal Verification](#key-properties-of-withdrawal-verification)
   - [Handling Successfully Verified Messages That Fail When Relayed](#handling-successfully-verified-messages-that-fail-when-relayed)
-- [Summary of Definitions](#summary-of-definitions)
-  - [Constants](#constants)
 
 <!-- END doctoc generated TOC please keep comment here to allow auto update -->
 
@@ -216,15 +214,5 @@ whether or not it was 'supposed' to fail, and whether or not it should be 'repla
 minimize complexity, we have not provided any replay functionality, this may be implemented in external utility
 contracts if desired.
 
-## Summary of Definitions
-
-### Constants
-
-| Name                  | Value     | Unit    |
-| --------------------- | --------- | ------- |
-| `FINALIZATION_PERIOD` | `604_800` | seconds |
-
-This `FINALIZATION_PERIOD` value is equivalent to 7 days.
-
 [`WithdrawalTransaction` type]: https://github.com/ethereum-optimism/optimism/blob/6c6d142d7bb95faa11066aab5d8aed7187abfe38/packages/contracts-bedrock/contracts/libraries/Types.sol#L76-L83
 [`OutputRootProof` type]: https://github.com/ethereum-optimism/optimism/blob/6c6d142d7bb95faa11066aab5d8aed7187abfe38/packages/contracts-bedrock/contracts/libraries/Types.sol#L33-L38