Green passed. The fix granted zero seats.

TL;DR "Did the bug stop?" is a weak invariant. An over-suppressing fix — grant nothing — also stops the bug. Assert the exact correct end state: after N identical deliveries, seats == the purchased