In an HA pair the contexts combine - so you have 4 to work with (absent having added any optional context licenses).
When counting against the license limits, only count the configured contexts (and the system context doesn't count).
So in your example, the customer requires 4 contexts - which is what they have.