SpectraCat: there is a difference - were the first case true, every time one measures observable A of the system to be in a particular eigenstate, one can also immediately predict the outcome of B - namely, the eigenvalue of the simultaneous eigenket.
However, I now see this is false, as...