Method validate_block_post_execution_with_state

crates/execution/node/src/engine.rs:133–158

Verifies upgrade-gated post-execution rules against the supplied parent state. Authoritative implementation of all Base-specific post-execution checks that require access to parent state (currently: Isthmus' L2-to-L1 message-passer storage root). Callers supply `parent_state` explicitly so engine pipelines can pass in-memory-aware overlay providers when the parent block isn't canonical yet. To a

(
        &self,
        state_updates: &HashedPostState,
        parent_state: DB,
        header: H,
    )

    /// To add a check for a future upgrade, extend the body with another
    /// `if chain_spec.is_<X>_active_at_timestamp(...)` arm.
    pub fn validate_block_post_execution_with_state<DB, H>(
        &self,
        state_updates: &HashedPostState,
        parent_state: DB,
        header: H,
    ) -> Result<(), ConsensusError>
    where
        DB: StateProvider,
        H: BlockHeader,
    {
        if !self.chain_spec().is_isthmus_active_at_timestamp(header.timestamp()) {
            return Ok(());
        }

        let predeploy_storage_updates = state_updates
            .storages
            .get(&self.hashed_addr_l2tol1_msg_passer)
            .cloned()
            .unwrap_or_default();
        isthmus::verify_withdrawals_root_prehashed(predeploy_storage_updates, parent_state, header)
            .map_err(|err| {
                ConsensusError::Other(Arc::from(Box::<dyn core::error::Error + Send + Sync>::from(
                    format!("failed to verify block post-execution: {err}"),
                )))
            })
    }
}

/// Extension trait that exposes [`BaseEngineValidator::validate_block_post_execution_with_state`]