La conférence s'ouvre sur une brève mais nécessaire clarification terminologique : « non-falsifiabilité » est ici employée dans son sens électoral courant — la résistance à la fraude — et non dans le sens de la philosophie des sciences de Karl Popper, où une bonne théorie doit être testable et susceptible d'être réfutée. Les deux sens paraissent presque opposés, et pourtant partagent une véritable parenté structurelle : dans les deux cas, ce qui définit un bon système n'est pas l'absence de possibilité d'erreur, mais la détectabilité garantie de l'erreur si elle survient.
Cette parenté est dramatisée à travers une expérience de pensée impliquant deux distributeurs automatiques : le premier prétend ne jamais se tromper, une affirmation reposant entièrement sur la réputation de la banque, sans aucun moyen pour un tiers de la vérifier ; le second admet ouvertement qu'il échoue parfois, mais chaque transaction qu'il traite laisse une trace pouvant être vérifiée et corrigée de manière indépendante. La plupart des gens font instinctivement confiance au premier — la conférence soutient que cet instinct est structurellement erroné : une affirmation invérifiable d'infaillibilité est moins digne de confiance qu'une affirmation vérifiable de faillibilité.
Cette distinction est affinée en deux exigences distinctes : l'absence d'erreur, inatteignable pour tout système réel suffisamment complexe, et la détectabilité de la manipulation à grande échelle, qui est à la fois réaliste et — soutient la conférence — suffisante pour justifier la confiance. L'illustration la plus pure vient de la cryptographie : le principe de Kerckhoffs, selon lequel un système doit rester sécurisé même lorsqu'un adversaire connaît tout de sa conception à l'exception d'une seule clé secrète. Un système dont la fiabilité dépend du secret entourant son fonctionnement s'effondre dès que ce secret est éventé ; un système ouvert à l'examen dès le départ ne perd rien à être examiné.
La conférence examine ensuite la détectabilité comme un critère d'ingénierie concret, en la mettant à l'épreuve de la loi de Benford — une régularité statistique dans la distribution des premiers chiffres, utilisée en comptabilité judiciaire et dans la détection de fraude. Un examen attentif de son application aux données électorales révèle spécifiquement l'absence de motif fiable : les données falsifiées ne s'écartent pas de manière fiable de la distribution, les données authentiques ne s'y conforment pas non plus de manière fiable. La leçon n'est pas que la détection statistique est inutile, mais qu'aucune méthode unique n'est universellement fiable — la détectabilité provient d'une architecture multicouche et redondante de mécanismes complémentaires, prolongeant directement le principe de redondance structurée introduit dans la conférence précédente.
Une distinction supplémentaire suit, empruntée à la méthodologie scientifique : reproductibilité, réplicabilité, et robustesse sont trois propriétés distinctes et non interchangeables, et non des synonymes. Appliquée à une procédure électorale, cela devient trois questions distinctes — peut-on recalculer les mêmes données pour obtenir le même résultat ; l'ensemble du processus peut-il être répété indépendamment depuis le début pour obtenir un résultat comparable ; le résultat reste-t-il stable face à de petits changements méthodologiques — dont les procédures modernes, au mieux, ne garantissent de manière fiable que la première.
Un parallèle instructif est établi avec la crise de réplication en psychologie, où un projet à grande échelle n'a réussi à reproduire qu'environ un tiers d'une centaine d'études influentes publiées. La leçon se généralise directement : un système non vérifié paraît fiable jusqu'au moment où quelqu'un le teste réellement — que ce système soit une revue à comité de lecture, un distributeur automatique, ou une élection.
Le dernier bloc de fond de la conférence se tourne vers la relation entre l'audit et le temps. L'audit financier traditionnel est borné par une périodicité fixe, par nécessité pratique ; l'automatisation a rendu possible l'audit continu — une vérification intégrée au fonctionnement permanent d'un système plutôt qu'ajoutée après coup. L'audit électoral aujourd'hui, à l'inverse, demeure massivement un exercice ponctuel et rétrospectif, généralement déclenché seulement par le camp mécontent du résultat — structurellement équivalent aux audits annuels à forte intensité de main-d'œuvre que le secteur bancaire a déjà dépassés.
Un audit qui n'a lieu qu'une fois que quelqu'un est déjà devenu suspicieux, soutient la conférence, n'est pas une propriété architecturale d'un système — c'est une réaction à une crise de confiance déjà existante. Une vérifiabilité authentique est intégrée par défaut, comme un élément banal du fonctionnement d'un système, ce qui fait toute la différence entre un système qui paraît simplement vérifiable et un système qui l'est réellement.
La conférence se termine en synthétisant ces quatre points en un critère cohérent de ce qu'exige une procédure vérifiable — et ouvre immédiatement la tension que la conférence suivante aborde directement : si une procédure doit être pleinement transparente et vérifiable à chaque étape, comment cette transparence peut-elle être conciliée avec l'anonymat qui doit également être garanti pour chaque vote individuel ?