The scenario I almost didn't write was the dull one: a customer tries a coupon on a 50.00 cart, gets rejected because the minimum is 100.00, then adds items and tries again at 150.00. Should the second attempt work? Obviously yes. But "obviously" is not in any prompt, and code that records a redemption before checking the rules will happily use up the coupon on the failed attempt. That's the part of spec-driven development I want to focus on here. Not the tooling or the commands, just the s...