So when Wilmore says "now we can't go forward", how do you read this?
As an outsider (but a professional SW engineer), this is a very interesting part of the design constraints. If you run the math on a commanded motion and there's no solution given the current state of the vehicle, do you do nothing, or do you do something that you know isn't quite right? In the latter case, you're relying on the more flexible programming of the meatsack to maybe resolve several different motions into a desired result. In the former, you eliminate some of that flexibility but provide consistent responses to commanded motion reducing the likelihood of bumping into something you didn't really want to bump into. This is a fascinating part of system design to me.