So, the ratcheting pvc pipe cutter did work quite well through roughly 1” of rock; it wasn’t an excessive amount of squeezing pressure like the garden pruners were…
However, it did snap the rock with enough energy to send the halves flying, like garden pruners did! — the break is clean, but it’s more of a snap than a cut… also, it deformed my cheap cutter’s blade!
I did another cut with the tree pruning loppers after this; it was very little effort again, it did cause one small chip, but otherwise actually cut quite like wood through at least half of the stone, before snapping the remainder!
You can see where I stopped closing my ratcheting pipe cutters when the rock snapped, in addition to both cut sample rocks put back together to show the severing lines…
Tree pruner cut on left, ratcheting PVC pipe cutter on right.
I think I would go with the tree pruner if you have the available room to work with the larger format tool; it just seems to be a lot more ergonomic to make these cuts in one fell swoop!