Capturing the TODO from here (quoted below) into an issue along with other suggestions based on this Osaka test.
TODO[EIP-8037]: cap math here uses the combined intrinsic (regular + state)
vs. tx_gas_limit_cap, but Amsterdam only caps max(intrinsic.regular,
calldata_floor). Auth state-gas no longer counts toward the cap, so
auth_list_length comes out wrong and the GAS_LIMIT_EXCEEDS_MAXIMUM cases
stop tripping. Needs a fork-aware rewrite that splits intrinsic.regular
from intrinsic.state.
Other related test cases to consider adding (AI generated):
| EIP-7825 test |
Status |
test_transaction_gas_limit_cap |
Partial — cap boundary covered but with_all_tx_types parametrization missing |
test_tx_gas_limit_cap_full_calldata |
Partial — calldata floor vs cap covered but full boundary-search parametrization missing |
test_tx_gas_limit_cap_access_list_with_diff_keys |
Missing |
test_tx_gas_limit_cap_access_list_with_diff_addr |
Missing |
test_tx_gas_limit_cap_authorized_tx |
Missing — needs fork-aware rewrite splitting intrinsic.regular from intrinsic.state |
Capturing the TODO from here (quoted below) into an issue along with other suggestions based on this Osaka test.
Other related test cases to consider adding (AI generated):
test_transaction_gas_limit_capwith_all_tx_typesparametrization missingtest_tx_gas_limit_cap_full_calldatatest_tx_gas_limit_cap_access_list_with_diff_keystest_tx_gas_limit_cap_access_list_with_diff_addrtest_tx_gas_limit_cap_authorized_txintrinsic.regularfromintrinsic.state