If S1g obtains a set of loser activations from every server in C1, S1g sends S0g the complete set of loser activations with a RESOLVE_RESPONSE(Loser_Set, true) message. If S1g does not obtain the set of loser activations from every server, it sends S0g RESOLVE_RESPONSE(Loser_Set, false). The two cases are distinguished because C0 cannot convert a DOUBTFUL activation, V, to OWNED unless it is certain that every other cluster, C1, has ensured that either it does not contain an activation for V, or it contains an activation for V, but C takes precedence according to the prec_func.

When S0g receives a RESOLVE_RESPONSE message from each cluster in its active multi-cluster, it deactivates the set of loser activations. However, S0g only converts the set of activations in Doubtful_Set Loser_Set to state OWNED if two conditions hold: 1) its active multi-cluster is equal to the total multi-cluster, 2) all messages are of the form RESOLVE_RESPONSE(Loser_Set, true). If one or more received messages are of the form contain RESOLVE_RESPONSE(Loser_Set, false), it does not convert any DOUBTFUL activations to OWNED. If S0g receives a RESOLVE_RESPONSE(Loser_Set, false) message from the gateway server S1g of a remote cluster C1, S0g cannot be sure that all the DOUBTFUL activations in C0 have been analyzed by the appropriate servers in cluster C1.

Note that the above description is only one example, wherein each cluster uses a single, distinguished server as a gateway. However, in alternative implementations, multiple servers may be used for redundancy, and/or the set of DOUBTFUL activations may be divided among several gateway servers.