Can state O continue modifying its content? From my point of view, every modification on state O cache should broadcast to others.

I believe state O must be elevated to state M before writing again.