Beobachtung · Tests · unabhängige Evidenz
Wahlaudit
Das Wahlaudit überprüft das Verfahren der Wahlen Candeias; es prüft keine öffentlichen Wahlen realer Staaten. Es muss die tatsächlich eingesetzte Implementierung testen, eine mit der Sicherheit vereinbare Beobachtung ermöglichen und vor der Zertifizierung unabhängige Evidenz erzeugen.
Aktueller StandDerzeit läuft kein Audit einer realen Wahl.Vorgeschlagene Verfassungsgrundlage
Kurz gesagt
Das Audit verbindet Technologie und Legitimität. Seine Analyse erfordert technische Tiefe; die Schlussfolgerung dient der Wahlbehörde und der Justiz Candeias als Evidenz, ohne die Entscheidung der zuständigen Behörde zu ersetzen.
Wie die Verfassung dieses Thema ordnet
Ausreichender Zugang zu Beweismitteln
Beobachter aus Candeia und von außen können Verfahren begleiten, soweit dies mit Sicherheit, Geheimhaltung und Rechtsstatus vereinbar ist.
Vor der Wahl
Unabhängige Tests müssen funktionale Korrektheit, Sicherheit, Kapazität, Wiederherstellung, Konfiguration und Beweismittelkette abdecken.
Der Anbieter prüft sich nicht allein selbst
Die Validierung darf nicht ausschließlich vom Werkzeug, den Nachweisen und der Auslegung des Anbieters selbst abhängen.
Öffentliche Kontrolle ohne Offenlegung von Schwachstellen
Methodik, wesentliche Fehler, Korrekturen und Schlussfolgerungen werden veröffentlicht; vorübergehende Geheimhaltung schützt nur vor einem konkreten Risiko.
Funktionsweise
Code, Konfiguration und kritische Parameter eindeutig bestimmen.
Öffentliche und unabhängige, dem Risiko angemessene Tests durchführen.
Beweismittelkette und Zugang zu Nachweisen bewahren.
Integrität und Auszählung vor der endgültigen Zertifizierung prüfen.
Grenzen und Garantien
- Der Prüfer erzeugt Nachweise und eine Stellungnahme; er zertifiziert keinen Sieger rechtlich.
- Geschäftsgeheimnisse dürfen den Zugang eines befugten Prüfers zu unverzichtbarem Material nicht blockieren.
- Eine wesentliche Anomalie muss auch dann untersucht werden, wenn der scheinbare Ergebnisabstand groß ist.