These are the quiet failures. Nothing crashes, no disk fills, and every component follows its own rules correctly — and the system is still wrong. Linearizability, leadership and atomic commit are the three places where "correct" stops being obvious.