Test graduate students' understanding of distributed-system consistency models: formal definitions and guarantees of linearizability, sequential consistency, causal consistency, and eventual consistency; analyze their trade-offs (latency, availability, partition tolerance, and programming complexity), choose appropriate models for given application scenarios, and reason about observed behaviors under failures and network partitions through conceptual explanations and short scenario analyses.