Don’t know how it is supposed to work, but: Allied ballphins don’t seem to help you much with mining corals. I befriended like 12 of them and from time to time some of them helped just a little bit, I think it would be nice if it would work more like with the pig followers
Steps to Reproduce
Befriend ballphins – mine coral – see if they help you
This issue has not been confirmed by a developer yet.