fix(specs): align warming with BAL inclusion

Author: nerolation

src/ethereum/forks/amsterdam/vm/instructions/system.py

@@ -307,6 +307,11 @@ def generic_call(
         push(evm.stack, U256(0))
         return
 
+    # EIP-7702: warm the delegated address only after all entry preconditions
+    # (gas, balance, depth) have passed. Idempotent for non-delegation paths,
+    # where `code_address` is the call target the caller already warmed.
+    evm.accessed_addresses.add(code_address)
+
     tx_state = evm.message.tx_env.state
     code_hash = get_account(tx_state, code_address).code_hash
     code = get_code(tx_state, code_hash)
@@ -419,8 +424,6 @@ def call(evm: Evm) -> None:
         # check enough gas for delegation access
         extra_gas += delegation_access_cost
         check_gas(evm, extra_gas + extend_memory.cost)
-        if code_address not in evm.accessed_addresses:
-            evm.accessed_addresses.add(code_address)
 
     message_call_gas = calculate_message_call_gas(
         value,
@@ -519,8 +522,6 @@ def callcode(evm: Evm) -> None:
         # check enough gas for delegation access
         extra_gas += delegation_access_cost
         check_gas(evm, extra_gas + extend_memory.cost)
-        if code_address not in evm.accessed_addresses:
-            evm.accessed_addresses.add(code_address)
 
     message_call_gas = calculate_message_call_gas(
         value,
@@ -675,8 +676,6 @@ def delegatecall(evm: Evm) -> None:
         # check enough gas for delegation access
         extra_gas += delegation_access_cost
         check_gas(evm, extra_gas + extend_memory.cost)
-        if code_address not in evm.accessed_addresses:
-            evm.accessed_addresses.add(code_address)
 
     message_call_gas = calculate_message_call_gas(
         U256(0),
@@ -760,8 +759,6 @@ def staticcall(evm: Evm) -> None:
         # check enough gas for delegation access
         extra_gas += delegation_access_cost
         check_gas(evm, extra_gas + extend_memory.cost)
-        if code_address not in evm.accessed_addresses:
-            evm.accessed_addresses.add(code_address)
 
     message_call_gas = calculate_message_call_gas(
         U256(0),