Moreover, after executing an inverse opera-tion like O2, the document state can no longer be properlyrepresented by the state vector, which is only capable ofrepresenting original normal editing operations
I don't see how Undo would mess up State Vector, being just another op. State Vector bit of that user would increase.