I wrote https://github.com/amb007/persistent-buffer hoping to use the actual editing history foe precise diffing. I know that projectional/structural editor do such things, not sure if for diffing.