>Then there's the case of "we think we finally hit bedrock...but what if it's just a big boulder?"
Doesn't matter.
There's two types of pile support: noncohesive and cohesive. Which can be thought of as end (bearing) resistance and side (friction) resistance.
Most people only think of end resistance.
Most end resistance piles aren't driven to bedrock or even a boulder, but a strata of soil with sufficient strength. Usually a layer of sand under silt or clay, but a boulder could do it.
Here's the catch- if it's a one-off, then adjacent piles won't hit it, and you'll see the anomaly. Mitigation may or may not be required. If it's not, then you've hit a strong (noncohesive) layer of boulders.
Either way- it goes back to the point: each pile is resistance tested. And you know now not only the insitu soil strength, but also that of each layer to reach that depth.
Also side note- the act of driving and then post-drive settling both build addl strength. Eg, The force used to drive the pile, applied a few months later, usually won't be sufficient to drive it any further.