Thanks for a great reply.
We've found another workaround for our case (disable inherit scale for one more bone up in the hierarchy).
I think that everything can be left in its current state, as you point out this is a very rare case.
I believe the right way is to trying to avoid negative scale as much as you can. Like prefer flipping the attachments in setup pose, not bones.
Transform constraint is a great tool!