Evaluation of WhatsApp’s Design

Evaluate the design by following failures across its boundaries: a gateway can disappear after accepting a message, a membership update can race with group delivery, and a device can reconnect with an old cursor. The architecture is sufficient only if it defines what happens in each case.

Requirements compliance

The proposed components support the requirements, but each needs a measurable condition or recovery test: