EIP-XXXX add simple happy case tests

Author: linoscope

tests/core/pyspec/eth2spec/test/electra/epoch_processing/test_process_proposer_lookahead.py

@@ -0,0 +1,35 @@
+from eth2spec.test.context import spec_state_test, with_electra_and_later
+from eth2spec.test.helpers.epoch_processing import run_epoch_processing_with
+from eth2spec.test.helpers.state import next_epoch
+
+@with_electra_and_later
+@spec_state_test
+def test_next_epoch_proposer_lookahead_shifted_to_front(spec, state):
+    """Test that the next epoch proposer lookahead is "shifted" to the front at epoch transition."""
+    # Transition few epochs to pass the MIN_SEED_LOOKAHEAD
+    next_epoch(spec, state)
+    next_epoch(spec, state)
+    # Get initial lookahead
+    initial_lookahead = state.proposer_lookahead.copy()
+
+    # Run epoch processing
+    yield from run_epoch_processing_with(spec, state, 'process_proposer_lookahead')
+
+    # Verify lookahead was shifted correctly
+    assert state.proposer_lookahead[:spec.SLOTS_PER_EPOCH] == initial_lookahead[spec.SLOTS_PER_EPOCH:]
+
+
+@with_electra_and_later
+@spec_state_test
+def test_proposer_lookahead_in_state_matches_computed_lookahead(spec, state):
+    """Test that the proposer lookahead in the state matches the lookahead computed on the fly."""
+    # Transition few epochs to pass the MIN_SEED_LOOKAHEAD
+    next_epoch(spec, state)
+    next_epoch(spec, state)
+
+    # Run epoch processing
+    yield from run_epoch_processing_with(spec, state, 'process_proposer_lookahead')
+
+    # Verify lookahead in state matches the lookahead computed on the fly
+    computed_lookahead = spec.compute_proposer_lookahead(state)
+    assert state.proposer_lookahead == computed_lookahead