Good catch, that gap is real. I'd write the idempotency key onto the order row with a unique index inside the same transaction as the stock decrement, so a retry that takes over the key finds the existing order, skips the decrement and just marks the key completed.