I think this is an evolution of Zed’s “multiplayer” CRDT features from a few years back, but with some new agent affordances.