In case of a divergent rename a -> b || a -> c ==> b, c`, it is possible to have create two entry pointing to the same directory.
Although he semantic of our set CRDT for storing directories entries can't prevent multiple entry being created, we already a way to determine if the directory entry is valid or not, the LWW parent ino attribute. When listed or looked up, only entries that have a parent_ino matching with the directories being looked at should show up, otherwise the entry should be lazily deleted.
In case of a divergent rename a -> b || a -> c ==> b, c`, it is possible to have create two entry pointing to the same directory.
Although he semantic of our set CRDT for storing directories entries can't prevent multiple entry being created, we already a way to determine if the directory entry is valid or not, the LWW parent ino attribute. When listed or looked up, only entries that have a
parent_inomatching with the directories being looked at should show up, otherwise the entry should be lazily deleted.