How does this integrate with Git? is the CRDT stack mainly for syncronizing locally? and then "snapshotted" into git? Or how would the team collaboration part of this work?
Currently the CRDT is local and is used so that agents can edit the markdown concurrently with the user, and the user can edit it via the WYSWIG editor or the raw markdown editor. CRDT powers the live indicators, etc.
CRDT and git are reconciled so that git stays as the canotical version history.