In the Player's Handbook there's a list of about 20 "Artisan's Tools" that player characters might have proficiency with, and what those tool kits contain and can do is expanded on in Xanathar's Guide to Everything. Two of those kits are Carpenter's tools and Woodcarver's tools, and Xanathar's breaks them down the way you'd expect from the names: Carpenter's tools are useful for constructing wooden structures and furniture, while Woodcarver's tools are for detailed carving work like figurines (and arrows). There's a clear distinction here between construction tools and artistic tools.
But there seems to be no such distinction for stone. Mason's tools are obviously the right tool for building brick or stone structures, but seem completely inadequate for doing sculpture work, and there's no "Stonecarver's tools" or "Sculptor's tools" listed.
One of my players has decided to work on a stone carving (for reasons) and I'm suddenly finding myself stymied on what tool kit makes sense for that kind of work. "Mason's tools" seem like the wrong choice for the same reason you wouldn't use carpentry tools to whittle (chainsaw sculpture aside, where part of the art form is that you're using the wrong kind of tools), but I just don't see what else to apply. Surely it wouldn't be woodcarving tools, which are explicitly for use with wood. The only kit that sounds even remotely like the artistic version of stonework is the Jeweler's tools, but again, that's a very specific discipline that's not related to carving works of art out of marble.
What's the "right" toolkit to roll for determining how well a statue comes out?