They don't want to create change outputs though because the change addresses in Whirlpool are completely traceable: change can't be spent without linking your transactions together. These 305 sat and 933 sat Whirlpool outputs are in addresses 100% deterministically linked to the original owner, whereas the 5000 and 6561 sat outputs from WabiSabi are spendable because they are completely anonymous.
And it is the user's fault to consolidate badbank change with private coins. Change should be spent with other change, and not with private coins, which is the reason why Sparrow doesn't even allow you to mess that up, unless you deliberately combine them in a separate transaction.
Spending received coins and Whirlpool change together links those two transactions together. This isn't a feature, it's an unavoidable privacy leak
It is very avoidable. You simply choose to never combine change and private coins in one transaction.
So you think the Whirlpool user should consolidate their postmix outputs within a WabiSabi coinjoin to add mix partners? Makes sense.
The Whirlpool user can gather change, and once the amount is sufficient, send them over to Whirlpool.
If a user chooses to reuse a receive address for multiple payments, that's a conscious choice, not a problem with the software.
Good, so we agree. The problem with Wasabi 1.0 was that it reused addresses in both sides, which is 100% a software problem. The problem with WabiSabi coinjoins is the same with spending Whirlpool private coins without a mix partner; input / output merges, which possibly belong to the same wallet. WabiSabi coinjoins contain lots of them. Have you checked the kycp.org link?