JMcK sample tests for review

tests/core/pyspec/eth2spec/test/capella/block_processing/test_process_attestation.py

@@ -0,0 +1,42 @@
+from eth2spec.test.context import (
+    spec_state_test,
+    with_capella_and_later,
+)
+
+
+@with_capella_and_later
+@spec_state_test
+def test_validator_appears_only_once_in_attestation(spec, state):
+    """
+    A test to confirm that the validator_index of the validators in an attestation committee are unique and there
+    are no duplicate validators
+    """
+    slot = state.slot
+    epoch = slot // spec.SLOTS_PER_EPOCH
+
+    # Get the number of committees assigned per slot in the current epoch
+    slot_committee_count = spec.get_committee_count_per_slot(state, epoch)
+
+    # Get the list of validators for each committee in the slot
+    validators = []
+    for committee in range(slot_committee_count):
+        validator_index = spec.get_committee_assignment(state, epoch, committee)
+
+        # There are tuples and individual validators in the list, so they need to be extracted
+        if isinstance(validator_index, tuple):
+            validators.extend(validator_index[0])
+        elif isinstance(validator_index, list):
+            validators.extend(validator_index)
+        else:
+            validators.append(validator_index)
+
+    # Check that the assigned_validators list is not empty
+    assert len(validators) > 0
+
+    # Confirm that the same validator does not appear more than once in the list of validators
+    validator_ids = set()
+    for validator_id in validators:
+        assert validator_id not in validator_ids
+        validator_ids.add(validator_id)
+
+    yield "committee_assignments", validator_ids

tests/core/pyspec/eth2spec/test/capella/block_processing/test_process_deposit.py

@@ -56,3 +56,31 @@ def test_success_top_up_to_withdrawn_validator(spec, state):
         assert has_execution_withdrawal and is_withdrawable and has_non_zero_balance
     else:
         assert spec.is_fully_withdrawable_validator(validator, balance, current_epoch)
+
+
+@with_capella_and_later
+@spec_state_test
+def test_validator_invalid_high_funding_after_withdrawal(spec, state):
+    """
+    Simple extension of the previous test_success_top_up_to_withdrawn_validator in order to add a negative scenario
+    where a user deposits 2x MAX_EFFECTIVE_BALANCE.
+    """
+    validator_index = 5  # Example validator index
+
+    # Fully withdraw the validator
+    set_validator_fully_withdrawable(spec, state, validator_index)
+    assert state.balances[validator_index] > 0
+
+    next_epoch_via_block(spec, state)
+    assert state.balances[validator_index] == 0
+    assert state.validators[validator_index].effective_balance > 0
+
+    next_epoch_via_block(spec, state)
+    assert state.validators[validator_index].effective_balance == 0
+
+    # Make a top-up balance to validator - attempt to deposit double the max deposit)
+    deposit = spec.MAX_EFFECTIVE_BALANCE * 2
+
+    # Handle the negative test based on the readme - no post state
+    if deposit > spec.MAX_EFFECTIVE_BALANCE:
+        yield 'post', None