Goedjn writes:

Speaking of which, is there some industry standard terminology
when you're talking about this stuff? Because different people
seem to mean different things when they say "gravel", and
"crushed rock".

I think not. It's not the same stuff.
You can use gravel, crushed rock, probably lots of other stuff.
It just has to drain and lock together.