Zdůvodnění
Vždy načítaná projekce zůstává v rámci svého rozpočtu řádků, každý odkaz v ní se vyřeší, neuvádí žádný počet, který by zastaral, a sestavený kontext se vejde do vlastního rozpočtu stavitele.
Požadované chování
Vždy načtená projekce zůstává v rozpočtu, každý odkaz v ní se dá dohledat, neuvádí žádný počet, který zastará, a sestavený kontext se vejde do vlastního rozpočtu.
Chování při selhání
Porušení je nález FAIL v kategorii budget a příkaz, který ho našel, skončí s kódem 10. Pod watch se totéž porušení hlásí jako drift a příkaz skončí s kódem 11.
Ověření
mj_validate_budget to rozhoduje, dispatchováno z doctor, watch. Behaviorální případ test/cases/02_doctor_basic.sh to dokazuje a CI tento případ spouští.