Unlinkably shuffle then consolidate, yes, sure but i think maybe it doesn't end there.
I'm strongly reminded of how wabisabi works. With wabisabi, you can get blinded credentials on amounts, which can be split or combined, they're 'algebraic' commitments. So that's along the lines of what you say here.
I feel like the tricky part is user verification at the end. Alice sees an output to Bob of 3btc, she's paying him 2btc, i guess it's ok fir her to use greater than or equal to?
Maybe this is never discussed because it's not realistically going to happen?