pub fn validate_header_bal_indices(
bal: &BlockAccessList,
transaction_count: usize,
) -> Result<(), InvalidBlockError>Expand description
Validates that all indices in the header BAL are within valid bounds (Amsterdam+). This is a subset of the full hash check — used in the parallel execution path where we have the header BAL but do not build a new BAL during execution. Per EIP-7928: valid indices are 0 (pre-exec) through len(transactions)+1 (post-exec).