Make time params work with minimal

configs/mainnet.yaml

@@ -182,3 +182,8 @@ WHISK_PROPOSER_SELECTION_GAP: 2
 
 # EIP7732
 MAX_REQUEST_PAYLOADS: 128
+
+# EIP7805
+ATTESTATION_DEADLINE: 4
+PROPOSER_INCLUSION_LIST_CUT_OFF: 11
+VIEW_FREEZE_DEADLINE: 9

configs/minimal.yaml

@@ -181,3 +181,8 @@ WHISK_PROPOSER_SELECTION_GAP: 1
 
 # EIP7732
 MAX_REQUEST_PAYLOADS: 128
+
+# EIP7805
+ATTESTATION_DEADLINE: 2
+PROPOSER_INCLUSION_LIST_CUT_OFF: 5
+VIEW_FREEZE_DEADLINE: 3

specs/_features/eip7805/fork-choice.md

@@ -6,8 +6,9 @@
 <!-- DON'T EDIT THIS SECTION, INSTEAD RE-RUN doctoc TO UPDATE -->
 
 - [Introduction](#introduction)
+- [Configuration](#configuration)
+  - [Time parameters](#time-parameters)
 - [Fork choice](#fork-choice)
-  - [Configuration](#configuration)
   - [Helpers](#helpers)
     - [Modified `Store`](#modified-store)
     - [New `validate_inclusion_lists`](#new-validate_inclusion_lists)
@@ -21,13 +22,15 @@
 
 This is the modification of the fork choice accompanying the EIP-7805 upgrade.
 
-## Fork choice
+## Configuration
 
-### Configuration
+### Time parameters
 
 | Name | Value | Unit | Duration |
 | - | - | :-: | :-: |
-| `VIEW_FREEZE_DEADLINE` | `uint64(9)` | seconds | 9 seconds |
+| `VIEW_FREEZE_DEADLINE` | `SECONDS_PER_SLOT * 2 // 3 + 1` | seconds | 9 seconds |
+
+## Fork choice
 
 ### Helpers
 

specs/_features/eip7805/p2p-interface.md

@@ -5,25 +5,28 @@ This document contains the consensus-layer networking specification for EIP-7805
 <!-- START doctoc generated TOC please keep comment here to allow auto update -->
 <!-- DON'T EDIT THIS SECTION, INSTEAD RE-RUN doctoc TO UPDATE -->
 
-- [Time parameters](#time-parameters)
 - [Configuration](#configuration)
-- [The gossip domain: gossipsub](#the-gossip-domain-gossipsub)
-  - [Topics and messages](#topics-and-messages)
-    - [Global topics](#global-topics)
-      - [`inclusion_list`](#inclusion_list)
-- [The Req/Resp domain](#the-reqresp-domain)
-  - [Messages](#messages)
-    - [InclusionListByCommitteeIndices v1](#inclusionlistbycommitteeindices-v1)
+  - [Time parameters](#time-parameters)
+  - [Inclusion list parameters](#inclusion-list-parameters)
+  - [The gossip domain: gossipsub](#the-gossip-domain-gossipsub)
+    - [Topics and messages](#topics-and-messages)
+      - [Global topics](#global-topics)
+        - [`inclusion_list`](#inclusion_list)
+  - [The Req/Resp domain](#the-reqresp-domain)
+    - [Messages](#messages)
+      - [InclusionListByCommitteeIndices v1](#inclusionlistbycommitteeindices-v1)
 
 <!-- END doctoc generated TOC please keep comment here to allow auto update -->
 
+## Configuration
+
 ### Time parameters
 
 | Name | Value | Unit | Duration |
 | - | - | :-: | :-: |
-| `ATTESTATION_DEADLINE` | `uint64(4)` | seconds | 4 seconds |
+| `ATTESTATION_DEADLINE` | `SECONDS_PER_SLOT // 3` | seconds | 4 seconds |
 
-### Configuration
+### Inclusion list parameters
 
 | Name | Value | Description |
 | - | - | - |

specs/_features/eip7805/validator.md

@@ -8,6 +8,7 @@
 
 - [Introduction](#introduction)
 - [Prerequisites](#prerequisites)
+- [Configuration](#configuration)
   - [Time parameters](#time-parameters)
 - [Protocol](#protocol)
   - [`ExecutionEngine`](#executionengine)
@@ -38,11 +39,13 @@ All behaviors and definitions defined in this document, and documents it extends
 All terminology, constants, functions, and protocol mechanics defined in the updated Beacon Chain doc of [EIP-7805](./beacon-chain.md) are requisite for this document and used throughout.
 Please see related Beacon Chain doc before continuing and use them as a reference throughout.
 
+## Configuration
+
 ### Time parameters
 
 | Name | Value | Unit | Duration |
 | - | - | :-: | :-: |
-| `PROPOSER_INCLUSION_LIST_CUT_OFF` | `uint64(11)` | seconds | 11 seconds |
+| `PROPOSER_INCLUSION_LIST_CUT_OFF` | `SECONDS_PER_SLOT - 1` | seconds | 11 seconds |
 
 ## Protocol