Every step was correct. The student still got refunded twice.

How a randomized invariant test found a billing bug none of my example tests could, and why the fix...