Here's the key: at this point we use Head::getFinalLean*() to compute the rotation of the joint.  The "FinalLean" is the sum of both the faceshift-driven and the collision-driven leans.