Is actually Shuffle Provably Reasonable? Verification Guide 2026