pub fn validate_vector_total(dim: u32, count: u32) -> Result<(), FormatError>
Validates that the total vector element budget (dim * count) is within bounds. Call after validating dim and count individually.