Greptile Summary

This PR fixes a missing block gas limit validation in the parallel LEVM execution pipeline (Amsterdam+ forks). Previously, execute_block_parallel built receipts inline without calling check_gas_limit, meaning a block whose transactions collectively exceeded the gas limit could pass undetected in the parallel path while being correctly rejected in the sequential path.

Changes:

• Extracts receipt-building logic into a new build_parallel_receipts helper that mirrors the sequential path's check_gas_limit call (using cumulative_gas_used / POST-REFUND gas, consistent with EIP-7778).
• Extends the parallel execution tuple from (usize, TxType, ExecutionReport) to (usize, TxType, u64, ExecutionReport) to carry each transaction's gas_limit() into the receipt-building phase.
• Adds a regression test that arranges out-of-order results and verifies the second transaction is rejected when its gas_limit exceeds the remaining block gas.

The logic is correct and symmetric with the sequential path: check_gas_limit is invoked before updating cumulative_gas_used, and both cumulative_gas_used (gas_spent, POST-REFUND) and block_gas_used (gas_used, PRE-REFUND) are tracked independently per EIP-7778.

Confidence Score: 5/5

• This PR is safe to merge — it is a targeted, well-tested correctness fix with no behavioural regressions.
• The change is small and focused: it adds the previously-missing check_gas_limit call to the parallel receipt-building path, matches the logic of the existing sequential path exactly (same argument order, same gas accounting variables), and is covered by a new regression test. No unrelated files are touched and the risk of side effects is minimal.
• No files require special attention.

Sequence Diagram

sequenceDiagram
    participant EP as execute_block_parallel
    participant RY as Rayon Tasks
    participant BPR as build_parallel_receipts
    participant CGL as check_gas_limit

    EP->>RY: spawn N tasks with tx_idx 0 to n
    RY->>RY: execute_tx produces ExecutionReport
    RY-->>EP: Vec of (tx_idx, tx_type, tx_gas_limit, report)
    EP->>BPR: build_parallel_receipts(block_gas_limit, results)
    BPR->>BPR: sort results by tx_idx
    loop for each tx in order
        BPR->>CGL: check_gas_limit(cumulative_gas_used, tx_gas_limit, block_gas_limit)
        CGL-->>BPR: Ok or EvmError
        BPR->>BPR: cumulative_gas_used += gas_spent
        BPR->>BPR: block_gas_used += gas_used
        BPR->>BPR: push Receipt
    end
    BPR-->>EP: receipts and block_gas_used

_{Last reviewed commit: 8b69e7f}

Hey @sueun-dev, the PR is good to go. At ethrex, we have a commit signature verification policy that states that all commits must be verified (read here).

Please, sign the commits of this PR for it to be able to be merged.

I pushed a verified signed commit and the PR now consists of a single signed commit (6fcaf4c). The remaining blocker appears to be maintainer approval for the fork workflows to run again.