A framework to reason about consistency and atomicity guarantees in a sparsely-connected, partially-replicated peer-to-peer system. - Sreeja S. Nair; Nicholas E. Marino; Nick Pascucci; Russell Brown; Arthur P. R. Silva; Tim Cummings; Connor M. Power (CoRR, 2026)