If I had to guess, I'd say that the pencil uses solid brushes and the "right" algorithm because it performs acceptably in that case, while the brush tool stamps instead because it can't keep up using that algorithm with an antialiased brush.