Advanced
In reply to @v
9/21/2023
vrypan.eth@vrypan.eth
"Casts are added with a CastAdd message and removed with a tombstone CastRemove message, which ensures the message cannot be re-added while obscuring the original message's contents." My interpretation: CastRemove does not trigger the corresponding CastAdd to be deleted from CRDT, just concealed.
In reply to @vrypan.eth
9/21/2023
Varun Srinivasan@v
I would recommend reading the specific sections i posted above about CRDTs and the Cast CRDT in particular.