feat(checklists,tests): complete eip7934 checklist + update checklist template + add missing test cases (#2282)

* feat(checklists): Create checklist for eip7934 adding block validation

- Add `BlockLevelConstraint` checks to `eip_checklist.py` checklist_template
  for block-level constraint checks.

- Set up checklist for eip7934 and mark completed tasks.

* feat(tests): Add transition tests for eip7934 block rlp limit

* chore: Add changelog entry for #2282; minor tweaks

* feat(tests): Add block rlp limit test with non-empty withdrawals

* chore(tests): Update latest ref spec versions

Author: fselmo

docs/CHANGELOG.md

@@ -34,6 +34,7 @@ Test fixtures for use by clients are available for each release on the [Github r
 - 🐞 Tighten up validation for empty lists on Block-Level Access List tests ([#2118](https://github.com/ethereum/execution-spec-tests/pull/2118)).
 - ✨ Added the `MemoryVariable` EVM abstraction to generate more readable bytecode when there's heavy use of variables that are stored in memory ([#1609](https://github.com/ethereum/execution-spec-tests/pull/1609)).
 - 🐞 Fix an issue with `test_bal_block_rewards` where the block base fee was wrongfully overridden ([#2262](https://github.com/ethereum/execution-spec-tests/pull/2262)).
+- ✨ Complete EIP checklist for EIP-7934 and update the checklist template to include block-level constraint checks ([#2282](https://github.com/ethereum/execution-spec-tests/pull/2282)).
 
 ### 🧪 Test Cases
 
@@ -44,6 +45,7 @@ Test fixtures for use by clients are available for each release on the [Github r
 - ✨ Add EIP-7928 tests for EIP-2930 interactions ([#2167](https://github.com/ethereum/execution-spec-tests/pull/2167)).
 - ✨ Add EIP-7928 tests for NOOP operations ([#2178](https://github.com/ethereum/execution-spec-tests/pull/2178)).
 - ✨ Add EIP-7928 tests for net-zero balance transfers ([#2280](https://github.com/ethereum/execution-spec-tests/pull/2280)).
+- ✨ Add fork transition test cases for EIP-7934 ([#2282](https://github.com/ethereum/execution-spec-tests/pull/2282)).
 
 ## [v5.0.0](https://github.com/ethereum/execution-spec-tests/releases/tag/v5.0.0) - 2025-09-05
 

docs/writing_tests/checklist_templates/eip_testing_checklist_template.md

@@ -1216,3 +1216,46 @@ Note: All test cases must use off-by-one values to ensure proper boundary condit
 ### Framework Changes
 
 - Update the validity constraint as a fork method that returns the updated value starting from the fork where the constraint changes.
+
+## Block-Level Validation Constraint
+
+The EIP introduces a new constraint that applies at the block level (e.g., block RLP size limits, block validation rules).
+
+### Test Vectors
+
+#### Boundary Conditions
+
+Verify block acceptance/rejection at constraint boundaries using off-by-one values.
+
+| ID                                        | Description                                                                                 | Status | Tests |
+| ----------------------------------------- |---------------------------------------------------------------------------------------------| ------ | ----- |
+| `block_level_constraint/test/boundary/under` | Verify that a block with constraint value at limit minus one is accepted (expect success).  |        |       |
+| `block_level_constraint/test/boundary/exact` | Verify that a block with constraint value exactly at limit is accepted (expect success).    |        |       |
+| `block_level_constraint/test/boundary/over` | Verify that a block with constraint value at limit plus one is rejected (expect exception). |        |       |
+
+#### Content Variations
+
+Verify the constraint behaves correctly with different block contents that may affect the constraint calculation.
+
+| ID                                        | Description                                                                                                                               | Status | Tests |
+| ----------------------------------------- | ----------------------------------------------------------------------------------------------------------------------------------------- | ------ | ----- |
+| `block_level_constraint/test/content/transaction_types` | Verify constraint behavior with all supported transaction types in the block. |        |       |
+| `block_level_constraint/test/content/logs` | Verify constraint behavior when transactions emit logs. |        |       |
+| `block_level_constraint/test/content/receipts` | Verify constraint behavior with varying receipt sizes. |        |       |
+| `block_level_constraint/test/content/withdrawals` | Verify constraint behavior with non-empty withdrawals list. |        |       |
+
+#### Fork Transition
+
+| ID                                        | Description                                                                                                                               | Status | Tests |
+| ----------------------------------------- | ----------------------------------------------------------------------------------------------------------------------------------------- | ------ | ----- |
+| `block_level_constraint/test/fork_transition/accepted_before_fork` | Verify that a block before the activation fork is accepted even when the new constraint is not met. |        |       |
+| `block_level_constraint/test/fork_transition/accepted_after_fork` | Verify that a block after the activation fork is accepted when the new constraint is met. |        |       |
+| `block_level_constraint/test/fork_transition/rejected_after_fork` | Verify that a block after the activation fork is rejected when the new constraint is not met. |        |       |
+
+Note: All test cases must use off-by-one values to ensure proper boundary condition verification.
+
+### Framework Changes
+
+- Introduce the constraint as a fork method that returns:
+    - `None` for forks before its activation.
+    - A non-`None` value starting from the fork where the constraint becomes active.

src/cli/generate_checklist_stubs.py

@@ -110,7 +110,8 @@ def generate_checklist_stubs(output: str | None, dry_run: bool) -> None:
         stub_content = '''"""
 Type stubs for EIP checklist - auto-generated.
 
-DO NOT EDIT MANUALLY - This file is generated by `uv run generate_checklist_stubs`
+DO NOT EDIT MANUALLY - This file is generated by running
+`uv run generate_checklist_stubs`
 """
 
 from typing import Any, Callable, TypeVar, overload

src/ethereum_test_checklists/eip_checklist.py

@@ -1766,3 +1766,98 @@ class RejectedAfterFork(ChecklistItem):
                     """
 
                     pass
+
+    class BlockLevelConstraint(ChecklistItem):
+        """Block-level validation constraint checklist items."""
+
+        class Test(ChecklistItem):
+            """Test vectors for block-level constraint."""
+
+            class Boundary(ChecklistItem):
+                """Boundary condition tests."""
+
+                class Under(ChecklistItem):
+                    """
+                    Verify that a block with constraint value at limit minus
+                    one is accepted.
+                    """
+
+                    pass
+
+                class Exact(ChecklistItem):
+                    """
+                    Verify that a block with constraint value exactly at
+                    limit is accepted.
+                    """
+
+                    pass
+
+                class Over(ChecklistItem):
+                    """
+                    Verify that a block with constraint value at limit plus
+                    one is rejected.
+                    """
+
+                    pass
+
+            class Content(ChecklistItem):
+                """Content variation tests."""
+
+                class TransactionTypes(ChecklistItem):
+                    """
+                    Verify constraint behavior with all supported
+                    transaction types.
+                    """
+
+                    pass
+
+                class Logs(ChecklistItem):
+                    """
+                    Verify constraint behavior when transactions emit
+                    logs.
+                    """
+
+                    pass
+
+                class Receipts(ChecklistItem):
+                    """
+                    Verify constraint behavior with varying receipt
+                    sizes.
+                    """
+
+                    pass
+
+                class Withdrawals(ChecklistItem):
+                    """
+                    Verify constraint behavior with non-empty withdrawals
+                    list.
+                    """
+
+                    pass
+
+            class ForkTransition(ChecklistItem):
+                """Fork transition tests."""
+
+                class AcceptedBeforeFork(ChecklistItem):
+                    """
+                    Verify that a block before the activation fork is
+                    accepted even when the new constraint is not met.
+                    """
+
+                    pass
+
+                class AcceptedAfterFork(ChecklistItem):
+                    """
+                    Verify that a block after the activation fork is
+                    accepted when the new constraint is met.
+                    """
+
+                    pass
+
+                class RejectedAfterFork(ChecklistItem):
+                    """
+                    Verify that a block after the activation fork is
+                    rejected when the new constraint is not met.
+                    """
+
+                    pass

src/ethereum_test_checklists/eip_checklist.pyi

@@ -1,8 +1,8 @@
 """
 Type stubs for EIP checklist - auto-generated.
 
-DO NOT EDIT MANUALLY -
-This file is generated by `uv run generate_checklist_stubs`
+DO NOT EDIT MANUALLY - This file is generated by running
+`uv run generate_checklist_stubs`
 """
 
 from typing import Any, Callable, TypeVar, overload
@@ -48,6 +48,24 @@ class EIPChecklist:
                 Accept: _CallableChecklistItem
                 Reject: _CallableChecklistItem
 
+    class BlockLevelConstraint(_CallableChecklistItem):
+        class Test(_CallableChecklistItem):
+            class Boundary(_CallableChecklistItem):
+                Exact: _CallableChecklistItem
+                Over: _CallableChecklistItem
+                Under: _CallableChecklistItem
+
+            class Content(_CallableChecklistItem):
+                Logs: _CallableChecklistItem
+                Receipts: _CallableChecklistItem
+                TransactionTypes: _CallableChecklistItem
+                Withdrawals: _CallableChecklistItem
+
+            class ForkTransition(_CallableChecklistItem):
+                AcceptedAfterFork: _CallableChecklistItem
+                AcceptedBeforeFork: _CallableChecklistItem
+                RejectedAfterFork: _CallableChecklistItem
+
     class ExecutionLayerRequest(_CallableChecklistItem):
         class Test(_CallableChecklistItem):
             class CrossRequestType(_CallableChecklistItem):

tests/amsterdam/eip7928_block_level_access_lists/spec.py

@@ -13,7 +13,7 @@ class ReferenceSpec:
 
 ref_spec_7928 = ReferenceSpec(
     git_path="EIPS/eip-7928.md",
-    version="35732baa14cfea785d9c58d5f18033392b7ed886",
+    version="e7f0963a024b3d0dedc4488a7553bf7c70dedb3e",
 )
 
 

tests/osaka/eip7934_block_rlp_limit/eip_checklist_external_coverage.txt

@@ -0,0 +1,3 @@
+general/code_coverage/eels = Test coverage should be verified in EELS implementation
+general/code_coverage/test_coverage = Run tests with --cov flag to verify test coverage
+general/code_coverage/second_client = Tests marked with verify_sync marker verify block syncing to other clients

tests/osaka/eip7934_block_rlp_limit/eip_checklist_not_applicable.txt

@@ -0,0 +1,14 @@
+opcode = EIP-7934 does not introduce a new opcode
+precompile = EIP-7934 does not introduce a new precompile
+removed_precompile = EIP-7934 does not remove a precompile
+system_contract = EIP-7934 does not introduce a new system contract
+transaction_type = EIP-7934 does not introduce a new transaction type
+block_header_field = EIP-7934 does not add any new block header fields
+block_body_field = EIP-7934 does not add any new block body fields
+gas_cost_changes = EIP-7934 does not modify existing gas costs
+gas_refunds_changes = EIP-7934 does not introduce any gas refund changes
+blob_count_changes = EIP-7934 does not introduce any blob count changes
+execution_layer_request = EIP-7934 does not introduce an execution layer request
+new_transaction_validity_constraint = EIP-7934 introduces a block-level constraint, not a transaction-level constraint
+modified_transaction_validity_constraint = EIP-7934 introduces a block-level constraint, not a transaction-level constraint
+block_level_constraint/test/content/receipts = Receipts are not part of the block RLP encoding - only the receipts root hash is included in the block header. Therefore, varying receipt sizes do not affect the block RLP size limit.

tests/osaka/eip7934_block_rlp_limit/spec.py

@@ -11,7 +11,7 @@ class ReferenceSpec:
     version: str
 
 
-ref_spec_7934 = ReferenceSpec("EIPS/eip-7934.md", "028e8657abdf9fa3f2159e639bccd2f66f88be1c")
+ref_spec_7934 = ReferenceSpec("EIPS/eip-7934.md", "2e5cc824089bab8d04aee598708e21c0e06857ef")
 
 
 @dataclass(frozen=True)