Data reconciliation in general, and filesystem synchronization particular, lacks rigorous theoretical foundation. This paper presents, for the first time, a complete analysis of two replicas filesystem. Synchronization has main stages: identifying conflicts, resolving them. All existing (both practical) synchronizers are operation-based: they define, using some rationale or heuristics, how conf...