I’ve tracked this down. As predicted, it was an out-of-range color value. The Adjust Color device transforms RGB to a LAB colorspace to do its operation, and float point precision sometimes means that things don’t quite come back where you expect them.
This is fixed in 4045.