new(tests): EOF validation stack_range maximally broad (#1457)

Author: hugo-dc

converted-ethereum-tests.txt

@@ -38,6 +38,7 @@ EOFTests/efStack/jumpf_with_inputs_stack_overflow_variable_stack_.json
 EOFTests/efStack/non_constant_stack_height_.json
 EOFTests/efStack/retf_stack_validation_.json
 EOFTests/efStack/retf_variable_stack_.json
+EOFTests/efStack/stack_range_maximally_broad_.json
 EOFTests/efStack/forwards_rjump_.json
 EOFTests/efStack/forwards_rjump_variable_stack_.json
 EOFTests/efStack/forwards_rjumpi_.json

tests/osaka/eip7692_eof_v1/eip5450_stack/test_code_validation.py

@@ -626,3 +626,21 @@ def test_valid_non_constant_stack_examples(
         data=data,
         container_post=Account(storage=expected_storage),
     )
+
+
+@pytest.mark.parametrize("num_rjumpi", [MAX_STACK_INCREASE_LIMIT, MAX_STACK_INCREASE_LIMIT + 1])
+def test_stack_range_maximally_broad(eof_test, num_rjumpi: int):
+    """Test stack range 0-1023 at final instruction."""
+    code = Op.STOP()
+    for i in range(0, num_rjumpi):
+        offset = i * 5 + 1
+        code = Op.PUSH0 + Op.RJUMPI[offset] + Op.PUSH0 + code
+
+    container = Container.Code(code=code, max_stack_increase=MAX_STACK_INCREASE_LIMIT)
+
+    eof_test(
+        container=container,
+        expect_exception=None
+        if num_rjumpi <= MAX_STACK_INCREASE_LIMIT
+        else EOFException.INVALID_MAX_STACK_INCREASE,
+    )

tests/osaka/eip7692_eof_v1/eof_tracker.md

@@ -321,7 +321,7 @@
 - [ ] Wrong max_stack_height (ethereum/tests: ./src/EOFTestsFiller/efExample/validInvalidFiller.yml src/EOFTestsFiller/efValidation/max_stack_height_Copier.json)
 - [ ] All opcodes correctly account for stack inputs/outputs (ethereum/tests: src/EOFTestsFiller/EIP5450/validInvalidFiller.yml)
 - [ ] Code reachable only via backwards jump is invalid
-- [ ] Maximally broad [0, 1023] stack range (ethereum/tests: src/EOFTestsFiller/efStack/stack_range_maximally_broad_Copier.json)
+- [x] Maximally broad [0, 1023] stack range ([`tests/osaka/eip7692_eof_v1/eip_5450_stack/test_code_validation.py::test_stack_range_maximally_broad`](./eip5450_stack/test_code_validation/test_stack_range_maximally_broad.md))
 
 ### Execution