feat(tests): Check minimum gaslimit (5000) is validated

Author: pdobacz

docs/CHANGELOG.md

@@ -29,6 +29,7 @@ Test fixtures for use by clients are available for each release on the [Github r
 - ✨ Expand cases to test *CALL opcodes causing OOG ([#1703](https://github.com/ethereum/execution-specs/pull/1703)).
 - ✨ Add tests for `modexp` and `ripemd` precompiled contracts ([#1691](https://github.com/ethereum/execution-specs/pull/1691)).
 - ✨ Add `ecrecover` precompile tests originating form `evmone` unittests ([#1685](https://github.com/ethereum/execution-specs/pull/1685)).
+- ✨ Add tests for an old validation rule for gas limit above 5000 ([#1731](https://github.com/ethereum/execution-specs/pull/1731)).
 
 ## [v5.3.0](https://github.com/ethereum/execution-spec-tests/releases/tag/v5.3.0) - 2025-10-09
 

packages/testing/src/execution_testing/client_clis/clis/besu.py

@@ -272,6 +272,14 @@ class BesuExceptionMapper(ExceptionMapper):
             "Payload BlobGasUsed does not match calculated BlobGasUsed"
         ),
         BlockException.INVALID_GAS_USED_ABOVE_LIMIT: "Header validation failed (FULL)",
+        BlockException.INVALID_GASLIMIT: "Header validation failed (FULL)",
+        BlockException.EXTRA_DATA_TOO_BIG: "Header validation failed (FULL)",
+        BlockException.INVALID_BLOCK_NUMBER: "Header validation failed (FULL)",
+        BlockException.INVALID_BASEFEE_PER_GAS: "Header validation failed (FULL)",
+        BlockException.INVALID_BLOCK_TIMESTAMP_OLDER_THAN_PARENT: "block timestamp not greater than parent",
+        BlockException.INVALID_LOG_BLOOM: "failed to validate output of imported block",
+        BlockException.INVALID_RECEIPTS_ROOT: "failed to validate output of imported block",
+        BlockException.INVALID_STATE_ROOT: "World State Root does not match expected value",
     }
     mapping_regex = {
         BlockException.INVALID_REQUESTS: (

packages/testing/src/execution_testing/client_clis/clis/erigon.py

@@ -46,6 +46,14 @@ class ErigonExceptionMapper(ExceptionMapper):
         BlockException.INVALID_REQUESTS: "invalid requests root hash in header",
         BlockException.INVALID_BLOCK_HASH: "invalid block hash",
         BlockException.RLP_BLOCK_LIMIT_EXCEEDED: "block exceeds max rlp size",
+        BlockException.INVALID_BASEFEE_PER_GAS: "invalid block: invalid baseFee",
+        BlockException.INVALID_BLOCK_TIMESTAMP_OLDER_THAN_PARENT: "invalid block: timestamp older than parent",
+        BlockException.INVALID_BLOCK_NUMBER: "invalid block number",
+        BlockException.EXTRA_DATA_TOO_BIG: "invalid block: extra-data longer than 32 bytes",
+        BlockException.INVALID_GASLIMIT: "invalid block: invalid gas limit",
+        BlockException.INVALID_STATE_ROOT: "invalid block: wrong trie root",
+        BlockException.INVALID_RECEIPTS_ROOT: "receiptHash mismatch",
+        BlockException.INVALID_LOG_BLOOM: "invalid bloom",
     }
     mapping_regex = {
         TransactionException.GAS_LIMIT_EXCEEDS_MAXIMUM: (

packages/testing/src/execution_testing/client_clis/clis/geth.py

@@ -87,6 +87,14 @@ class GethExceptionMapper(ExceptionMapper):
         BlockException.SYSTEM_CONTRACT_CALL_FAILED: "system call failed to execute:",
         BlockException.INVALID_BLOCK_HASH: "blockhash mismatch",
         BlockException.RLP_BLOCK_LIMIT_EXCEEDED: "block RLP-encoded size exceeds maximum",
+        BlockException.INVALID_BASEFEE_PER_GAS: "invalid baseFee",
+        BlockException.INVALID_BLOCK_TIMESTAMP_OLDER_THAN_PARENT: "invalid timestamp",
+        BlockException.INVALID_GASLIMIT: "invalid gas limit",
+        BlockException.INVALID_BLOCK_NUMBER: "invalid block number",
+        BlockException.EXTRA_DATA_TOO_BIG: "invalid extradata length",
+        BlockException.INVALID_RECEIPTS_ROOT: "invalid receipt root hash",
+        BlockException.INVALID_LOG_BLOOM: "invalid bloom",
+        BlockException.INVALID_STATE_ROOT: "invalid merkle root",
     }
     mapping_regex: ClassVar[Dict[ExceptionBase, str]] = {
         TransactionException.TYPE_3_TX_MAX_BLOB_GAS_ALLOWANCE_EXCEEDED: (

packages/testing/src/execution_testing/client_clis/clis/nethermind.py

@@ -425,6 +425,14 @@ class NethermindExceptionMapper(ExceptionMapper):
         BlockException.INVALID_DEPOSIT_EVENT_LAYOUT: (
             "DepositsInvalid: Invalid deposit event layout:"
         ),
+        BlockException.INVALID_BASEFEE_PER_GAS: "InvalidBaseFeePerGas: Does not match calculated",
+        BlockException.INVALID_BLOCK_TIMESTAMP_OLDER_THAN_PARENT: "InvalidTimestamp: Timestamp in header cannot be lower than ancestor",
+        BlockException.INVALID_BLOCK_NUMBER: "InvalidBlockNumber: Block number does not match the parent",
+        BlockException.EXTRA_DATA_TOO_BIG: "InvalidExtraData: Extra data in header is not valid",
+        BlockException.INVALID_GASLIMIT: "InvalidGasLimit: Gas limit is not correct",
+        BlockException.INVALID_RECEIPTS_ROOT: "InvalidReceiptsRoot: Receipts root in header does not match",
+        BlockException.INVALID_LOG_BLOOM: "InvalidLogsBloom: Logs bloom in header does not match",
+        BlockException.INVALID_STATE_ROOT: "InvalidStateRoot: State root in header does not match",
     }
     mapping_regex = {
         TransactionException.INSUFFICIENT_ACCOUNT_FUNDS: (

packages/testing/src/execution_testing/client_clis/clis/nimbus.py

@@ -108,5 +108,14 @@ class NimbusExceptionMapper(ExceptionMapper):
             # TODO:
             "ExceededBlockSizeLimit: Exceeded block size limit"
         ),
+        BlockException.INVALID_BASEFEE_PER_GAS: "invalid baseFee",
+        BlockException.INVALID_BLOCK_NUMBER: "Blocks must be numbered consecutively",
+        BlockException.INVALID_BLOCK_TIMESTAMP_OLDER_THAN_PARENT: "Invalid timestamp",
+        BlockException.INVALID_GASLIMIT: "invalid gas limit",
+        BlockException.INVALID_GAS_USED_ABOVE_LIMIT: "gasUsed should be non negative and smaller or equal gasLimit",
+        BlockException.INVALID_BLOCK_HASH: "blockhash mismatch",
+        BlockException.INVALID_STATE_ROOT: "stateRoot mismatch",
+        BlockException.INVALID_RECEIPTS_ROOT: "receiptRoot mismatch",
+        BlockException.INVALID_LOG_BLOOM: "bloom mismatch",
     }
     mapping_regex: ClassVar[Dict[ExceptionBase, str]] = {}

packages/testing/src/execution_testing/client_clis/clis/reth.py

@@ -39,6 +39,9 @@ class RethExceptionMapper(ExceptionMapper):
         BlockException.INVALID_BLOCK_HASH: "block hash mismatch",
         BlockException.INVALID_GAS_USED: "block gas used mismatch",
         BlockException.RLP_BLOCK_LIMIT_EXCEEDED: "block is too large: ",
+        BlockException.INVALID_BASEFEE_PER_GAS: "block base fee mismatch",
+        BlockException.EXTRA_DATA_TOO_BIG: "invalid payload extra data",
+        BlockException.INVALID_LOG_BLOOM: "header bloom filter mismatch",
     }
     mapping_regex = {
         TransactionException.NONCE_MISMATCH_TOO_LOW: r"nonce \d+ too low, expected \d+",
@@ -74,6 +77,15 @@ class RethExceptionMapper(ExceptionMapper):
         BlockException.INVALID_GAS_USED_ABOVE_LIMIT: (
             r"block used gas \(\d+\) is greater than gas limit \(\d+\)"
         ),
+        BlockException.INVALID_GASLIMIT: (
+            r"child gas_limit \d+ max .* is .*|child gas limit \d+ is below the minimum allowed limit"
+        ),
+        BlockException.INVALID_BLOCK_TIMESTAMP_OLDER_THAN_PARENT: (
+            r"block timestamp \d+ is in the past compared to the parent timestamp \d+"
+        ),
+        BlockException.INVALID_BLOCK_NUMBER: (
+            r"block number \d+ does not match parent block number \d+"
+        ),
         # BAL Exceptions: TODO - review once all clients completed.
         BlockException.INVALID_BAL_EXTRA_ACCOUNT: (
             r"Block BAL contains an account change that is not present in the computed BAL."

tests/frontier/validation/test_header.py

@@ -0,0 +1,51 @@
+"""Test the validations applied from Frontier."""
+
+import pytest
+from execution_testing.base_types.base_types import ZeroPaddedHexNumber
+from execution_testing.base_types.composite_types import Alloc
+from execution_testing.exceptions.exceptions import BlockException
+from execution_testing.specs.blockchain import (
+    Block,
+    BlockchainTestFiller,
+    Header,
+)
+from execution_testing.test_types.block_types import Environment
+
+
+def test_gas_limit_at_minimum(
+    blockchain_test: BlockchainTestFiller,
+    pre: Alloc,
+    env: Environment,
+) -> None:
+    """
+    Tests that a block with an invalid header (e.g. difficulty) is rejected.
+    """
+    modified_fields = {"gas_limit": 5000}
+    env.gas_limit = ZeroPaddedHexNumber(5000)
+
+    block = Block(txs=[], rlp_modifier=Header(**modified_fields))
+
+    blockchain_test(pre=pre, post={}, blocks=[block], genesis_environment=env)
+
+
+@pytest.mark.exception_test
+@pytest.mark.parametrize("gas_limit", [0, 1, 4999])
+def test_gas_limit_below_minimum(
+    blockchain_test: BlockchainTestFiller,
+    pre: Alloc,
+    gas_limit: int,
+    env: Environment,
+) -> None:
+    """
+    Tests that a block with an invalid header (e.g. difficulty) is rejected.
+    """
+    invalid_fields = {"gas_limit": gas_limit}
+    env.gas_limit = ZeroPaddedHexNumber(5000)
+
+    block = Block(
+        txs=[],
+        rlp_modifier=Header(**invalid_fields),
+        exception=BlockException.INVALID_GASLIMIT,
+    )
+
+    blockchain_test(pre=pre, post={}, blocks=[block], genesis_environment=env)