not so sure about dirtying the whole doc after the first affected position... there would *certainly* be close tags in that range that do not have matching open tags in the same range.

By the way, "since each change's position is specified in terms of the document's state after the previous change" is basically a description of operational transformation. The transformation part is transforming operations based on the operations that were previously applied...