// ERGEBNISSE · HALVETH 0.5
Ein zweites Gerät
musste zustimmen.
Und ohne diese Zustimmung wurde nichts geschrieben.
Lange war das hier eine Behauptung auf einem Rechner. Inzwischen ist es ein Versuch auf zwei. Ein kleiner, eigener Computer stand daneben, als zweite Maschine mit eigenem Betriebssystem, und hat jeden Schreibvorgang einzeln geprüft. Der PC konnte seine eigene Behauptung nicht in Wirkung verwandeln. Er musste fragen, und er musste eine Antwort bekommen, die er nicht selbst herstellen kann.
Der letzte Abschnitt bleibt der wichtigste: was das alles nicht ist.
// Der Lauf
Sechs Hürden vor einem einzigen Schreibvorgang.
So lief es ab, in der Reihenfolge, in der es ablaufen musste. Fällt eine Hürde aus, passiert nichts. Nicht ein Fehler, nicht ein Halbzustand, sondern nichts.
Schritt 01
Der Auftrag muss eng sein
Kein allgemeines Dürfen. Ein Vertrag, der genau sagt, was verändert werden darf und was nicht. Was nicht darin steht, ist nicht erlaubt.
Schritt 02
Der Vorzustand wird festgenagelt
Was vorher da war, wird mitgebunden. Wer den Kandidaten nachträglich austauscht, ändert damit die Bindung und fällt auf.
Schritt 03
Das getrennte Gerät prüft neu
Es glaubt dem PC nichts. Es rechnet selbst nach und baut zusätzlich Gegenbeispiele, die durchkommen müssten, wenn die Prüfung nachlässig wäre.
Schritt 04
Die Entscheidung wird zuerst aufgeschrieben
Bevor eine Antwort zurückgeht, liegt sie auf dem getrennten Gerät in einer Kette, in der jeder Eintrag den vorherigen festhält. Wer nachträglich etwas herausnimmt, zerreißt die Kette.
Schritt 05
Die Erlaubnis gilt genau einmal
Sie ist kurzlebig, an diesen einen Vorgang gebunden und danach verbraucht. Dieselbe Erlaubnis ein zweites Mal vorzulegen, wird abgewiesen.
Schritt 06
Danach wird noch einmal hingesehen
Erst wenn der geschriebene Zustand mit dem übereinstimmt, was erlaubt war, gilt der Vorgang als abgeschlossen. Sonst wird er zurückgedreht.
Was in den einzelnen Bausteinen steckt, steht hier absichtlich nicht. Die Reihenfolge ist der Punkt, nicht der Bauplan.
// Was gemessen wurde
Sechs Aussagen, die an Belegen hängen.
Jede davon liegt als Datei im Projekt, nicht in meiner Erinnerung. Das ist der Unterschied zwischen einem Ergebnis und einem Gefühl.
Der Lauf
Zwei Schritte, beide endgültig
Ein echter Zwei-Schritt-Vorgang lief vollständig durch, jeder Schritt mit eigener Erlaubnis und eigenem Beleg vom getrennten Gerät. Nicht simuliert, nicht nachgestellt.
Gegenproben
Acht von acht abgewiesen
Verbindung weg, zwei gleiche Anfragen gleichzeitig, gefälschte Unterschrift, nachträglich veränderter Inhalt, abgelaufene Anfrage, kaputtes Format, Versuch eine Befehlszeile zu bekommen, wiederverwendete Erlaubnis. Keiner kam durch.
Kein Halbweg
Bei Zweifel passiert nichts
Bei drei der acht Fälle war nicht einmal eine Ablehnung möglich, weil gar keine verwertbare Antwort entstand. Das Ergebnis war unbekannt, und aus unbekannt wird hier niemals Erfolg.
Die Kette
Sieben Einträge, ohne Geheimnis nachprüfbar
Das Gerätebuch wurde auf den PC kopiert und dort vollständig geprüft, ausschließlich mit dem öffentlichen Schlüssel. Kein Fehler, kein Loch. Wer den geheimen Teil nicht hat, kann trotzdem nachrechnen.
Die Trennung
Der Zugangsweg bekommt keine Befehlszeile
Der Schlüssel, mit dem der PC das Gerät erreicht, kann genau eine Sache tun und sonst nichts. Der Versuch, damit einen gewöhnlichen Befehl abzusetzen, endete ohne Wirkung. Und es wurde dafür kein neuer Zugang von außen geöffnet.
Der Verschluss
Weggeschlossen und danach bezeugt
Nach dem Lauf wurden die Schlüssel verschlossen. Der erste Start danach bekam einen eigenen Beleg. Belegt ist also zweierlei: was lief, und dass danach dasselbe wieder hochkam.
Warum hier keine laufenden Zähler stehen: sie verschieben sich mit jedem Arbeitstag. Die Prüfung im Projekt läuft vollständig durch, und wenn sie das nicht tut, gilt die Änderung nicht. Diese Regel ist wichtiger als eine Zahl im Schaufenster.
// Was das heißt
Und was es ausdrücklich nicht heißt.
Was ich daraus schließe
Der Satz „ausgeführt heißt nicht gültig“ ist nicht mehr nur ein Satz. In diesem engen Rahmen kam ein Programm nicht an seiner eigenen Behauptung vorbei. Und die Entscheidung darüber lag nicht in derselben Maschine, die sie gebraucht hat. Das ist der Unterschied zu allem, was ich vorher hatte.
Was ich daraus nicht schließe
Dass jemand geschützt ist. Der Rahmen ist eng, der Versuch ist meiner, die Umgebung ist meine. Wer auf dem PC volle Rechte hat, kommt an dieser Grenze vorbei, indem er sie einfach nicht benutzt. Das ist keine Nebenbemerkung, das ist die größte offene Stelle.
// Die Trennung
Wer was darf, und vor allem was nicht.
Das ist der eigentliche Kern. Nicht ein besserer Wächter, sondern vier Rollen, von denen keine alles kann. Die zweite Spalte ist die wichtigere.
Rolle 01
Der PC darf vorschlagen
Er baut den Vertrag, den Plan und den Kandidaten. Er darf sich selbst keine Erlaubnis ausstellen.
Rolle 02
Das Gerät darf prüfen
Es rechnet unabhängig nach und entscheidet. Es darf auf dem PC nichts schreiben.
Rolle 03
Das Buch darf sich erinnern
Es hält jede Entscheidung fest, bevor sie hinausgeht. Es darf selbst nichts ausführen.
Rolle 04
Der Schreiber darf schreiben
Er führt aus, was erlaubt wurde, ganz oder gar nicht. Er darf den Umweg um die Erlaubnis nicht nehmen und die Erlaubnis nicht zweimal verwenden.
Das getrennte Gerät ist bewusst nicht der allmächtige Chef. Es ist ein enger Zeuge mit einer einzigen Aufgabe. Der Mensch behält den Weg zurück.
// Der Verlauf
Ein Weg, kein eingefrorener Stand.
Auch die Korrekturen stehen drin. Das ist der Sinn eines Verlaufs.
Die Prüfung verlässt den Rechner
Vorher lag alles auf einem Gerät, also auch die Instanz, die urteilt. Jetzt steht daneben ein eigener kleiner Computer mit eigenem System, der jede Anfrage neu prüft, sein Urteil aufschreibt und eine Erlaubnis ausstellt, die einmal gilt. Zwei Schritte endgültig, acht Gegenproben abgewiesen.
Zwei eigene Angaben präzisiert
Eine Nachprüfung korrigierte zwei Details in meinen eigenen Notizen. Gleichzeitig wurde eine Zahl, die ich hier früher genannt hatte, als im Code nicht nachvollziehbar eingestuft und ersetzt.
Der Schlüssel verlässt die Software
Der Schlüssel zum Versiegeln wanderte in Hardware und ist nicht auslesbar. Das war der Schritt, der den Weg zum getrennten Gerät überhaupt sinnvoll gemacht hat.
Die eigene Behauptung blind geprüft
Statt zu zeigen, was HALVETH nicht ist, wurde seine eigene Kernzusage angegriffen, blind und mit ehrlichen Doppelgängern gemischt. Danach gehärtet.
Eine Reparatur verworfen
Ein Fix bestand die eigene Messung und fiel bei der Gegenprüfung durch. Verworfen statt behalten. Der Bericht dazu steht offen.
Ein Teil wurde eingefroren
Statt weiterzubauen wurde der erreichte Zustand festgehalten, damit später belegbar ist, was vorhanden war. Die Begründung steht im Laboratorium.
Bewusst ohne Tagesdaten. Ein Datum verführt dazu, Fortschritt an Geschwindigkeit zu messen. Die Reihenfolge sagt hier mehr als der Kalender.
// Der wichtigste Abschnitt
Was diese Ergebnisse nicht sind.
Dieser Versuch beweist eine bestimmte Kette in einer bestimmten Aufstellung. Er beweist nicht, dass das kleine Gerät nicht zu öffnen ist. Seine Schlüssel liegen als Dateien auf einer Speicherkarte. Wer sie in der Hand hat, hat sie.
Und der Satz, der für die ganze Seite gilt: gemessen von jemandem, der ein Interesse am Ergebnis hat. Solange kein Audit von außen existiert, bleibt das die größte offene Stelle. Was noch fehlt, steht bei den Grenzen, und zwar vollständig.
// Weiterlesen
Die Berichte im Einzelnen.
Bei den Audits steht jede Prüfung mit Vorgehen, Ergebnis und ihrer eigenen Grenze. Wie diese Prüfungen entstehen, steht im Laboratorium. Was als Nächstes gebaut werden muss, steht in der Vision.