Ein neuer Lauf ist etwas anderes als seine Wiederholung
Speicherstatus und stabile Wiederholungsidentität festlegen.
Ein Vergleich kann erfolgreich sein, während seine Historie nicht gespeichert wird. Modellieren wir comparison_status und persistence_status getrennt, kann die Oberfläche genau das erklären. Ein abgefangener Speicherfehler darf nicht als gespeicherter Erfolg zurückkommen. Für einen neuen logischen Lauf wird eine frische eindeutige Lauf-ID erzeugt. Eine Wiederholung desselben logischen Laufs behält diese ID, sodass eine bereits erfolgte Speicherung erkannt werden kann. Eine ID nur aus sekundengenauer Zeit und Prozessnummer kann zwei neue Läufe desselben Prozesses in derselben Sekunde zusammenwerfen. Umgekehrt erzeugt eine neue ID bei jedem Retry ungewollte Duplikate. Beides braucht getrennte Tests und eine Speicherregel, die doppelte IDs konsistent behandelt.
Ein Beispiel
Die erfundenen neuen Läufe run-alpha und run-beta starten in derselben Sekunde: Sie müssen getrennte Identitäten besitzen. Das Speichern von run-beta liefert eine unklare Bestätigung. Der Retry bleibt run-beta. Ist dieser Eintrag mit gleichem Inhalt schon gespeichert, wird er bestätigt; dieselbe ID mit anderem Inhalt ist ein Konflikt. Eine volle Platte erzeugt persistence_status=failed bei weiterhin erfolgreichem Vergleich und einer verständlichen Diagnose-ID.
