We have a few READMEs covering some aspects of queries and range migrations (e.g., shard versioning protocol, shard role API, distributed aggregations), though they’re quite detail-oriented and tied to the C++ implementation. The purpose of this ticket is to describe the high-level operation of distributed CRUD operations, the protocols involved, and the safety and liveness properties they maintain.